An overview of nonmonotonic reasoning and logic programming

DOI10.1016/0743-1066(93)90028-FzbMath0784.68022MaRDI QIDQ4275255

Jack Minker

Publication date: 22 March 1994

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic reasoning

Mathematics Subject Classification ID

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