Publications

169 entries « 3 of 4 »

2005

Giunchiglia, Enrico; Maratea, Marco

An Experimental Study of Search Strategies and Heuristics in Answer Set Programming Inproceedings

Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005, 2005.

Links | BibTeX

Giunchiglia, Fausto; Yatskevich, Mikalai; Giunchiglia, Enrico

Efficient Semantic Matching Inproceedings

The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings, pp. 272–289, 2005.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) Inproceedings

Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 37–51, 2005.

Links | BibTeX

2004

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco

A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints Inproceedings

SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004.

Links | BibTeX

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco

A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints Inproceedings

Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 16–29, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Monotone Literals and Learning in QBF Reasoning Inproceedings

Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 260–273, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

QuBE++: An Efficient QBF Solver Inproceedings

Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 201–213, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

QBF Reasoning on Real-World Instances Inproceedings

SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

QBF Reasoning on Real-World Instances Inproceedings

Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 105–121, 2004.

Links | BibTeX

Berre, Daniel Le; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando

The Second QBF Solvers Comparative Evaluation Inproceedings

Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 376–392, 2004.

Links | BibTeX

Giunchiglia, Enrico; Tacchella, Armando (Ed.)

Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers Proceeding

Springer, 2919 , 2004, ISBN: 3-540-20851-8.

BibTeX

Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson

Nonmonotonic causal theories Journal Article

Artif. Intell., 153 (1-2), pp. 49–104, 2004.

Links | BibTeX

Benferhat, Salem; Giunchiglia, Enrico

Editorial: Nonmonotonic Reasoning Journal Article

Artif. Intell., 157 (1-2), pp. 1–3, 2004.

Links | BibTeX

Giunchiglia, Enrico; Muscettola, Nicola; Nau, Dana S

The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03) Journal Article

AI Magazine, 25 (2), pp. 129–132, 2004.

Links | BibTeX

Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco

SAT-Based Answer Set Programming Inproceedings

Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pp. 61–66, 2004.

Links | BibTeX

Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco

A SAT-based polynomial space algorithm for answer set programming Inproceedings

10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 189–196, 2004.

Links | BibTeX

2003

Giunchiglia, Enrico; Muscettola, Nicola; Nau, Dana S (Ed.)

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy Proceeding

AAAI, 2003, ISBN: 1-57735-187-8.

BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Backjumping for Quantified Boolean Logic satisfiability Journal Article

Artif. Intell., 145 (1-2), pp. 99–120, 2003.

Links | BibTeX

Castellini, Claudio; Giunchiglia, Enrico; Tacchella, Armando

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism Journal Article

Artif. Intell., 147 (1-2), pp. 85–117, 2003.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando

(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver Inproceedings

Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 842–846, 2003.

Links | BibTeX

Gent, Ian P; Giunchiglia, Enrico; Narizzano, Massimo; Rowley, Andrew G D; Tacchella, Armando

Watched Data Structures for QBF Solvers Inproceedings

Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 25–36, 2003.

Links | BibTeX

Berre, Daniel Le; Simon, Laurent; Tacchella, Armando

Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers Inproceedings

Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, pp. 468–485, 2003.

Links | BibTeX

2002

Benferhat, Salem; Giunchiglia, Enrico (Ed.)

9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings Proceeding

2002.

BibTeX

Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto

SAT-Based Decision Procedures for Classical Modal Logics Journal Article

J. Autom. Reasoning, 28 (2), pp. 143–171, 2002.

Links | BibTeX

Cimatti, Alessandro; Clarke, Edmund M; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando

NuSMV 2: An OpenSource Tool for Symbolic Model Checking Inproceedings

Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 359–364, 2002.

Links | BibTeX

Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando

Integrating BDD-Based and SAT-Based Symbolic Model Checking Inproceedings

Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 49–56, 2002.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando

Dependent and Independent Variables in Propositional Satisfiability Inproceedings

Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 296–307, 2002.

Links | BibTeX

2001

Giunchiglia, Enrico; Giunchiglia, Fausto

Ideal and Real Belief about Belief Journal Article

J. Log. Comput., 11 (1), pp. 157–192, 2001.

Links | BibTeX

Giunchiglia, Enrico; Tacchella, Armando

A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics Journal Article

Ann. Math. Artif. Intell., 33 (1), pp. 39–67, 2001.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando; Vardi, Moshe Y

Towards an Efficient Library for SAT: a Manifesto Journal Article

Electronic Notes in Discrete Mathematics, 9 , pp. 290–310, 2001.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability Inproceedings

AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings, pp. 111–122, 2001.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide

Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability Inproceedings

Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 347–363, 2001.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability Inproceedings

Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 364–369, 2001.

Links | BibTeX

Copty, Fady; Fix, Limor; Fraer, Ranan; Giunchiglia, Enrico; Kamhi, Gila; Tacchella, Armando; Vardi, Moshe Y

Benefits of Bounded Model Checking at an Industrial Setting Inproceedings

Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 436–453, 2001.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Backjumping for Quantified Boolean Logic Satisfiability Inproceedings

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 275–281, 2001.

BibTeX

2000

Giunchiglia, Enrico

Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism Inproceedings

KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000., pp. 657–666, 2000.

BibTeX

Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando

SAT vs. translation based decision procedures for modal logics: a comparative evaluation Journal Article

Journal of Applied Non-Classical Logics, 10 (2), pp. 145–172, 2000.

Links | BibTeX

Giunchiglia, Enrico; Tacchella, Armando

System Description: *SAT: A Platform for the Development of Modal Decision Procedures Inproceedings

Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 291–296, 2000.

Links | BibTeX

Tacchella, Armando

Evaluating (^mbox*)SAT on TANCS 2000 Benchmarks Inproceedings

Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings, pp. 77–81, 2000.

Links | BibTeX

Giunchiglia, Enrico; Tacchella, Armando

A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics Inproceedings

Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings, pp. 237–251, 2000.

Links | BibTeX

1999

Benerecetti, Massimo; Giunchiglia, Enrico; Serafini, Luciano; Villafiorita, Adolfo

Formal specification of beliefs in multi-agent systems Journal Article

Int. J. Intell. Syst., 14 (10), pp. 1021–1040, 1999.

Links | BibTeX

Giunchiglia, Enrico; Sebastiani, Roberto

Applying the Davis-Putnam Procedure to Non-clausal Formulas Inproceedings

AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 84–94, 1999.

Links | BibTeX

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico

SAT-Based Procedures for Temporal Reasoning Inproceedings

Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings, pp. 97–108, 1999.

Links | BibTeX

Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando

The SAT-Based Approach for Classical Modal Logics Inproceedings

AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 95–106, 1999.

Links | BibTeX

Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando

*SAT, KSATC, DLP and TA: a comparative analysis Inproceedings

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999.

Links | BibTeX

Tacchella, Armando

*SAT System Description Inproceedings

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999, 1999.

Links | BibTeX

1998

Manzo, Mauro Di; Giunchiglia, Enrico; Ruffino, Simone

Planning via Model Checking in Deterministic Domains: Preliminary Report Inproceedings

AIMSA, pp. 221–229, 1998.

Links | BibTeX

Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando

More Evaluation of Decision Procedures for Modal Logics Inproceedings

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998., pp. 626–635, 1998.

BibTeX

1997

Giunchiglia, Enrico; Kartha, Neelakantan G; Lifschitz, Vladimir

Representing Action: Indeterminacy and Ramifications Journal Article

Artif. Intell., 95 (2), pp. 409–438, 1997.

Links | BibTeX

Cimatti, Alessandro; Giunchiglia, Fausto; Giunchiglia, Enrico; Traverso, Paolo

Planning via Model Checking: A Decision Procedure for emphAR Inproceedings

Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings, pp. 130–142, 1997.

Links | BibTeX

169 entries « 3 of 4 »