Belief Revision and Argumentation Theory
暂无分享,去创建一个
Guillermo Ricardo Simari | Gabriele Kern-Isberner | Marcelo A. Falappa | Guillermo R. Simari | G. Kern-Isberner
[1] Gabriele Kern-Isberner,et al. On the Logic of Theory Change: Relations Between Incision and Selection Functions , 2006, ECAI.
[2] Reinhard Niederée. Multiple contraction. A further case against Gärdenfors' principle of recovery , 1989, The Logic of Theory Change.
[3] John L. Pollock,et al. Belief Revision And Epistemology , 2000, Synthese.
[4] Peter G¿rdenfors,et al. Belief Revision , 2003 .
[5] Gabriele Kern-Isberner. Postulates for Conditional Belief Revision , 1999, IJCAI.
[6] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[7] Jérôme Lang,et al. Belief Update Revisited , 2007, IJCAI.
[8] S. Hansson. In defense of base contraction , 1992, Synthese.
[9] Guillermo Ricardo Simari,et al. Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.
[10] Didier Dubois,et al. How to Infer from Inconsisent Beliefs without Revising? , 1995, IJCAI.
[11] Sven Ove Hansson. Kernel Contraction , 1994, J. Symb. Log..
[12] Hiroshi Tomita,et al. Book Review / Erratum , 2006, Ophthalmologica.
[13] Guido Boella,et al. Making Others Believe What They Want , 2008, IFIP AI.
[14] Sébastien Konieczny,et al. On the merging of Dung's argumentation systems , 2007, Artif. Intell..
[15] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.
[16] Phan Minh Dung,et al. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..
[17] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[18] André Fuhrmann,et al. A survey of multiple contractions , 1994, J. Log. Lang. Inf..
[19] Sven Ove Hansson,et al. Belief contraction without recovery , 1991, Stud Logica.
[20] Judea Pearl,et al. On the Logic of Iterated Belief Revision , 1994, Artif. Intell..
[21] Sven Ove Hansson,et al. New operators for theory change , 2008 .
[22] Sven Ove Hansson. Belief Revision: A dyadic representation of belief , 1992 .
[23] Peter Gärdenfors,et al. Belief Revision: Contents , 1992 .
[24] Didier Dubois,et al. Iterated Revision as Prioritized Merging , 2006, KR.
[25] Guillermo Ricardo Simari,et al. Argument Theory Change: Revision Upon Warrant , 2008, COMMA.
[26] Gabriele Kern-Isberner,et al. A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision , 2004, Annals of Mathematics and Artificial Intelligence.
[27] Peter Gärdenfors,et al. Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.
[28] J. Dekleer. An assumption-based TMS , 1986 .
[29] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[30] Didier Dubois,et al. Three Scenarios for the Revision of Epistemic States , 2008, J. Log. Comput..
[31] Guillermo Ricardo Simari,et al. Explanations, belief revision and defeasible reasoning , 2002, Artif. Intell..
[32] Jon Doyle,et al. Belief Revision: Reason maintenance and belief revision: Foundations versus coherence theories , 1992 .
[33] André Fuhrmann,et al. Theory contraction through base contraction , 1991, J. Philos. Log..
[34] Abhaya C. Nayak. Foundational belief change , 1994, J. Philos. Log..
[35] David Makinson,et al. On the logic of theory change: Safe contraction , 1985, Stud Logica.
[36] Claudette Cayrol,et al. Revision of an Argumentation System , 2008, KR.
[37] David Makinson,et al. On the logic of theory change: Contraction functions and their associated revision functions , 2008 .
[38] Allen Newell,et al. The Knowledge Level , 1989, Artif. Intell..
[39] Guillermo Ricardo Simari,et al. Belief dynamics and defeasible argumentation in rational agents , 2004, NMR.
[40] Gabriele Kern-Isberner,et al. Linking Iterated Belief Change Operations to Nonmonotonic Reasoning , 2008, KR.
[41] Sven Ove Hansson,et al. Theory contraction and base contraction unified , 1993, Journal of Symbolic Logic.
[42] Isaac Levi. Subjunctives, dispositions and chances , 1977 .
[43] Cristiano Castelfranchi,et al. The Toulmin Test: Framing Argumentation within Belief Revision Theories , 2006, Arguing on the Toulmin Model.
[44] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..