Giunchiglia, Enrico

14 publications

IJCAI 2025 Rolling in Classical Planning with Conditional Effects and Constraints Matteo Cardellini, Enrico Giunchiglia

AAAI 2025 Temporal Numeric Planning with Patterns Matteo Cardellini, Enrico Giunchiglia

AAAI 2024 Symbolic Numeric Planning with Patterns Matteo Cardellini, Enrico Giunchiglia, Marco Maratea

IJCAI 2020 Optimal Planning Modulo Theories Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella

AAAI 2007 Planning as Satisfiability with Preferences Enrico Giunchiglia, Marco Maratea

JAIR 2006 Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

AAAI 2004 SAT-Based Answer Set Programming Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

AAAI 2002 Learning for Quantified Boolean Logic Satisfiability Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

IJCAI 2001 Backjumping for Quantified Boolean Logic Satisfiability Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

AAAI 2000 Planning as Satisfiability in Nondeterministic Domains Paolo Ferraris, Enrico Giunchiglia

AAAI 1998 Act, and the REST Will Follow: Exploiting Determinism in Planning as Satisfiability Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani

AAAI 1998 An Action Language Based on Causal Explanation: Preliminary Report Enrico Giunchiglia, Vladimir Lifschitz

IJCAI 1995 Dependent Fluents Enrico Giunchiglia, Vladimir Lifschitz

IJCAI 1993 Non-Omniscient Belief as Context-Based Resoning Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione