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 条
  • [31] Metrics for Sets of Atoms and Logic Programs
    Preda, Mircea
    ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2006, 33 : 67 - 78
  • [32] Probabilistic Logic Programming under Answer Sets Semantics
    王洁
    鞠实儿
    中山大学学报(社会科学版), 2003, (S1) : 90 - 96
  • [33] Probabilistic Logic Programming under Answer Sets Semantics
    王洁
    鞠实儿
    中山大学学报(社会科学版), 2003, (社会科学版) : 90 - 96
  • [34] COMPUTING ANSWERS FOR DISJUNCTIVE LOGIC PROGRAMS
    FURBACH, U
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 357 - 372
  • [35] System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
    Bresnahan, Daniel
    Hippen, Nicholas
    Lierler, Yuliya
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024, 24 (01) : 132 - 156
  • [36] Computing preferred answer sets by meta-interpretation in Answer Set Programming
    Eiter, T
    Faber, W
    Leone, N
    Pfeifer, G
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 463 - 498
  • [37] Computing minimal models, stable models, and answer sets
    Lonc, Z
    Truszczynski, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 209 - 223
  • [38] Translating Preferred Answer Set Programs to Propositional Logic
    Asuncion, Vernon
    Zhang, Yan
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 396 - 401
  • [39] Justifications for logic programs under answer set semantics
    Pontelli, Enrico
    Son, Tran Cao
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 196 - 210
  • [40] Simplifying logic programs under answer set semantics
    Pearce, D
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 210 - 224
12345