Tommie Meyer

Home
Contact details
Professional biography
Research and funding
Publications
Professional Activities
Collaborators
Postdocs and student positions available
Personal biography





Last update: Simple Table
Publications edited | Journal papers | Book chapters | Conference papers | Workshop papers | Other
  1. Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak: On the Entailment Problem for a Logic of Typicality. In: Proceedings of IJCAI 2015: Twenty-Fourth International Joint Conference on Artificial Intelligence, AAAI Press, 2015, to appear. [PDF] [Bib]

  2. Gavin Rens, Thomas Meyer, Gerhard Lakemeyer: A Modal Logic for the Decision-Theoretic Projection Problem. In: International Conference on Agents and Artificial Intelligence (ICAART) Vol. 2. pp. 5-16, SCITEPRESS DIGITAL LIBRARY (2015). [PDF] [Bib]

  3. Gavin Rens, Thomas Meyer: Hybrid POMDP-BDI: An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. In: International Conference on Agents and Artificial Intelligence (ICAART) Vol. 1. pp. 5-14, SCITEPRESS DIGITAL LIBRARY (2015). [PDF] [Bib]

  4. Giovanni Casini, Thomas Meyer, Kody Moodley Riku Nortje: Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), September 2014, Madeira, Portugal, pp. 92-106, Springer - LNAI volume 8761 (2014). [PDF] [DOI] [Bib]

  5. Szymon Klarman, Thomas Meyer: Querying Temporal Databases via OWL 2 QL. In eds., Kontchakov R. and Mugnier M-L: Proceedings of the Eighth International Conference on Web Reasoning and Rule Systems (RR 2014), September 2014, Athens, Greece, Lecture Notes in Computer Science, Volume 8741, pp. 92-107, 2014. [PDF] [DOI] [Bib]

  6. Thomas Meyer, Kody Moodley, Uli Sattler: Practical Defeasible Reasoning for Description Logics. In: Proceedings of the European Starting AI Researcher Symposium (STAIRS 2014), August 2014, Prague, Czech Republic, pp. 191-200, IOS Press (2014). [PDF] [DOI] [Bib]

  7. Gavin Rens, Thomas Meyer, Gerhard Lakemeyer: A Logic for Specifying Stochastic Actions and Observations. In: Proceedings of the International Symposium on Foundations of Information and Knowledge Systems (FoIKS), May 2014, Bordeaux, France, pp. 305- 323, Springer-Verlag (2014). [PDF] [DOI] [Bib]

  8. Szymon Klarman, Thomas Meyer: Prediction and Explanation over DL-Lite Data Streams. In: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), December 2013, Stellenbosch, South Africa, pp. 536-551. [PDF] [DOI] [Bib]

  9. Riki Nortje, Katarina Britz, Thomas Meyer: Reachability modules for the Description Logic SRIQ. In: Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), Stellenbosch, South Africa, December 2013, pp. 636-652. [PDF] [DOI] [Bib]

  10. Deshen Moodley, Thomas Meyer, Chris Seebregts, Anban Pillay: An Ontology for Regulating eHealth Interoperability in Developing African Countries. In: J. Gibbons and W. MacCaull (Eds.): FHIES 2013, LNCS 8315. pp. 107-124. Springer Berlin Heidelberg (2013). [PDF] [DOI] [Bib]

  11. Moodley, K., Meyer, T., Varzinczak, I.: A Defeasible Reasoning Approach for Description Logic Ontologies. In: SAICSIT '12 Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, pp. 69-78, ACM, 2012. [PDF] [DOI] [Bib]

  12. Rens, G., Lakemeyer, G., Meyer, T.: A Logic for Specifying Agent Actions and Observations with Probability. In: Kersting, K., Toussaint, M. (Eds.), Sixth Starting AI Researchers' Symposium (STAIRS 2012), Frontiers in Artificial Intelligence and Applications, Vol. 241. IOS Press (2012). [PDF] [Bib]

  13. Casini, G., Gerber, A., Meyer, T.: A Note on the Translation of Conceptual Data Models into Description Logics: Disjointness and Covering Assumptions. In: SAICSIT '12 Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, pp. 10-20, ACM, 2012. [PDF] [DOI] [Bib]

  14. Britz, K., Meyer, T., Varzinczak, I.: Normal Modal Preferential Consequence. In: Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, pp. 505-516, Springer (2012). [PDF] [Bib]

  15. Booth, R., Meyer, T., Varzinczak, I.: PTL: A Propositional Typicality Logic. In: Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), pp. 107-119, Springer (2012). [PDF] [Bib]

  16. Britz, K., Meyer, T., Varzinczak, I.: Semantic Foundation for Preferential Description Logics. In: Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, pp. 491-500, Springer (2011). [PDF] [Bib]

  17. Kodylan Moodley, Thomas Meyer, Ivan Varzinczak, Root Justifications for Ontology Repair, in eds. Sebastian Rudolph and Claudio Gutierrez, Proceedings of Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Springer, Lecture Notes in Computer Science, volume 6902. [PDF] [DOI] [Bib]

  18. Thomas Meyer, Ivan Varzinczak, A Logic-Based Perspective on Agent Reconfiguration: Preliminary Report, Proceedings of IEEE Africon, Livingstone, Zambia, September 2011. [PDF] [Bib]

  19. Louise Leenen, Ronell Alberts, Katarina Britz, Aurona Gerber, Thomas Meyer. Developing a Knowledge System for Information Operations, Proceedings of the International Conference on Information Warfare, Washington DC, USA, 17-18 March 2011. [PDF]

  20. Gavin Rens, Thomas Meyer, Ivan Varcinczak, Alexander Ferrein. A Logic for Reasoning about Actions and Explicit Observations. In, Jiuyong Li (Ed.), AI 2010: Advances in Artificial Intelligence (LNAI 6464). Proceedings of the 23rd Australasian Joint Conference. Adelaide, Australia, December 2010, pages 395-404. [PDF] [Bib]

  21. Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann. A Contraction Core for Horn Belief Change. ECAI 2010: Proceedings of the 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal. [PDF] [Bib]

  22. Katarina Britz, Johannes Heidema and Thomas Meyer. Modelling object typicality in description logics. In A. Nicholson and X. Li eds., AI09: Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, LNCS 5866, Springer, pages 506-516, 2009. [PDF] [Bib]

  23. Richard Booth, Thomas Meyer and Ivan Varzinczak. Next Steps in Propositional Horn Contraction. In Craig Boutilier ed., Proceedings of IJCAI 2009: Twenty-First International Joint Conference on Artificial Intelligence, 702-707, AAAI Press, 2009. [PDF] [Bib]

  24. Richard Booth, Thomas Meyer. Equilibria in social belief removal, In Patrick Doherty, Gerhard Brewka and Jerôme Lang eds., Proceedings of KR2008: Eleventh International Conference on the Principles of Knowledge Representation and Reasoning, pages 145-155, AAAI Press, 2008. [PDF] [Bib]

  25. Katarina Britz, Johannes Heidema, Thomas Meyer. Semantic preferential subsumption, In Patrick Doherty, Gerhard Brewka and Jerôme Lang eds., Proceedings of KR2008: Eleventh International Conference on the Principles of Knowledge Representation and Reasoning, pages 476-484, AAAI Press, 2008. [PDF] [Bib]

  26. Thomas Meyer, Chris Seebregts, Aurona Gerber, Arina Britz, Laurette Pretorius, Ronell Alberts, Deshen Moodley. The Integration of SNOMED CT into the OpenMRS Electronic Medical Record System Framework, in Kent Spackman and Ronald Cornet, eds., KR-MED 2008: Representing and Sharing Knowledge using SNOMED CT, page 122, 2008. [PDF]

  27. Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose. Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT, in Mehmet A. Orgun, John Thornton, eds, Proceedings of AI 2007, the 20th Australian Conference on Artificial Intelligence, pages 202-212, 2007, Springer. [PDF] [Bib]

  28. Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer. Implementing Iterated Belief Change Via Prime Implicates, in Mehmet A. Orgun, John Thornton, eds., Proceedings of AI 2007, 20th Australian Conference on Artificial Intelligence, pages 507-518, 2007, Springer. [PDF] [Bib]

  29. Richard Booth, Thomas Meyer. On the Dynamics of Total Preorders: Revising Abstract Interval Orders, in Khaled Mellouli editor, Proceedings of ECSQARU 2007, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, pages 42-53, 2007, Springer. [PDF] [Bib]

  30. Thomas Meyer, Kevin Lee, Jeff Pan, Richard Booth. Finding Maximally Satisfiable Terminologies for the Description Logic ALC, in Proceedings of AAAI06, Twenty First National Conference on Artificial Intelligence, 2006, AAAI Press. [PDF] [Bib]

  31. Laurent Perrussel, Jean-March Thévenin, Thomas Meyer. Mutual Enrichment for Agents through Nested Belief Change: A Semantic Approach, in Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (eds.): ECAI 2006, 17th European Conference on Artificial Intelligence, pages 731-732, 2006, IOS Press. [PDF] [Bib]

  32. Louise Leenen, Thomas Meyer, Peter Harvey, Aditya Ghose, A Relaxation of a Semiring Constraint Satisfaction Problem using Combined Semirings, in Qiang Yang, Geoffrey I. Webb (Eds.): PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, pages 907-911, 2006, Springer. [PDF] [Bib]

  33. Richard Booth, Thomas Meyer, Ka-Shu Wong. A bad day surfing is better than a good day at the office: how to revise a total preorder, in Patrick Doherty, John Mylopoulos, Christopher A. Welty (eds.): Proceedings of KR 2006, Tenth International Conference on Principles of Knowledge Representation and Reasoning, pages 230-238, 2006, AAAI Press. [PDF] [Bib]

  34. Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer. Mutual Enrichment through Nested Belief Change, in Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone (eds.), 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006, pages 226-228, 2006, ACM.

  35. 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.

  36. 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.

  37. Norman Foo, Thomas Meyer, Gerhard Brewka. LPOD Answer Sets and Nash Equilibria, In M. J. Maher, editor, ASIAN04: Ninth Asian Computing Science Conference, volume 3321 of Lecture Notes in Computer Science, pages 352-361, 2004, Springer- Verlag.

  38. 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.

  39. 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 (voted one of the best 10 papers).

  40. 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.

  41. 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.

  42. 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.

  43. 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.

  44. 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.

  45. 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.

  46. 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.

  47. 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.

  48. 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.

  49. 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.

  50. 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.

  51. Thomas Meyer, Willem Labuschagne, Johannes Heidema. Power-orderings as a generalisation of minimal model semantics. International Symposium on Artificial Intelligence, Monterrey, Mexico, October 16-20 1995.

  52. Thomas Meyer, Helene Rosenblatt, Willem Labuschagne, Johannes Heidema. Power-order Semantics for Nonmonotonic Logic II, SAICSIT Symposium, Pretoria, South Africa, 25-26 May 1995.

  53. Helene Rosenblatt, Thomas Meyer, Willem Labuschagne, Johannes Heidema. Power-order Semantics for Nonmonotonic Logic I, SAICSIT Symposium, Pretoria, South Africa, 25-26 May 1995.

  54. Thomas Meyer, Theunis Smith. A comparison of assignments and matching lower bounds for the symmetric travelling salesman problem. Fifth South African Computer Symposium, Sandton, South Africa, 29 November to 2 December 1989.

  55. Thomas Meyer, Theunis Smith. Solving matching problems using branch-and-bound. TIMS/ORSA Joint National Meeting, New Orleans, USA, May 4-6, 1987.