Publications
2006
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder Proceedings Article
In: Doherty, Patrick; Mylopoulos, John; Welty, Christopher A. (Ed.): Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 230–238, AAAI Press, 2006.
A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings Proceedings Article
In: Yang, Qiang; Webb, Geoffrey I. (Ed.): PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings, pp. 907–911, Springer, 2006.
2005
Belief Liberation (and Retraction) Journal Article
In: Stud Logica, vol. 79, no. 1, pp. 47–72, 2005.
Knowledge Integration for Description Logics Proceedings Article
In: Veloso, Manuela M.; Kambhampati, Subbarao (Ed.): Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 645–650, AAAI Press / The MIT Press, 2005.
Mediation Using m-States Proceedings Article
In: Godo, Llu'ıs (Ed.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 489–500, Springer, 2005.
2004
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation Proceedings Article
In: McGuinness, Deborah L.; Ferguson, George (Ed.): Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pp. 293–298, AAAI Press / The MIT Press, 2004.
Negotiation as Mutual Belief Revision Proceedings Article
In: McGuinness, Deborah L.; Ferguson, George (Ed.): Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pp. 317–323, AAAI Press / The MIT Press, 2004.
LPOD Answer Sets and Nash Equilibria Proceedings Article
In: Maher, Michael J. (Ed.): Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings, pp. 343–351, Springer, 2004.
A Classification of Ontology Modification Proceedings Article
In: Webb, Geoffrey I.; Yu, Xinghuo (Ed.): AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings, pp. 248–258, Springer, 2004.
A Unifying Semantics for Belief Change Proceedings Article
In: Mántaras, Ramón López; Saitta, Lorenza (Ed.): Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 793–797, IOS Press, 2004.
Logical Foundations of Negotiation: Strategies and Preferences Proceedings Article
In: Dubois, Didier; Welty, Christopher A.; Williams, Mary-Anne (Ed.): Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 311–318, AAAI Press, 2004.
A unifying semantics for belief change Proceedings Article
In: Delgrande, James P.; Schaub, Torsten (Ed.): 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 72–78, 2004.
2003
Non-Prioritized Ranked Belief Change Journal Article
In: J. Philos. Log., vol. 32, no. 4, pp. 417–443, 2003.
Some Logics of Belief and Disbelief Proceedings Article
In: Gedeon, Tamás D.; Fung, Lance Chun Che (Ed.): AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings, pp. 364–376, Springer, 2003.
Belief liberation (and retraction) Proceedings Article
In: Halpern, Joseph Y.; Tennenholtz, Moshe (Ed.): Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 159–172, ACM, 2003.
2002
Systematic Withdrawal Journal Article
In: J. Philos. Log., vol. 31, no. 5, pp. 415–443, 2002.
Iterated revision and the axiom of recovery: A unified treatment via epistemic states Proceedings Article
In: Harmelen, Frank (Ed.): Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002, pp. 541–545, IOS Press, 2002.
Some logics of belief and disbelief Proceedings Article
In: Benferhat, Salem; Giunchiglia, Enrico (Ed.): 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 25–32, 2002.
Iterated revision and the axiom of recovery: a unified treatment via epistemic states Proceedings Article
In: Benferhat, Salem; Giunchiglia, Enrico (Ed.): 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 117–123, 2002.
Syntactic Representations of Semantic Merging Operations Proceedings Article
In: Ishizuka, Mitsuru; Sattar, Abdul (Ed.): PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 620, Springer, 2002.
Some logics of belief and disbelief Journal Article
In: CoRR, vol. cs.AI/0207037, 2002.
Iterated revision and the axiom of recovery: a unified treatment via epistemic states Journal Article
In: CoRR, vol. cs.AI/0207038, 2002.
2001
On the semantics of combination operations Journal Article
In: J. Appl. Non Class. Logics, vol. 11, no. 1-2, pp. 59–84, 2001.
Basic Infobase Change Journal Article
In: Stud Logica, vol. 67, no. 2, pp. 215–242, 2001.
Social Choice, Merging, and Elections Proceedings Article
In: Benferhat, Salem; Besnard, Philippe (Ed.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 466–477, Springer, 2001.
2000
Refined Epistemic Entrenchment Journal Article
In: J. Log. Lang. Inf., vol. 9, no. 2, pp. 237–259, 2000.
Infobase Change: A First Approximation Journal Article
In: J. Log. Lang. Inf., vol. 9, no. 3, pp. 353–377, 2000.
Merging Epistemic States Proceedings Article
In: Mizoguchi, Riichiro; Slaney, John K. (Ed.): PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings, pp. 286–296, Springer, 2000.
On the semantics of merging Journal Article
In: CoRR, vol. cs.AI/0003015, 2000.
1999
Basic Infobase Change Proceedings Article
In: Foo, Norman Y. (Ed.): Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 156–167, Springer, 1999.
