Publications
2011
How to Revise a Total Preorder Journal Article
In: J. Philos. Log., vol. 40, no. 2, pp. 193–238, 2011.
A logic-based perspective on agent reconfiguration: Preliminary report Proceedings Article
In: AFRICON 2011, Victoria Falls, Livingstone, Zambia, September 13-15, 2011, pp. 1–6, IEEE, 2011.
Semantic Foundation for Preferential Description Logics Proceedings Article
In: Wang, Dianhui; Reynolds, Mark (Ed.): AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings, pp. 491–500, Springer, 2011.
2010
Introduction: Special Issue on Knowledge Representation and Ontology Research Journal Article
In: Appl. Artif. Intell., vol. 24, no. 1&2, pp. 1–4, 2010.
Double preference relations for generalised belief change Journal Article
In: Artif. Intell., vol. 174, no. 16-17, pp. 1339–1368, 2010.
Equilibria in social belief removal Journal Article
In: Synth., vol. 177, no. Supplement-1, pp. 97–123, 2010.
A Logic for Reasoning about Actions and Explicit Observations Proceedings Article
In: Li, Jiuyong (Ed.): AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings, pp. 395–404, Springer, 2010.
Horn Belief Change: A Contraction Core Proceedings Article
In: Coelho, Helder; Studer, Rudi; Wooldridge, Michael J. (Ed.): ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 1065–1066, IOS Press, 2010.
2009
Modelling Object Typicality in Description Logics Proceedings Article
In: Nicholson, Ann E.; Li, Xiaodong (Ed.): AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 506–516, Springer, 2009.
Modelling Object Typicality in Description Logics Proceedings Article
In: Grau, Bernardo Cuenca; Horrocks, Ian; Motik, Boris; Sattler, Ulrike (Ed.): Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, CEUR-WS.org, 2009.
Next Steps in Propositional Horn Contraction Proceedings Article
In: Boutilier, Craig (Ed.): IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 702–707, 2009.
A General Family of Preferential Belief Removal Operators Proceedings Article
In: He, Xiangdong; Horty, John F.; Pacuit, Eric (Ed.): Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 42–54, Springer, 2009.
2008
Introduction to the special issue on advances in ontologies Journal Article
In: Expert Syst. J. Knowl. Eng., vol. 25, no. 3, pp. 175–178, 2008.
Iterated Belief Change and the Recovery Axiom Journal Article
In: J. Philos. Log., vol. 37, no. 5, pp. 501–520, 2008.
Equilibria in Social Belief Removal Proceedings Article
In: Brewka, Gerhard; Lang, Jérôme (Ed.): Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 145–155, AAAI Press, 2008.
Semantic Preferential Subsumption Proceedings Article
In: Brewka, Gerhard; Lang, Jérôme (Ed.): Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 476–484, AAAI Press, 2008.
2007
Relaxations of semiring constraint satisfaction problems Journal Article
In: Inf. Process. Lett., vol. 103, no. 5, pp. 177–182, 2007.
Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT Proceedings Article
In: Orgun, Mehmet A.; Thornton, John (Ed.): AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 202–212, Springer, 2007.
Implementing Iterated Belief Change Via Prime Implicates Proceedings Article
In: Orgun, Mehmet A.; Thornton, John (Ed.): AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 507–518, Springer, 2007.
On the Dynamics of Total Preorders: Revising Abstract Interval Orders Proceedings Article
In: Mellouli, Khaled (Ed.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 42–53, Springer, 2007.
Sydney OWL Syntax - towards a Controlled Natural Language Syntax for OWL 1.1 Proceedings Article
In: Golbreich, Christine; Kalyanpur, Aditya; Parsia, Bijan (Ed.): Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007, CEUR-WS.org, 2007.
2006
Social choice theory, belief merging, and strategy-proofness Journal Article
In: Inf. Fusion, vol. 7, no. 1, pp. 61–79, 2006.
Admissible and Restrained Revision Journal Article
In: J. Artif. Intell. Res., vol. 26, pp. 127–151, 2006.
Finding Maximally Satisfiable Terminologies for the Description Logic ALC Proceedings Article
In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 269–274, AAAI Press, 2006.
Mutual enrichment through nested belief change Proceedings Article
In: Nakashima, Hideyuki; Wellman, Michael P.; Weiss, Gerhard; Stone, Peter (Ed.): 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 226–228, ACM, 2006.
Computing Maximally Satisfiable Terminologies for the Description Logic emphALC with Cyclic Definitions Proceedings Article
In: Parsia, Bijan; Sattler, Ulrike; Toman, David (Ed.): Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006, CEUR-WS.org, 2006.
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach Proceedings Article
In: Brewka, Gerhard; Coradeschi, Silvia; Perini, Anna; Traverso, Paolo (Ed.): ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 731–732, IOS Press, 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: de 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: van 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.