Prime forms and minimal change in propositional belief bases
暂无分享,去创建一个
Jerusa Marchi | Guilherme Bittencourt | Laurent Perrussel | Laurent Perrussel | G. Bittencourt | Jerusa Marchi
[1] Peter Jackson,et al. Computing Prime Implicants , 1990, CADE.
[2] Maurice Pagnucco,et al. The Role of Abductive Reasoning within the Process of Belief Revision , 1996 .
[3] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[4] Jerusa Marchi,et al. A Syntactical Approach to Belief Update , 2005, MICAI.
[5] Maurice Pagnucco,et al. Conservative Belief Revision , 2004, AAAI.
[6] Andreas Herzig,et al. Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..
[7] Rolf Socher. Optimizing the clausal normal form transformation , 2004, Journal of Automated Reasoning.
[8] Jerusa Marchi,et al. A Syntactic Approach to Satisfaction , 2008 .
[9] Hirofumi Katsuno,et al. A Unified View of Propositional Knowledge Base Updates , 1989, IJCAI.
[10] George Becker,et al. CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates , 2004, Journal of Automated Reasoning.
[11] Andreas Herzig,et al. Update Operations: A Review , 1998, ECAI.
[12] Bernhard Nebel,et al. Base Revision Operations and Schemes: Semantics, Representation and Complexity , 1994, ECAI.
[13] Sven Ove Hansson,et al. A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.
[14] Jerusa Marchi,et al. Propositional Reasoning for an Embodied Cognitive Model , 2004, SBIA.
[15] R. Parikh. Beliefs, belief revision, and splitting languages , 1999 .
[16] Kenneth D. Forbus. Introducing Actions into Qualitative Simulation , 1989, IJCAI.
[17] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[18] Balázs Szörényi,et al. On k-Term DNF with the Largest Number of Prime Implicants , 2008, SIAM J. Discret. Math..
[19] Maurice Pagnucco,et al. Knowledge Compilation for Belief Change , 2006, Australian Conference on Artificial Intelligence.
[20] Charles G. Morgan,et al. Probability, rational belief and belief change , 2004, NMR.
[21] G. Bittencourt,et al. An embodied logical model for cognition , 2006 .
[22] Jerusa Marchi,et al. A Syntactical Approach to Revision , 2004, ECAI.
[23] Mukesh Dalal,et al. Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.
[24] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[25] Meghyn Bienvenu,et al. Prime Implicates and Prime Implicants: From Propositional to Modal Logic , 2009, J. Artif. Intell. Res..
[26] Guilherme Bittencourt,et al. A Memory Model for Cognitive Agents , 2009 .
[27] Vasco M. Manquinho,et al. Prime implicant computation using satisfiability algorithms , 1997, Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence.
[28] Marco Cadoli,et al. A Survey on Knowledge Compilation , 1997, AI Commun..
[29] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[30] Craig Boutilier,et al. A Unified Model of Qualitative Belief Change: A Dynamical Systems Perspective , 1998, Artif. Intell..
[31] Guilin Qi,et al. Prime Implicate-based Belief Revision Operators , 2008, ECAI.
[32] C. Pollard,et al. Center for the Study of Language and Information , 2022 .
[33] Bernhard Nebel,et al. A Knowledge Level Analysis of Belief Revision , 1989, KR.
[34] Mark Ryan,et al. Implementation of Belief Change Operators Using BDDs , 2002, Stud Logica.
[35] Sven Ove Hansson,et al. A Textbook Of Belief Dynamics , 1999 .
[36] Jon Doyle,et al. Rational Belief Revision , 1991, KR.
[37] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[38] Angelo C. Loula,et al. Artificial Cognition Systems , 2006 .
[39] Jean-Yves Béziau,et al. Perspectives on Universal Logic , 2007 .
[40] Marco Schaerf,et al. Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..
[41] David Makinson. Propositional relevance through letter-sharing , 2009, J. Appl. Log..
[42] Joseph Y. Halpern,et al. A Knowledge-Based Framework for Belief change, Part I: Foundations , 1994, TARK.
[43] Thomas Andreas Meyer,et al. Implementing Iterated Belief Change Via Prime Implicates , 2007, Australian Conference on Artificial Intelligence.
[44] Ken Satoh. Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.
[45] Joseph Y. Halpern,et al. A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.
[46] Pierre Marquis,et al. A Perspective on Knowledge Compilation , 2001, IJCAI.
[47] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[48] Jerusa Marchi,et al. Quantum-Based Belief Merging , 2008, IBERAMIA.
[49] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.
[50] Pierre Marquis,et al. A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..
[51] Alvaro del Val. Syntactic Characterizations of Belief Change Operators , 1993, IJCAI.
[52] Jerusa Marchi,et al. An Embodied Logical Model for Cognition in Artificial Cognition Systems , 2007 .
[53] Alex Kean,et al. An Incremental Method for Generating Prime Implicants/Impicates , 1990, J. Symb. Comput..
[54] James M. Crawford,et al. Implicates and Prime Implicates in Random 3-SAT , 1996, Artif. Intell..
[55] Maurice Pagnucco,et al. Conservative belief change , 2004, AAAI 2004.
[56] Bernhard Nebel,et al. Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.
[57] Sébastien Konieczny,et al. Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory , 2005, Eur. J. Oper. Res..
[58] Leon G. Higley,et al. Forensic Entomology: An Introduction , 2009 .
[59] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.
[60] Peter Z. Revesz,et al. On the Semantics of Arbitration , 1997, Int. J. Algebra Comput..