• 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 non-disjunctive 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 front-ends to several advanced...
  • cc(FD)

  • Referenced in 17 articles [sw21237]
  • general-purpose 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 first-order 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 over-approximate 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...
  • GP-COACH

  • Referenced in 10 articles [sw09137]
  • High-dimensional problems. GP-COACH 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...