dblp.uni-trier.dewww.uni-trier.de

Enrico Giunchiglia Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
87EEDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294
86EEMatthew 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
85EEAlessandro 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
84EEEnrico Giunchiglia, Paolo Marin, Massimo Narizzano: Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780
2008
83EEEmanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607
82EEEmanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514
81EEEnrico 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
79EEEnrico Giunchiglia, Marco Maratea: SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA 2007: 422-433
78EEEnrico 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
77EEEnrico 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
75EEEnrico 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)
73EEEnrico 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)
72EEEnrico Giunchiglia, Yuliya Lierler, Marco Maratea: Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reasoning 36(4): 345-377 (2006)
2005
71EEEnrico Giunchiglia, Marco Maratea: Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA 2005: 122-134
70EEEnrico Giunchiglia, Marco Maratea: An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming 2005
69EEFausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia: Efficient Semantic Matching. ESWC 2005: 272-289
68EEEnrico Giunchiglia, Marco Maratea: On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP 2005: 37-51
67EEAlessandro 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
66EEAlexander 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)
65EEEnrico Giunchiglia, Toby Walsh: Satisfiability in the Year 2005. J. Autom. Reasoning 35(1-3): 1-2 (2005)
64EEAlessandro 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
61EEEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273
60EEEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213
59EEEnrico Giunchiglia, Yuliya Lierler, Marco Maratea: A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196
58EEAlessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004
57EEEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT 2004
56EEEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121
55EEAlessandro 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)
53EEEnrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner: Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004)
52EESalem 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
50EEEnrico Giunchiglia, Marco Maratea, Armando Tacchella: (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846
49EEIan P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella: Watched Data Structures for QBF Solvers. SAT 2003: 25-36
48EEEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)
47EEClaudio 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
44EEAlessandro 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
43EEAlessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCos 2002: 49-56
42EEEnrico 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
40EEEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella: An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122
39EEFady 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
37EEEnrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin: Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363
36EEEnrico 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)
34EEEnrico 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)
33EEEnrico 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
31EEEnrico 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
27EEEnrico Giunchiglia, Roberto Sebastiani: Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999: 84-94
26EEEnrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
25EEEnrico 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
21EEMauro 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
18EEEnrico 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
5EEMauro 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

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [74]
2Damiano Angeletti [87]
3Alessandro Armando [3] [4] [7] [8] [9] [24] [55] [58] [64] [67] [85]
4Bernd Becker [86]
5Massimo Benerecetti [17]
6Salem Benferhat [46] [52]
7Paolo Bouquet [13]
8Claudio Castellini [24] [47] [55] [58] [64] [67]
9Alessandro Cimatti [8] [17] [19] [43] [44]
10Edmund M. Clarke [44]
11Fady Copty [39]
12Tom Costello [13]
13Paolo Ferraris [32]
14Limor Fix [39]
15Robert Fourer [66]
16Ranan Fraer [39]
17Eugene C. Freuder [66]
18Marcello Frixione [6]
19Ian P. Gent [49]
20Fausto Giunchiglia [1] [6] [11] [12] [13] [14] [16] [17] [19] [20] [25] [26] [28] [33] [41] [44] [67] [69]
21Robert P. Goldman [66]
22Gila Kamhi [39]
23G. Neelakantan Kartha [18]
24Henry A. Kautz [66]
25Joohyung Lee [53]
26Nicola Leone [81]
27Matthew D. T. Lewis [86]
28Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich) [59] [62] [72]
29Vladimir Lifschitz [10] [18] [23] [53]
30Mauro Di Manzo [5] [7] [21]
31Marco Maratea [37] [42] [50] [55] [58] [59] [62] [64] [68] [70] [71] [72] [75] [76] [79] [80] [81] [82] [83]
32Paolo Marin [84] [86]
33Alessandro Massarotto [22]
34Norman McCain [53]
35Nicola Muscettola [51] [54]
36Alexander Nareyek [66]
37Massimo Narizzano [34] [36] [38] [40] [45] [48] [49] [56] [57] [60] [61] [73] [77] [78] [84] [86] [87]
38Dana S. Nau [51] [54]
39Paolo Pecchiari [7] [9]
40Marco Pistore [43] [44]
41Serena Elisa Ponta [85]
42Alessandra Puddu [87]
43Jussi Rintanen [66]
44Emanuele Di Rosa [82] [83]
45Marco Roveri [43] [44]
46Andrew G. D. Rowley [49]
47Simone Ruffino [21]
48Salvatore Sabina [87]
49Tobias Schubert [86]
50Roberto Sebastiani [20] [22] [27] [28] [43] [44]
51Luciano Serafini [6] [11] [12] [17] [74]
52Luca Spalazzi [8]
53Armando Tacchella [20] [25] [26] [28] [29] [31] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [47] [48] [49] [50] [56] [57] [60] [61] [63] [67] [73] [77] [78]
54Austin Tate [66]
55Paolo Traverso [3] [8] [19]
56Hudson Turner [53]
57Moshe Y. Vardi [34] [39]
58Toby Walsh [65]
59Mikalai Yatskevich [69]
60Davide Zambonin [37]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)