publications

J. Heyninck and T. Meyer. Relevance in the Computation of Non-monotonic Inferences. In: Pillay, A., Jembere, E., Gerber, A. (eds) Artificial Intelligence Research. SACAIR 2022. Communications in Computer and Information Science, vol 1734. Springer, Cham, 2022.

L. Everett, E. Morris and T. Meyer. Explanation for KLM-Style Defeasible Reasoning. In: Jembere, E., Gerber, A.J., Viriri, S., Pillay, A. (eds) Artificial Intelligence Research. SACAIR 2021. Communications in Computer and Information Science, vol 1551. Springer, Cham, 2022.

S. Wang, T. Meyer and D. Moodley. Defeasible Justification Using the KLM Framework. In: Pillay, A., Jembere, E., Gerber, A. (eds) Artificial Intelligence Research. SACAIR 2022. Communications in Computer and Information Science, vol 1734. Springer, Cham, 2022.

G. Casini, T. Meyer, G. Paterson-Jones and I. Varzinczak. KLM-Style Defeasibility for Restricted First-Order Logic. In: Governatori, G., Turhan, AY. (eds) Rules and Reasoning. RuleML+RR 2022. Lecture Notes in Computer Science, vol 13752. Springer, Cham, 2022.

L Botha, T. Meyer and R. Peñaloza. The Probabilistic Description Logic. Theory and Practice of Logic Programming, 21(4), 404-427, 2021.

G. Casini, T. Meyer, and I. Varzinczak. Contextual Conditional Reasoning. In K. Leyton-Brown and Mausam, editors, Proceedings of the 35th AAAI Conference on Artificial Intelligence, 35(7), 6254-6261, 2021.

L. Leenen and T. Meyer. Artificial Intelligence and Big Data Analytics in Support of Cyber Defense. Research Anthology on Artificial Intelligence Applications in Security, edited by Information Resources Management Association, IGI Global, pp. 1738-1753, 2021. 

G. Paterson-Jones, G. Casini, and T. Meyer. BKLM – An expressive logic for defeasible reasoning. In M. V. Martínez and I. Varzinczak, editors, Proceedings of the 18th International Workshop on Non-Monotonic Reasoning, pages 170–178. NMR 2020, 9 2020.

M. Morris, T. Ross, and T. Meyer. Algorithmic definitions for KLM- style defeasible disjunctive Datalog. South African Computer Journal, 32(2):141–160, 12 2020.

D. Moodley and T. Meyer. Editorial: Where it is heading and what we should do about it. Digitale Welt, 4, 3-3, Springer, 2020.

M. Harrison and T. Meyer. DDLV: A system for rational preferential reasoning for Datalog. South African Computer Journal, 32(2):184–217, 12 2020.

J. Chingoma and T. Meyer. Defeasibility applied to Forrester’s paradox. South Africa Computer Journal, 32(2):161–183, 12 2020.

G. Casini, T. Meyer, and I. Varzinczak. Rational Defeasible Belief Change. In D. Calvanese, E. Erdem, and M. Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, pages 213–222, Rhodes, Greece, 9 2020. KR 2020, IJCAI Organization.

K. Britz, G. Casini, T. Meyer, K. Moodley, U. Sattler, and I. Varzinczak. Principles of KLM-style Defeasible Description Logics. ACM Transactions on Computational Logic, 22(1), 11 2020.

L. Botha, T. Meyer, and R. Peñaloza. The Probabilistic Description Logic BALC. Theory and Practice of Logic Programming, page 1–24, 2020.

M. Morris, T. Ross, and T. Meyer. Defeasible disjunctive datalog. In E. B. Marelie Davel, editor, Proceedings of the South African Forum for Artificial Intelligence Research FAIR, volume 2540, pages 208–219, Cape Town, South Africa, 12 2019. FAIR 2019, CEUR.

L. Leenen and T. Meyer. Artificial Intelligence and Big Data Analytics in Support of Cyber Defense. In M. Sarfraz, editor, Developments in Information Security and Cybernetic Wars, chapter 2, pages 42–63. IGI Global, United States of America, 4 2019.

M. Harrison and T. Meyer. Rational preferential reasoning for datalog. In E. B. Marelie Davel, editor, Proceedings of the South African Forum for Artificial Intelligence Research FAIR, volume 2540, pages 232–243, Cape Town, South Africa, 12 2019. FAIR 2019, CEUR.

J. Chingoma and T. Meyer. Forrester’s paradox using typicality. In E. B. Marelie Davel, editor, Proceedings of the South African Forum for Artifi- cial Intelligence Research FAIR, volume 2540, pages 220–231, Cape Town, South Africa, 12 2019. FAIR 2019, CEUR.

G. Casini, U. Straccia, and T. Meyer. A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure. Information Sciences, 501:588–620, 10 2019.

G. Casini, T. Meyer, and I. Varzinczak. Taking Defeasible Entailment Beyond Rational Closure. In European Conference on Logics in Artificial Intelligence, volume 11468, pages 182–197, Switzerland, 5 2019. JELIA 2019, Springer.

G. Casini, T. Meyer, and I. Varzinczak. Simple Conditionals with Con- strained Right Weakening. In S. Kraus, editor, International Joint Confer- ence on Artificial Intelligence, pages 1632–1638. International Joint Con- ferences on Artifical Intelligence, International Joint Conferences on Ar- tificial Intelligence, 8 2019.

G. Casini, M. Harrison, T. Meyer, and R. Swan. Arbitrary Ranking of Defeasible Subsumption. In G. W. Mantas ̊A imkus, editor, 32nd In- ternational Workshop on Description Logics, volume 2373. CEUR, Oslo, Norway, 6 2019.

K. Britz, G. Casini, T. Meyer, and I. Varzinczak. A KLM Perspective on Defeasible Reasoning for Description Logics. In Description Logic, Theory Combination, and All That. Lecture Notes in Computer Science, volume 11560, chapter 7, pages 147–173. Springer, Switzerland, 2019.

L. Botha, T. Meyer, and R. Peñaloza. A Bayesian Extension of the De- scription Logic ALC. In F. Calimeri, N. Leone, and M. Manna, editors, European Conference on Logics in Artificial Intelligence, pages 339 – 354, Switzerland, 5 2019. JELIA 2019, Springer.

R. Booth, G. Casini, T. Meyer, and I. Varzinczak. On rational entailment for Propositional Typicality Logic. Artificial Intelligence, 227:103178, 12 2019.

G. Rens, A. Nayak, and T. Meyer. Maximizing Expected Impact in an Agent Reputation Network. In F. Trollmann and A.-Y. Turhan, editors, KI 2018: Advances in Artificial Intelligence, volume 11117, pages 99–106, Berlin, Germany, 9 2018. Springer.

G. Rens, T. Meyer, G. Kern-Isberner, and A. Nayak. Probabilistic Belief Revision via similarity of worlds. In F. Trollmann and A.-Y. Turhan, editors, KI 2018: Advances in Artificial Intelligence, volume 11117, pages 343–356, Berlin, Germany, 9 2018. Springer.

L. Leenen and T. Meyer. Semantic Technologies and Big Data Analytics for Cyber Defence. In I. R. M. Association, editor, Information Retrieval and Management: Concepts, Methodologies, Tools, and Applications (4 Volumes), volume 3, chapter 61, pages 1375–1388. IGI Global, United States of America, 1 2018.

G. Casini, T. Meyer, and I. Varzinczak. Defeasible Entailment: from Ra- tional Closure to Lexicographic Closure and Beyond. In E. Ferm ́e and S. Villata, editors, 17th International Workshop on Non-Monotonic Rea- soning, pages 109–118, Tempe, Arizona, United States of America, 10 2018.

G. Casini, F. Eduardo, T. Meyer, and I. Varzinczak. A Semantic Per- spective on Belief Change in a Preferential Non-Monotonic Framework. In 16th International Conference on Principles of Knowledge Representation and Reasoning, pages 220–229, Tempe, Arizona, United States of America, 10-11 2018. KR 2018, AAAI Press.

L. Botha, T. Meyer, and R. Pen ̃aloza. The Bayesian Description Logic BALC. In M. Ortiz and T. Schneider, editors, International Workshop on Description Logics, volume 2211. CEUR, Tempe, Arizona, United States of America, 10 2018.

F. Mouton, M. Teixeira, and T. Meyer. Benchmarking a Mobile Imple- mentation of the Social Engineering Prevention Training Tool. In H. S. Venter, M. Loock, M. Coetzee, M. M. Eloff, and J. H. P. Eloff, editors, Information Security for South Africa (ISSA 2017), pages 106–116, Jo- hannesburg, South Africa, 8 2017. ISSA 2017, IEEE 2017.

A. Gerber, N. Morar, T. Meyer, and C. Eardley. Ontology-based support for taxonomic functions. Ecological Informatics, 41:11–23, 9 2017.

A. Gerber, N. Morar, and T. Meyer. Ontology-driven taxonomic work OWS for Afrotropical Bees. TDWG Annual Conference, 2017.

G. Casini and T. Meyer. Belief Change in a Preferential Non-Monotonic Framework. In C. Sierra, editor, International Joint Conference on Ar- tificial Intelligence, pages 929–935, Melbourne, Australia, 8 2017. IJCAI 2017, International Joint Conferences on Artificial Intelligence.

L. Bell, F. Mouton, and T. Meyer. Mobile On-board Vehicle Event Recorder: MOVER. In Information Communication Technology and So- ciety Conference, Durban, South Africa, 2017.

G. Rens, T. Meyer, and G. Casini. Revising Incompletely Specified Convex Probabilistic Belief Bases. In G. Kern-Isberner and R. Wassermann, edi- tors, Proceedings of the 16th International Workshop on Non-Monotonic Reasoning, pages 133–142, Cape Town, South Africa, 2016. NMR 2016.

G. Rens, T. Meyer, and G. Casini. On Revision of Partially Specified Convex Probabilistic Belief Bases. In G. Kaminka, M. Fox, P. Bouquet, E. HA ̃Œllermeier, V. Dignum, F. Dignum, and F. van Harmelen, editors, European Conference on Artificial Intelligence (ECAI), volume 285, pages 921–929, Amsterdam, Netherlands, 8-9 2016. ECAI 2016, IOS Press.

B. Ojeme, A. Mbogho, and T. Meyer. Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders. In M. Sayed-Mouchaweh and R.-F. Yun, editors, 15th IEEE International Conference on Machine Learning and Applications. ICMLA 2016, IEEE, 12 2016.

L. Leenen and T. Meyer. Semantic Technologies and Big Data: Analytics for Cyber Defence. In G. Pye and B. van Niekerk, editors, International Journal of Cyber Warfare and Terrorism, volume 6 of 3, chapter 5, pages 53–64. IGI Global, United States of America, 2016.

G. Casini and T. Meyer. Using Defeasible Information to Obtain Co- herence. In J. Delgrande and F. Wolter, editors, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, pages 537–540. AAAI Press, 4 2016.

E. Ruttkamp-Bloem, G. Casini, and T. Meyer. A Non-Classical Logical Foundation for Naturalised Realism. In P. Arazim and M. Dancak, editors, Logica Yearbook 2014, volume 1, pages 249–266. College Publications, 5 2015.

G. Rens, T. Meyer, and G. Lakemeyer. A Modal Logic for the Decision- Theoretic Projection Problem. In S. Loiseau, J. Filipe, B. Duval, and J. van den Herik, editors, Proceedings of the International Conference on Agents and Artificial Intelligence, volume 1, pages 5–16, Setubal, Portu- gal, 1 2015. ICAART 2015, SCITEPRESS.

G. Rens and T. Meyer. Hybrid POMDP-BDI: An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. In S. Loiseau, J. Filipe, B. Duval, and J. van den Herik, editors, Pro- ceedings of the International Conference on Agents and Artificial Intelli- gence, volume 2, pages 5–14, Setubal, Portugal, 1 2015. ICAART 2015, SCITEPRESS.

G. Rens and T. Meyer. A New Approach to Probabilistic Belief Change. In I. Russell and W. Eberle, editors, Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, pages 582–587, California, United States of America, 5 2015. FLAIRS 2015, AAAI Press.

G. Casini, T. Meyer, K. Moodley, I. Varzinczak, and U. Sattler. Intro- ducing Defeasibility into OWL Ontologies. In M. Arenas, O. Corcho, E. Simperl, M. Strohmaier, M. d’Aquin, K. Srinivas, P. Groth, M. Dumontier, J. Heflin, K. Thirunarayan, and S. Staab, editors, The Semantic Web – ISWC 2015, volume 9367, pages 409–426. ISWC 2015, Springer, 10 2015.

R. Booth, G. Casini, T. Meyer, and I. Varzinczak. What Does Entailment for PTL Mean? In Q. Yang and M. Wooldridge, editors, Twenty-Fourth International Joint Conference on Artificial Intelligence, pages 2805–2811, California, United States of America, 7 2015. IJCAI 2015, AAAI Press.

R. Booth, G. Casini, T. Meyer, and I. Varzinczak. On the Entailment Problem for a Logic of Typicality. In Q. Yang and M. Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intel- ligence, pages 2805–2811, Palo Alto, California, United States of America, 7 2015. IJCAI 2015, AAAI Press.

G. Rens, T. Meyer, and G. Lakemeyer. SLAP: Specification logic of actions with probability. Journal of Applied Logic, 12(2):128–150, 2014.

G. Rens, T. Meyer, and G. Lakemeyer. A Logic for Specifying Stochas- tic Actions and Observations. In C. Beierle and C. Meghini, editors, Foundations of Information and Knowledge Systems, volume 8367, pages 305–323, Switzerland, 3 2014. FoIKS 2014, Springer.

N. Ongoma, M. Keet, and T. Meyer. Transition Constraints for Temporal Attributes. In M. Bienvenu, M. Ortiz, R. Rosati, and M. Simkus, editors, Proceedings of the 27th International Workshop on Description Logics, volume 1193, pages 684–695. CEUR, Vienna, Austria, 7 2014.

K. Moodley, T. Meyer, and U. Sattler. Practical Defeasible Reasoning for Description Logics. In U. Endriss and J. Leite, editors, Proceedings of the 7th European Starting AI Researcher Symposium, volume 264, pages 191–200, Amsterdam, 8 2014. STAIRS 2014, IOS Press.

D. Moodley, C. Seebregts, A. Pillay, and T. Meyer. An Ontology for Regulating eHealth Interoperability in Developing African Countries. In J. Gibbons and W. MacCaull, editors, Foundations of Health Information Engineering and Systems, volume 8315, pages 107–124, Switzerland, 9 2014. FHIES 2013, Springer.

T. Meyer, K. Moodley, and U. Sattler. DIP: A Defeasible-Inference Plat- form for OWL Ontologies. In M. Bienvenu, M. Ortiz, R. Rosati, and M. Simkus, editors, Proceedings of the 27th International Workshop on Description Logics, volume 1193, pages 671–683. CEUR, Vienna, Austria, 7 2014.

S. Klarman and T. Meyer. Querying Temporal Databases via OWL 2 QL. In R. Kontchakov and M.-L. Mugnier, editors, Web Reasoning and Rule Systems, volume 8741, pages 92–107, Switzerland, 9 2014. RR 2014, Springer.

S. Klarman and T. Meyer. Complexity of Temporal Query Abduction in DL-Lite. In 27th International Workshop on Description Logics. DL 2014, 7 2014.

G. Casini, T. Meyer, K. Moodley, and R. Nortj ́e. Relevant Closure: A New Form of Defeasible Reasoning for Description Logics. In E. Ferm ́e and J. Leite, editors, Logics in Artificial Intelligence, volume 8761, pages 92–106, Switzerland, 9 2014. JELIA 2014, Springer.

G. Rens, T. Meyer, and G. Lakemeyer. On the Logical Specification of Probabilistic Transition Models. In A. Kakas, editor, Eleventh Interna- tional Symposium on Logical Formalizations of Commonsense Reasoning. COMMONSENSE 2013, 5 2013.

R. Nortjé, K. Britz, and T. Meyer. Reachability modules for the De- scription Logic SRIQ. In K. McMillan, A. Middeldorp, and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, volume 8312, pages 636–652, Berlin, Heidelberg, 12 2013. LPAR 2013, Springer-Verlag.

R. Nortjé, K. Britz, and T. Meyer. Module-theoretic properties of reach- ability modules for SRIQ. In T. Eiter, B. Glimm, Y. Kazakov, and M. Kr ̈otzsch, editors, Proceedings of the 26th International Workshop on Description Logics, volume 1014, pages 868–884. CEUR, Ulm, Germany, 7 2013.

S. Klarman and T. Meyer. Prediction and Explanation over DL-Lite Data Streams. In K. McMillan, A. Middeldorp, and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, volume 8312, pages 536–551, Berlin, Heidelberg, 12 2013. LPAR 2013, Springer.

G. Casini, T. Meyer, K. Moodley, and I. Varzinczak. Towards Practi- cal Defeasible Reasoning for Description Logics. In T. Eiter, B. Glimm, Y. Kazakov, and M. Kr ̈otzsch, editors, Proceedings of the 26th Inter- national Workshop on Description Logics, volume 1014, pages 587–599. CEUR, Ulm, Germany, 7 2013.

G. Casini, T. Meyer, K. Moodley, and I. Varzinczak. Nonmonotonic rea- soning in Description Logics: Rational Closure for the ABox. In T. Eiter, B. Glimm, Y. Kazakov, and M. Kr ̈otzsch, editors, Proceedings of the 26th International Workshop on Description Logics, volume 1014, pages 600– 615. CEUR, Ulm, Germany, 7 2013.

K. Britz, G. Casini, T. Meyer, and I. Varzinczak. Preferential Role Re- strictions. In T. Eiter, B. Glimm, Y. Kazakov, and M. Kr ̈otzsch, editors, Proceedings of the 26th International Workshop on Description Logics, volume 1014, pages 93–106. CEUR, Ulm, Germany, 7 2013.

R. Booth, T. Meyer, and I. Varzinczak. A Propositional Typicality Logic for Extending Rational Consequence. In E. Ferm ́e, D. Gabbay, and G. Simari, editors, Trends in Belief Revision and Argumentation Dynamics, volume 48, pages 1–31. College Publications, 12 2013.

G. Rens, G. Lakemeyer, and T. Meyer. A Logic for Specifying Agent Ac- tions and Observations with Probability. In K. Kersting and M. Toussaint, editors, STAIRS 2012: Proceedings of the Sixth Starting AI Researchers Symposium, volume 241, pages 252–263, Amsterdam, Netherlands, 8 2012. STAIRS 2012, IOS Press.

R. Nortjé, K. Britz, and T. Meyer. A normal form for hypergraph-based module extraction for SROIQ. In A. Gerber, K. Taylor, T. Meyer, and M. Orgun, editors, Proceedings of the Eighth Australasian Ontology Work- shop, volume 969, pages 40–51. CEUR, Sydney, Austalia, 12 2012.

K. Moodley, T. Meyer, and I. Varzinczak. A Prot ́eg ́e Plug-in for Defeasible Reasoning. In Y. Kazakov, D. Lembo, and F. Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, volume 846. CEUR, Rome, Italy, 6 2012.

K. Moodley, T. Meyer, and I. Varzinczak. A Defeasible Reasoning Ap- proach for Description Logic Ontologies. In Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, pages 69–78, New York, NY, United States, 10 2012. SAIC- SIT 2013, Association for Computing Machinery.

A. Ferrein and T. Meyer. A Brief Overview of Artificial Intelligence in South Africa. AI Magazine, 33(1):99–103, 3 2012.

G. Casini, A. Gerber, and T. Meyer. A Note on the Translation of Con- ceptual Data Models into Description Logics: Disjointness and Covering Assumptions. In J. Kroeze and R. de Villiers, editors, Proceedings of the South African Institute for Computer Scientists and Information Technol- ogists Conference, pages 10–20. SAICSIT 2012, Association for Computing Machinery, 10 2012.

K. Britz, T. Meyer, and I. Varzinczak. Normal Modal Preferential Conse- quence. In M. Thielscher and D. Zhang, editors, Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, pages 505–516, Berlin, Heidelberg, 12 2012. AI 2012, Springer-Verlag.

R. Booth, T. Meyer, and I. Varzinczak. PTL: A Propositional Typicality Logic. In L. F. Cerro, A. Herzig, and J. Mengin, editors, Proceedings of the 13th European Conference on Logics in Artificial Intelligence, pages 107–119, Berlin, Heidelberg, 9 2012. JELIA 2012, Springer-Verlag.

R. Booth, T. Meyer, and C. Sombattheera. A General Family of Preferential Belief Removal Operators. Journal of Philosophical Logic, 41(4):711– 733, 8 2012.

G. Rens, T. Meyer, A. Ferrein, and G. Lakemeyer. A Logic for Specifying Partially Observable Stochastic Domains. In International Workshop on Nonmonotonic Reasoning, Action and Change, Barcelona, Spain, 2011.

R. Nortjé, K. Britz, and T. Meyer. Bidirectional reachability-based mod- ules. In R. Rosati, S. Rudolph, and M. Zakharyaschev, editors, Proceedings of the 2011 International Workshop on Description Logics, volume 745. CEUR, Barcelona, Spain, 7 2011.

K. Moodley, T. Meyer, and I. Varzinczak. Root Justifications for Ontology Repair. In S. Rudolph and C. Gutierrez, editors, Fifth International Con- ference on Web Reasoning and Rule Systems, volume 6902, pages 275–280, Berlin, Heidelberg, 8 2011. RR 2011, Springer-Verlag.

T. Meyer and I. Varzinczak. A Logic-Based Perspective on Agent Reconfiguration: Preliminary Report. In 2011 Africon, pages 995–1000, New York, United States of America, 9 2011. AFRICON 2011, IEEE.

L. Leenen, R. Alberts, K. Britz, A. Gerber, and T. Meyer. Developing a Knowledge System for Information Operations. In International Conference on Information Warfare, Washington DC, USA, 2011.

K. Britz, T. Meyer, and I. Varzinczak. Semantic Foundation for Preferential Description Logics. In D. Wang and M. Reynolds, editors, Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, vol- ume 7106, pages 491–500, Berlin, Heidelberg, 12 2011. AI 2011, Springer- Verlag.

K. Britz, T. Meyer, and I. Varzinczak. Preferential Reasoning for Modal Logic. Electronic Notes in Theoretical Computer Science, 278:55–69, 11 2011.

K. Britz, T. Meyer, and I. Varzinczak. Concept Model Semantics for DL Preferential Reasoning. In R. Rosati, S. Rudolph, and M. Zakharyaschev, editors, Proceedings of the 2011 International Workshop on Description Logics, volume 745. CEUR, Barcelona, Spain, 7 2011.

R. Booth, T. Meyer, I. Varzinczak, and R. Wassermann. On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. Journal of Artificial Intelligence Research, 42(1):31–53, 9 2011.

R. Booth and T. Meyer. How to Revise a Total Preorder. Journal of Philosophical Logic, 40(2):193–238, 4 2011.

R. Booth and T. Meyer. Belief Change. Journal of the Indian Council of Philosophical Research, XXVII:379–412, 2011.

J. Bergh, A. Gerber, T. Meyer, and L. van Zijl. Path analysis for ontology comprehension. In Advances in Ontologies, Conferences in Research and Practice in Information Technology. Australian Computer Society, 2011.

G. Rens, I. Varzinczak, T. Meyer, and A. Ferrein. A Logic for Reason- ing about Actions and Explicit Observations. In J. Li, editor, AI 2010: Advances in Artificial Intelligence, volume 6464, pages 395–404, Berlin, Heidelberg, 12 2010. AI 2010, Springer.

T. Meyer, K. Moodley, and I. Varzinczak. First Steps in the Computation of Root Justifications. In International Workshop on Automated Reasoning about Context and Ontology Evolution, Lisbon, Portugal, 2010.

E. Franconi, T. Meyer, and I. Varzinczak. Semantic Diff as the Basis for Knowledge Base Versioning. In T. Meyer and E. Ternovska, editors, International Workshop on Nonmonotonic Reasoning, 2010.

R. Booth, T. Meyer, I. Varzinczak, and R. Wassermann. Horn Be- lief Change: A Contraction Core. In H. Coelho, R. Studer, and M. Wooldridge, editors, Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, volume 215, pages 1065–1066, Amsterdam, Netherlands, 8 2010. ECAI 2010, IOS Press.

R. Booth, T. Meyer, I. Varzinczak, and R. Wassermann. A Contrac- tion Core for Horn Belief Change: Preliminary Report. In T. Meyer and E. Ternovska, editors, International Workshop on Nonmonotonic Reasoning, 2010.

R. Booth and T. Meyer. Equilibria in Social Belief Removal. Synthese, 177:97–123, 12 2010.

R. Booth, S. Chopra, T. Meyer, and A. Ghose. Double preference relations for generalised belief change. Artificial Intelligence, 174(16-17):1339–1368, 11 2010.

R. Nortjé, K. Britz, and T. Meyer. Finding EL+ justifications using the Earley parsing algorithm. In T. Meyer and K. Taylor, editors, Advances in Ontologies, Conferences in Research and Practice in Information Tech- nology, volume 112. Australian Computer Society, 2009.

K. Britz, J. Heidema, and T. Meyer. Modelling object typicality in descrip- tion logics (preliminary version). In B. C. Grau, I. Horrocks, B. Motik, and U. Sattler, editors, International Workshop on Description Logics, 2009.

K. Britz, J. Heidema, and T. Meyer. Modelling Object Typicality in Description Logics. In A. Nicholson and X. Li, editors, AI 2009: Advances in Artificial Intelligence, volume 5866, pages 506–516, Berlin, Heidelberg, 12 2009. AI 2009, Springer.

R. Booth, T. Meyer, and I. Varzinczak. Next Steps in Propositional Horn Contraction (preliminary version). In G. Lakemeyer, L. Morgenstern, and M.-A. Williams, editors, International Symposium on Logical Formaliza- tions of Commonsense Reasoning, 2009.

R. Booth, T. Meyer, and I. Varzinczak. Next Steps in Propositional Horn Contraction. In C. Boutilier, editor, Proceedings of the 21st Interna- tional Joint Conference on Artificial Intelligence, pages 702–707, Cali- fornia, United States of America, 7 2009. IJCAI 2009, AAAI Press.
[92] R. Booth, T. Meyer, and I. Varzinczak. First Steps in EL Contraction. In A. Bundy, J. Lehmann, G. Qi, and I. Varzinczak, editors, Workshop on Automated Reasoning about Context and Ontology Evolution, Pasadena, California, 2009.

R. Booth, T. Meyer, and C. Sombattheera. A General Family of Pref- erential Belief Removal Operators (preliminary version). In Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, California, 2009.

R. Booth, T. Meyer, and C. Sombattheera. A General Family of Preferential Belief Removal Operators. In Workshop on Logic, Rationality and Interaction, Chonqing, China, 2009.

T. Meyer, C. Seebregts, A. Gerber, A. Britz, L. Pretorius, R. Alberts, and D. Moodley. The Integration of SNOMED CT into the OpenMRS Elec- tronic Medical Record System Framework. In K. Spackman and R. Cornet, editors, Representing and Sharing Knowledge using SNOMED CT, page 122, 2008.
[96] S. Chopra, T. Meyer, and K.-S. Wong. Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic, 37(5):501–520, 8 2008.

K. Britz, J. Heidema, and T. A. Meyer. Semantic Preferential Subsump- tion. In G. Brewka and J. Lang, editors, Principles of Knowledge Repre- sentation and Reasoning: Proceedings of the Eleventh International Con- ference, pages 476–484, California, United States of America, 9 2008. KR 2008, AAAI Press.

R. Booth and T. Meyer. Equilibria in Social Belief Removal. In Interna- tional Workshop on Computational Social Choice, Liverpool, 2008.

R. Booth and T. Meyer. Equilibria in Social Belief Removal. In G. Brewka and J. Lang, editors, Principles of Knowledge Representation and Reason- ing: Proceedings of the Eleventh International Conference, pages 145–155, California, United States of America, 9 2008. KR 2008, AAAI Press.

Z. Q. Zhuang, M. Pagnucco, and T. Meyer. Implementing Iterated Belief Change Via Prime Implicates. In M. Orgun and J. Thornton, editors, AI 2007: Advances in Artificial Intelligence, volume 4830, pages 507–518. Springer, Berlin, Heidelberg, 12 2007.

L. Leenen, T. Meyer, and A. Ghose. Relaxations of semiring constraint satisfaction problems. Information Processing Letters, 103(5):177–182, 3 2007.

L. Leenen, A. Anbulagan, T. Meyer, and A. Ghose. Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. In M. Orgun and J. Thornton, editors, AI 2007: Advances in Artificial Intelligence, volume 4830, pages 202–212, Berlin, Heidelberg, 12 2007. AI 2007, Springer.

A. Cregan, R. Schwitter, and T. Meyer. Sydney OWL Syntax – towards a Controlled Natural Language for OWL 1.1. In C. Golbreich, A. Kalyanpur, and B. Parsia, editors, Workshop on OWL: Experiences and Directions, Innsbruck, Austria, 2007.

R. Booth and T. Meyer. On the Dynamics of Total Preorders: Revising Abstract Interval Orders. In K. Mellouli, editor, Symbolic and Quantita- tive Approaches to Reasoning with Uncertainty, volume 4724, pages 42–53, Berlin, Heidelberg, 11 2007. ECSQARU 2007, Springer.

R. Booth and T. Meyer. On iterated revision of total preorders – preliminary results. In Workshop on Nonmonotonic Reasoning, Action and Change, 2007.

L. Perrussel, J.-M. ThA ̃©venin, and T. Meyer. Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, Proceed- ings of the 17th European Conference on Artificial Intelligence, volume 141, pages 731–732, Amsterdam, Netherlands, 8-9 2006. ECAI 2006, IOS Press.

L. Perrussel, J.-M. Th ́evenin, and T. Meyer. Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. In In- ternational Workshop on Non-Monotonic Reasoning, 2006.

T. Meyer, K. Lee, R. Booth, and J. Pan. Finding Maximally Satisfiable Terminologies for the Description Logic ALC. In A. Cohn, editor, Proceed- ings of the 21st National Conference on Artificial Intelligence, volume 1, pages 269–274, California, United States of America, 7 2006. AAAI 2006, AAAI Press.

L. Leenen, T. Meyer, P. Harvey, and A. Ghose. A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings. In Q. Yang and G. Webb, editors, PRICAI 2006: Trends in Artificial Intelligence, volume 4099, pages 907–911, Berlin, Heidelberg, 8 2006. PRICAI 2006, Springer.

K. Lee, T. Meyer, and J. Pan. Computing Maximally Satisfiable Ter- minologies for the Description Logic ALC with Cyclic Definitions. In International Workshop on Description Logic, 2006.

S. Chopra, A. Ghose, and T. Meyer. Social choice theory, belief merging, and strategy-proofness. Information Fusion, 7(1):61–79, 3 2006.

R. Booth, T. Meyer, and K.-S. Wong. A Bad Day Surfing is Better than a Good Day Working: How to Revise a Total Preorder. In Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, pages 230–238, California, United States of America, 6 2006. KR 2006, AAAI Press.

R. Booth and T. Meyer. Admissible and Restrained Revision. Journal of Artificial Intelligence Research, 26:127–151, 6 2006.

T. Meyer, P. P. Parra, and L. Perrussel. Mediation Using m-States. In L. Godo, editor, European Conference on Symbolic and Quantitative Ap- proaches to Reasoning with Uncertainty. Lecture Notes in Computer Sci- ence, volume 3571, pages 489–500. Springer-Verlag, 2005.

T. Meyer, K. Lee, and R. Booth. Knowledge Integration for Description Logics. In International Symposium on Logical Formalizations of Com- monsense Reasoning, 2005.

T. Meyer, K. Lee, and R. Booth. Knowledge Integration for Description Logics. In M. Veloso and S. Kambhampati, editors, National Conference on Artificial Intelligence, pages 645–650. AAAI Press, 2005.

L. Leenen, T. Meyer, and A. Ghose. Relaxations of semiring constraint satisfaction problems. In Workshop on Preferences and Soft Constraints, 2005.

N. Foo, T. Meyer, Y. Zhang, and D. Zhang. Logic program negotiation. In Workshop on Nonmonotonic Reasoning, Action and Change, 2005.

R. Booth, S. Chopra, and T. Meyer. Restrained revision. In Workshop on Nonmonotonic Reasoning, Action and Change, 2005.

R. Booth, S. Chopra, A. Ghose, and T. Meyer. Belief Liberation (and Retraction). Studia Logica, 79(1):47–72, 2 2005.

D. Zhang, N. Foo, T. Meyer, and R. Kwok. Negotiation as Mutual Belief Revision. In National Conference on Artificial Intelligence, pages 317–322. AAAI Press/The MIT Press, 2004.

T. Meyer, N. Foo, R. Kwok, and D. Zhang. Logical Foundations of Ne- gotiation: Strategies and Preferences. In D. Dubois, C. Welty, and M.-A. Williams, editors, International Conference on the Principles of Knowl- edge Representation and Reasoning, pages 311–318. AAAI Press, 2004.

T. Meyer, N. Foo, R. Kwok, and D. Zhang. Logical Foundations of Nego- tiation: Outcome, Concession and Adaptation. In National Conference on Artificial Intelligence, pages 293–298. AAAI Press/The MIT Press, 2004.

K. Lee and T. Meyer. A Classification of Ontology Modification. In G. I. Webb and X. Yu, editors, Advances in Artificial Intelligence. Lecture Notes in Computer Science, volume 3339, pages 248–258. Springer-Verlag, 2004.

N. Foo, T. Meyer, and G. Brewka. LPOD Answer Sets and Nash Equilib- ria. In M. J. Maher, editor, Asian Computing Science Conference. Lecture Notes in Computer Science, volume 3321, pages 352–361. Springer-Verlag, 2004.

R. Booth, S. Chopra, T. Meyer, and A. Ghose. A Unifying Semantics for Belief Change. In International Workshop on Non-Monotonic Reasoning, 2004.

R. Booth, S. Chopra, T. Meyer, and A. Ghose. A Unifying Semantics for Belief Change. In R. L. D. Mantaras and L. Saitta, editors, European Conference on Artificial Intelligence, pages 793–797. IOS Press, 2004.

D. Zhang, N. Foo, T. Meyer, and R. Kwok. Negotiation as Mutual Belief Revision. In Workshop on Nonmonotonic Reasoning, Action and Change, 2003.

S. Chopra, J. Heidema, and T. Meyer. Some Logics of Belief and Disbelief. In T. D. Gedeon and L. C. C. Fung, editors, Advances in Artificial Intel- ligence. Lecture Notes in Computer Science, volume 2903, pages 364–376. Springer-Verlag, 2003.

S. Chopra, A. Ghose, and T. Meyer. Non-Prioritized Ranked Belief Change. Journal of Philosophical Logic, 32(4):417–443, 8 2003.

R. Booth, S. Chopra, A. Ghose, and T. Meyer. Belief Liberation (and Re- traction). In Workshop on Nonmonotonic Reasoning, Action and Change, 2003.

R. Booth, S. Chopra, A. Ghose, and T. 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.

T. Meyer, J. Heidema, W. Labuschagne, and L. Leenen. Systematic With- drawal. Journal of Philosophical Logic, 31:415–443, 10 2002.

T. Meyer, A. Ghose, and S. Chopra. Syntactic Representations of Seman- tic Merging Operations. In M. Ishizuka and A. Sattar, editors, Pacific Rim International Conference on Artificial Intelligence. Lecture Notes in Computer Science, volume 2417, page 620. Springer-Verlag, 2002.

S. Chopra, J. Heidema, and T. Meyer. Some logics of belief and disbelief. In International Workshop on Non-Monotonic Reasoning, 2002.

S. Chopra, A. Ghose, and T. Meyer. Iterated revision and the axiom of recovery: a unified treatment via epistemic states. In International Workshop on Non-Monotonic Reasoning, 2002.

S. Chopra, A. Ghose, and T. Meyer. Iterated revision and the axiom of recovery: a unified treatment via epistemic states. In European Conference on Artificial Intelligence, pages 541–545. IOS Press, 2002.

T. Meyer, A. Ghose, and S. Chopra. Syntactic Representations of Seman- tic Merging Operations. In IJCAI-01 Workshop on Inconsistency in Data and Knowledge, 2001.

T. Meyer, A. Ghose, and S. Chopra. Social Choice, Merging and Elections. In S. Benferhat and P. Besnard, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Lecture Notes in Computer Science, volume 2143, pages 466–477. Springer, 2001.

T. Meyer, A. Ghose, and S. Chopra. Non-Prioritised Ranked Belief Change. In IJCAI -01 Workshop on Nonmonotonic Reasoning, Action and Change, 2001.

T. Meyer, A. Ghose, and S. Chopra. Non-Prioritised Ranked Belief Change. In J. van Benthem, editor, Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, pages 151–162. Morgan Kaufmann Publishers Inc., 2001.

T. Meyer, A. Ghose, and S. Chopra. Multi-Agent Context-Based Merging. In Australasian Workshop on Computational Logic, 2001.

T. Meyer, A. Ghose, and S. Chopra. Context-Sensitive Merging. In Sym- posium on Logical Formalizations of Commonsense Reasoning, 2001.

T. Meyer, A. Ghose, and S. Chopra. Context-Sensitive Merging. In IJCAI- 01 Workshop on Inconsistency in Data and Knowledge, 2001.

T. Meyer. On the semantics of combination operations. Journal of Applied Non-Classical Logics, 11(1-2):59–84, 1 2001.

T. Meyer. Basic Infobase Change. Studia Logica, 67:215–242, 3 2001.

T. Meyer, W. Labuschagne, and J. Heidema. Refined Epistemic Entrenchment. Journal of Logic, Language and Information, 9:237–259, 4 2000.

T. Meyer, W. Labuschagne, and J. Heidema. Infobase Change: A First Approximation. Journal of Logic, Language, and Information, 9:353–377, 7 2000.

T. Meyer. On the semantics of merging. In International Workshop on NonMonotonic Reasoning, 2000.
T. Meyer. Merging Epistemic States. In R. Mizoguchi and J. Slaney, edi- tors, Topics in Artificial Intelligence. Lecture Notes in Computer Science, volume 1886, pages 286–296. Springer-Verlag, 2000.
T. Meyer. Basic Infobase Change. In N. Foo, editor, Advanced Topics in Artificial Intelligence.

Lecture Notes in Computer Science, volume 1747, pages 156–167. Springer-Verlag, 1999.

T. Meyer. An information-theoretic semantics for belief change. South African Computer Journal, 24:33–39, 1999.

T. Meyer, W. Labuschagne, and J. Heidema. Power-orderings as a gen- eralisation of minimal model semantics. In International Symposium on Artificial Intelligence, Monterrey, Mexico, 1995.

J. Heidema, W. Labuschagne, T. Meyer, and H. Rosenblatt. A Power-order Semantics for Nonmonotonic Logic II. In SAICSIT Symposium, Pretoria, South Africa, 1995.

J. Heidema, W. Labuschagne, T. Meyer, and H. Rosenblatt. A Power-order Semantics for Nonmonotonic Logic I. In SAICSIT Symposium, Pre- toria, South Africa, 1995.

I. Burger, J. Heidema, W. Labuschagne, T. Meyer, and B.-E. van Wyk. Gradogramme – ’n nuwe hulpmiddel vir kladistiese taksonomie (Grado- grams – a new aid for cladistic taxonomy). South African Journal for Science and Technology, 13(4):135–141, 1994.

T. Meyer, T. Smith, and L. Leenen. An Efficient Primal Simplex Implementation for the Continuous 2-Matching Problem. South African Com- puter Journal, 5:28–31, 1991.

T. Meyer, T. Smith, and G. Thompson. Lower bounds for the symmetric travelling salesman problem from Lagrangean relaxations. Discrete Applied Mathematics, 26:209–217, 1990.

T. Meyer and T. Smith. A comparison of assignments and matching lower bounds for the symmetric travelling salesman problem. In Fifth South African Computer Symposium, Sandton, South Africa, 1989.

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

Create a website or blog at WordPress.com