scientific article; zbMATH DE number 6957
From MaRDI portal
Publication:4713940
zbMath0846.03011MaRDI QIDQ4713940
Halina Przymusinska, Michael Gelfond
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ On the equivalence of upward and downward inheritance reasoners ⋮ A terminological interpretation of (abductive) logic programming ⋮ Nonmonotonic inheritance, argumentation and logic programming ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ A series of revisions of David Poole's specificity ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry ⋮ Lexicographic priorities in default logic
This page was built for publication:
