• SATCHMOREBID

  • Referenced in 7 articles [sw06623]
  • efficiency of the query answering process in disjunctive databases...
  • OntoDLV

  • Referenced in 7 articles [sw30415]
  • powerful ontology representation language, called OntoDLP, extending (disjunctive) ASP with all the main ontology features...
  • DLPEQ

  • Referenced in 4 articles [sw33088]
  • tool for testing the equivalence of disjunctive logic programs. The translator dlpeq is an implementation ... method for verification of weak equivalence of disjunctive logic programs in [OJ, LPNMR...
  • TCAS

  • Referenced in 5 articles [sw21413]
  • propagation with Linear Programming to solve conditional disjunctive constraint systems over bounded integers extracted from...
  • TitanicOR

  • Referenced in 2 articles [sw18881]
  • Mining disjunctive minimal generators with TitanicOR. Disjunctive minimal generators were proposed by Zhao, Zaki ... Ramakrishnan (2006). They defined disjunctive closed itemsets and disjunctive minimal generators through the disjunctive support ... function. We prove that the disjunctive support function is compatible with the closure operator presented ... concept lattices and closed itemsets, to mine disjunctive minimal generators. We present TitanicOR...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • support better precision, we have allowed disjunctive formulae to be inferred, where appropriate...
  • BLOSOM

  • Referenced in 2 articles [sw18880]
  • expressions into four categories: pure conjunctions, pure disjunctions, conjunction of disjunctions, and disjunction of conjunctions...
  • AltAltp

  • Referenced in 2 articles [sw20689]
  • heuristic state search planners still lag behind disjunctive planners in the generation of parallel plans ... fraction of the cost incurred by the disjunctive planners...
  • DWAM

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

  • Referenced in 3 articles [sw17212]
  • package support both conjunctive and disjunctive models, and the parametric methods in the package support...
  • PAGOdA

  • Referenced in 3 articles [sw17539]
  • rules allowing for existential quantification and disjunction in the head; our only assumption...
  • APT

  • Referenced in 3 articles [sw29303]
  • calls, and whose branches represent conjunctions and disjunctions. This tree represents the search space traversed...
  • selp

  • Referenced in 3 articles [sw31006]
  • input ELP into a non-ground disjunctive ASP program, making use of long rule bodies...
  • CircuitTSAT

  • Referenced in 1 article [sw18672]
  • solver for large instances of the disjunctive temporal problem. In this paper, we report ... solver for large instances of the Disjunctive Temporal Problem (DTP). Our solver is based primarily ... employing ”compact” circuit-based representations of disjunctive temporal constraints (akin to ripple-carry adders used...
  • SMCHR

  • Referenced in 2 articles [sw09322]
  • with a more complex propositional structure including disjunction, negation, etc., or CHR relies...
  • plfm

  • Referenced in 2 articles [sw24562]
  • estimating probabilistic latent feature models with a disjunctive, conjunctive or additive mapping rule on (aggregated...
  • circ2dlp

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

  • Referenced in 1 article [sw33089]
  • models for programs; dencode: encode disjunctive rules; disclose: reveal hidden atoms by giving them names ... listing of a logic program; lpshift: shift disjunctive rules into normal rules; modlist: split logic...
  • DDDLIB

  • Referenced in 1 article [sw00192]
  • formulae with the standard Boolean operators (conjunction, disjunction, negation, etc.), eliminating quantifiers, and deciding functional...
  • EDNF

  • Referenced in 1 article [sw03443]
  • tool. We have studied the extended disjunctive normal form and propose a method to process...