咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Debugging ASP programs by means of ASP
Debugging ASP programs by means of ASP
收藏 引用
9th international conference on logic programming and nonmonotonic reasoning
作者: Brain, Martin Gebser, Martin Puehrer, Jorg Schaub, Torsten Tompits, Hans Woltran, Stefan Univ Potsdam Inst Informat D-14482 Potsdam Germany Univ Bath Dept Comp Sci Bath BA2 7AY Avon England Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the development of software-engineering ... 详细信息
来源: 评论
Interpretability and equivalence in quantified equilibrium logic
Interpretability and equivalence in quantified equilibrium l...
收藏 引用
Workshop on Correspondence and Equivalence for nonmonotonic theories, CENT 2007, Colocated with 9th international conference on logic programming and nonmonotonic reasoning, LPNMR 2007
作者: Pearce, David Valverde, Agustín Computing Science and Artificial Intelligence Univ. Rey Juan Carlos Móstoles Madrid Spain Dept. of Applied Mathematics Univ. of Malaga Spain
the study of synonymy among propositional theories in equilibrium logic, begun in [36], is extended to the first-order case.
来源: 评论
ActhEX: Implementing HEX Programs with Action Atoms
ActHEX: Implementing HEX Programs with Action Atoms
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Fink, Michael Germano, Stefano Ianni, Giovambattista Redl, Christoph Schuller, Peter Vienna Univ Technol Inst Informationssyst Vienna Austria Univ Calabria Dipartimento Matemat & Informat I-87030 Commenda Di Rende Italy Sabanci Univ Fac Engn & Natl Sci Istanbul Turkey
acthex programs are a convenient tool for connecting stateful external environments to logic programs. In the acthex framework, actual actions on an external environment can be declaratively selected, rearranged, sche... 详细信息
来源: 评论
nonmonotonic reasoning with quantified boolean constraints  4th
Nonmonotonic reasoning with quantified boolean constraints
收藏 引用
4th international conference on logic programming and Non-Monotonic reasoning, LPNMR 1997
作者: Pollett, Chris Remmel, Jeffrey B. Department of Mathematics University of California at San Diego La JollaCA92903 United States Sagent Corporation BellvueWA98004 United States
In this paper, we define and investigate the complexity of several nonmonotonic logics with quantified Boolean formulas as constraints. We give quantified constraint versions of the constraint programming formalism of... 详细信息
来源: 评论
LP2NORMAL-A Normalization Tool for Extended logic Programs  14th
LP2NORMAL-A Normalization Tool for Extended Logic Programs
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Bomanson, Jori Aalto Univ Dept Comp Sci Espoo Finland
Answer set programming (ASP) features a rich rule-based modeling language for encoding search problems. While normal rules form the simplest rule type in the language, various forms of extended rules have been introdu... 详细信息
来源: 评论
Experimenting with look-back heuristics for hard ASP programs
Experimenting with look-back heuristics for hard ASP program...
收藏 引用
9th international conference on logic programming and nonmonotonic reasoning
作者: Faber, Wolfgang Leone, Nicola Maratea, Marco Ricca, Francesco Univ Calabria Dept Math I-87036 Arcavacata Di Rende Italy
Competitive native solvers for Answer Set programming (ASP) perform a backtracking search by assuming the truth of literals. the choice of literals (the heuristic) is fundamental for the performance of these systems. ... 详细信息
来源: 评论
A Revised Concept of Safety for General Answer Set Programs
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Cabalar, Pedro Pearce, David Valverde, Agustin Univ A Coruna La Coruna Spain Univ Politecn Madrid Madrid Spain Univ Malaga E-29071 Malaga Spain
To ensure a close relation between the answer sets of a program and those of its ground version, some answer set solvers deal with variables by requiring a safety condition on program rules. If we go beyond the syntax... 详细信息
来源: 评论
Computing preferred answer sets in answer set programming  1
收藏 引用
10th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR2003)
作者: Wakaki, T Inoue, K Sakama, C Nitta, K Shibaura Inst Technol Dept Elect Informat Syst Minuma Ku Saitama City Saitama 3378570 Japan Kobe Univ Dept Elect & Elect Engn Kobe Hyogo 6578501 Japan Wakayama Univ Ctr Informat Sci Wakayama 6408510 Japan Tokyo Inst Technol Dept Computat Intelligence & Syst Sci Midori Ku Yokohama Kanagawa 2268502 Japan
Prioritized logic programs (PLPs) have a mechanism of representing priority knowledge in logic programs. the declarative semantics of a PLP is given as preferred answer sets which are used for representing nonmonotoni... 详细信息
来源: 评论
Integrating Temporal Extensions of Answer Set programming
Integrating Temporal Extensions of Answer Set Programming
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Aguado, Felicidad Perez, Gilberto Vidal, Concepcion Univ A Coruna Dept Comp Sci La Coruna Spain
In this paper we study the relation between the two main extensions of Answer Set programming with temporal modal operators: Temporal Equilibrium logic (TEL) and Temporal Answer Sets (TAS). On the one hand, TEL is a c... 详细信息
来源: 评论
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Puehrer, Joerg Tompits, Hans Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria
In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at studying conditions under which certain syntacti... 详细信息
来源: 评论