568 citations
- Institució Catalana de Recerca i Estudis AvançatsES49 papers
- Universitat Politècnica de CatalunyaES18 papers
- Santa Fe InstituteUS16 papers
- Barcelona Biomedical Research ParkES10 papers
- Universitat de BarcelonaES10 papers
- Centre National de la Recherche ScientifiqueFR9 papers
- Institut de Biologia EvolutivaES8 papers
- The University of TokyoJP8 papers
- Barcelona Supercomputing CenterES7 papers
- New York UniversityUS7 papers
- Queen Mary University of LondonGB7 papers
- University of OxfordGB7 papers
7 papers · 2 filters
Moral Dilemmas for Artificial Intelligence: a position paper on an application of Compositional Quantum Cognition
Camilo M. Signorelli, Xerxes D. Arsiwalla
Traditionally, the way one evaluates the performance of an Artificial Intelligence (AI) system is via a comparison to human performance in specific tasks, treating humans as a refe…
Hierarchical Finite State Controllers for Generalized Planning
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
Finite State Controllers (FSCs) are an effective way to represent sequential plans compactly. By imposing appropriate conditions on transitions, FSCs can also represent generalized…
Generalized Planning With Procedural Domain Control Knowledge
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
Generalized planning is the task of generating a single solution that is valid for a set of planning problems. In this paper we show how to represent and compute generalized plans…
Factored Probabilistic Belief Tracking
Blai Bonet, Hector Geffner
The problem of belief tracking in the presence of stochastic actions and observations is pervasive and yet computationally intractable. In this work we show however that probabilis…
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation
Blai Bonet, Hector Geffner
Belief tracking is a basic problem in planning with sensing. While the problem is intractable, it has been recently shown that for both deterministic and non-deterministic systems…
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner +1
We study the characterization and computation of general policies for families of problems that share a structure characterized by a common reduction into a single abstract problem…