A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
From MaRDI portal
Publication:4208858
DOI10.1016/S0743-1066(97)10005-XzbMath0905.68032MaRDI QIDQ4208858
Publication date: 4 October 1998
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (5)
Here and There among Logics for Logic Programming ⋮ On partial and paraconsistent logics ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ A causal approach to nonmonotonic reasoning
This page was built for publication: A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
