• Cmodels

  • Referenced in 67 articles [sw04435]
  • logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search ... relation between two semantics: the answer set and the completion semantics for logic programs ... answer set semantics is equivalent to the completion semantics, so that the answer sets...
  • Smodels

  • Referenced in 238 articles [sw04631]
  • Answer Set Programming (ASP) implementation based on the stable model semantics of normal logic programs ... logic program such that the answer sets (stable models) of the program correspond...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • system for non-monotonic reasoning under answer set semantics NoMoRe implements answer set semantics...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • that suit the requirements of the answer-set semantics and meet the constraints of practical ... project on methods and methodologies for answer-set program development in whose context SeaLion...
  • spock

  • Referenced in 6 articles [sw30413]
  • Tool for Logic Programs under the Answer-Set Semantics. Answer-set programming ... problem from its solving methods. Despite its semantic elegance, ASP suffers from a lack ... debugging logic programs under the answer-set semantics seems rather unnatural, since employing imperative solving ... spock, a debugging support tool for answer-set programs making use of ASP itself...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • manipulating XML data. The model-theoretic semantics of XPath-Logic serves as the base ... programming language, whereas also an equivalent answer-set semantics for evaluating XPathLog queries is given...
  • f2lp

  • Referenced in 10 articles [sw09898]
  • System f2lp – computing answer sets of first-order formulas. We present an implementation ... theory under the stable model semantics into an answer set program, so that existing answer...
  • CCalc

  • Referenced in 76 articles [sw09899]
  • Texas Action Group at Austin. The semantics of the language of CCalc is related ... State University, processes CCalc input using answer set solvers instead of SAT solvers...
  • MWeb

  • Referenced in 3 articles [sw18270]
  • model-theoretically. These semantics extend the answer set semantics (AS) and the well-founded semantics...
  • OntoDLV

  • Referenced in 7 articles [sw30415]
  • information. In this area, the semantic peculiarities of Answer Set Programming (ASP), like the Closed...
  • DIAMOND

  • Referenced in 8 articles [sw22086]
  • essentially a collection of answer set programming (ASP) encodings of semantics of abstract dialectical frameworks...
  • Moviola

  • Referenced in 3 articles [sw27497]
  • multi-shot answer set programming. The causal rejection-based update semantics assign meanings ... DLPs under these update semantics to logic programs of answer set programming (ASP), they have ... called Moviola, utilizing the multi-shot answer set solver Clingo. Using the system, a user ... compute its models according to various semantics...
  • ASPMT2SMT

  • Referenced in 4 articles [sw13280]
  • answer set programming and satisfiability modulo theories based on the functional stable model semantics...
  • fasp2smt

  • Referenced in 2 articles [sw33092]
  • fasp2smt: Fuzzy Answer Set Programming (FASP) allows to represent and reason on incomplete and imprecise ... knowledge under stable model semantics. This is a solver based on translations into SMT theories...
  • PrASP

  • Referenced in 2 articles [sw18512]
  • model semantics. This system description paper describes the software framework PrASP (“probabilistic answer set programming ... probabilistic logic programming language based on answer set programming (ASP). Besides serving as a research ... first-order logic formulas (with stable model semantics), annotated with conditional or unconditional probabilities...
  • FrameNet

  • Referenced in 5 articles [sw01965]
  • open question how to operationalize semantic information on a larger scale. As a basis ... FrameNet II frames into the answer set programming paradigm of logic programming. Because a number ... automatic annotation of text documents with frame semantics which are currently developed at various sites...
  • LogAnswer

  • Referenced in 3 articles [sw21369]
  • description). LogAnswer is an open domain question answering system which employs an automated theorem prover ... large axiom set in first-order logic, representing a formalized semantic network acquired from extensive ... semantics and background knowledge, which play a vital role in deriving answers. We present...
  • modopt

  • Referenced in 2 articles [sw33090]
  • address redundancy of rules in answer set programs, and in particular, in program modules that ... this end, we provide an exact semantical characterization of redundancy and present a translation-based...
  • AspCcgTk

  • Referenced in 1 article [sw09896]
  • developed using declarative programming paradigm -- Answer Set Programming. It implements wide-coverage CCG parsing ... tool. AspCcgTk aims at producing all semantically distinct parse trees for a given sentence. Compared ... formulated as a planning problem and answer set programming systems are used to compute solutions...
  • NoHR

  • Referenced in 5 articles [sw27501]
  • version of NoHR, a reasoner designed to answer queries over hybrid theories composed ... ontology in description logics and a set of non-monotonic rules in logic programming. Whereas ... nevertheless theoretically challenging due to their substantial semantical differences. NoHR has been developed...