Publication:4391449
From MaRDI portal
zbMath0900.68140MaRDI QIDQ4391449
Jack Minker, Jorge Lobo, Arcot Rajasekar
Publication date: 3 June 1998
68N17: Logic programming
Related Items
On the equivalence of the static and disjunctive well-founded semantics and its computation, On reasoning about structural equality in XML: a description logic approach, Computing minimal models by partial instantiation, Enhancing disjunctive logic programming systems by SAT checkers, Reasoning under minimal upper bounds in propositional logic, Programming in metric temporal logic, Paraconsistent disjunctive deductive databases, Expressive power and complexity of partial models for disjunctive deductive databases, Querying disjunctive databases through nonmonotonic logics, Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation, Abduction from logic programs: Semantics and complexity, Prioritized logic programming and its application to commonsense reasoning, Logic programming and knowledge representation---The A-Prolog perspective, On the complexity of data disjunctions.