ABSTRACT
No abstract available.
- 1.Lin. Z, First-Order Parametric Logic, Proc. of National Conf. on Multiple--V~lucd Logics, (China, 1990)Google Scholar
- 2.Lin. Z, A Uniform Basis for Nonmonotonic Logics, in: Advances in Knowledge Engincrring, (CUG Press, 1990)Google Scholar
- An experiential logic for nonmonotonic reasoning (abstract and regerences only)
Recommendations
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Gelfond and Lifschitz were the first to point out the need for a symmetric negation in logic programming and they also proposed a specific semantics for such negation for logic programs with the stable semantics, which they called ‘classical’. Subsequently,...
Towards First-Order Nonmonotonic Reasoning
LPNMR '99: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic ReasoningWe investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered ...
Comments