SMODELSA -: A system for computing answer sets of logic programs

被引：13
|
作者：
Elkabani, I [1 ]
Pontelli, E [1 ]
Son, TC [1 ]
机构：
[1] New Mexico State Univ, Las Cruces, NM 88003 USA
来源：
LOGIC PROGRAMMING AND NONMONOTONIC REASONING | 2005年 / 3662卷
关键词：
D O I：
10.1007/11546207_40
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：427 / 431
页数：5
相关论文
共 50 条
  • [21] On computing logic programs
    Max-Planck-Inst fuer Informatik, Saarbruecken, Germany
    J Autom Reasoning, 3 (259-289):
  • [22] Computing preferred answer sets in answer set programming
    Wakaki, T
    Inoue, K
    Sakama, C
    Nitta, K
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2003, 2850 : 259 - 273
  • [23] On computing logic programs
    Dimopoulos, Y
    JOURNAL OF AUTOMATED REASONING, 1996, 17 (03) : 259 - 289
  • [24] Characterizing and computing semantically correct answers from databases with annotated logic and answer sets
    Barceló, P
    Bertossi, L
    Bravo, L
    SEMANTICS IN DATABASES, 2003, 2582 : 7 - 33
  • [25] Answer Sets in a Fuzzy Equilibrium Logic
    Schockaert, Steven
    Janssen, Jeroen
    Vermeir, Dirk
    De Cock, Martine
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 135 - +
  • [26] Possible and Necessary Answer Sets of Possibilistic Answer Set Programs
    Bauters, Kim
    Schockaert, Steven
    De Cock, Martine
    Vermeir, Dirk
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 836 - 843
  • [27] Extending Answer Sets for Logic Programming Agents
    M. De Vos
    D. Vermeir
    Annals of Mathematics and Artificial Intelligence, 2004, 42 : 103 - 139
  • [28] Extending answer sets for logic programming agents
    De Vos, M
    Vermeir, D
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (1-3) : 103 - 139
  • [29] Resilient Logic Programs: Answer Set Programs Challenged by Ontologies
    Lukumbuzya, Sanja
    Ortiz, Magdalena
    Simkus, Mantas
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2917 - 2924
  • [30] Computing fuzzy answer sets using DLVHEX
    Van Nieuwenborgh, Davy
    De Cock, Martine
    Vermeir, Dirk
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 449 - +
12345