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. What Does Entailment for PTL Mean? In: Proceedings of the Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015), March 2015, Stanford, USA. [PDF]

  2. Kody Moodley, Thomas Meyer, Uli Sattler. DIP: A Defeasible-Inference Platform for OWL Ontologies. In: Proceedings of the 27th International Workshop on Description Logics (DL 2014), June 2014, Vienna, Austria, pp. 671-683.

  3. Nasubo Ongoma, Maria Keet, Thomas Meyer. Transition Constraints for Temporal Attributes. In: Proceedings of the 27th International Workshop on Description Logics (DL 2014), June 2014, Vienna, Austria, pp. 684-695.

  4. Szymon Klarman, Thomas Meyer. Complexity of Temporal Query Abduction in DL-Lite. In: Proceedings of the 27th International Workshop on Description Logics (DL 2014), June 2014, Vienna, Austria, pp 233-244.

  5. Riku Nortjé, Katarina Britz, Thomas Meyer. Module-theoretic properties of reachability modules for SRIQ. In: Twenty Sixth International Workshop on Description Logics, Ulm, Germany. (2013).

  6. Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak. Nonmonotonic reasoning in Description Logics: Rational Closure for the ABox. In: Twenty Sixth International Workshop on Description Logics, Ulm, Germany. (2013).

  7. Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak. Preferential Role Restrictions. In: Twenty Sixth International Workshop on Description Logics, Ulm, Germany. (2013).

  8. Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan Varzinczak. Towards Practical Defeasible Reasoning for Description Logics. In: Twenty Sixth International Workshop on Description Logics, Ulm, Germany. (2013).

  9. Gavin Rens, Thomas Meyer, Gerhard Lakemeyer. On the Logical Specification of Probabilistic Transition Models. In: Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning, Cyprus. (2013)

  10. Riku Nortjé, Katarina Britz, Thomas Meyer. A normal form for hypergraph-based module extraction for SROIQ. In: Eighth Australasian Ontology Workshop, Sydney, Australia. (2012).

  11. Kodylan Moodley, Thomas Meyer, Ivan Varzinczak. A Protégé Plug-in for Defeasible Reasoning. In: Twenty Fifth International Workshop on Description Logics, Rome, Italy. (2012).

  12. Riku Nortjé, Katarina Britz, Thomas Meyer. Bidirectional reachability-based modules. In: Twenty Fourth International Workshop on Description Logics, Barcelona, Spain. (2011).

  13. Katarina Britz, Thomas Meyer, Ivan Varzinczak. Concept Model Semantics for DL Preferential Reasoning. In: Twenty Fourth International Workshop on Description Logics. (2011).

  14. Johann Bergh, Aurona Gerber, Thomas Meyer, Lynette van Zijl. Path analysis for ontology comprehension. In: Advances in Ontologies, Conferences in Research and Practice in Information Technology, 2011, Australian Computer Society (best paper award).

  15. Katarina Britz, Thomas Meyer, Ivan Varzinczak, Preferential Reasoning for Modal Logic. In: Seventh Workshop on Methods for Modalities (M4M), Osuna, Spain. (2011).

  16. Gavin Rens, Thomas Meyer, Alexander Ferrein, Gerhard Lakemeyer. A Logic for Specifying Partially Observable Stochastic Domains. In: Ninth International Workshop on Nonmonotonic Reasoning, Action and Change, Barcelona, Spain. (2011).

  17. Thomas Meyer, Kodylan Moodley, Ivan Varzinczak. First Steps in the Computation of Root Justifications. In: Second International Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), Lisbon, Portugal. (2010)

  18. Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann. A Contraction Core for Horn Belief Change: Preliminary Report. In: Thirteenth International Workshop on Nonmonotonic Reasoning, Toronto Canada. (2010).

  19. Enrico Franconi, Thomas Meyer, Ivan Varzinczak. Semantic Diff as the Basis for Knowledge Base Versioning. In: Thirteenth International Workshop on Nonmonotonic Reasoning, Toronto Canada. (2010).

  20. Riku Nortjé, Katarina Britz, and Thomas Meyer. Finding EL+ justifications using the Earley Parsing Algorithm. In Thomas Meyer and Kerry Taylor eds., Advances in Ontologies 2009, Conferences in Research and Practice in Information Technology, Volume 112, 2009, Australian Computer Society.

  21. Katarina Britz, Johannes Heidema and Thomas Meyer. Modelling object typicality in description logics (preliminary version). In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik and Ulrike Sattler eds., DL2009: Proceedings of the 22nd International Workshop on Description Logics, 2009.

  22. Richard Booth, Thomas Meyer and Chattrakul Sombattheera. A General Family of Preferential Belief Removal Operators, in Proceedings of LORI 2009, Workshop on Logic, Rationality and Interaction, Chonqing, China, 2009.

  23. Richard Booth, Thomas Meyer and Ivan Varzinczak. Next Steps in Propositional Horn Contraction (preliminary version). In G. Lakemeyer, L. Morgenstern and M-A. Williams eds., Commonsense 2009: Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense ’09), June 1-3, 2009.

  24. Richard Booth, Thomas Meyer and Ivan Varzinczak. First Steps in EL Con- traction. In Alan Bundy, Jos Lehmann, Guilin Qi, and Ivan Jos ́e Varzinczak eds., ARCOE 2009: Proceedings of the Workshop on Automated Reasoning about Context and Ontology Evolution, Pasadena, California, 2009.

  25. Richard Booth, Thomas Meyer and Chattrakul Sombattheera. A General Family of Preferential Belief Removal Operators (preliminary version), in Proceedings of NRAC 2009, Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, California. 2009.

  26. Richard Booth, Thomas Meyer. Equilibria in social belief removal. In Proceedings of COMSOC 2008, International Workshop on Computational Social Choice, Liverpool, 2008.

  27. Anne Cregan, Rolf Schwitter, and Thomas Meyer. Sydney OWL Syntax - towards a Controlled Natural Language for OWL 1.1. In C. Golbreich, A. Kalyanpur, B. Parsia eds., Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, 2007.

  28. Richard Booth, Thomas Meyer. On iterated revision of total preorders - preliminary results, in Proceedings of NRAC 2007, Workshop on Nonmonotonic Reasoning, Action and Change, 2007.

  29. Thomas Meyer, Kevin Lee, Jeff Pan. Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions, in Proceedings of DL2006, International Workshop on Description Logics, 2006.

  30. Laurent Perrussel, Jean-March Thévenin, Thomas Meyer. Mutual Enrichment for Agents through Nested Belief Change: A Semantic Approach, in Proceedings of NMR06, Eleventh International Workshop on Non-Monotonic Reasoning, 2006.

  31. Louise Leenen, Thomas Meyer, Aditya Ghose. Relaxations of semiring constraint satisfaction problems, Proceedings of SOFT2005: 7th Workshop on Preferences and Soft Constraints, 2005.

  32. Norman Foo, Thomas Meyer, Yan Zhang, Dongmo Zhang. Logic program negotiation, Proceedings of NRAC’05, Workshop on Nonmonotonic Reasoning, Action and Change, 2005.

  33. Richard Booth, Samir Chopra, Thomas Meyer. Restrained revision, Proceedings of NRAC’05, Workshop on Nonmonotonic Reasoning, Action and Change, 2005.

  34. Thomas Meyer, Kevin Lee, Richard Booth. Knowledge integration for description logics, Proceedings of Common Sense 2005: Seventh International Symposium on Logical Formalizations of Commonsense Reasoning.

  35. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer. A unifying seman- tics for belief change, NMR2004: Tenth International Workshop on Non-Monotonic Reasoning.

  36. Dongmo Zhang, Norman Foo, Thomas Meyer, Rex Kwok. Negotiation as Mutual Belief Revision, Proceedings of NRAC’03, Workshop on Nonmonotonic Reasoning, Action and Change, 2003.

  37. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer. Belief Liberation (and Retraction), Proceedings of NRAC’03, Workshop on Nonmonotonic Reasoing, Action and Change, 2003.

  38. Thomas Meyer, Johannes Heidema, Samir Chopra. Some logics of belief and disbelief, NMR2002: Ninth International Workshop on Non-Monotonic Reasoning.

  39. Samir Chopra, Aditya Ghose, Thomas Meyer. Iterated revision and recovery: a unified treatment via epistemic states, NMR2002: Ninth International Workshop on Non- Monotonic Reasoning.

  40. Thomas Meyer, Aditya Ghose, Samir Chopra. Non-prioritised ranked belief change, Proceedings of NRAC 2001: Fourth Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI-01.

  41. Thomas Meyer, Aditya Ghose, Samir Chopra. Context-sensitive merging, Proceedings of the IJCAI-01 workshop on Inconsistency in Data and Knowledge.

  42. Thomas Meyer, Aditya Ghose, Samir Chopra. Syntactic representations of semantic merging operations, Proceedings of the IJCAI-01 workshop on Inconsistency in Data and Knowledge.

  43. Thomas Meyer, Aditya Ghose, Samir Chopra. Context-sensitive merging, Proceedings of Common Sense 2001: Fifth Symposium on Logical Formalizations of Commonsense Reasoning.

  44. Thomas Meyer, Aditya Ghose, Samir Chopra. Multi-agent Context-based merging, Proceedings of AWCL2001: Second Australasian Workshop on Computational Logic.

  45. Thomas Meyer. On the semantics of merging. Proceedings of NMR 2000: Eighth International Workshop on Non-Monotonic Reasoning.

  46. Thomas Meyer, Willem Labuschagne, Johannes Heidema. On the probabilistic intu- ition underlying circumscription, RMiCS Report-Back Seminar, Stellenbosch, South Africa, 12-13 December 1994.