咨询与建议

限定检索结果

文献类型

  • 6,086 篇 会议
  • 2,198 篇 期刊文献
  • 99 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,398 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,722 篇 工学
    • 5,315 篇 计算机科学与技术...
    • 3,507 篇 软件工程
    • 567 篇 电气工程
    • 303 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,419 篇 理学
    • 1,255 篇 数学
    • 118 篇 统计学(可授理学、...
    • 75 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 34 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,402 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 174 篇 hardware
  • 173 篇 programmable log...
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 27 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 22 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 38 篇 son tran cao
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,030 篇 英文
  • 320 篇 其他
  • 33 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8402 条 记 录,以下是351-360 订阅
排序:
A Rule-Based Approach for Designing and Composing Abstract Domains  33rd
A Rule-Based Approach for Designing and Composing Abstract D...
收藏 引用
33rd International Symposium on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Jurjo, Daniel Morales, Jose Lopez-Garcia, Pedro Hermenegildo, Manuel Univ Politecn Madrid UPM Madrid Spain Spanish Council Sci Res CSIC Madrid Spain IMDEA Software Inst Madrid Spain
interpretation allows constructing sound static analysis tools by safely approximating program semantics. Frameworks for abstract interpretation typically provide an implementation of a specialized iteration strategy ... 详细信息
来源: 评论
Testing of Horn Samplers  26
Testing of Horn Samplers
收藏 引用
26th International Conference on Artificial Intelligence and Statistics (AISTATS)
作者: Banerjee, Ansuman Chakraborty, Shayak Chakraborty, Sourav Meel, Kuldeep S. Sarkar, Uddalok Sen, Sayantan Indian Stat Inst Kolkata India Microsoft Corp Bangalore Karnataka India
Sampling over combinatorial spaces is a fundamental problem in artificial intelligence with a wide variety of applications. Since state-of-the-art techniques heavily rely on heuristics whose rigorous analysis remain b... 详细信息
来源: 评论
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures  26th
Rhyme: A Data-Centric Expressive Query Language for Nested D...
收藏 引用
26th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Abeysinghe, Supun Rompf, Tiark Purdue Univ W Lafayette IN 47906 USA
We present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensors, while yielding nested structures as out... 详细信息
来源: 评论
On Heuer's Procedure for Verifying Strong Equivalence  18th
On Heuer's Procedure for Verifying Strong Equivalence
收藏 引用
18th European Conference on logics in Artificial Intelligence (JELIA)
作者: Fandinno, Jorge Lifschitz, Vladimir Univ Nebraska Omaha Omaha NE 68182 USA Univ Texas Austin Austin TX USA
In answer set programming, two groups of rules are considered strongly equivalent if replacing one group by the other within any program does not affect the set of stable models. Jan Heuer has designed and implemented... 详细信息
来源: 评论
Nemo: First Glimpse of a New Rule Engine  39
Nemo: First Glimpse of a New Rule Engine
收藏 引用
25th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Ivliev, Alex Ellmauthaler, Stefan Gerlach, Lukas Marx, Maximilian Meissner, Matthias Meusel, Simon Kroetzsch, Markus Tech Univ Dresden Knowledge Based Syst Grp Fac Comp Sci CfaedCeTIScaDSAI Dresden Germany
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled in a fully declarative Datalog dialec... 详细信息
来源: 评论
Contrastive Explanations for Answer-Set Programs  18th
Contrastive Explanations for Answer-Set Programs
收藏 引用
18th European Conference on logics in Artificial Intelligence (JELIA)
作者: Eiter, Thomas Geibinger, Tobias Oetsch, Johannes TU Wien Inst Log & Computat Knowledge Based Syst Grp Vienna Austria
Answer-Set programming (ASP) is a popular declarative reasoning and problem solving formalism. Due to the increasing interest in explainability, several explanation approaches have been developed for ASP. However, whi... 详细信息
来源: 评论
The ICARUS-System for Interactive Coherence Establishment in logic Programs  39
The ICARUS-System for Interactive Coherence Establishment in...
收藏 引用
39th International Conference on logic programming
作者: Thevapalan, Andre Heyninck, Jesse TU Dortmund Dortmund Germany Open Univ Heerlen Netherlands
When modelling expert knowledge as logic programs, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can becom... 详细信息
来源: 评论
ABA Learning via ASP  39
ABA Learning via ASP
收藏 引用
39th International Conference on logic programming (ICLP)
作者: De Angelis, Emanuele Proietti, Maurizio Toni, Francesca CNR IASI Rome Italy Imperial Coll London Dept Comp London England
Recently, ABA Learning has been proposed as a form of symbolic machine learning for drawing Assumption-Based Argumentation frameworks from background knowledge and positive and negative examples. We propose a novel me... 详细信息
来源: 评论
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs  7th
Analyzing Termination for Prev-Aware Fragments of Communicat...
收藏 引用
7th International Joint Conference on Rules and Reasoning (RuleML+RR)
作者: Di Cosmo, Francesco Free Univ Bozen Bolzano Bolzano Italy
Communicating Datalog Programs (CDPs) are a distributed computing model grounded on logic programming: networks of nodes perform Datalog-like computations, leveraging on information coming from incoming messages and d... 详细信息
来源: 评论
Declarative and linear programming approaches to service placement, reconciled  16
Declarative and linear programming approaches to service pla...
收藏 引用
IEEE 16th International Conference on Cloud Computing (IEEE CLOUD)
作者: Massa, Jacopo Forti, Stefano Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy
This article proposes an approach to the data-aware multi-service application placement problem in Cloud-Edge settings. We propose both declarative programming and a Mixed-Integer Linear programming (MILP) approach to... 详细信息
来源: 评论