Twelfth International Conference on the principles of knowledge representation and...
Markov decision processes specified by probabilistic logic programming: representa...
Using Qualitative Spatial Reasoning for a Deictic Perspective Calculus
A Formalisation and Reasoning Proposal based on QRH Analysis for Failure Mitigatio...