scientific article; zbMATH DE number 1158758
From MaRDI portal
Publication:4391449
zbMath0900.68140MaRDI QIDQ4391449
Arcot Rajasekar, Jack Minker, Jorge Lobo
Publication date: 3 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unfold/fold transformations for disjunctive logic programs ⋮ Querying disjunctive databases through nonmonotonic logics ⋮ Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation ⋮ Reasoning under minimal upper bounds in propositional logic ⋮ Programming in metric temporal logic ⋮ Abduction from logic programs: Semantics and complexity ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ Paraconsistent disjunctive deductive databases ⋮ Computing minimal models by partial instantiation ⋮ On the Relations between Disjunctive and Linear Logic Programming ⋮ 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 ⋮ Expressive power and complexity of partial models for disjunctive deductive databases ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ On the complexity of data disjunctions. ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ Enhancing disjunctive logic programming systems by SAT checkers