Publication:4012246
From MaRDI portal
zbMath0742.68060MaRDI QIDQ4012246
John F. Horty, Richmond H. Thomason, David S. Touretzky
Publication date: 27 September 1992
68T27: Logic in artificial intelligence
03B65: Logic of natural languages
68T30: Knowledge representation
Related Items
Defeasible inheritance with doubt index and its axiomatic characterization, On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies, Deontic logic as founded on nonmonotonic logic, An abstract, argumentation-theoretic approach to default reasoning, Minimal model semantics for sorted constraint representation, Defaults with priorities