Publications
2020
The Probabilistic Description Logic BALC Journal Article
In: CoRR, vol. abs/2009.13407, 2020.
2019
On rational entailment for Propositional Typicality Logic Journal Article
In: Artif. Intell., vol. 277, 2019.
A polynomial Time Subsumption Algorithm for Nominal Safe ELO(perp) under Rational Closure Journal Article
In: Inf. Sci., vol. 501, pp. 588–620, 2019.
A KLM Perspective on Defeasible Reasoning for Description Logics Proceedings Article
In: Lutz, Carsten; Sattler, Uli; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank (Ed.): Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 147–173, Springer, 2019.
Arbitrary Ranking of Defeasible Subsumption Proceedings Article
In: Simkus, Mantas; Weddell, Grant E. (Ed.): Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019, CEUR-WS.org, 2019.
Defeasible disjunctive datalog Proceedings Article
In: Davel, Marelie H.; Barnard, Etienne (Ed.): Proceedings of the South African Forum for Artificial Intelligence Research, Cape Town, South Africa, 4-6 December, 2019, pp. 208–219, CEUR-WS.org, 2019.
Rational preferential reasoning for datalog Proceedings Article
In: Davel, Marelie H.; Barnard, Etienne (Ed.): Proceedings of the South African Forum for Artificial Intelligence Research, Cape Town, South Africa, 4-6 December, 2019, pp. 232–243, CEUR-WS.org, 2019.
Simple Conditionals with Constrained Right Weakening Proceedings Article
In: Kraus, Sarit (Ed.): Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, pp. 1632–1638, ijcai.org, 2019.
Taking Defeasible Entailment Beyond Rational Closure Proceedings Article
In: Calimeri, Francesco; Leone, Nicola; Manna, Marco (Ed.): Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 182–197, Springer, 2019.
A Bayesian Extension of the Description Logic emphALC Proceedings Article
In: Calimeri, Francesco; Leone, Nicola; Manna, Marco (Ed.): Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 339–354, Springer, 2019.
Theoretical Foundations of Defeasible Description Logics Journal Article
In: CoRR, vol. abs/1904.07559, 2019.
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072) Journal Article
In: Dagstuhl Reports, vol. 9, no. 2, pp. 73–90, 2019.
2018
The Bayesian Description Logic BALC Proceedings Article
In: Ortiz, Magdalena; Schneider, Thomas (Ed.): Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, CEUR-WS.org, 2018.
A Social Engineering Prevention Training Tool: Methodology and Design for Validating the SEADM Proceedings Article
In: Clarke, Nathan L.; Furnell, Steven (Ed.): Twelfth International Symposium on Human Aspects of Information Security & Assurance, HAISA 2018, Dundee, Scotland, UK, August 29-31, 2018, Proceedings, pp. 12–27, University of Plymouth, 2018.
Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events Proceedings Article
In: Beierle, Christoph; Kern-Isberner, Gabriele; Ragni, Marco; Stolzenburg, Frieder; Thimm, Matthias (Ed.): Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018, pp. 41–54, CEUR-WS.org, 2018.
Maximizing Expected Impact in an Agent Reputation Network Proceedings Article
In: Trollmann, Frank; Turhan, Anni-Yasmin (Ed.): KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, pp. 99–106, Springer, 2018.
Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence Proceedings Article
In: Trollmann, Frank; Turhan, Anni-Yasmin (Ed.): KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, pp. 343–356, Springer, 2018.
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework Proceedings Article
In: Thielscher, Michael; Toni, Francesca; Wolter, Frank (Ed.): Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, pp. 220–229, AAAI Press, 2018.
A Polynomial Time Subsumption Algorithm for Nominal Safe ELO(_mbox(perp)) under Rational Closure Journal Article
In: CoRR, vol. abs/1802.08201, 2018.
Maximizing Expected Impact in an Agent Reputation Network - Technical Report Journal Article
In: CoRR, vol. abs/1805.05230, 2018.
On Rational Entailment for Propositional Typicality Logic Journal Article
In: CoRR, vol. abs/1809.10946, 2018.
2017
Ontology-based support for taxonomic functions Journal Article
In: Ecol. Informatics, vol. 41, pp. 11–23, 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; 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; 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; 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; 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; 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 (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.