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 条
  • [41] The characterization on the uniqueness of answer set for prioritized logic programs
    Zhang, Y
    Bai, Y
    FOUNDATIONS OF INTELLIGENT SYSTEMS, 2003, 2871 : 349 - 356
  • [42] Justifications for logic programs under answer set semantics
    Pontelli, Enrico
    Son, Tran Cao
    Elkhatib, Omar
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 1 - 56
  • [43] Computing minimal models, stable models and answer sets
    Lonc, Zbigniew
    Truszczynski, Miroslaw
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 395 - 449
  • [44] Quantified Equilibrium Logic and Foundations for Answer Set Programs
    Pearce, David
    Valverde, Agustin
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 546 - +
  • [45] Merging Logic Programs under Answer Set Semantics
    Delgrande, James
    Schaub, Torsten
    Tompits, Hans
    Woltran, Stefan
    LOGIC PROGRAMMING, 2009, 5649 : 160 - +
  • [46] System F2LP-Computing Answer Sets of First-Order Formulas
    Lee, Joohyung
    Palla, Ravi
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 515 - 521
  • [47] Computing confidence measures in stochastic logic programs
    Lodhi, H
    Muggleton, S
    MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3789 : 890 - 899
  • [48] Approximating answer sets of unitary Lifschitz-Woo programs
    Marek, VW
    Pivkina, I
    Truszczynski, M
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 : 66 - 78
  • [49] Computing executable slices for concurrent logic programs
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 13 - 22
  • [50] COMPUTING DEFINITE LOGIC PROGRAMS BY PARTIAL INSTANTIATION
    KAGAN, V
    NERODE, A
    SUBRAHMANIAN, VS
    ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 161 - 182
12345