scientific article
From MaRDI portal
Publication:3830545
zbMath0675.68047MaRDI QIDQ3830545
Vladimir Lifschitz, Michael Gelfond
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
To Vladimir Lifschitz on His 65th Birthday ⋮ A logic programming system for nonmonotonic reasoning ⋮ A theory of nonmonotonic rule systems I ⋮ Semantic forgetting in answer set programming ⋮ A circumscriptive theorem prover ⋮ An extension of pointwise circumscription ⋮ Embedding circumscriptive theories in general disjunctive programs ⋮ Implementing Prioritized Circumscription by Computing Disjunctive Stable Models ⋮ Three-valued nonmonotonic formalisms and semantics of logic programs ⋮ John McCarthy's legacy ⋮ Logic programming semantics made easy ⋮ Conservative query normalization on parallel circumscription ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Introduction: Progress in formal commonsense reasoning
This page was built for publication:
