• 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 non-disjunctive 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 front-ends to several advanced...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set 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 ... 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 ... 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 non-ground 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 SE-models 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 over-approximate disjunction by an imprecise...
  • 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...
  • 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 abstraction-refinement tools, such...
  • GP-COACH

  • Referenced in 10 articles [sw09137]
  • paper we propose GP-COACH, a Genetic Programming-based method for the learning of COmpact ... High-dimensional problems. GP-COACH 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...