Artificial intelligence and mathematical theory of computation
A Theory of Action, Knowledge and Time in the Event Calculus
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Iterated belief change in the situation calculus
Artificial Intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
Belief revision in the situation calculus without plausibility levels
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
A general representation and approximate inference algorithm for sensing actions
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
| Hi-index | 0.00 |