Modal nonmonotonic logics: ranges, characterization, computation
作者： Miroslaw Truszczynski , V. Wiktor Marek , Grigori F. Shvarts
DOI:
关键词:
摘要:
参考文章(17)
Miroslaw Truszczynski, V. Wiktor Marek, Stable Semantics for Logic Programs and Default Theories. NACLP. pp. 243- 256 ,(1989)
Michael Kaminski, Embedding a default system into nonmonotonic logics Fundamenta Informaticae. ,vol. 14, pp. 345- 353 ,(1991) , 10.3233/FI-1991-14308
Yoav Shoham, Nonmonotonic logics: meaning and utility international joint conference on artificial intelligence. pp. 388- 393 ,(1987)
Miroslaw Truszczyński, Wiktor Marek, Relating autoepistemic and default logics principles of knowledge representation and reasoning. pp. 276- 288 ,(1989)
Vladimir Lifschitz, Michael Gelfond, Logic programs with classical negation international conference on lightning protection. pp. 579- 597 ,(1990)
Yoav Shoham, Fangzhen Lin, Epistemic Semantics for Fixed-Points Non-Monotonic Logics theoretical aspects of rationality and knowledge. pp. 111- 120 ,(1990)
Grigori F. Shvarts, Autoepistemic modal logics theoretical aspects of rationality and knowledge. pp. 97- 109 ,(1990)
M. J. Cresswell, G. E. Hughes, A companion to modal logic ,(1984)
Michael Gelfond, On stratified autoepistemic theories national conference on artificial intelligence. pp. 207- 211 ,(1987)
Robert C. Moore, Semantical considerations on nonmonotonic logic Artificial Intelligence. ,vol. 25, pp. 75- 94 ,(1985) , 10.1016/0004-3702(85)90042-6