
Cmodels
 Referenced in 67 articles
[sw04435]
 that computes answer sets for either disjunctive logic programs or logic programs containing choice rules ... program  possible solutions, in case of disjunctive programs SAT solver zChaff is also used...

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 nondisjunctive programs. One of the them is responsible for generating...

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

LogMIP
 Referenced in 22 articles
[sw05035]
 program for solving linear and nonlinear disjunctive programming problems, involving binary variables and disjunction definitions...

DLV
 Referenced in 30 articles
[sw04640]
 deductive database system, based on disjunctive logic programming, which offers frontends to several advanced...

ASPARTIX
 Referenced in 18 articles
[sw08820]
 ASPARTIX: Implementing Argumentation Frameworks Using AnswerSet Programming. The system ASPARTIX is a tool ... thereof. ASPARTIX relies on a fixed disjunctive datalog program which takes an instance...

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...

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...

Clingo
 Referenced in 66 articles
[sw09893]
 Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam: Clingo ... hence now supports parallel and disjunctive solving. Attention! The languages of Gringo...

cc(FD)
 Referenced in 17 articles
[sw21237]
 extension of the Constraint Logic Programming (CLP) scheme [21]. Its constraint solver includes (nonlinear) arithmetic ... generalpurpose combinators, in particular cardinality, constructive disjunction, and blocking implication, in conjunction with ... definition of nonprimitive constraints and disjunctions to be tackled at the language level. The implementation ... problems. In addition, a small cc(FD) program was able to find the optimal solution...

TCAS
 Referenced in 5 articles
[sw21413]
 combines constraint propagation with Linear Programming to solve conditional disjunctive constraint systems over bounded integers...

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

selp
 Referenced in 3 articles
[sw31006]
 version of the language of Answer Set Programming (ASP) that, in particular, allows users ... input ELP into a nonground disjunctive ASP program, making use of long rule bodies...

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

ASPTools
 Referenced in 1 article
[sw33089]
 models and SEmodels for programs; dencode: encode disjunctive rules; disclose: reveal hidden atoms ... them names; drop: delete rules from a program (randomly); igen: add an input generator ... code listing of a logic program; lpshift: shift disjunctive rules into normal rules; modlist: split...

BOXES
 Referenced in 6 articles
[sw21178]
 widely used in program analyses. The simplest numeric domains overapproximate disjunction by an imprecise...

APT
 Referenced in 3 articles
[sw29303]
 execution of a constraint logic program can be conceptually shown as a searchtree, where ... conjunctions and disjunctions. This tree represents the search space traversed by the program...

Dagger
 Referenced in 15 articles
[sw04953]
 interpretations. Abstract interpretation techniques prove properties of programs by computing abstract fixpoints. All such analyses ... widen, (2) a new way to handle disjunctions that arise due to refinement ... able to prove properties of C programs that are beyond current abstractionrefinement tools, such...

GPCOACH
 Referenced in 10 articles
[sw09137]
 paper we propose GPCOACH, a Genetic Programmingbased method for the learning of COmpact ... Highdimensional problems. GPCOACH learns disjunctive normal form rules (generated by means...

NP Datalog
 Referenced in 9 articles
[sw13446]
 language only using a restricted form of disjunction to define (nondeterministically) subsets (or partitions ... system translates 𝒩𝒫𝒟atalog queries into Optimization Programming Language (OPL) programs which are executed...