A Semantic Approach for Iterated Revision in Possibilistic Logic
暂无分享,去创建一个
[1] Michael Thielscher,et al. Iterated Belief Revision, Revised , 2005, IJCAI.
[2] Peter Gärdenfors,et al. Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .
[3] Bernhard Nebel,et al. How Hard is it to Revise a Belief Base , 1996 .
[4] J. Pearl,et al. On the Logic of Iterated Belief Revision , 1994, Artif. Intell..
[5] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[6] Sven Ove Hansson,et al. A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.
[7] Didier Dubois,et al. Iterated Revision as Prioritized Merging , 2006, KR.
[8] Hans Rott,et al. Two Dogmas of Belief Revision , 2000 .
[9] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[10] Ronald Fagin,et al. On the semantics of updates in databases , 1983, PODS.
[11] Dov M. Gabbay,et al. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .
[12] Guilin Qi,et al. A Revision-Based Approach to Resolving Conflicting Information , 2005, UAI.
[13] Mary-Anne Williams,et al. Transmutations of Knowledge Systems , 1994, KR.
[14] Maurice Pagnucco,et al. Dynamic belief revision operators , 2003, Artif. Intell..
[15] Guilin Qi,et al. A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic , 2007, AAAI.
[16] Bernhard Nebel,et al. Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.
[17] Souhila Kaci,et al. Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.
[18] Henri Prade,et al. A Practical Approach to Revising Prioritized Knowledge Bases , 2002, Stud Logica.
[19] H. Prade,et al. Possibilistic logic , 1994 .
[20] Mary-Anne Williams,et al. Towards a Practical Approach to Belief Revision: Reason-Based Change , 1996, KR.
[21] Didier Dubois,et al. Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.
[22] Gerhard Brewka,et al. Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.
[23] Donald Nute,et al. Counterfactuals , 1975, Notre Dame J. Formal Log..