• Cmodels

  • Referenced in 67 articles [sw04435]
  • that computes answer sets for either disjunctive logic programs or logic programs containing choice rules ... models of the logic program -- possible solutions, in case of disjunctive programs SAT solver zChaff ... answer set and the completion semantics for logic programs. For big class of programs called...
  • WASP

  • Referenced in 42 articles [sw09565]
  • introduces WASP, an ASP solver handling disjunctive logic programs under the stable model semantics. WASP...
  • DLV

  • Referenced in 30 articles [sw04640]
  • deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced...
  • GNT

  • Referenced in 22 articles [sw00367]
  • stable model semantics for disjunctive logic programs [Gelfond and Lifschitz, 1991]. Our implementation is based ... interacting smodels solvers for non-disjunctive programs. One of the them is responsible for generating...
  • PITA

  • Referenced in 19 articles [sw06950]
  • independent choice logic, logic programs with annotated disjunctions (LPADs), Problog, PRISM, and others. These languages ... methods have been devised to translate programs between these languages. The complexity of computing ... probability of queries to these general PLP programs is very high due to the need ... form of programs it can evaluate. As an entirely different alternative, possibilistic logic programs adopt...
  • DLPEQ

  • Referenced in 4 articles [sw33088]
  • tool for testing the equivalence of disjunctive logic programs. The translator dlpeq is an implementation ... verification of weak equivalence of disjunctive logic programs in [OJ, LPNMR’04]. It is designed...
  • DWAM

  • Referenced in 3 articles [sw06624]
  • DWAM - a WAM model extension for disjunctive logic programming...
  • circ2dlp

  • Referenced in 2 articles [sw33091]
  • circ2dlp - translating circumscription into disjunctive logic programming...
  • ASPTools

  • Referenced in 1 article [sw33089]
  • models for programs; dencode: encode disjunctive rules; disclose: reveal hidden atoms by giving them names ... drop: delete rules from a program (randomly); igen: add an input generator to a module ... names; len: calculate the length of a logic program; lpcat: concatenate two or more logic ... source code listing of a logic program; lpshift: shift disjunctive rules into normal rules; modlist...
  • cc(FD)

  • Referenced in 17 articles [sw21237]
  • extension of the Constraint Logic Programming (CLP) scheme [21]. Its constraint solver includes (nonlinear) arithmetic ... general-purpose combinators, in particular cardinality, constructive disjunction, and blocking implication, in conjunction with...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • optimization problems. This paper presents a logic language for expressing 𝒩𝒫 search and optimization problems ... disjunction) is introduced. Next, a further restricted language only using a restricted form of disjunction ... translates 𝒩𝒫𝒟atalog queries into Optimization Programming Language (OPL) programs which are executed by the ILOG ... problems, expressed by means of a declarative logic language, with the efficiency of the ILOG...
  • Hornlog

  • Referenced in 6 articles [sw21362]
  • Hornlog) applies to a class of logic programs that is a proper extension ... assertions and also queries consisting of disjunctions of negations of Horn clauses are allowed...
  • APT

  • Referenced in 3 articles [sw29303]
  • execution of a constraint logic program can be conceptually shown as a search-tree, where ... conjunctions and disjunctions. This tree represents the search space traversed by the program ... amount of work performed by the program. The nodes of the tree can be used ... tool which runs constraint logic programs while depicting a (modified) searchtree, keeping at the same...
  • selp

  • Referenced in 3 articles [sw31006]
  • solver for Epistemic Logic Programs (ELPs), that is, programs that use an extended version ... language of Answer Set Programming (ASP) that, in particular, allows users to express epistemic negation ... input ELP into a non-ground disjunctive ASP program, making use of long rule bodies...
  • BARON

  • Referenced in 330 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MapReduce

  • Referenced in 253 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MCGP

  • Referenced in 15 articles [sw00562]
  • We present MCGP -- a tool for generating and...
  • PolyBoRi

  • Referenced in 48 articles [sw00723]
  • This work presents a new framework for Gröbner...
  • PSPLIB

  • Referenced in 264 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...