Publications
2017
Mobile on-board vehicle event recorder: MOVER Proceedings Article
In: 2017 Conference on Information Communication Technology and Society (ICTAS), Durban, South Africa, March 8-10, 2017, pp. 1–7, IEEE, 2017.
Belief Change in a Preferential Non-monotonic Framework Proceedings Article
In: Sierra, Carles (Ed.): Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 929–935, ijcai.org, 2017.
Benchmarking a mobile implementation of the social engineering prevention training tool Proceedings Article
In: Venter, Hein S.; Loock, Marianne; Coetzee, Marijke; Eloff, Mariki M.; Eloff, Jan H. P. (Ed.): 2017 Information Security for South Africa, ISSA 2017, Johannesburg, South Africa, August 16-17, 2017, pp. 106–116, IEEE, 2017.
Imagining Probabilistic Belief Change as Imaging (Technical Report) Journal Article
In: CoRR, vol. abs/1705.01172, 2017.
2016
Semantic Technologies and Big Data Analytics for Cyber Defence Journal Article
In: Int. J. Cyber Warf. Terror., vol. 6, no. 3, pp. 53–64, 2016.
On Revision of Partially Specified Convex Probabilistic Belief Bases Proceedings Article
In: Kaminka, Gal A.; Fox, Maria; Bouquet, Paolo; Hüllermeier, Eyke; Dignum, Virginia; Dignum, Frank; van Harmelen, Frank (Ed.): ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 921–929, IOS Press, 2016.
Probabilistic Expert Systems for Reasoning in Clinical Depressive Disorders Proceedings Article
In: 15th IEEE International Conference on Machine Learning and Applications, ICMLA 2016, Anaheim, CA, USA, December 18-20, 2016, pp. 599–604, IEEE Computer Society, 2016.
Using Defeasible Information to Obtain Coherence Proceedings Article
In: Baral, Chitta; Delgrande, James P.; Wolter, Frank (Ed.): Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016, pp. 537–540, AAAI Press, 2016.
Revising Incompletely Specified Convex Probabilistic Belief Bases Journal Article
In: CoRR, vol. abs/1604.02133, 2016.
2015
What Does Entailment for PTL Mean? Proceedings Article
In: 2015 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 22-25, 2015, AAAI Press, 2015.
A New Approach to Probabilistic Belief Change Proceedings Article
In: Russell, Ingrid; Eberle, William (Ed.): Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2015, Hollywood, Florida, USA, May 18-20, 2015, pp. 581–587, AAAI Press, 2015.
A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels Proceedings Article
In: Duval, Béatrice; van den Herik, H. Jaap; Loiseau, Stéphane; Filipe, Joaquim (Ed.): Agents and Artificial Intelligence - 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers, pp. 3–19, Springer, 2015.
Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels Proceedings Article
In: Loiseau, Stéphane; Filipe, Joaquim; Duval, Béatrice; van den Herik, H. Jaap (Ed.): ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January, 2015, pp. 5–14, SciTePress, 2015.
A Modal Logic for the Decision-Theoretic Projection Problem Proceedings Article
In: Loiseau, Stéphane; Filipe, Joaquim; Duval, Béatrice; van den Herik, H. Jaap (Ed.): ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015, pp. 5–16, SciTePress, 2015.
A Logic for Reasoning About Decision-Theoretic Projections Proceedings Article
In: Duval, Béatrice; van den Herik, H. Jaap; Loiseau, Stéphane; Filipe, Joaquim (Ed.): Agents and Artificial Intelligence - 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers, pp. 79–99, Springer, 2015.
Preferential Semantics as the Basis for Defeasible Reasoning in Ontologies Proceedings Article
In: Booth, Richard; Casini, Giovanni; Klarman, Szymon; Richard, Gilles; Varzinczak, Ivan José (Ed.): Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 27, 2015, CEUR-WS.org, 2015.
On the Entailment Problem for a Logic of Typicality Proceedings Article
In: Yang, Qiang; Wooldridge, Michael J. (Ed.): Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 2805–2811, AAAI Press, 2015.
Introducing Defeasibility into OWL Ontologies Proceedings Article
In: Arenas, Marcelo; Corcho, Óscar; Simperl, Elena; Strohmaier, Markus; d'Aquin, Mathieu; Srinivas, Kavitha; Groth, Paul; Dumontier, Michel; Heflin, Jeff; Thirunarayan, Krishnaprasad; Staab, Steffen (Ed.): The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II, pp. 409–426, Springer, 2015.
2014
SLAP: Specification logic of actions with probability Journal Article
In: J. Appl. Log., vol. 12, no. 2, pp. 128–150, 2014.
Complexity of Temporal Query Abduction in DL-Lite Proceedings Article
In: Bienvenu, Meghyn; Ortiz, Magdalena; Rosati, Riccardo; Simkus, Mantas (Ed.): Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, pp. 233–244, CEUR-WS.org, 2014.
DIP: A Defeasible-Inference Platform for OWL Ontologies Proceedings Article
In: Bienvenu, Meghyn; Ortiz, Magdalena; Rosati, Riccardo; Simkus, Mantas (Ed.): Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, pp. 671–683, CEUR-WS.org, 2014.
Transition Constraints for Temporal Attributes Proceedings Article
In: Bienvenu, Meghyn; Ortiz, Magdalena; Rosati, Riccardo; Simkus, Mantas (Ed.): Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, pp. 684–695, CEUR-WS.org, 2014.
A Logic for Specifying Stochastic Actions and Observations Proceedings Article
In: Beierle, Christoph; Meghini, Carlo (Ed.): Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings, pp. 305–323, Springer, 2014.
Relevant Closure: A New Form of Defeasible Reasoning for Description Logics Proceedings Article
In: Fermé, Eduardo; Leite, João (Ed.): Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 92–106, Springer, 2014.
Querying Temporal Databases via OWL 2 QL Proceedings Article
In: Kontchakov, Roman; Mugnier, Marie-Laure (Ed.): Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings, pp. 92–107, Springer, 2014.
Practical Defeasible Reasoning for Description Logics Proceedings Article
In: Endriss, Ulle; Leite, João (Ed.): STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014, pp. 191–200, IOS Press, 2014.
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic Journal Article
In: CoRR, vol. abs/1401.3902, 2014.
2013
Preferential Role Restrictions Proceedings Article
In: Eiter, Thomas; Glimm, Birte; Kazakov, Yevgeny; Krötzsch, Markus (Ed.): Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 93–106, CEUR-WS.org, 2013.
Towards Practical Defeasible Reasoning for Description Logics Proceedings Article
In: Eiter, Thomas; Glimm, Birte; Kazakov, Yevgeny; Krötzsch, Markus (Ed.): Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 587–599, CEUR-WS.org, 2013.
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox Proceedings Article
In: Eiter, Thomas; Glimm, Birte; Kazakov, Yevgeny; Krötzsch, Markus (Ed.): Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 600–615, CEUR-WS.org, 2013.
Module-theoretic Properties of Reachability Modules for SRIQ Proceedings Article
In: Eiter, Thomas; Glimm, Birte; Kazakov, Yevgeny; Krötzsch, Markus (Ed.): Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 868–884, CEUR-WS.org, 2013.
An Ontology for Regulating eHealth Interoperability in Developing African Countries Proceedings Article
In: Gibbons, Jeremy; MacCaull, Wendy (Ed.): Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers, pp. 107–124, Springer, 2013.
Prediction and Explanation over DL-Lite Data Streams Proceedings Article
In: McMillan, Kenneth L.; Middeldorp, Aart; Voronkov, Andrei (Ed.): Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, pp. 536–551, Springer, 2013.
Reachability Modules for the Description Logic textdollartextbackslashmathcalSRIQtextdollar Proceedings Article
In: McMillan, Kenneth L.; Middeldorp, Aart; Voronkov, Andrei (Ed.): Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, pp. 636–652, Springer, 2013.
2012
A Brief Overview of Artificial Intelligence in South Africa Journal Article
In: AI Mag., vol. 33, no. 1, pp. 99–103, 2012.
A General Family of Preferential Belief Removal Operators Journal Article
In: J. Philos. Log., vol. 41, no. 4, pp. 711–733, 2012.
Normal Modal Preferential Consequence Proceedings Article
In: Thielscher, Michael; Zhang, Dongmo (Ed.): AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings, pp. 505–516, Springer, 2012.
A Protege Plug-in for Defeasible Reasoning Proceedings Article
In: Kazakov, Yevgeny; Lembo, Domenico; Wolter, Frank (Ed.): Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, CEUR-WS.org, 2012.
PTL: A Propositional Typicality Logic Proceedings Article
In: del Cerro, Luis Fariñas; Herzig, Andreas; Mengin, Jérôme (Ed.): Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 107–119, Springer, 2012.
A note on the translation of conceptual data models into description logics: disjointness and covering assumptions Proceedings Article
In: Kroeze, Jan H.; de Villiers, Ruth (Ed.): 2012 South African Institute of Computer Scientists and Information Technologists Conference, SAICSIT '12, Pretoria, South Africa, October 1-3, 2012, pp. 10–20, ACM, 2012.
A defeasible reasoning approach for description logic ontologies Proceedings Article
In: Kroeze, Jan H.; de Villiers, Ruth (Ed.): 2012 South African Institute of Computer Scientists and Information Technologists Conference, SAICSIT '12, Pretoria, South Africa, October 1-3, 2012, pp. 69–78, ACM, 2012.
A Logic for Specifying Agent Actions and Observations with Probability Proceedings Article
In: Kersting, Kristian; Toussaint, Marc (Ed.): STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, Montpellier, France, 27-28 August 2012, pp. 252–263, IOS Press, 2012.
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441) Journal Article
In: Dagstuhl Reports, vol. 2, no. 10, pp. 105–116, 2012.
2011
Concept Model Semantics for DL Preferential Reasoning Proceedings Article
In: Rosati, Riccardo; Rudolph, Sebastian; Zakharyaschev, Michael (Ed.): Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, CEUR-WS.org, 2011.
Bidirectional Reachability-Based Modules Proceedings Article
In: Rosati, Riccardo; Rudolph, Sebastian; Zakharyaschev, Michael (Ed.): Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, CEUR-WS.org, 2011.
Root Justifications for Ontology Repair Proceedings Article
In: Rudolph, Sebastian; Gutierrez, Claudio (Ed.): Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, pp. 275–280, Springer, 2011.
Preferential Reasoning for Modal Logics Proceedings Article
In: van Ditmarsch, Hans; Fernández-Duque, David; Goranko, Valentin; Jamroga, Wojciech; Ojeda-Aciego, Manuel (Ed.): Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011, pp. 55–69, Elsevier, 2011.
Admissible and Restrained Revision Journal Article
In: CoRR, vol. abs/1109.6344, 2011.
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic Journal Article
In: J. Artif. Intell. Res., vol. 42, pp. 31–53, 2011.