• ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool ... program which takes an instance of an argumentation framework as input, and uses the answer ... set solver DLV for computing the type of extension specified by the user...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. We report about ... integrated development environment (IDE) for answer-set programming (ASP). A main goal of SeaLion ... write, evaluate, debug, and test answer-set programs. To this end, new support techniques have ... project on methods and methodologies for answer-set program development in whose context SeaLion...
  • D-FLAT

  • Referenced in 7 articles [sw09895]
  • problem solving using tree decompositions and answer-set programming. In this work, we propose Answer...
  • Kara

  • Referenced in 5 articles [sw30392]
  • Visual Editing of Interpretations for Answer-Set Programs. In answer-set programming (ASP), the solutions...
  • DLVHEX

  • Referenced in 8 articles [sw03032]
  • programs, which are an extension of Answer-Set Programs towards integration of external computation sources...
  • spock

  • Referenced in 5 articles [sw30413]
  • Programs under the Answer-Set Semantics. Answer-set programming (ASP) is an emerging logic-programming ... suffers from a lack of support for program developers. In particular, tools are needed that ... tracing techniques for debugging logic programs under the answer-set semantics seems rather unnatural, since ... spock, a debugging support tool for answer-set programs making use of ASP itself...
  • OMiGA

  • Referenced in 5 articles [sw33084]
  • present a new solver for Answer-Set Programs whose main features include grounding ... readiness for use in solving distributed answer-set programs. The solver is implemented in Java...
  • VIDEAS

  • Referenced in 3 articles [sw09771]
  • VIDEAS: A development tool for answer-set programs based on model-driven engineering technology ... dedicated tools to ease programming and to prevent programming errors. Recently, the techniques of model ... development process. In the world of answer-set programming (ASP), the situation is different. Much ... graphically supports the partial specification of answer-set programs, applying technologies provided...
  • dynASP

  • Referenced in 5 articles [sw09817]
  • present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP...
  • Uhura

  • Referenced in 1 article [sw31979]
  • Uhura: an authoring tool for specifying answer-set programs using controlled natural language. In this ... present the tool Uhura for developing answer-set programs by means of specifying problem descriptions ... language which then are translated into answer-set programming (ASP) rules. The tool is aimed ... supporting users not familiar with answer-set programming—or logic-based approaches in general...
  • Lana

  • Referenced in 1 article [sw30403]
  • Annotating answer-set programs in LANA. While past research in answer-set programming (ASP) mainly ... particular, we propose to augment answer-set programs with additional meta-information formulated...
  • WSAT(CC)

  • Referenced in 2 articles [sw09816]
  • recently proposed formalism for answer-set programming...
  • Democratix

  • Referenced in 2 articles [sw27637]
  • preference aggregation. The declarative nature of answer-set programming (ASP) and the performance of state...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • logic-programming language, whereas also an equivalent answer-set semantics for evaluating XPathLog queries...
  • ASPDoc

  • Referenced in 1 article [sw30404]
  • Annotating answer-set programs in LANA. .. To demonstrate its versatility, we introduce two such tools...
  • ASPUnit

  • Referenced in 1 article [sw30405]
  • Annotating answer-set programs in LANA. .. To demonstrate its versatility, we introduce two such tools...
  • dlvhex-sparql

  • Referenced in 1 article [sw25698]
  • integration of SPARQL query processing and Answer-Set Programming, the underlying logic programming formalism...
  • GNT

  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...
  • MiniSat

  • Referenced in 528 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • GraphBase

  • Referenced in 121 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...