咨询与建议

限定检索结果

文献类型

  • 668 篇 会议
  • 32 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 718 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 648 篇 工学
    • 645 篇 计算机科学与技术...
    • 356 篇 软件工程
    • 28 篇 控制科学与工程
    • 22 篇 电气工程
    • 18 篇 信息与通信工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 建筑学
    • 3 篇 生物工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 农业工程
  • 129 篇 理学
    • 120 篇 数学
    • 5 篇 物理学
    • 5 篇 生物学
    • 5 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 33 篇 管理学
    • 23 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学

主题

  • 247 篇 logic programmin...
  • 46 篇 answer set progr...
  • 44 篇 semantics
  • 22 篇 computer circuit...
  • 22 篇 artificial intel...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 mathematical log...
  • 11 篇 logics and meani...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 7 篇 programming tech...
  • 6 篇 software enginee...
  • 6 篇 data description

机构

  • 21 篇 vienna univ tech...
  • 11 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 8 篇 univ bath dept c...
  • 8 篇 univ potsdam ins...
  • 7 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 tu wien austria
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 5 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 simon fraser uni...
  • 5 篇 univ genoa dibri...
  • 5 篇 univ calabria ar...
  • 5 篇 new mexico state...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...
  • 4 篇 vienna universit...
  • 4 篇 university of ca...

作者

  • 35 篇 schaub torsten
  • 25 篇 gebser martin
  • 23 篇 ricca francesco
  • 19 篇 tompits hans
  • 18 篇 eiter thomas
  • 17 篇 woltran stefan
  • 16 篇 leone nicola
  • 14 篇 alviano mario
  • 12 篇 faber wolfgang
  • 12 篇 cabalar pedro
  • 11 篇 brain martin
  • 11 篇 de vos marina
  • 10 篇 calimeri frances...
  • 10 篇 fink michael
  • 10 篇 inoue katsumi
  • 9 篇 ianni giovambatt...
  • 9 篇 son tran cao
  • 8 篇 giordano laura
  • 8 篇 eiter t
  • 8 篇 lifschitz vladim...

语言

  • 713 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
719 条 记 录,以下是321-330 订阅
排序:
Manifold answer-set programs and their applications
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2011年 6565 LNAI卷 44-63页
作者: Faber, Wolfgang Woltran, Stefan University of Calabria Italy Vienna University of Technology Austria
In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported... 详细信息
来源: 评论
Proceedings of the 2nd international Workshop on Software Engineering for Answer Set programming, SEA 2009 - Co-located Event with the 10th international conference on logic programming and nonmonotonic reasoning, LPNMR 2009
Proceedings of the 2nd International Workshop on Software En...
收藏 引用
2nd international Workshop on Software Engineering for Answer Set programming, SEA 2009 - Co-located with the 10th international conference on logic programming and nonmonotonic reasoning, LPNMR 2009
the proceedings contain 6 papers. the topics discussed include: on building a competitive comformant planner;a preference meta-model for logic programs with possibilistic ordered disjunction;a framework for programmin...
来源: 评论
logic programming and nonmonotonic reasoning - 10th international conference, LPNMR 2009, Proceedings
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning, LPNMR 2009
the proceedings contain 65 papers. the topics discussed include: logic-based modeling in systems biology;integrating answer set programming and satisfiability modulo theories;splitting a CR-prolog pro;contextual argum...
来源: 评论
Towards closed world reasoning in dynamic open worlds
收藏 引用
thEORY AND PRACTICE OF logic programming 2010年 第4-6期10卷 547-563页
作者: Slota, Martin Leite, Joao Univ Nova Lisboa CENTRIA P-2829516 Caparica Portugal Univ Nova Lisboa Dept Informat P-2829516 Caparica Portugal
the need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantic... 详细信息
来源: 评论
Towards closed world reasoning in dynamic open worlds
Towards closed world reasoning in dynamic open worlds
收藏 引用
26th international conference on logic programming (ICLP)
作者: Slota, Martin Leite, Joao Univ Nova Lisboa CENTRIA P-2829516 Caparica Portugal Univ Nova Lisboa Dept Informat P-2829516 Caparica Portugal
the need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantic... 详细信息
来源: 评论
A nonmonotonic extension of KLM preferential logic P
A nonmonotonic extension of KLM preferential logic P
收藏 引用
17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR-17
作者: Giordano, Laura Gliozzi, Valentina Olivetti, Nicola Pozzato, Gian Luca Dip. di Informatica U. Piemonte O. Alessandria Italy Dip. Informatica Univ. di Torino Italy LSIS-UMR CNRS 6168 Marseille France
In this paper, we propose the logic P min , which is a nonmonotonic extension of Preferential logic P defined by Kraus, Lehmann and Magidor (KLM). In order to perform nonmonotonic inferences, we define a "minimal... 详细信息
来源: 评论
INDUCTIVE logic programming AS ABDUCTIVE SEARCH
INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
收藏 引用
26th international conference on logic programming (ICLP)
作者: Corapi, Domenico Russo, Alessandra Lupu, Emil Imperial Coll London Dept Comp 180 Queens Gate London SW7 2AZ England
We present a novel approach to non-monotonic ILP and its implementation called TAL (Top-directed Abductive Learning). TAL overcomes some of the completeness problems of ILP systems based on Inverse Entailment and is t... 详细信息
来源: 评论
17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2010
17th International Conference on Logic for Programming, Arti...
收藏 引用
17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2010
the proceedings contain 45 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and reasoning. the topics include: Characterising space complexity classes via Knuth-Bendix...
来源: 评论
Disjunctive Fuzzy logic Programs with Fuzzy Answer Set Semantics
Disjunctive Fuzzy Logic Programs with Fuzzy Answer Set Seman...
收藏 引用
4th Annual international conference on Scalable Uncertainty Management (SUM)
作者: Saad, Emad Gulf Univ Sci & Technol Dept Comp Sci Mishref Kuwait
reasoning under fuzzy uncertainty arises in many applications including planning and scheduling in fuzzy environments. In many real-world applications, it is necessary to define fuzzy uncertainty over qualitative unce... 详细信息
来源: 评论
Constraint Models for reasoning on Unification in Inductive logic programming
Constraint Models for Reasoning on Unification in Inductive ...
收藏 引用
14th international conference on Artificial Intelligence - Methodology, Systems, Applications (AIMSA)
作者: Bartak, Roman Charles Univ Prague Fac Math & Phys Prague 11800 1 Czech Republic
Inductive logic programming (ILP) deals with the problem of finding a hypothesis covering all positive examples and excluding negative examples. One of the sub-problems is specifying the structure of the hypothesis, t... 详细信息
来源: 评论