An overview of nonmonotonic reasoning and logic programming
From MaRDI portal
Publication:4275255
DOI10.1016/0743-1066(93)90028-FzbMath0784.68022MaRDI QIDQ4275255
Publication date: 22 March 1994
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)
Related Items
To Vladimir Lifschitz on His 65th Birthday, Verification, validation, and integrity issues in expert and database systems: Two perspectives, Contextual hypotheses and semantics of logic programs, Characterizing D-WFS: Confluence and iterated GCWA, Introduction: Progress in formal commonsense reasoning