| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Introducing Preferences in Planning as Satisfiability. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia |
Parallel QBF Solving with Advanced Knowledge Sharing. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan |
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano |
QuBE7.0. |
JSAT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
Solving satisfiability problems with preferences. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina |
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano |
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano |
Reasoning with Quantified Boolean Formulas. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina |
Automatic Test Generation for Coverage Analysis of ERTMS Software. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta |
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. |
TrustBus |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing |
| 1 | Enrico Giunchiglia, Marco Maratea |
Improving Plan Quality in SAT-Based Planning. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina |
Automatic Test Generation for Coverage Analysis Using CBMC. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Nicola Leone, Marco Maratea |
On the relation among answer set solvers. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20 |
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
Computing All Optimal Solutions in Satisfiability Problems with Preferences. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Quantifier Structure in Search-Based Procedures for QBFs. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Planning as Satisfiability with Preferences. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
Answer Set Programming Based on Propositional Satisfiability. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
answer set programming, propositional satisfiability |
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. |
J. Artif. Intell. Res. (JAIR) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini |
Logics For Artificial Intelligence. |
Intelligenza Artificiale |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Solving Optimization Problems with DLL. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
optsat: A Tool for Solving SAT Related Optimization Problems. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Quantifier structure in search based procedures for QBFs. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea |
TSAT++: an Open Platform for Satisfiability Modulo Theories. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
The SAT-based Approach to Separation Logic. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
SAT-based decision procedures, separation logic |
| 1 | Enrico Giunchiglia, Toby Walsh |
Satisfiability in the Year 2005. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate |
Constraints and AI Planning. |
IEEE Intelligent Systems |
2005 |
DBLP DOI BibTeX RDF |
planning, integer programming, constraint programming, propositional satisfiability |
| 1 | Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia |
Efficient Semantic Matching. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella |
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea |
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Salem Benferhat, Enrico Giunchiglia |
Editorial: Nonmonotonic Reasoning. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner |
Nonmonotonic causal theories. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau |
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). |
AI Magazine |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
QuBE++: An Efficient QBF Solver. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Armando Tacchella (eds.) |
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
QBF Reasoning on Real-World Instances. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
QBF Reasoning on Real-World Instances. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
A SAT-based polynomial space algorithm for answer set programming. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
SAT-Based Answer Set Programming. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Monotone Literals and Learning in QBF Reasoning. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Castellini, Enrico Giunchiglia, Armando Tacchella |
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Backjumping for Quantified Boolean Logic satisfiability. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau (eds.) |
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy |
ICAPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
Watched Data Structures for QBF Solvers. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia |
SAT-Based Decision Procedures for Classical Modal Logics. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
Dependent and Independent Variables in Propositional Satisfiability. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
Integrating BDD-Based and SAT-Based Symbolic Model Checking. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Salem Benferhat, Enrico Giunchiglia (eds.) |
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Learning for Quantified Boolean Logic Satisfiability. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi |
Towards an Efficient Library for SAT: a Manifesto. |
Electronic Notes in Discrete Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia |
Ideal and Real Belief about Belief. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Armando Tacchella |
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. |
Ann. Math. Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin |
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
Backjumping for Quantified Boolean Logic Satisfiability. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |
Benefits of Bounded Model Checking at an Industrial Setting. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. |
Journal of Applied Non-Classical Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Armando Tacchella |
System Description: *SAT: A Platform for the Development of Modal Decision Procedures. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Armando Tacchella |
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia |
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ferraris, Enrico Giunchiglia |
Planning as Satisfiability in Nondeterministic Domains. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia |
SAT-Based Procedures for Temporal Reasoning. |
ECP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella |
*SAT, KSATC, DLP and TA: a comparative analysis. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Roberto Sebastiani |
Applying the Davis-Putnam Procedure to Non-clausal Formulas. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella |
The SAT-Based Approach for Classical Modal Logics. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |
More Evaluation of Decision Procedures for Modal Logics. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani |
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Vladimir Lifschitz |
An Action Language Based on Causal Explanation: Preliminary Report. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino |
Planning via Model Checking in Deterministic Domains: Preliminary Report. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
planning & temporal reasoning |
| 1 | Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz |
Representing Action: Indeterminacy and Ramifications. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso |
Planning via Model Checking: A Decision Procedure for AR. |
ECP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet |
Dealing with expected and unexpected obstacles. |
J. Exp. Theor. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti |
Visual representation of natural language scene descriptions. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Enrico Giunchiglia |
Ideal and Real Belief aobout Belief: Some Intuitions. |
MAAMAW |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia |
Ideal and Real Belief about Belief. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia |
Determining Ramifications in the Situation Calculus. |
KR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini |
Formal Specification of Beliefs in Multi-Agent Systems. |
ATAL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari |
Structured Proof Procedures. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Vladimir Lifschitz |
Dependent Fluents. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini |
Agents as Reasoners, Observers or Believers. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini |
Agents as Reasoners, Observers, or Arbitrary Believers. |
ICMAS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia |
MRG: Building planers for real-world complex applications. |
Applied Artificial Intelligence |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Enrico Giunchiglia |
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione |
Non-Omniscient Belief as Context-Based Resoning. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mauro Di Manzo, Enrico Giunchiglia |
Multi-Context Systems as a Tool to Model Temporal Evolution. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
Multi-Context Systems, Context |
| 1 | Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari |
Proving Formulas through Reduction to Decidable Classes. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |
A Knowledge Based System for Automatic 3D Scene. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Enrico Giunchiglia |
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. |
SCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Enrico Giunchiglia |
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")