咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是311-320 订阅
排序:
Symmetry Breaking for Distributed Multi-Context Systems
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Drescher, Christian Eiter, thomas Fink, Michael Krennwallner, thomas Walsh, Toby NICTA Locked Bag 6016 Sydney NSW 1466 Australia Techn Univ Wien Inst Informat Syst A-1040 Vienna Austria
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry detection and symmetry breaking in s... 详细信息
来源: 评论
Annotated revision programs
收藏 引用
ARTIFICIAL INTELLIGENCE 2002年 第1-2期138卷 149-180页
作者: Marek, V Pivkina, I Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
Revision programming is a formalism to describe and enforce updates of belief sets and databases. that formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantif... 详细信息
来源: 评论
A Tractable logic for Molecular Biology  35
A Tractable Logic for Molecular Biology
收藏 引用
35th international conference on logic programming (ICLP)
作者: Husson, Adrien Krivine, Jean Univ Paris IRIF CNRS F-75013 Paris France
We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes. they can be composed in order to add or remov... 详细信息
来源: 评论
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... 详细信息
来源: 评论
logic programs with monotone cardinality atoms  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning , LPNMR 2004
作者: Marek, Victor W. Niemelä, Ilkka Truszczyński, Miroslaw Department of Computer Science University of Kentucky LexingtonKY40506-0046 United States Department of Computer Science and Engineering Helsinki University of Technology P.O.Box 5400 FIN-02015 HUT Finland
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX, where k is a non-negative integer and X is a finite set of propositional atoms. We develop a theory... 详细信息
来源: 评论
Elaboration Tolerant Representation of Markov Decision Process via Decision-theoretic Extension of Probabilistic Action Language pBC  15th
Elaboration Tolerant Representation of Markov Decision Proce...
收藏 引用
15th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Wang, Yi Lee, Joohyung Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85287 USA
We extend probabilistic action language pBC+ with the notion of utility in decision theory. the semantics of the extended pBC+ can be defined as a shorthand notation for a decision-theoretic extension of the probabili... 详细信息
来源: 评论
Concurrent resolution in logic programming using Petri net models
Concurrent resolution in logic programming using Petri net m...
收藏 引用
7th international conference on Computational Intelligence and Multimedia Applications
作者: Bhattacharya, Alakananda Konar, Amit Mandal, Ajit K. Jadavpur Univ Dept Elect & Telecommun Engn Kolkata 700032 W Bengal India
the paper provides a new approach for automated reasoning in a logic Program using extended Petri net models. the design includes extension of classical linear resolution of first order logic clauses by multi-resoluti... 详细信息
来源: 评论