Formalisation and Evaluation of Properties for Consequentialist Machine Ethics.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.
Algorithms, April, 2023
Online Learning and Planning in Cognitive Hierarchies.
CoRR, 2023
Epistemic Reasoning in Computational Machine Ethics.
Proceedings of the AI 2023: Advances in Artificial Intelligence, 2023
Representing and Reasoning with Event Models for Epistemic Planning.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Epistemic Reasoning for Machine Ethics with Situation Calculus.
Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021
Analyzing XACML policies using answer set programming.
Int. J. Inf. Sec., 2019
Encoding Epistemic Strategies for General Game Playing.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Perceptual Context in Cognitive Hierarchies.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
A Framework for Integrating Symbolic and Sub-Symbolic Representations.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Composability in Cognitive Hierarchies.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016
Integrating ASP into ROS for Reasoning in Robots.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Execution Monitoring as Meta-Games for General Game-Playing Robots.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
A Systematic Solution to the (De-)Composition Problem in General Game Playing.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
ROSoClingo: A ROS package for ASP-based robot control.
CoRR, 2013
Implementing Belief Change in the Situation Calculus and an Application.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Towards General Game-Playing Robots: Models, Architecture and Game Controller.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013
From Approximate Clausal Reasoning to Problem Hardness.
Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011
How to Plan When Being Deliberately Misled.
Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011
A Novel Architecture for Situation Awareness Systems.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Logical approximation and compilation for resource-bounded reasoning.
PhD thesis, 2008
Prime Implicates for Approximate Reasoning.
Proceedings of the Knowledge Science, 2007
Inverse Resolution as Belief Change.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005