Updates with Disjunctive Information: From Syntactical and Semantical Perspectives
暂无分享,去创建一个
[1] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.
[2] Raymond Reiter,et al. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.
[3] W. Salmon,et al. Knowledge in Flux , 1991 .
[4] Mukesh Dalal,et al. Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.
[5] M. Gelfond,et al. Disjunctive Defaults , 1991 .
[6] Bernhard Nebel,et al. Second International Conference on Principles of Knowledge Representation and Reasoning (KR '91) , 1992, Künstliche Intell..
[7] Peter Jackson,et al. Computing Prime Implicates Incrementally , 1992, CADE.
[8] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.
[9] Hudson Turner,et al. A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.
[10] Georg Gottlob,et al. Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information , 1993, IJCAI.
[11] Norman Y. Foo,et al. Reasoning About Persistence: A Theory of Actions , 1993, IJCAI.
[12] Andreas Herzig,et al. Update Operations: A Review , 1998, ECAI.
[13] Marie-Odile Cordier,et al. A temporal revision model for reasoning about world change , 1994, Int. J. Intell. Syst..
[14] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[15] Yan Zhang,et al. Disjunctive Update, Minimal Change, and Default Reasoning , 1997, ECSQARU-FAPR.
[16] Paolo Liberatore,et al. The Complexity of Belief Update , 1997, IJCAI.
[17] Norman Y. Foo,et al. Updating Knowledge Bases with Disjunctive Information , 1996, AAAI/IAAI, Vol. 1.
[18] Johan de Kleer. An Improved Incremental Algorithm for Generating Prime Implicates , 1992, AAAI.
[19] Marianne Winslett,et al. Immortal: A Model-Based Belief Revision System , 1991, KR.
[20] Joseph Y. Halpern,et al. A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.
[21] Alvaro del Val. Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation , 1994, KR.
[22] Joachim Hertzberg,et al. How to do Things with Worlds: On Formalizing Actions and Plans , 1993, J. Log. Comput..
[23] Fangzhen Lin,et al. Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.
[24] Pierre Marquis. Possible Models Approach via Independency , 1994, ECAI.
[25] Andreas Herzig,et al. The PMA Revisited , 1996, KR.
[26] Gabriel M. Kuper,et al. Updating Logical Databases , 1986, Adv. Comput. Res..
[27] Norman Y. Foo,et al. Towards Generalized Rule-based Updates , 1997, IJCAI.
[28] Teow-Hin Ngair,et al. A New Algorithm for Incremental Prime Implicate Generation , 1993, IJCAI.
[29] Yan Zhang,et al. On Propositional Knowledge Base Updates , 1995 .
[30] Vladimir Lifschitz,et al. Frames in the Space of Situations , 1990, Artif. Intell..
[31] Fangzhen Lin. Embracing causality in specifying the effects of indeterminate actions , 1996, AAAI 1996.