Tommie Meyer

1. Gavin Rens, Thomas Meyer, Gerhard Lakemeyer: SLAP: Specification Logic of Actions with Probability, Journal of Applied Logic, Vol. 12, No. 2, pp. 128-150, 2014. [PDF] [DOI] [Bib]


2. Richard Booth, Thomas Meyer, Chattrakul Sombattheera: A General Family of Preferential Belief Removal Operators. Journal of Philosophical Logic, Vol. 41, No. 4, pp. 711-733 (2012). [PDF] [DOI] [Bib]


3. Alexander Ferrein, Thomas Meyer, A Brief Overview of Artificial Intelligence in South Africa, Artificial Intelligence Magazine, Volume 33, Number 1, 2012 (invited submission). [PDF] [Bib]


4. Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann: On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. Journal of Artificial Intelligence Research, Vol. 42, pp. 31-53 (2011). [PDF] [Bib]


5. Katarina Britz, Thomas Meyer, Ivan Varzinczak, Preferential Reasoning for Modal Logics. Electronic Notes in Theoretical Computer Science 278:55-69, 2011. [PDF] [Bib]


6. Richard Booth, Thomas Meyer. How to revise a total preorder. Journal of Philosophical Logic 40(2):193-238, 2011 (invited paper). [PDF] [DOI] [Bib]


7. Richard Booth, Thomas Meyer. Belief Change. Journal of the Indian Council of Philosophical Research, Vol. XXVII, No. 2, 2011, pp. 379-412 (invited paper). [PDF] [Bib]


8. Richard Booth, Thomas Meyer. Equilibria in Social Belief Removal. Synthese, 177:97- 123, 2010. [PDF] [DOI] [Bib]


9. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer. Double preference relations for generalized belief change. Artificial Intelligence 174(16-17):1339-1368, 2010. [PDF] [Bib]


10. Samir Chopra, Thomas Meyer, Ka-Shu Wong. Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic 37(5):501-520, 2008. [PDF] [DOI] [Bib]


11. Louise Leenen, Thomas Meyer, Aditya Ghose. Relaxations of semiring constraint satisfaction problems. Information Processing Letters 103(5): 177-182, 2007. [PDF] [DOI] [Bib]


12. Richard Booth, Thomas Meyer. Admissible and Restrained Revision. Journal of Artificial Intelligence Research 26:127-151, 2006. [PDF] [Bib]


13. Samir Chopra, Aditya Ghose, Thomas Meyer. Social choice theory, belief merging, and strategy-proofness. Information Fusion, 7(1):61-79, 2006. [PDF] [Bib]


14. Richard Booth, Samir Chopra, Aditya Ghose, Thomas Meyer. Belief Liberation (and Retraction). Studia Logica 79(1):47-72, 2005. [PDF] [Bib]


15. Samir Chopra, Aditya Ghose, Thomas Meyer. Non-prioritized ranked belief change. Journal of Philosophical Logic 32(4):417-443, 2003. [PDF] [Bib]


16. Thomas Meyer, Johannes Heidema, Willem Labuschagne, Louise Leenen. Systematic Withdrawal. Journal of Philosophical Logic 31(5):415-443, 2002. [PDF] [Bib]


17. Thomas Meyer. On the semantics of combination operations. Journal of Applied Non-Classical Logics 11(1-2): 59-84, 2001. [PDF] [Bib]


18. Thomas Meyer. Basic Infobase Change. Studia Logica 67:215-242, 2001. [PDF] [Bib]


19. Thomas Meyer, Willem Labuschagne, Johannes Heidema. Infobase change: A first approximation. Journal of Logic, Language and Information 9(3):353-377, 2000. [PDF] [Bib]


20. Thomas Meyer, Willem Labuschagne, Johannes Heidema. Refined epistemic entrenchment. Journal of Logic, Language and Information 9(2):237-259, 2000. [PDF] [Bib]


21. Thomas Meyer. An information-theoretic semantics for belief change. South African Computer Journal 24:33-39, 1999. [PDF] [Bib]


22. Isabella Burger, Johannes Heidema, Willem Labuschagne, Thomas Meyer, Ben-Erik van Wyk. Gradogramme - 'n Nuwe hulpmiddel vir kladistiese taksonomie (Gradograms - a new aid for cladistic taxonomy). South African Journal for Science and Technology 13(4):135-141, 1994. [Bib]


23. Thomas Meyer, Theunis Smith, Louise Leenen. An efficient primal simplex implementation for the continuous 2-matching problem. South African Computer Journal 5:28-31, 1991. [Bib]


24. Thomas Meyer, Theunis Smith, Gerald Thompson. Lower bounds for the symmetric travelling salesman problem. Discrete Applied Mathematics 26:209-217, 1990. [Bib]