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 条
  • [1] Answer sets for prioritized logic programs
    Zhang, Y
    Foo, NY
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 69 - 83
  • [2] A characterization of answer sets for logic programs
    Zhang MingYi
    Ying, Zhang
    Lin, FangZhen
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007, 50 (01): : 46 - 62
  • [3] A characterization of answer sets for logic programs
    ZHANG MingYi1
    2 Information Engineering School
    3 Department of Computer Science
    Science in China(Series F:Information Sciences), 2007, (01) : 46 - 62
  • [4] Witnesses for Answer Sets of Logic Programs
    Wang, Yisong
    Eiter, Thomas
    Zhang, Yuanlin
    Lin, Fangzhen
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (02)
  • [5] A characterization of answer sets for logic programs
    MingYi Zhang
    Ying Zhang
    FangZhen Lin
    Science in China Series F: Information Sciences, 2007, 50 : 46 - 62
  • [6] Preferred answer sets for extended logic programs
    Brewka, G
    Eiter, T
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 297 - 356
  • [7] Combining answer sets of nonmonotonic logic programs
    Sakama, Chiaki
    Inoue, Katsumi
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2006, 3900 : 320 - 339
  • [8] Preferred answer sets for ordered logic programs
    Van Nieuwenborgh, D
    Vermeir, D
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 432 - 443
  • [9] Preferred answer sets for ordered logic programs
    Van Nieuwenborgh, D
    Vermeir, D
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 107 - 167
  • [10] Chain Answer Sets for Logic Programs with Generalized Atoms
    Alviano, Mario
    Faber, Wolfgang
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 462 - 478
12345