scientific article; zbMATH DE number 1241670

zbMath0917.68044MaRDI QIDQ4225120

Jürgen Dix

Publication date: 8 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

LP-semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (10)

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

This page was built for publication: