Compiling a default reasoning system into Prolog
From MaRDI portal
Publication:750134
DOI10.1007/BF03037149zbMath0713.68017MaRDI QIDQ750134
Publication date: 1991
Published in: New Generation Computing (Search for Journal in Brave)
68T05: Learning and adaptive systems in artificial intelligence
68N20: Theory of compilers and interpreters
68N17: Logic programming
Related Items
On prediction in Theorist, Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities, Incorporating top-down information into bottom-up hypothetical reasoning, Linear resolution for consequence finding, Compositional model-theoretic semantics for logic programs, Prolog technology for default reasoning: proof theory and compilation techniques, IDNAF Prolog, A unifying view for logic programming with non-monotonic reasoning, Defaults as restrictions on classical Hilbert-style proofs, Default reasoning by deductive planning, Modular specifications with supernormal defaults