clasp: A conflict-driven answer set solver

被引：155
|
作者：
Gebser, Martin [1 ]
Kaufmann, Benjamin [1 ]
Neumann, Andre [1 ]
Schaub, Torsten [1 ]
机构：
[1] Univ Potsdam, Inst Informat, August-Bebel-Str 89, D-14482 Potsdam, Germany
来源：
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS | 2007年 / 4483卷
关键词：
D O I：
10.1007/978-3-540-72200-7_23
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We describe the conflict-driven answer set solver clasp, which is based on concepts from constraint processing (CSP) and satisfiability checking (SAT). We detail its system architecture and major features, and provide a systematic empirical evaluation of its features.
引用
收藏
页码：260 / +
页数：2
相关论文
共 50 条
  • [1] The Conflict-Driven Answer Set Solver clasp: Progress Report
    Gebser, Martin
    Kaufmann, Benjamin
    Schaub, Torsten
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 509 - 514
  • [2] A Simple Distributed Conflict-Driven Answer Set Solver
    Ellguth, Enrico
    Gebser, Martin
    Gusowski, Markus
    Kaufmann, Benjamin
    Kaminski, Roland
    Liske, Stefan
    Schaub, Torsten
    Schneidenbach, Lars
    Schnor, Bettina
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 490 - +
  • [3] Conflict-driven answer set enumeration
    Gebser, Martin
    Kaufmann, Benjamin
    Neumann, Andre
    Schaub, Torsten
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 136 - +
  • [4] Conflict-Driven Answer Set Solving
    Gebser, Martin
    Kaufmann, Benjamin
    Neumann, Andre
    Schaub, Torsten
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 386 - 392
  • [5] Conflict-driven answer set solving: From theory to practice
    Gebser, Martin
    Kaufmann, Benjamin
    Schaub, Torsten
    ARTIFICIAL INTELLIGENCE, 2012, 187 : 52 - 89
  • [6] Towards a better understanding of the punctionality of a conflict-driven SAT solver
    Dershowitz, Nachum
    Hanna, Ziyad
    Nadel, Alexander
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, 2007, 4501 : 287 - +
  • [7] Conflict-Driven Conditional Termination
    D'Silva, Vijay
    Urban, Caterina
    COMPUTER AIDED VERIFICATION, CAV 2015, PT II, 2015, 9207 : 271 - 286
  • [8] Conflict-Driven Inductive Logic Programming
    Law, Mark
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (02) : 387 - 414
  • [9] Conflict-Driven Synthesis for Layout Engines
    Liu, Junrui
    Chen, Yanju
    Atkinson, Eric
    Feng, Yu
    Bodik, Rastislav
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
  • [10] Answer Set Solver Backdoors
    Oikarinen, Emilia
    Jarvisalo, Matti
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 674 - 683
12345