Blai Bonet

发表

Planning and Control in Artificial Intelligence: A Unifying Perspective

Blai Bonet, Hector Geffner, Hector Geffner, 2001, Applied Intelligence.

Planning with Incomplete Information as Heuristic Search in Belief Space

Blai Bonet, Hector Geffner, Hector Geffner, 2000, AIPS.

mGPT: A Probabilistic Planner Based on Heuristic Search pdf

Blai Bonet, Hector Geffner, Hector Geffner, 2005, J. Artif. Intell. Res..

Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions

Blai Bonet, Aldo Porco, Alejandro Machado, 2013, ICAPS.

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA

Blai Bonet, Sven Koenig, 2015, AAAI.

Petri Nets (for Planners)

Patrik Haslum, Blai Bonet, Stefan Edelkamp, 2009 .

Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs

Blai Bonet, Hector Geffner, Hector Geffner, 2006, ICAPS.

Learning Features and Abstract Actions for Computing Generalized Plans pdf

Blai Bonet, Hector Geffner, Guillem Francès, 2018, AAAI.

High-level Programming via Generalized Planning and LTL Synthesis

Giuseppe De Giacomo, Blai Bonet, Sasha Rubin, 2020, KR.

Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback

Blai Bonet, Hector Geffner, Hector Geffner, 2003, IJCAI.

An Expressive and Efficient Solution to the Service Selection Problem

Maria-Esther Vidal, Blai Bonet, Daniel Izquierdo, 2010, SEMWEB.

Belief Tracking for Planning with Sensing: Width, Complexity and Approximations

Blai Bonet, Hector Geffner, Hector Geffner, 2014, J. Artif. Intell. Res..

An epsilon-Optimal Grid-Based Algorithm for Partially Observable Markov Decision Processes

Blai Bonet, Blai Bonet, 2002, ICML.

Strengthening Landmark Heuristics via Hitting Sets

Blai Bonet, Malte Helmert, Blai Bonet, 2010, ECAI.

Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS

Blai Bonet, Aldo Porco, Alejandro Machado, 2011, ICAPS.

Higher-Dimensional Potential Heuristics for Optimal Classical Planning

Blai Bonet, Malte Helmert, Florian Pommerening, 2017, AAAI.

General Policies, Serializations, and Planning Width pdf

Blai Bonet, Hector Geffner, 2020, ArXiv.

GPT Meets PSR

Blai Bonet, Sylvie Thiébaux, Blai Bonet, 2003, ICAPS.

Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning

Patrik Haslum, Blai Bonet, Malte Helmert, 2007, AAAI.

Completeness of Online Planners for Partially Observable Deterministic Tasks

Blai Bonet, Gabriel Formica, Melecio Ponte, 2017, ICAPS.

New Admissible Heuristics for Domain-Independent Planning

Patrik Haslum, Blai Bonet, Hector Geffner, 2005, AAAI.

Bounded Branching and Modalities in Non-Deterministic Planning

Blai Bonet, Blai Bonet, 2006, AI&M.

An Admissible Heuristic for SAS+ Planning Obtained from the State Equation

Blai Bonet, Blai Bonet, 2013, IJCAI.

Heuristic Real-Time Dynamic Programming (Preliminary Results)

Blai Bonet, Hdctor Geffner, Blai Bonet, 1997 .

Heuristics for Planning with Penalties and Rewards using Compiled Knowledge

Blai Bonet, Hector Geffner, Hector Geffner, 2006, KR.

Recent advances in unfolding technique

Patrik Haslum, Blai Bonet, Walter Vogler, 2014, Theor. Comput. Sci..

Planning with Pixels in (Almost) Real Time pdf

Blai Bonet, Hector Geffner, Wilmer Bandres, 2018, AAAI.

Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approximation pdf

Blai Bonet, Judea Pearl, J. Pearl, 2002, UAI.

Deterministic POMDPs Revisited

Blai Bonet, Blai Bonet, 2009, UAI.

Solving POMDPs: RTDP-Bel vs. Point-based Algorithms

Blai Bonet, Hector Geffner, Hector Geffner, 2009, IJCAI.

Heuristics for planning with penalties and rewards formulated in logic and computed through circuits

Blai Bonet, Hector Geffner, Hector Geffner, 2008, Artif. Intell..

Heuristic Search Planner 2.0

Blai Bonet, Hector Geffner, Hector Geffner, 2001, AI Mag..

On Canonical Forms of Complete Problems via First-order Projections pdf

Blai Bonet, Nerio Borges, 2007, ArXiv.

External Memory Value Iteration

Blai Bonet, Stefan Edelkamp, Shahid Jabbar, 2007, ICAPS.

Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming

Blai Bonet, Hector Geffner, Hector Geffner, 2003, ICAPS.

An Algorithm Better than AO*?

Blai Bonet, Hector Geffner, Hector Geffner, 2005, AAAI.

Learning First-Order Symbolic Representations for Planning from the Structure of the State Space

Blai Bonet, Hector Geffner, 2020, ECAI.

Action Selection for MDPs: Anytime AO* vs. UCT pdf

Blai Bonet, Hector Geffner, Hector Geffner, 2019, ArXiv.

Features, Projections, and Representation Change for Generalized Planning pdf

Blai Bonet, Hector Geffner, Hector Geffner, 2018, IJCAI.

The AIPS-98 Planning Competition

Blai Bonet, Hector Geffner, Jörg Hoffmann, 2000, AI Mag..

Automatic Derivation of Finite-State Machines for Behavior Control

Blai Bonet, Hector Geffner, Héctor Palacios, 2010, AAAI.

Directed Unfolding of Petri Nets

Patrik Haslum, Blai Bonet, Sylvie Thiébaux, 2008, Trans. Petri Nets Other Model. Concurr..

Planning as heuristic search

Blai Bonet, Hector Geffner, Hector Geffner, 2001, Artif. Intell..

Universal First-Order Logic is Superfluous for NL, P, NP and coNP

Blai Bonet, Nerio Borges, 2014, Log. Methods Comput. Sci..

A Calculus for Causal Relevance pdf

Blai Bonet, Blai Bonet, 2001, UAI.

Factored Probabilistic Belief Tracking pdf

Blai Bonet, Hector Geffner, Hector Geffner, 2016, IJCAI.

Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning

Blai Bonet, Hector Geffner, 2012, AAAI.

Arguing for Decisions: A Qualitative Model of Decision Making

Blai Bonet, Hector Geffner, Hector Geffner, 1996, UAI.

A Concise Introduction to Models and Methods for Automated Planning

Blai Bonet, Hector Geffner, Hector Geffner, 2013, A Concise Introduction to Models and Methods for Automated Planning.

st and Fast Action Selection ism for F%nning*

Blai Bonet, Blai Bonet, 1997 .

Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs

Blai Bonet, Shlomo Zilberstein, Christopher Amato, 2010, AAAI.

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints

Giuseppe De Giacomo, Blai Bonet, Hector Geffner, 2017, IJCAI.

Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners

Blai Bonet, Hector Geffner, Héctor Palacios, 2009, ICAPS.

Abstraction Heuristics Extended with Counting Abstractions

Blai Bonet, 2011, ICAPS.

LP-Based Heuristics for Cost-Optimal Planning

Blai Bonet, Malte Helmert, Florian Pommerening, 2014, ICAPS.

Heuristics for Cost-Optimal Classical Planning Based on Linear Programming

Blai Bonet, Malte Helmert, Florian Pommerening, 2015, IJCAI.

Directed unfolding of petri nets

Patrik Haslum, Blai Bonet, Sylvie Thiébaux, 2007 .

Guarantees for Sound Abstractions for Generalized Planning

Blai Bonet, Raquel Fuentetaja, Daniel Borrajo, 2019, IJCAI.

STEREO: a SaT-based tool for an optimal solution of the sERvice selEctiOn problem

Maria-Esther Vidal, Blai Bonet, Daniel Izquierdo, 2010, ISWC Posters&Demos.

Flow-Based Heuristics for Optimal Planning: Landmarks and Merges

Blai Bonet, Menkes van den Briel, 2014, ICAPS.

A Robust and Fast Action Selection Mechanism for Planning

Blai Bonet, Hector Geffner, Gábor Loerincs, 1997, AAAI/IAAI.

Abstraction Heuristics, Cost Partitioning and Network Flows

Blai Bonet, Malte Helmert, Florian Pommerening, 2017, ICAPS.

Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation

Blai Bonet, Hector Geffner, 2013, IJCAI.

Syntactic characterizations of completeness using duals and operators

Blai Bonet, Nerio Borges, 2012, Log. J. IGPL.

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence

Marc Cavazza, Nathan R. Sturtevant, Blai Bonet, 2015, AI Mag..

Action Selection for MDPs: Anytime AO* Versus UCT

Blai Bonet, Hector Geffner, Hector Geffner, 2012, AAAI.

GPT: A Tool for Planning with Uncertainty and Partial Information

Blai Bonet, Blai Bonet, 2001, IJCAI 2001.

Fifth International Planning Competition

Blai Bonet, Alfonso Gerevini, Bob Givan, 2006 .

Policies that Generalize: Solving Many Planning Problems with the Same Policy

Blai Bonet, Hector Geffner, Hector Geffner, 2015, IJCAI.

Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic

Maria-Esther Vidal, Blai Bonet, Yolifé Arvelo, 2006, AAAI.

The AIPS-98 planning competition: competitors' perspectives

Henry Kautz, Derek Long, Blai Bonet, 2000 .

Conformant plans and beyond: Principles and complexity

Blai Bonet, Blai Bonet, 2010, Artif. Intell..

Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations

Blai Bonet, Hector Geffner, Héctor Palacios, 2005, ICAPS.

Qualitative Numeric Planning: Reductions and Complexity

Blai Bonet, Hector Geffner, Hector Geffner, 2019, J. Artif. Intell. Res..

A I ] 2 8 M ay 2 01 9 Guarantees for Sound Abstractions for Generalized Planning ( Extended Paper ) pdf

Blai Bonet, Raquel Fuentetaja, Daniel Borrajo, 2019 .

A Complete Algorithm for Generating Landmarks

Blai Bonet, Julio Castillo, 2011, ICAPS.

Planning as Heuristic Search: New Results

Blai Bonet, Hector Geffner, Hector Geffner, 1999, ECP.

Learning General Policies from Small Examples Without Supervision pdf

Blai Bonet, Hector Geffner, Guillem Frances, 2021, ArXiv.

Learning First-Order Symbolic Planning Representations from Plain Graphs pdf

Blai Bonet, Hector Geffner, Hector Geffner, 2019, ArXiv.

Flexible and Scalable Partially Observable Planning with Linear Translations

Blai Bonet, Hector Geffner, 2014, AAAI.

On the Speed of Convergence of Value Iteration on Stochastic Shortest-Path Problems

Blai Bonet, Blai Bonet, 2007, Math. Oper. Res..

Learning Sorting and Decision Trees with POMDPs

Blai Bonet, Hector Geffner, Hector Geffner, 1998, ICML.

Flexible FOND Planning with Explicit Fairness Assumptions

Blai Bonet, Hector Geffner, Sebastian Sardina, 2021, ICAPS.

Learning First-Order Representations for Planning from Black-Box States: New Results pdf

Blai Bonet, Hector Geffner, Javier Romero, 2021, KR.

Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits pdf

Blai Bonet, Hector Geffner, Simon Ståhlberg, 2021, ArXiv.

Learning General Policies from Small Examples Without Supervision pdf

Blai Bonet, Hector Geffner, Guillem Frances, 2021, ArXiv.

General Policies, Representations, and Planning Width

Blai Bonet, Hector Geffner, Hector Geffner, 2021, AAAI.

Learning General Planning Policies from Small Examples Without Supervision

Blai Bonet, Hector Geffner, Guillem Francès, 2021, AAAI.

Instrumentality Tests Revisited

Blai Bonet, Blai Bonet, 2001, UAI.

Logical encodings with no time indexes for defining and computing admissible heuristics for planning

Héctor Geffner, Blai Bonet, Miquel Ramirez, 2007 .

5th International Planning Competition: Non-deterministic Track Call For Participation

Blai Bonet, 2005 .