咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是241-250 订阅
排序:
Forgetting for Defeasible logic
Forgetting for Defeasible Logic
收藏 引用
18th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR)
作者: Antoniou, Grigoris Eiter, thomas Wang, Kewen FORTH ICS Iraklion Greece Univ Huddersfield Huddersfield W Yorkshire England Vienna Univ Technol Inst Informat Syst Vienna Austria Griffith Univ Sch Informat & Commun Technol Nathan Qld Australia
the concept of forgetting has received significant interest in artificial intelligence recently. Informally, given a knowledge base, we may wish to forget about (or discard) some redundant parts (such as atoms, predic... 详细信息
来源: 评论
Coherent well-founded annotated logic programs  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Damásio, CV Pereira, LM Swift, T Univ Nova Lisboa Fac Ciencias & Tecnol AI Ctr P-2825 Monte De Caparica Portugal Univ Maryland Dept Comp Sci College Pk MD 20742 USA
Extended logic programs and annotated logic programs are two important extensions of normal logic programs that allow for a more concise and declarative representation of knowledge. Extended logic programs add explici... 详细信息
来源: 评论
Belief Revision with Bounded Treewidth
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Pichler, Reinhard Ruemmele, Stefan Woltran, Stefan Vienna Univ Technol Vienna Austria
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, with the ones by Dalal or Satoh being ... 详细信息
来源: 评论
Guarded open answer set programming
Guarded open answer set programming
收藏 引用
8th international conference on logic programming and nonmonotonic reasoning
作者: Heymans, S Van Nieuwenborgh, D Vermeir, D Vrije Univ Brussels Dept Comp Sci B-1050 Brussels Belgium
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants. We define a fixed point logic (FPL) extension of C... 详细信息
来源: 评论
Early Recovery in logic Program Updates
Early Recovery in Logic Program Updates
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Slota, Martin Balaz, Martin Leite, Joao Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal Univ Nova Lisboa Dept Informat P-1200 Lisbon Portugal
We pinpoint the limitations of existing approaches to the treatment of strong and default negation in answer-set program updates and formulate the early recovery principle that plausibly constrains their interaction.
来源: 评论
Towards Query Answering in Relational Multi-Context Systems
Towards Query Answering in Relational Multi-Context Systems
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Barilaro, Rosamaria Fink, Michael Ricca, Francesco Terracina, Giorgio Univ Calabria Dipartimento Matemat & Informat I-87030 Commenda Di Rende Italy Vienna Technol Univ Inst Informat Syst Vienna Austria
We report on preliminary research towards native algorithms for query answering over relational nonmonotonic Multi-Context Systems (MCS), i.e., algorithms that do not rely on computing equilibria. Inspired by techniqu... 详细信息
来源: 评论
Embedding defeasible logic into logic programs
收藏 引用
18th international conference on logic programming
作者: Antoniou, G Maher, MJ Univ Bremen Dept Comp Sci D-2800 Bremen 33 Germany Loyola Univ Dept Math & Comp Sci Chicago IL 60611 USA
Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an imp... 详细信息
来源: 评论
On the complexity of answer set programming with aggregates
On the complexity of answer set programming with aggregates
收藏 引用
9th international conference on logic programming and nonmonotonic reasoning
作者: Faber, Wolfgang Leone, Nicola Univ Calabria Dept Math I-87036 Arcavacata Di Rende Italy
the addition of aggregates has been one of the most relevant enhancements to the language of answer set programming (ASP). they strengthen the modelling power of ASP in terms of natural and concise problem representat... 详细信息
来源: 评论
Equivalence in Abductive logic
Equivalence in Abductive Logic
收藏 引用
19th international Joint conference on Artificial Intelligence (IJCAI 05)
作者: Inoue, Katsumi Sakama, Chiaki Res Org Informat & Syst Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan
We consider the problem of identifying equivalence of two knowledge bases which are capable of abductive reasoning. Here, a knowledge base is written in either first-order logic or nonmonotonic logic programming. In t... 详细信息
来源: 评论
An ASP System with Functions, Lists, and Sets
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Calimeri, Francesco Cozza, Susanna Ianni, Giovambattista Leone, Nicola Univ Calabria Dept Math I-87036 Arcavacata Di Rende CS Italy
We present DLV-Complex, an extension of the DLV system that features the support for a powerful (possibly recursive) use of functions, list and set terms in the full ASP language with disjunction and negation. Any com... 详细信息
来源: 评论