咨询与建议

限定检索结果

文献类型

  • 6,091 篇 会议
  • 2,222 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,421 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,743 篇 工学
    • 5,343 篇 计算机科学与技术...
    • 3,520 篇 软件工程
    • 564 篇 电气工程
    • 311 篇 控制科学与工程
    • 173 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 27 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,428 篇 理学
    • 1,265 篇 数学
    • 119 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 600 篇 管理学
    • 334 篇 图书情报与档案管...
    • 297 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 66 篇 法学
    • 41 篇 社会学
    • 24 篇 法学
  • 54 篇 哲学
    • 36 篇 哲学
  • 50 篇 医学
    • 36 篇 基础医学(可授医学...
    • 35 篇 临床医学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 33 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,425 篇 logic programmin...
  • 604 篇 computer science
  • 473 篇 computer languag...
  • 337 篇 application soft...
  • 308 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 172 篇 programmable log...
  • 172 篇 hardware
  • 167 篇 control systems
  • 153 篇 computational mo...
  • 153 篇 logic design
  • 150 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 134 篇 functional progr...
  • 131 篇 semantics
  • 130 篇 costs

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 27 篇 new mexico state...
  • 25 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 23 篇 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 篇 sakama chiaki
  • 29 篇 denecker marc
  • 28 篇 maratea marco
  • 27 篇 inoue katsumi
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya

语言

  • 7,956 篇 英文
  • 418 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8425 条 记 录,以下是751-760 订阅
Quantitative and stream extensions of answer set programming
arXiv
收藏 引用
arXiv 2021年
作者: Kiesel, Rafael TU Vienna Austria
Answer Set programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We propose the introduction and analysis ... 详细信息
来源: 评论
logic programming and Burden of Proof in Legal Reasoning
收藏 引用
NEW GENERATION COMPUTING 2012年 第4期30卷 297-326页
作者: Satoh, Ken Natl Inst Informat & Sokendai Chiyoda Ku Tokyo 1018430 Japan
In legal reasoning, there are a lot of interesting problems related with techniques of informatics. We propose a research field called juris-informatics to hope that we could make a great success like bio-informatics ... 详细信息
来源: 评论
Harnessing incremental answer set solving for reasoning in assumption-based argumentation
arXiv
收藏 引用
arXiv 2021年
作者: Lehtonen, Tuomo Wallner, Johannes P. Järvisalo, Matti University of Helsinki Finland Graz University of Technology Austria
Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning tasks of ABA in practice, in particul... 详细信息
来源: 评论
Reasoning about counterfactuals and explanations: Problems, results and directions
arXiv
收藏 引用
arXiv 2021年
作者: Bertossi, Leopoldo Santiago Chile
There are some recent approaches and results about the use of answer-set programming for specifying counterfactual interventions on entities under classification, and reasoning about them. These approaches are flexibl... 详细信息
来源: 评论
An Alternative Option to Commercial Programmable logic Controllers
An Alternative Option to Commercial Programmable Logic Contr...
收藏 引用
International Conference on System Modeling & Advancement in Research Trends (SMART)
作者: Basharat Ahmad Garima Goswami M. Faisal Khan Teerthanker Mahaveer University Moradabad India Electrical Engineering Section Aligarh Muslim University Aligarh India
The Programmable logic Controllers (PLC) are widely used in control of Industrial Processes and Machinery. Numerous companies like Mitsubishi, Siemens, ABB, and Omron have developed commercial PLC’s and have launched... 详细信息
来源: 评论
Compilation of aggregates in ASP
arXiv
收藏 引用
arXiv 2021年
作者: Mazzotta, Giuseppe University of Calabria Rende Italy
Answer Set programming (ASP) is a well-known problem-solving formalism in computational logic. Nowadays, ASP is used in many real world scenarios thanks to ASP solvers. Standard evaluation of ASP programs suffers from... 详细信息
来源: 评论
Application of Method for Constructing a Complex Hierarchical logic in Intelligent Agriculture Context
Application of Method for Constructing a Complex Hierarchica...
收藏 引用
Automatics and Informatics (ICAI), International Conference
作者: Todorka Glushkova Stanimir Stoyanov Vassil Sgurev Lyubka Doukovska Atanas Dukovski Faculty of Mathematics and Informatics Plovdiv University “Paisii Hilendarski” Plovdiv Bulgaria Institute of Information and Communication Technologies Bulgarian Academy of sciences Sofia Bulgaria
The paper considers the possibility of using complex logic to create shorter and clearer models for the purposes of intelligent agriculture. Some aspects for developing a suitable environment for program modeling of s... 详细信息
来源: 评论
Exp(ASPc): Explaining ASP programs with choice atoms and constraint rules
arXiv
收藏 引用
arXiv 2021年
作者: Trieu, Ly Ly Son, Tran Cao Balduccini, Marcello New Mexico State University NM United States Saint Joseph's University PA United States
We present an enhancement of exp(ASP), a system that generates explanation graphs for a literal -an atom a or its default negation ∼ a-given an answer set A of a normal logic program P, which explain why is true (or ... 详细信息
来源: 评论
Unfounded sets for disjunctive hybrid MKNF knowledge bases
arXiv
收藏 引用
arXiv 2021年
作者: Killen, Spencer You, Jia-Huai University of Alberta Canada
Combining the closed-world reasoning of answer set programming (ASP) with the open-world reasoning of ontologies broadens the space of applications of reasoners. Disjunctive hybrid MKNF knowledge bases succinctly exte... 详细信息
来源: 评论
Product configuration in answer set programming
arXiv
收藏 引用
arXiv 2021年
作者: Mishra, Seemran University of Potsdam Germany
This is a preliminary work on configuration knowledge representation which serves as a foundation for building interactive configuration systems in Answer Set programming (ASP). The major concepts of the product confi... 详细信息
来源: 评论