Tommie's selected list of publications

Here is a selected list of publications. They are all available online. Click here for a full list of publications.

Books

  1. Thomas Meyer, Mehmet A. Orgun, eds., Advances in Ontologies 2005, Conferences in Research and Practice in Information Technology, Volume 58, 2005, Australian Computer Society.

Journal publications

  1. Thomas Meyer. An information-theoretic semantics for belief change. South African Computer Journal 24:33-39, 1999.
  2. Thomas Meyer, Willem Labuschagne, Johannes Heidema. Refined epistemic entrenchment. Journal of Logic, Language and Information 9(2):237-259, 2000.
  3. Thomas Meyer, Willem Labuschagne, Johannes Heidema. Infobase change: A first approximation. Journal of Logic, Language and Information 9(3):353-377, 2000.
  4. Thomas Meyer. Basic Infobase Change. Studia Logica 67:215-242, 2001.
  5. Thomas Meyer. On the semantics of combination operations. Journal of Applied Non-Classical Logics 11(1-2): 59-84, 2001.
  6. Thomas Meyer, Johannes Heidema, Willem Labuschagne, Louise Leenen. Systematic Withdrawal. Journal of Philosophical Logic 31(5):415-443, 2002.
  7. Samir Chopra, Aditya Ghose, Thomas Meyer. Non-prioritized ranked belief change. Journal of Philosophical Logic 32(4):417-443, 2003.
  8. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer. Belief Liberation (and Retraction). Studia Logica 79(1):47-72, 2005.
  9. Samir Chopra, Aditya Ghose, Thomas Meyer. Social choice theory, belief merging, and strategy-proofness. Information Fusion, 7(1):61-79, 2006.
  10. Richard Booth, Thomas Meyer. Admissible and Restrained Revision. Journal of Artificial Intelligence Research, to appear.
  11. Samir Chopra, Thomas Meyer, Ka-Shu Wong. Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic, accepted.

Publications in refereed conference proceedings

  1. Thomas Meyer. Basic infobase change. In Norman Foo, editor, AI99: Advanced Topics in Artificial Intelligence, volume 1747 of Lecture Notes in Artificial Intelligence, pages 156-167, Berlin, 1999, Springer-Verlag.
  2. Thomas Meyer. Merging Epistemic States. In Riichiro Mizoguchi and John Slaney, editors, PRICAI 2000: Topics in Artificial Intelligence, volume 1886 of Lecture Notes in Artificial Intelligence, pages 286-296, 2000, Springer-Verlag.
  3. Thomas Meyer, Aditya Ghose, Samir Chopra, Non-prioritised ranked belief change, In van Benthem, editor, Proceedings of the Eight Conference TARK 2001: Theoretical Aspects of Rationality and Knowledge, pages 151-162, 2001, Morgan Kaufmann.
  4. Thomas Meyer, Aditya Ghose, Samir Chopra, Social choice, merging and elections, In Benferhat and Besnard, eds., Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference: ECSQARU 2001, volume 2143 of Lecture Notes in Artificial Intelligence, pages 466-477, 2001, Springer.
  5. Samir Chopra, Aditya Ghose, Thomas Meyer. Iterated revision and recovery: a unified treatment via epistemic states, in Frank van Harmelen, editor, ECAI 2002: 15th European Conference on Artificial Intelligence, pages 541-545, 2002, IOS Press.
  6. Thomas Meyer, Aditya Ghose, Samir Chopra, Syntactic Representations of Semantic Merging Operations, In Mitsuru Ishizuka and Abdul Sattar, eds., PRICAI 2002: The Seventh Pacific Rim International Conference on Artificial Intelligence, volume 2417 of Lecture Notes in Artificial Intelligence, page 620, 2002, Springer-Verlag.
  7. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer, Belief Liberation (and Retraction) In Tennenholtz, editor, Proceedings of the Ninth Conference TARK 2003: Theoretical Aspects of Rationality and Knowledge, pages 159-172, 2003.
  8. Samir Chopra, Johannes Heidema, Thomas Meyer, Some Logics of Belief and Disbelief, In Tamas D. Gedeon and Lance Chun Che Fung, eds., AI03, Advances in Artificial Intelligence, volume 2903 of Lecture Notes in Artificial Intelligence, pages 364-376, 2003, Springer-Verlag.
  9. Thomas Meyer, Norman Foo, Dongmo Zhang, Rex Kwok, Logical Foundations of Negotiation: Strategies and Preferences, In Didier Dubois, Christopher Welty and Mary-Anne Williams, eds., Proceedings of KR2004: Ninth International Conference on the Principles of Knowledge Representation and Reasoning, pages 311-318, 2004, AAAI Press.
  10. Thomas Meyer, Norman Foo, Dongmo Zhang, Rex Kwok, Logical Foundations of Negotiation: Outcome, Concession and Adaptation, Proceedings of AAAI04: Nineteenth National Conference on Artificial Intelligence, pages 293-298, 2004, AAAI Press/The MIT Press.
  11. Dongmo Zhang, Norman Foo, Thomas Meyer, Rex Kwok, Negotiation as Mutual Belief Revision, Proceedings of AAAI04, Nineteenth National Conference on Artificial Intelligence, pages 317-322, 2004, AAAI Press/The MIT Press.
  12. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer, A unifying semantics for belief change, In Ramon Lopez De Mantaras and Lorenza Saitta, eds., conferences of ECAI 2004: Sixteenth European Conference on Artificial Intelligence, pages 793-797, 2004, IOS Press.
  13. Kevin Lee, Thomas Meyer, A classification of ontology modification, In Geoffrey I. Webb and Xinghuo Yu, eds., Proceedings of AI04, Advances in Artificial Intelligence, volume 3339 of Lecture Notes in Computer Science, pages 248-258, 2004, Springer-Verlag.
  14. Norman Foo, Thomas Meyer, Gerhard Brewka, LPOD Answer Sets and Nash Equilibria, In M. J. Maher, editor, Proceedings of ASIAN04, Ninth Asian Computing Science Conference, volume 3321 of Lecture Notes in Computer Science, pages 352-361, 2004, Springer-Verlag.
  15. Thomas Meyer, Pilar Pozos, Laurent Perrussel, Mediation using m-states, in Lluis Godo, editor, Proceedings of ECSQARU 2005, Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, volume 3571 of Lecture Notes in Artificial Intelligence, pages 489-500, 2005, Springer-Verlag.
  16. Thomas Meyer, Kevin Lee, Richard Booth, Knowledge integration for description logics, in Manuela Veloso and Subbarao Kambhampati, eds., Proceedings of AAAI05, Twentieth National Conference on Artificial Intelligence, 2005, pages 645-650, 2005, AAAI Press.
  17. Laurent Perrussel, Jean-March Thévenin, Thomas Meyer, Mutual Enrichment for Agents through Nested Belief Change, in Proceedings of AAMAS06, Fifth International Joint Conference on Autonomous and Autonomous Agents and Multiagent Systems, 2006, to appear.
  18. Richard Booth, Thomas Meyer, Ka-Shu Wong, A bad day surfing is better than a good day working: how to revise a total preorder, in Proceedings of KR2006, Tenth International Conference on the Principles of Knowledge Representation and Reasoning, 2006, to appear.
  19. Laurent Perrussel, Jean-March Thévenin, Thomas Meyer, Mutual Enrichment through Nested Belief Change: A Semantic Approach, in Proceedings of ECAI06, Seventeenth European Conference on Artificial Intelligence, 2006, to appear.

Publications in refereed workshop proceedings

  1. Thomas Meyer, Aditya Ghose and Samir Chopra, Context-sensitive merging, Proceedings of Common Sense 2001: Fifth Symposium on Logical Formalizations of Commonsense Reasoning.
  2. Richard Booth, Samir Chopra and Thomas Meyer, Restrained revision, Proceedings of NRAC05, Sixth Workshop on Nonmonotonic Reasoning, Action and Change.
  3. Norman Foo, Thomas Meyer, Yan Zhang and Dongmo Zhang, Negotiating logic programs, Proceedings of NRAC05, Sixth Workshop on Nonmonotonic Reasoning, Action and Change.
  4. Louise Leenen, Thomas Meyer, Aditya Ghose, Relaxations of Semiring Constraint Satisfaction Problems, Proceedings of SOFT05, Seventh International Workshop on Preferences and Soft Constraints.

PhD Dissertation

Semantic belief change, PhD dissertation (click here for a gzipped copy (2.7mb) and here for a gzipped copy without the colour pictures (0.6mb)), Department of Computer Science and Information Systems, University of South Africa, Pretoria, South Africa. Supervisor: Professor Johannes Heidema. Co-supervisor: Doctor Willem Labuschagne.

Last update:

[]Tommie's home page