Integration of Artificial Intelligence and Robotics is a major research topic nowadays, not only because the development of intelligent robots is one of the overarching goal of AI, but also and above all because of the increasing boost coming from industrial applications, ranging from automated...
Logics for AI
-
-
When looking for a propositional abductive explanation of a given set of manifestations, an ordering between possible solutions is often assumed. While the complexity of computing optimal solutions is already known, in this paper we consider second-best solutions with respect to different...
-
Temporal Logic Model Checking is a verification method in which we describe a system, the model, and then we verify whether important properties, expressed in a temporal logic formula, hold in the system. Many Model Checking tools employ BDDs or some other data structure to represent sets of states...