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

Clingo
 Referenced in 66 articles
[sw09893]
 hence now supports parallel and disjunctive solving. Attention! The languages of Gringo...

BL data set
 Referenced in 25 articles
[sw08330]
 Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems ... satisfaction techniques have been successfully applied to “disjunctive” scheduling problems, i.e., scheduling problems where each ... less uniformly effective than their disjunctive counterparts. Different problems in the cumulative scheduling class seem ... cumulative scheduling class, we distinguish between “highly disjunctive” and “highly cumulative” problems: a problem...

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

LogMIP
 Referenced in 22 articles
[sw05035]
 program for solving linear and nonlinear disjunctive programming problems, involving binary variables and disjunction definitions ... While the modeling and solution of these disjunctive optimization problemas has not yect reached...

GNT
 Referenced in 22 articles
[sw00367]
 implementation of the stable model semantics for disjunctive logic programs [Gelfond and Lifschitz ... interacting smodels solvers for nondisjunctive programs. One of the them is responsible for generating...

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

cc(FD)
 Referenced in 17 articles
[sw21237]
 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 ... prove optimality to a famous 10/10 disjunctive scheduling problem [29], which was left open...

ProbView
 Referenced in 27 articles
[sw09438]
 postulates, whole classes of strategies for conjunction, disjunction, and negation, meaningful from the viewpoint...

PITA
 Referenced in 19 articles
[sw06950]
 independent choice logic, logic programs with annotated disjunctions (LPADs), Problog, PRISM, and others. These languages...

Lixto
 Referenced in 19 articles
[sw20097]
 some advanced features of Lixto, such as disjunctive pattern definitions, specialization rules, and Lixto...

ASPARTIX
 Referenced in 18 articles
[sw08820]
 generalizations thereof. ASPARTIX relies on a fixed disjunctive datalog program which takes an instance...

Dagger
 Referenced in 15 articles
[sw04953]
 widen, (2) a new way to handle disjunctions that arise due to refinement...

KoMeT
 Referenced in 13 articles
[sw28720]
 closed firstorder formula to a disjunctive normal form has severe drawbacks, namely the disruption...

NP Datalog
 Referenced in 9 articles
[sw13446]
 constructs (namely, stratified negation, constraints, and exclusive disjunction) is introduced. Next, a further restricted language ... only using a restricted form of disjunction to define (nondeterministically) subsets (or partitions) of relations...

ArgoCLP
 Referenced in 12 articles
[sw07192]
 atoms and the succedent is a disjunction of existentially quantified formulae which are conjunctions...

BOXES
 Referenced in 6 articles
[sw21178]
 analyses. The simplest numeric domains overapproximate disjunction by an imprecise join, typically yielding path ... such as finite powersets, which provide exact disjunction. However, developing correct and efficient disjunctive refinement ... known Box (or Intervals) domain with finite disjunctions. An element of Boxes is a finite...

GPCOACH
 Referenced in 10 articles
[sw09137]
 Highdimensional problems. GPCOACH learns disjunctive normal form rules (generated by means...

Motras
 Referenced in 9 articles
[sw09240]
 tool for modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also...

Hornlog
 Referenced in 6 articles
[sw21362]
 assertions and also queries consisting of disjunctions of negations of Horn clauses are allowed ... possible to yield indefinite answers, i.e. disjunctions of substitutions. The method seems particularly useful...