GIUNCHIGLIA, ENRICO

GIUNCHIGLIA, ENRICO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 1-gen-2001 Giunchiglia, Enrico; Tacchella, Armando
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 1-gen-2012 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
Answer Set Programming based on Propositional Satisfiability 1-gen-2006 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Backjumping for Quantified Boolean Logic satisfiability 1-gen-2003 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Combining approaches for solving satisfiability problems with qualitative preferences 1-gen-2013 E., Di Rosa; Giunchiglia, Enrico
Constraints and AI Planning 1-gen-2005 Alexander, Nareyek; EUGENE C., Freuder; Robert, Fourer; Giunchiglia, Enrico; ROBERT P., Goldman; HENRY A., Kautz; Jussi, Rintanen; Austin, Tate
Editorial: Nonmonotonic Reasoning 1-gen-2004 Salem, Benferhat; Giunchiglia, Enrico
Embedding complex decision procedures inside an interactive theorem prover 1-gen-1993 Armando, Alessandro; Giunchiglia, Enrico
Flexible planning by integrating multilevel reasoning 1-gen-1995 Armando, Alessandro; Cimatti, A.; Giunchiglia, Enrico; Pecchiari, P.; Spalazzi, L.; Traverso, P.
Ideal and Real Belief about Belief 1-gen-2001 Giunchiglia, Enrico; Giunchiglia, Fausto
Introducing Preferences in Planning as Satisfiability 1-gen-2011 Giunchiglia, Enrico; Maratea, Marco
MRG: Building Planners for Real World Complex Applications 1-gen-1994 P., Traverso; A., Cimatti; L., Spalazzi; Armando, Alessandro; Giunchiglia, Enrico
Nonmonotonic causal theories 1-gen-2004 Giunchiglia, Enrico; Joohyung, Lee; Vladimir, Lifschitz; Norman, Mccain; Hudson, Turner
On the Relation among Answer Set Solvers 1-gen-2008 Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco
Parallel QBF Solving with Advanced Knowledge Sharing 1-gen-2011 M. D., T.; T., Schubert; B., Becker; P., Marin; Narizzano, Massimo; Giunchiglia, Enrico
Quantifier Structure in search based procedures for QBFs 1-gen-2007 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QuBE7.0 1-gen-2010 Giunchiglia, Enrico; P., Marin; Narizzano, Massimo
Representing Action: Indeterminacy and Ramifications 1-gen-1997 Giunchiglia, Enrico; G. N., Kartha; V., Lifschitz
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 1-gen-2000 Giunchiglia, Enrico; Giunchiglia, A.; Sebastiani, R.; Tacchella, Armando