scientific article; zbMATH DE number 1241670
From MaRDI portal
Publication:4225120
zbMath0917.68044MaRDI QIDQ4225120
Publication date: 8 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Reasoning under minimal upper bounds in propositional logic, A unifying view for logic programming with non-monotonic reasoning, An abductive framework for extended logic programming, Semantic-based construction of arguments: an answer set programming approach, On the equivalence of the static and disjunctive well-founded semantics and its computation, A semantics for modular general logic programs, Expressive power and complexity of partial models for disjunctive deductive databases, Characterizing D-WFS: Confluence and iterated GCWA, On the complexity of data disjunctions., Enhancing disjunctive logic programming systems by SAT checkers
