scientific article
From MaRDI portal
Publication:4012230
zbMath0747.68086MaRDI QIDQ4012230
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)
Related Items
Minimal knowledge problem: A new approach ⋮ Evaluating epistemic negation in answer set programming ⋮ Logic Programming with Graded Modality ⋮ Minimal belief and negation as failure ⋮ A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ Combining answer set programming with description logics for the semantic web ⋮ A note on the stable model semantics for logic programs ⋮ Three-valued semantics for hybrid MKNF knowledge bases revisited ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Well-founded operators for normal hybrid MKNF knowledge bases ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On combining ontologies and rules ⋮ Extended RDF: computability and complexity issues ⋮ Local closed world reasoning with description logics under the well-founded semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A logic of knowledge and justified assumption ⋮ General default logic ⋮ Normative Systems Represented as Hybrid Knowledge Bases ⋮ Answer Set Programming: A Primer ⋮ In search of a ``true logic of knowledge: The nonmonotonic perspective
