Artificial intelligence (AI) is a set of hardware and software systems capable of providing computing units with capabilities that, to a human observer, seem to imitate humans’ cognitive abilities. It uses an assembly of nature-inspired computational methods to approximate complex real-world...
Artificial Intelligence and Robotics
-
-
The invited talk of Salvatore Iaconesi and Oriana Persico will be delivered in the context of the 2019 European Conference on Ambient Intelligence (AMI 2019) that is by DIAG on 13-15 November. The...
-
The research in this area is at the intersection between Artificial Intelligence and Robotics, and has its roots in the early AI research that targeted robots as embodiments of the intelligent agent.
The key scientific challenge, which has received a significant push by the recent... -
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...
- « prima
- ‹ precedente
- 1
- 2
- 3
- 4