scientific article; zbMATH DE number 741347

zbMath0829.68021MaRDI QIDQ4327611

Jürgen Dix

Publication date: 9 April 1995

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

zbMATH Keywords

rationalitynonmonotonic reasoningcumulativity

Mathematics Subject Classification ID

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

Related Items (14)

Equilibrium logic ⋮ RASP and ASP as a fragment of linear logic ⋮ Approved Models for Normal Logic Programs ⋮ About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ Semantic-based construction of arguments: an answer set programming approach ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Layerings of logic programs -- layer decomposable semantics and incremental model computation ⋮ Modularization of logic programs ⋮ Proof-theoretic foundations of normal logic programs ⋮ Epistemic logic programs: a study of some properties ⋮ Partial equilibrium logic ⋮ Adding Metalogic Features to Knowledge Representation Languages* ⋮ A general theory of confluent rewriting systems for logic programming and its applications ⋮ Answer Set Programming: A Primer

This page was built for publication: