 | 2009 |
|---|
| 87 |       | Damiano Angeletti,
Enrico Giunchiglia,
Massimo Narizzano,
Alessandra Puddu,
Salvatore Sabina:
Automatic Test Generation for Coverage Analysis Using CBMC.
EUROCAST 2009: 287-294 |
| 86 | | Matthew D. T. Lewis,
Paolo Marin,
Tobias Schubert,
Massimo Narizzano,
Bernd Becker,
Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
SAT 2009: 509-523 |
| 85 | | Alessandro Armando,
Enrico Giunchiglia,
Serena Elisa Ponta:
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach.
TrustBus 2009: 63-72 |
| 84 | | Enrico Giunchiglia,
Paolo Marin,
Massimo Narizzano:
Reasoning with Quantified Boolean Formulas.
Handbook of Satisfiability 2009: 761-780 |
| 2008 |
|---|
| 83 | | Emanuele Di Rosa,
Enrico Giunchiglia,
Marco Maratea:
Computing All Optimal Solutions in Satisfiability Problems with Preferences.
CP 2008: 603-607 |
| 82 | | Emanuele Di Rosa,
Enrico Giunchiglia,
Marco Maratea:
A new Approach for Solving Satisfiability Problems with Qualitative Preferences.
ECAI 2008: 510-514 |
| 81 | | Enrico Giunchiglia,
Nicola Leone,
Marco Maratea:
On the relation among answer set solvers.
Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) |
| 2007 |
|---|
| 80 |  | Enrico Giunchiglia,
Marco Maratea:
Planning as Satisfiability with Preferences.
AAAI 2007: 987-992 |
| 79 | | Enrico Giunchiglia,
Marco Maratea:
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals.
AI*IA 2007: 422-433 |
| 78 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Quantifier Structure in Search-Based Procedures for QBFs.
IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 497-507 (2007) |
| 2006 |
|---|
| 77 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Quantifier structure in search based procedures for QBFs.
DATE 2006: 812-817 |
| 76 | | Enrico Giunchiglia,
Marco Maratea:
Solving Optimization Problems with DLL.
ECAI 2006: 377-381 |
| 75 | | Enrico Giunchiglia,
Marco Maratea:
optsat: A Tool for Solving SAT Related Optimization Problems.
JELIA 2006: 485-489 |
| 74 | | Luigia Carlucci Aiello,
Enrico Giunchiglia,
Luciano Serafini:
Logics For Artificial Intelligence.
Intelligenza Artificiale 3(1-2): 7-13 (2006) |
| 73 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.
J. Artif. Intell. Res. (JAIR) 26: 371-416 (2006) |
| 72 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability.
J. Autom. Reasoning 36(4): 345-377 (2006) |
| 2005 |
|---|
| 71 | | Enrico Giunchiglia,
Marco Maratea:
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
AI*IA 2005: 122-134 |
| 70 | | Enrico Giunchiglia,
Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Answer Set Programming 2005 |
| 69 | | Fausto Giunchiglia,
Mikalai Yatskevich,
Enrico Giunchiglia:
Efficient Semantic Matching.
ESWC 2005: 272-289 |
| 68 | | Enrico Giunchiglia,
Marco Maratea:
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).
ICLP 2005: 37-51 |
| 67 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Fausto Giunchiglia,
Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
Mechanizing Mathematical Reasoning 2005: 46-58 |
| 66 | | 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 20(2): 62-72 (2005) |
| 65 | | Enrico Giunchiglia,
Toby Walsh:
Satisfiability in the Year 2005.
J. Autom. Reasoning 35(1-3): 1-2 (2005) |
| 64 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
The SAT-based Approach to Separation Logic.
J. Autom. Reasoning 35(1-3): 237-263 (2005) |
| 2004 |
|---|
| 63 | | Enrico Giunchiglia,
Armando Tacchella:
Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers
Springer 2004 |
| 62 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
SAT-Based Answer Set Programming.
AAAI 2004: 61-66 |
| 61 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning.
CP 2004: 260-273 |
| 60 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QuBE++: An Efficient QBF Solver.
FMCAD 2004: 201-213 |
| 59 | | Enrico Giunchiglia,
Yuliya Lierler,
Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming.
NMR 2004: 189-196 |
| 58 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT 2004 |
| 57 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QBF Reasoning on Real-World Instances.
SAT 2004 |
| 56 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QBF Reasoning on Real-World Instances.
SAT (Selected Papers 2004: 105-121 |
| 55 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia,
Marco Maratea:
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.
SAT (Selected Papers 2004: 16-29 |
| 54 | | Enrico Giunchiglia,
Nicola Muscettola,
Dana S. Nau:
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03).
AI Magazine 25(2): 129-132 (2004) |
| 53 | | Enrico Giunchiglia,
Joohyung Lee,
Vladimir Lifschitz,
Norman McCain,
Hudson Turner:
Nonmonotonic causal theories.
Artif. Intell. 153(1-2): 49-104 (2004) |
| 52 | | Salem Benferhat,
Enrico Giunchiglia:
Editorial: Nonmonotonic Reasoning.
Artif. Intell. 157(1-2): 1-3 (2004) |
| 2003 |
|---|
| 51 | | Enrico Giunchiglia,
Nicola Muscettola,
Dana S. Nau:
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy
AAAI 2003 |
| 50 | | Enrico Giunchiglia,
Marco Maratea,
Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.
CP 2003: 842-846 |
| 49 | | Ian P. Gent,
Enrico Giunchiglia,
Massimo Narizzano,
Andrew G. D. Rowley,
Armando Tacchella:
Watched Data Structures for QBF Solvers.
SAT 2003: 25-36 |
| 48 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Backjumping for Quantified Boolean Logic satisfiability.
Artif. Intell. 145(1-2): 99-120 (2003) |
| 47 | | Claudio Castellini,
Enrico Giunchiglia,
Armando Tacchella:
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.
Artif. Intell. 147(1-2): 85-117 (2003) |
| 2002 |
|---|
| 46 | | Salem Benferhat,
Enrico Giunchiglia:
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings
NMR 2002 |
| 45 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability.
AAAI/IAAI 2002: 649-654 |
| 44 | | 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: 359-364 |
| 43 | | Alessandro Cimatti,
Enrico Giunchiglia,
Marco Pistore,
Marco Roveri,
Roberto Sebastiani,
Armando Tacchella:
Integrating BDD-Based and SAT-Based Symbolic Model Checking.
FroCos 2002: 49-56 |
| 42 | | Enrico Giunchiglia,
Marco Maratea,
Armando Tacchella:
Dependent and Independent Variables in Propositional Satisfiability.
JELIA 2002: 296-307 |
| 41 | | Enrico Giunchiglia,
Armando Tacchella,
Fausto Giunchiglia:
SAT-Based Decision Procedures for Classical Modal Logics.
J. Autom. Reasoning 28(2): 143-171 (2002) |
| 2001 |
|---|
| 40 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.
AI*IA 2001: 111-122 |
| 39 | | 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: 436-453 |
| 38 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability.
IJCAI 2001: 275-281 |
| 37 | | Enrico Giunchiglia,
Marco Maratea,
Armando Tacchella,
Davide Zambonin:
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.
IJCAR 2001: 347-363 |
| 36 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella:
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.
IJCAR 2001: 364-369 |
| 35 | | Enrico Giunchiglia,
Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics.
Ann. Math. Artif. Intell. 33(1): 39-67 (2001) |
| 34 | | Enrico Giunchiglia,
Massimo Narizzano,
Armando Tacchella,
Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto.
Electronic Notes in Discrete Mathematics 9: 290-310 (2001) |
| 33 | | Enrico Giunchiglia,
Fausto Giunchiglia:
Ideal and Real Belief about Belief.
J. Log. Comput. 11(1): 157-192 (2001) |
| 2000 |
|---|
| 32 | | Paolo Ferraris,
Enrico Giunchiglia:
Planning as Satisfiability in Nondeterministic Domains.
AAAI/IAAI 2000: 748-753 |
| 31 | | Enrico Giunchiglia,
Armando Tacchella:
System Description: *SAT: A Platform for the Development of Modal Decision Procedures.
CADE 2000: 291-296 |
| 30 | | Enrico Giunchiglia:
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism.
KR 2000: 657-666 |
| 29 | | Enrico Giunchiglia,
Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics.
TABLEAUX 2000: 237-251 |
| 28 | | 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 10(2): (2000) |
| 1999 |
|---|
| 27 | | Enrico Giunchiglia,
Roberto Sebastiani:
Applying the Davis-Putnam Procedure to Non-clausal Formulas.
AI*IA 1999: 84-94 |
| 26 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics.
AI*IA 1999: 95-106 |
| 25 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Armando Tacchella:
*SAT, KSATC, DLP and TA: a comparative analysis.
Description Logics 1999 |
| 24 | | Alessandro Armando,
Claudio Castellini,
Enrico Giunchiglia:
SAT-Based Procedures for Temporal Reasoning.
ECP 1999: 97-108 |
| 1998 |
|---|
| 23 | | Enrico Giunchiglia,
Vladimir Lifschitz:
An Action Language Based on Causal Explanation: Preliminary Report.
AAAI/IAAI 1998: 623-630 |
| 22 | | Enrico Giunchiglia,
Alessandro Massarotto,
Roberto Sebastiani:
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability.
AAAI/IAAI 1998: 948-953 |
| 21 | | Mauro Di Manzo,
Enrico Giunchiglia,
Simone Ruffino:
Planning via Model Checking in Deterministic Domains: Preliminary Report.
AIMSA 1998: 221-229 |
| 20 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Roberto Sebastiani,
Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics.
KR 1998: 626-635 |
| 1997 |
|---|
| 19 | | Alessandro Cimatti,
Fausto Giunchiglia,
Enrico Giunchiglia,
Paolo Traverso:
Planning via Model Checking: A Decision Procedure for AR.
ECP 1997: 130-142 |
| 18 | | Enrico Giunchiglia,
G. Neelakantan Kartha,
Vladimir Lifschitz:
Representing Action: Indeterminacy and Ramifications.
Artif. Intell. 95(2): 409-438 (1997) |
| 1996 |
|---|
| 17 | | Massimo Benerecetti,
Alessandro Cimatti,
Enrico Giunchiglia,
Fausto Giunchiglia,
Luciano Serafini:
Formal Specification of Beliefs in Multi-Agent Systems.
ATAL 1996: 117-130 |
| 16 | | Enrico Giunchiglia,
Fausto Giunchiglia:
Ideal and Real Belief about Belief.
FAPR 1996: 261-275 |
| 15 | | Enrico Giunchiglia:
Determining Ramifications in the Situation Calculus.
KR 1996: 76-86 |
| 14 | | Fausto Giunchiglia,
Enrico Giunchiglia:
Ideal and Real Belief aobout Belief: Some Intuitions.
MAAMAW 1996: 1-12 |
| 13 | | Fausto Giunchiglia,
Enrico Giunchiglia,
Tom Costello,
Paolo Bouquet:
Dealing with expected and unexpected obstacles.
J. Exp. Theor. Artif. Intell. 8(2): 173-190 (1996) |
| 1995 |
|---|
| 12 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Luciano Serafini:
Agents as Reasoners, Observers or Believers.
AI*IA 1995: 414-425 |
| 11 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Luciano Serafini:
Agents as Reasoners, Observers, or Arbitrary Believers.
ICMAS 1995: 448 |
| 10 | | Enrico Giunchiglia,
Vladimir Lifschitz:
Dependent Fluents.
IJCAI 1995: 1964-1969 |
| 9 | | Enrico Giunchiglia,
Alessandro Armando,
Paolo Pecchiari:
Structured Proof Procedures.
Ann. Math. Artif. Intell. 15(1): 1-18 (1995) |
| 1994 |
|---|
| 8 | | Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi,
Alessandro Armando,
Enrico Giunchiglia:
MRG: Building planers for real-world complex applications.
Applied Artificial Intelligence 8(3): 333-357 (1994) |
| 1993 |
|---|
| 7 | | Mauro Di Manzo,
Enrico Giunchiglia,
Alessandro Armando,
Paolo Pecchiari:
Proving Formulas through Reduction to Decidable Classes.
AI*IA 1993: 1-10 |
| 6 | | Fausto Giunchiglia,
Luciano Serafini,
Enrico Giunchiglia,
Marcello Frixione:
Non-Omniscient Belief as Context-Based Resoning.
IJCAI 1993: 548-554 |
| 5 | | Mauro Di Manzo,
Enrico Giunchiglia:
Multi-Context Systems as a Tool to Model Temporal Evolution.
ISMIS 1993: 548-557 |
| 4 | | Alessandro Armando,
Enrico Giunchiglia:
Embedding Complex Decision Procedures Inside an Interactive Theorem Prover.
Ann. Math. Artif. Intell. 8(3-4): 475-502 (1993) |
| 1992 |
|---|
| 3 | | Paolo Traverso,
Alessandro Armando,
Enrico Giunchiglia:
A Knowledge Based System for Automatic 3D Scene.
AIMSA 1992: 255-264 |
| 1991 |
|---|
| 2 | | Enrico Giunchiglia:
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic.
SCAI 1991: 84-89 |
| 1988 |
|---|
| 1 | | Fausto Giunchiglia,
Enrico Giunchiglia:
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.
ECAI 1988: 607-609 |
