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
Linear resolution for consequence finding, Compositional model-theoretic semantics for logic programs