
Cmodels
 Referenced in 71 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 55 articles
[sw09565]
 introduces WASP, an ASP solver handling disjunctive logic programs under the stable model semantics. WASP...

DLV
 Referenced in 33 articles
[sw04640]
 deductive database system, based on disjunctive logic programming, which offers frontends 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 nondisjunctive programs. One of the them is responsible for generating...

PITA
 Referenced in 22 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 3 articles
[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 18 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...

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

selp
 Referenced in 8 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 nonground disjunctive ASP program, making use of long rule bodies...

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

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1888 articles
[sw00161]
 Coq is a formal proof management system. It...

MapReduce
 Referenced in 263 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

MiniSat
 Referenced in 566 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

PolyBoRi
 Referenced in 48 articles
[sw00723]
 Polybori: A framework for Gröbnerbasis computations with...