BibTeX records: Enrico Giunchiglia

download as .bib file

@inproceedings{DBLP:conf/aaai/CardelliniGM24,
  author       = {Matteo Cardellini and
                  Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Michael J. Wooldridge and
                  Jennifer G. Dy and
                  Sriraam Natarajan},
  title        = {Symbolic Numeric Planning with Patterns},
  booktitle    = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2024, Thirty-Sixth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
                  Canada},
  pages        = {20070--20077},
  publisher    = {{AAAI} Press},
  year         = {2024},
  url          = {https://doi.org/10.1609/aaai.v38i18.29985},
  doi          = {10.1609/AAAI.V38I18.29985},
  timestamp    = {Wed, 27 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/CardelliniGM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaMM23,
  author       = {Enrico Giunchiglia and
                  Marco Maratea and
                  Marco Mochi},
  editor       = {Riccardo De Benedictis and
                  Matteo Castiglioni and
                  Diodato Ferraioli and
                  Vadim Malvone and
                  Marco Maratea and
                  Enrico Scala and
                  Luciano Serafini and
                  Ivan Serina and
                  Elisa Tosello and
                  Alessandro Umbrico and
                  Mauro Vallati},
  title        = {A Simple Proof-Theoretic Characterization of Stable Models},
  booktitle    = {Proceedings of the the Italian Workshop on Planning and Scheduling,
                  {RCRA} Workshop on Experimental evaluation of algorithms for solving
                  problems with combinatorial explosion, and {SPIRIT} Workshop on Strategies,
                  Prediction, Interaction, and Reasoning in Italy {(IPS-RCRA-SPIRIT}
                  2023) co-located with 22nd International Conference of the Italian
                  Association for Artificial Intelligence AIxIA 2023, November 7-9th,
                  2023, Rome, Italy},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3585},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3585/paper8\_RCRA10.pdf},
  timestamp    = {Tue, 02 Jan 2024 17:44:44 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiunchigliaT23,
  author       = {Enrico Giunchiglia and
                  Armando Tacchella},
  editor       = {Sarah Alice Gaggl and
                  Maria Vanina Martinez and
                  Magdalena Ortiz},
  title        = {Optimal Planning with Expressive Action Languages as Constraint Optimization},
  booktitle    = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
                  2023, Dresden, Germany, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14281},
  pages        = {621--637},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43619-2\_42},
  doi          = {10.1007/978-3-031-43619-2\_42},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GiunchigliaT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/DAngeloMGRS23,
  author       = {Ilenia D'Angelo and
                  Lorenzo Morocutti and
                  Enrico Giunchiglia and
                  Carmine Recchiuto and
                  Antonio Sgorbissa},
  title        = {Nice and Nasty Theory of Mind for Social and Antisocial Robots},
  booktitle    = {32nd {IEEE} International Conference on Robot and Human Interactive
                  Communication, {RO-MAN} 2023, Busan, Republic of Korea, August 28-31,
                  2023},
  pages        = {1675--1682},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/RO-MAN57019.2023.10309517},
  doi          = {10.1109/RO-MAN57019.2023.10309517},
  timestamp    = {Thu, 23 Nov 2023 21:16:36 +0100},
  biburl       = {https://dblp.org/rec/conf/ro-man/DAngeloMGRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10227,
  author       = {Enrico Giunchiglia and
                  Joohyung Lee and
                  Vladimir Lifschitz and
                  Hudson Turner},
  title        = {Causal Laws and Multi-Valued Fluents},
  journal      = {CoRR},
  volume       = {abs/2307.10227},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.10227},
  doi          = {10.48550/ARXIV.2307.10227},
  eprinttype    = {arXiv},
  eprint       = {2307.10227},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-10227.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-09963,
  author       = {Matteo Cardellini and
                  Enrico Giunchiglia and
                  Marco Maratea},
  title        = {Symbolic Numeric Planning with Patterns},
  journal      = {CoRR},
  volume       = {abs/2312.09963},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.09963},
  doi          = {10.48550/ARXIV.2312.09963},
  eprinttype    = {arXiv},
  eprint       = {2312.09963},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-09963.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GiunchigliaMN21,
  author       = {Enrico Giunchiglia and
                  Paolo Marin and
                  Massimo Narizzano},
  editor       = {Armin Biere and
                  Marijn Heule and
                  Hans van Maaren and
                  Toby Walsh},
  title        = {Reasoning with Quantified Boolean Formulas},
  booktitle    = {Handbook of Satisfiability - Second Edition},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {336},
  pages        = {1157--1176},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/FAIA201014},
  doi          = {10.3233/FAIA201014},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/faia/GiunchigliaMN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeofanteGAT20,
  author       = {Francesco Leofante and
                  Enrico Giunchiglia and
                  Erika {\'{A}}brah{\'{a}}m and
                  Armando Tacchella},
  editor       = {Christian Bessiere},
  title        = {Optimal Planning Modulo Theories},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {4128--4134},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/571},
  doi          = {10.24963/IJCAI.2020/571},
  timestamp    = {Mon, 20 Jul 2020 12:38:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LeofanteGAT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GiunchigliaMP18,
  author       = {Enrico Giunchiglia and
                  Marco Maratea and
                  Luca Pulina},
  title        = {Translation-based approaches for solving disjunctive temporal problems
                  with preferences},
  journal      = {Constraints An Int. J.},
  volume       = {23},
  number       = {4},
  pages        = {383--402},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10601-018-9293-6},
  doi          = {10.1007/S10601-018-9293-6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/GiunchigliaMP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarinNPTG16,
  author       = {Paolo Marin and
                  Massimo Narizzano and
                  Luca Pulina and
                  Armando Tacchella and
                  Enrico Giunchiglia},
  title        = {Twelve Years of {QBF} Evaluations: {QSAT} Is PSPACE-Hard and It Shows},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {133--158},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1445},
  doi          = {10.3233/FI-2016-1445},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarinNPTG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarinNPTG15,
  author       = {Paolo Marin and
                  Massimo Narizzano and
                  Luca Pulina and
                  Armando Tacchella and
                  Enrico Giunchiglia},
  editor       = {Stefano Bistarelli and
                  Andrea Formisano and
                  Marco Maratea},
  title        = {An Empirical Perspective on Ten Years of {QBF} Solving},
  booktitle    = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
                  Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
                  2015 {(RCRA} 2015) {A} workshop of the {XIV} International Conference
                  of the Italian Association for Artificial Intelligence (AI*IA 2015),
                  Ferrara, Italy, September 22, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1451},
  pages        = {62--75},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1451/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/MarinNPTG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KhaliliNTG15,
  author       = {Ali Khalili and
                  Massimo Narizzano and
                  Armando Tacchella and
                  Enrico Giunchiglia},
  editor       = {Hong Zhu and
                  Dan Hao and
                  Leonardo Mariani and
                  Rajesh Subramanyan},
  title        = {Automatic Test-Pattern Generation for Grey-Box Programs},
  booktitle    = {10th {IEEE/ACM} International Workshop on Automation of Software Test,
                  {AST} 2015, Florence, Italy, May 23-24, 2015},
  pages        = {33--37},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/AST.2015.14},
  doi          = {10.1109/AST.2015.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KhaliliNTG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/RosaG13,
  author       = {Emanuele Di Rosa and
                  Enrico Giunchiglia},
  title        = {Combining approaches for solving satisfiability problems with qualitative
                  preferences},
  journal      = {{AI} Commun.},
  volume       = {26},
  number       = {4},
  pages        = {395--408},
  year         = {2013},
  url          = {https://doi.org/10.3233/AIC-130575},
  doi          = {10.3233/AIC-130575},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/RosaG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ArmandoGMP13,
  author       = {Alessandro Armando and
                  Enrico Giunchiglia and
                  Marco Maratea and
                  Serena Elisa Ponta},
  editor       = {Daniel Borrajo and
                  Subbarao Kambhampati and
                  Angelo Oddi and
                  Simone Fratini},
  title        = {Modeling and Reasoning about Business Processes under Authorization
                  Constraints: {A} Planning-Based Approach},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6033},
  timestamp    = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/ArmandoGMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CashmoreFG13,
  author       = {Michael Cashmore and
                  Maria Fox and
                  Enrico Giunchiglia},
  editor       = {Daniel Borrajo and
                  Subbarao Kambhampati and
                  Angelo Oddi and
                  Simone Fratini},
  title        = {Partially Grounded Planning as Quantified Boolean Formula},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5991},
  timestamp    = {Tue, 02 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/CashmoreFG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ArmandoGMP12,
  author       = {Alessandro Armando and
                  Enrico Giunchiglia and
                  Marco Maratea and
                  Serena Elisa Ponta},
  title        = {An action-based approach to the formal specification and automatic
                  analysis of business processes under authorization constraints},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {78},
  number       = {1},
  pages        = {119--141},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jcss.2011.02.015},
  doi          = {10.1016/J.JCSS.2011.02.015},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/ArmandoGMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GiunchigliaM12,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Esra Erdem and
                  Joohyung Lee and
                  Yuliya Lierler and
                  David Pearce},
  title        = {Algorithms for Solving Satisfiability Problems with Qualitative Preferences},
  booktitle    = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
                  Lifschitz},
  series       = {Lecture Notes in Computer Science},
  volume       = {7265},
  pages        = {327--344},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30743-0\_22},
  doi          = {10.1007/978-3-642-30743-0\_22},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GiunchigliaM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CashmoreFG12,
  author       = {Michael Cashmore and
                  Maria Fox and
                  Enrico Giunchiglia},
  editor       = {Luc De Raedt and
                  Christian Bessiere and
                  Didier Dubois and
                  Patrick Doherty and
                  Paolo Frasconi and
                  Fredrik Heintz and
                  Peter J. F. Lucas},
  title        = {Planning as Quantified Boolean Formula},
  booktitle    = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
                  Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
                  System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {242},
  pages        = {217--222},
  publisher    = {{IOS} Press},
  year         = {2012},
  url          = {https://doi.org/10.3233/978-1-61499-098-7-217},
  doi          = {10.3233/978-1-61499-098-7-217},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/CashmoreFG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LewisSBMNG11,
  author       = {Matthew Lewis and
                  Tobias Schubert and
                  Bernd Becker and
                  Paolo Marin and
                  Massimo Narizzano and
                  Enrico Giunchiglia},
  title        = {Parallel {QBF} Solving with Advanced Knowledge Sharing},
  journal      = {Fundam. Informaticae},
  volume       = {107},
  number       = {2-3},
  pages        = {139--166},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-398},
  doi          = {10.3233/FI-2011-398},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/LewisSBMNG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GiunchigliaM11,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  title        = {Introducing Preferences in Planning as Satisfiability},
  journal      = {J. Log. Comput.},
  volume       = {21},
  number       = {2},
  pages        = {205--229},
  year         = {2011},
  url          = {https://doi.org/10.1093/logcom/exq023},
  doi          = {10.1093/LOGCOM/EXQ023},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/GiunchigliaM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RosaGO11,
  author       = {Emanuele Di Rosa and
                  Enrico Giunchiglia and
                  Barry O'Sullivan},
  editor       = {William C. Chu and
                  W. Eric Wong and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Optimal stopping methods for finding high quality solutions to satisfiability
                  problems with preferences},
  booktitle    = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
                  TaiChung, Taiwan, March 21 - 24, 2011},
  pages        = {901--906},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1982185.1982382},
  doi          = {10.1145/1982185.1982382},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/RosaGO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0860,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  title        = {Clause/Term Resolution and Learning in the Evaluation of Quantified
                  Boolean Formulas},
  journal      = {CoRR},
  volume       = {abs/1111.0860},
  year         = {2011},
  url          = {http://arxiv.org/abs/1111.0860},
  eprinttype    = {arXiv},
  eprint       = {1111.0860},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0860.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/RosaGM10,
  author       = {Emanuele Di Rosa and
                  Enrico Giunchiglia and
                  Marco Maratea},
  title        = {Solving satisfiability problems with preferences},
  journal      = {Constraints An Int. J.},
  volume       = {15},
  number       = {4},
  pages        = {485--515},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10601-010-9095-y},
  doi          = {10.1007/S10601-010-9095-Y},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/RosaGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AngelettiGNPS10,
  author       = {Damiano Angeletti and
                  Enrico Giunchiglia and
                  Massimo Narizzano and
                  Alessandra Puddu and
                  Salvatore Sabina},
  title        = {Using Bounded Model Checking for Coverage Analysis of Safety-Critical
                  Software in an Industrial Setting},
  journal      = {J. Autom. Reason.},
  volume       = {45},
  number       = {4},
  pages        = {397--414},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10817-010-9172-3},
  doi          = {10.1007/S10817-010-9172-3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AngelettiGNPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/GiunchigliaMN10,
  author       = {Enrico Giunchiglia and
                  Paolo Marin and
                  Massimo Narizzano},
  title        = {QuBE7.0},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {7},
  number       = {2-3},
  pages        = {83--88},
  year         = {2010},
  url          = {https://doi.org/10.3233/sat190079},
  doi          = {10.3233/SAT190079},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/GiunchigliaMN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RosaGNPP10,
  author       = {Emanuele Di Rosa and
                  Enrico Giunchiglia and
                  Massimo Narizzano and
                  Gabriele Palma and
                  Alessandra Puddu},
  editor       = {Markus Aderhold and
                  Serge Autexier and
                  Heiko Mantel},
  title        = {Automatic generation of high quality test sets via {CBMC}},
  booktitle    = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
                  July 20-21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {3},
  pages        = {65--78},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/zbb8},
  doi          = {10.29007/ZBB8},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/RosaGNPP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GiunchigliaMN10,
  author       = {Enrico Giunchiglia and
                  Paolo Marin and
                  Massimo Narizzano},
  editor       = {Ofer Strichman and
                  Stefan Szeider},
  title        = {sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence
                  Reasoning},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
                  International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6175},
  pages        = {85--98},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14186-7\_9},
  doi          = {10.1007/978-3-642-14186-7\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/GiunchigliaMN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GiunchgliaS09,
  author       = {Enrico Giunchiglia and
                  Kostas Stergiou},
  title        = {Introduction to the special issue on quantified CSPs and {QBF}},
  journal      = {Constraints An Int. J.},
  volume       = {14},
  number       = {1},
  pages        = {1--2},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10601-008-9056-x},
  doi          = {10.1007/S10601-008-9056-X},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/GiunchgliaS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AngelettiGNPPS09,
  author       = {Damiano Angeletti and
                  Enrico Giunchiglia and
                  Massimo Narizzano and
                  Gabriele Palma and
                  Alessandra Puddu and
                  Salvatore Sabina},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Improving the Automatic Test Generation process for Coverage Analysis
                  using {CBMC}},
  booktitle    = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
                  of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
                  2009, Reggio Emilia, Italy, December 11-12, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/AngelettiGNPPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaM09,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Roberto Serra and
                  Rita Cucchiara},
  title        = {Improving Plan Quality in SAT-Based Planning},
  booktitle    = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth
                  International Conference of the Italian Association for Artificial
                  Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5883},
  pages        = {253--263},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10291-2\_26},
  doi          = {10.1007/978-3-642-10291-2\_26},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarinL0N0G09,
  author       = {Paolo Marin and
                  Matthew Lewis and
                  Tobias Schubert and
                  Massimo Narizzano and
                  Bernd Becker and
                  Enrico Giunchiglia},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Evaluation of Knowledge Sharing Strategies in a Parallel {QBF} Solver},
  booktitle    = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
                  of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
                  2009, Reggio Emilia, Italy, December 11-12, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/MarinL0N0G09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AngelettiGNPS09,
  author       = {Damiano Angeletti and
                  Enrico Giunchiglia and
                  Massimo Narizzano and
                  Alessandra Puddu and
                  Salvatore Sabina},
  editor       = {Roberto Moreno{-}D{\'{\i}}az and
                  Franz Pichler and
                  Alexis Quesada{-}Arencibia},
  title        = {Automatic Test Generation for Coverage Analysis Using {CBMC}},
  booktitle    = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
                  Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5717},
  pages        = {287--294},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04772-5\_38},
  doi          = {10.1007/978-3-642-04772-5\_38},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocast/AngelettiGNPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AngelettiGNPS09,
  author       = {Damiano Angeletti and
                  Enrico Giunchiglia and
                  Massimo Narizzano and
                  Alessandra Puddu and
                  Salvatore Sabina},
  title        = {Automatic Test Generation for Coverage Analysis of {ERTMS} Software},
  booktitle    = {Second International Conference on Software Testing Verification and
                  Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
  pages        = {303--306},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICST.2009.22},
  doi          = {10.1109/ICST.2009.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AngelettiGNPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/MarinNGLSB09,
  author       = {Paolo Marin and
                  Massimo Narizzano and
                  Enrico Giunchiglia and
                  Matthew Lewis and
                  Tobias Schubert and
                  Bernd Becker},
  editor       = {Waleed W. Smari and
                  John P. McIntire},
  title        = {Comparison of knowledge sharing strategies in a parallel {QBF} solver},
  booktitle    = {2009 International Conference on High Performance Computing {\&}
                  Simulation, {HPCS} 2009, Leipzig, Germany, June 21-24, 2009},
  pages        = {161--167},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/HPCSIM.2009.5195312},
  doi          = {10.1109/HPCSIM.2009.5195312},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ieeehpcs/MarinNGLSB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LewisMSNBG09,
  author       = {Matthew Lewis and
                  Paolo Marin and
                  Tobias Schubert and
                  Massimo Narizzano and
                  Bernd Becker and
                  Enrico Giunchiglia},
  editor       = {Oliver Kullmann},
  title        = {PaQuBE: Distributed {QBF} Solving with Advanced Knowledge Sharing},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
                  International Conference, {SAT} 2009, Swansea, UK, June 30 - July
                  3, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5584},
  pages        = {509--523},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02777-2\_46},
  doi          = {10.1007/978-3-642-02777-2\_46},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/LewisMSNBG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustbus/ArmandoGP09,
  author       = {Alessandro Armando and
                  Enrico Giunchiglia and
                  Serena Elisa Ponta},
  editor       = {Simone Fischer{-}H{\"{u}}bner and
                  Costas Lambrinoudakis and
                  G{\"{u}}nther Pernul},
  title        = {Formal Specification and Automatic Analysis of Business Processes
                  under Authorization Constraints: An Action-Based Approach},
  booktitle    = {Trust, Privacy and Security in Digital Business, 6th International
                  Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5695},
  pages        = {63--72},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03748-1\_7},
  doi          = {10.1007/978-3-642-03748-1\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/trustbus/ArmandoGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GiunchigliaMN09,
  author       = {Enrico Giunchiglia and
                  Paolo Marin and
                  Massimo Narizzano},
  editor       = {Armin Biere and
                  Marijn Heule and
                  Hans van Maaren and
                  Toby Walsh},
  title        = {Reasoning with Quantified Boolean Formulas},
  booktitle    = {Handbook of Satisfiability},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {185},
  pages        = {761--780},
  publisher    = {{IOS} Press},
  year         = {2009},
  url          = {https://doi.org/10.3233/978-1-58603-929-5-761},
  doi          = {10.3233/978-1-58603-929-5-761},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/faia/GiunchigliaMN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GiunchigliaLM08,
  author       = {Enrico Giunchiglia and
                  Nicola Leone and
                  Marco Maratea},
  title        = {On the relation among answer set solvers},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {169--204},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9113-1},
  doi          = {10.1007/S10472-009-9113-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GiunchigliaLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RosaGM08,
  author       = {Emanuele Di Rosa and
                  Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Peter J. Stuckey},
  title        = {Computing All Optimal Solutions in Satisfiability Problems with Preferences},
  booktitle    = {Principles and Practice of Constraint Programming, 14th International
                  Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5202},
  pages        = {603--607},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85958-1\_50},
  doi          = {10.1007/978-3-540-85958-1\_50},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/RosaGM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RosaGM08,
  author       = {Emanuele Di Rosa and
                  Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Malik Ghallab and
                  Constantine D. Spyropoulos and
                  Nikos Fakotakis and
                  Nikolaos M. Avouris},
  title        = {A new Approach for Solving Satisfiability Problems with Qualitative
                  Preferences},
  booktitle    = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
                  Patras, Greece, July 21-25, 2008, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {178},
  pages        = {510--514},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-891-5-510},
  doi          = {10.3233/978-1-58603-891-5-510},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/RosaGM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GiunchigliaMN08,
  author       = {Enrico Giunchiglia and
                  Paolo Marin and
                  Massimo Narizzano},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Preprocessing Techniques for QBFs},
  booktitle    = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
                  of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
                  Italy, December 12-13, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {451},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-451/paper09giunchiglia.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/rcra/GiunchigliaMN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GiunchigliaNT07,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  title        = {Quantifier Structure in Search-Based Procedures for QBFs},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {26},
  number       = {3},
  pages        = {497--507},
  year         = {2007},
  url          = {https://doi.org/10.1109/TCAD.2006.888264},
  doi          = {10.1109/TCAD.2006.888264},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/GiunchigliaNT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiunchigliaM07,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  title        = {Planning as Satisfiability with Preferences},
  booktitle    = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages        = {987--992},
  publisher    = {{AAAI} Press},
  year         = {2007},
  url          = {http://www.aaai.org/Library/AAAI/2007/aaai07-157.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GiunchigliaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaM07,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Roberto Basili and
                  Maria Teresa Pazienza},
  title        = {SAT-Based Planning with Minimal-{\#}actions Plans and "soft"
                  Goals},
  booktitle    = {AI*IA 2007: Artificial Intelligence and Human-Oriented Computing,
                  10th Congress of the Italian Association for Artificial Intelligence,
                  Rome, Italy, September 10-13, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4733},
  pages        = {422--433},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74782-6\_37},
  doi          = {10.1007/978-3-540-74782-6\_37},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/AielloGS06,
  author       = {Luigia Carlucci Aiello and
                  Enrico Giunchiglia and
                  Luciano Serafini},
  title        = {Logics For Artificial Intelligence},
  journal      = {Intelligenza Artificiale},
  volume       = {3},
  number       = {1-2},
  pages        = {7--13},
  year         = {2006},
  timestamp    = {Tue, 23 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ia/AielloGS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GiunchigliaNT06,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  title        = {Clause/Term Resolution and Learning in the Evaluation of Quantified
                  Boolean Formulas},
  journal      = {J. Artif. Intell. Res.},
  volume       = {26},
  pages        = {371--416},
  year         = {2006},
  url          = {https://doi.org/10.1613/jair.1959},
  doi          = {10.1613/JAIR.1959},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/GiunchigliaNT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GiunchigliaLM06,
  author       = {Enrico Giunchiglia and
                  Yuliya Lierler and
                  Marco Maratea},
  title        = {Answer Set Programming Based on Propositional Satisfiability},
  journal      = {J. Autom. Reason.},
  volume       = {36},
  number       = {4},
  pages        = {345--377},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10817-006-9033-2},
  doi          = {10.1007/S10817-006-9033-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GiunchigliaLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GiunchigliaNT06,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Georges G. E. Gielen},
  title        = {Quantifier structure in search based procedures for QBFs},
  booktitle    = {Proceedings of the Conference on Design, Automation and Test in Europe,
                  {DATE} 2006, Munich, Germany, March 6-10, 2006},
  pages        = {812--817},
  publisher    = {European Design and Automation Association, Leuven, Belgium},
  year         = {2006},
  url          = {https://doi.org/10.1109/DATE.2006.244148},
  doi          = {10.1109/DATE.2006.244148},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/GiunchigliaNT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GiunchigliaM06,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Gerhard Brewka and
                  Silvia Coradeschi and
                  Anna Perini and
                  Paolo Traverso},
  title        = {Solving Optimization Problems with {DLL}},
  booktitle    = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
                  August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {141},
  pages        = {377--381},
  publisher    = {{IOS} Press},
  year         = {2006},
  timestamp    = {Thu, 12 Feb 2009 12:51:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/GiunchigliaM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiunchigliaM06,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Michael Fisher and
                  Wiebe van der Hoek and
                  Boris Konev and
                  Alexei Lisitsa},
  title        = {optsat: {A} Tool for Solving {SAT} Related Optimization Problems},
  booktitle    = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
                  2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4160},
  pages        = {485--489},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853886\_43},
  doi          = {10.1007/11853886\_43},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GiunchigliaM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/NareyekFFGGKRT05,
  author       = {Alexander Nareyek and
                  Eugene C. Freuder and
                  Robert Fourer and
                  Enrico Giunchiglia and
                  Robert P. Goldman and
                  Henry A. Kautz and
                  Jussi Rintanen and
                  Austin Tate},
  title        = {Constraints and {AI} Planning},
  journal      = {{IEEE} Intell. Syst.},
  volume       = {20},
  number       = {2},
  pages        = {62--72},
  year         = {2005},
  url          = {https://doi.org/10.1109/MIS.2005.25},
  doi          = {10.1109/MIS.2005.25},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/NareyekFFGGKRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GiunchigliaW05,
  author       = {Enrico Giunchiglia and
                  Toby Walsh},
  title        = {Satisfiability in the Year 2005},
  journal      = {J. Autom. Reason.},
  volume       = {35},
  number       = {1-3},
  pages        = {1--2},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10817-006-9041-2},
  doi          = {10.1007/S10817-006-9041-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GiunchigliaW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ArmandoCGM05,
  author       = {Alessandro Armando and
                  Claudio Castellini and
                  Enrico Giunchiglia and
                  Marco Maratea},
  title        = {The SAT-based Approach to Separation Logic},
  journal      = {J. Autom. Reason.},
  volume       = {35},
  number       = {1-3},
  pages        = {237--263},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10817-005-9002-1},
  doi          = {10.1007/S10817-005-9002-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ArmandoCGM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaM05,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Stefania Bandini and
                  Sara Manzoni},
  title        = {Evaluating Search Strategies and Heuristics for Efficient Answer Set
                  Programming},
  booktitle    = {AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the
                  Italian Association for Artificial Intelligence, Milan, Italy, September
                  21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3673},
  pages        = {122--134},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11558590\_13},
  doi          = {10.1007/11558590\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/GiunchigliaM05,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {An Experimental Study of Search Strategies and Heuristics in Answer
                  Set Programming},
  booktitle    = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
                  of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {142},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-142/page178.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/GiunchigliaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArmandoCGGT05,
  author       = {Alessandro Armando and
                  Claudio Castellini and
                  Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Armando Tacchella},
  editor       = {Dieter Hutter and
                  Werner Stephan},
  title        = {SAT-Based Decision Procedures for Automated Reasoning: {A} Unifying
                  Perspective},
  booktitle    = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
                  H. Siekmann on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {2605},
  pages        = {46--58},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32254-2\_4},
  doi          = {10.1007/978-3-540-32254-2\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ArmandoCGGT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/GiunchigliaYG05,
  author       = {Fausto Giunchiglia and
                  Mikalai Yatskevich and
                  Enrico Giunchiglia},
  editor       = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
                  J{\'{e}}r{\^{o}}me Euzenat},
  title        = {Efficient Semantic Matching},
  booktitle    = {The Semantic Web: Research and Applications, Second European Semantic
                  Web Conference, {ESWC} 2005, Heraklion, Crete, Greece, May 29 - June
                  1, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3532},
  pages        = {272--289},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11431053\_19},
  doi          = {10.1007/11431053\_19},
  timestamp    = {Mon, 28 Aug 2023 21:17:38 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/GiunchigliaYG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GiunchigliaM05,
  author       = {Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Maurizio Gabbrielli and
                  Gopal Gupta},
  title        = {On the Relation Between Answer Set and {SAT} Procedures (or, Between
                  cmodels and smodels)},
  booktitle    = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
                  Spain, October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3668},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562931\_6},
  doi          = {10.1007/11562931\_6},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/GiunchigliaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiunchigliaLLMT04,
  author       = {Enrico Giunchiglia and
                  Joohyung Lee and
                  Vladimir Lifschitz and
                  Norman McCain and
                  Hudson Turner},
  title        = {Nonmonotonic causal theories},
  journal      = {Artif. Intell.},
  volume       = {153},
  number       = {1-2},
  pages        = {49--104},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2002.12.001},
  doi          = {10.1016/J.ARTINT.2002.12.001},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GiunchigliaLLMT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BenferhatG04,
  author       = {Salem Benferhat and
                  Enrico Giunchiglia},
  title        = {Editorial: Nonmonotonic Reasoning},
  journal      = {Artif. Intell.},
  volume       = {157},
  number       = {1-2},
  pages        = {1--3},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.artint.2004.04.011},
  doi          = {10.1016/J.ARTINT.2004.04.011},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BenferhatG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/GiunchigliaMN04,
  author       = {Enrico Giunchiglia and
                  Nicola Muscettola and
                  Dana S. Nau},
  title        = {The 2003 International Conference on Automated Planning and Scheduling
                  {(ICAPS-03)}},
  journal      = {{AI} Mag.},
  volume       = {25},
  number       = {2},
  pages        = {129--132},
  year         = {2004},
  url          = {https://doi.org/10.1609/aimag.v25i2.1765},
  doi          = {10.1609/AIMAG.V25I2.1765},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/GiunchigliaMN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiunchigliaLM04,
  author       = {Enrico Giunchiglia and
                  Yuliya Lierler and
                  Marco Maratea},
  editor       = {Deborah L. McGuinness and
                  George Ferguson},
  title        = {SAT-Based Answer Set Programming},
  booktitle    = {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}},
  pages        = {61--66},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2004},
  url          = {http://www.aaai.org/Library/AAAI/2004/aaai04-010.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GiunchigliaLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GiunchigliaNT04,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Mark Wallace},
  title        = {Monotone Literals and Learning in {QBF} Reasoning},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
                  International Conference, {CP} 2004, Toronto, Canada, September 27
                  - October 1, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3258},
  pages        = {260--273},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30201-8\_21},
  doi          = {10.1007/978-3-540-30201-8\_21},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GiunchigliaNT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GiunchigliaNT04,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Alan J. Hu and
                  Andrew K. Martin},
  title        = {QuBE++: An Efficient {QBF} Solver},
  booktitle    = {Formal Methods in Computer-Aided Design, 5th International Conference,
                  {FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3312},
  pages        = {201--213},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30494-4\_15},
  doi          = {10.1007/978-3-540-30494-4\_15},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/GiunchigliaNT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GiunchigliaLM04,
  author       = {Enrico Giunchiglia and
                  Yuliya Lierler and
                  Marco Maratea},
  editor       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {A SAT-based polynomial space algorithm for answer set programming},
  booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
                  Whistler, Canada, June 6-8, 2004, Proceedings},
  pages        = {189--196},
  year         = {2004},
  url          = {http://www.pims.math.ca/science/2004/NMR/papers/paper25.pdf},
  timestamp    = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/GiunchigliaLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ArmandoCGM04,
  author       = {Alessandro Armando and
                  Claudio Castellini and
                  Enrico Giunchiglia and
                  Marco Maratea},
  title        = {A SAT-based Decision Procedure for the Boolean Combination of Difference
                  Constraints},
  booktitle    = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
                  of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
                  Online Proceedings},
  year         = {2004},
  url          = {http://www.satisfiability.org/SAT04/programme/71.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ArmandoCGM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ArmandoCGM04a,
  author       = {Alessandro Armando and
                  Claudio Castellini and
                  Enrico Giunchiglia and
                  Marco Maratea},
  editor       = {Holger H. Hoos and
                  David G. Mitchell},
  title        = {A SAT-Based Decision Procedure for the Boolean Combination of Difference
                  Constraints},
  booktitle    = {Theory and Applications of Satisfiability Testing, 7th International
                  Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3542},
  pages        = {16--29},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11527695\_2},
  doi          = {10.1007/11527695\_2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/ArmandoCGM04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GiunchigliaNT04,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  title        = {{QBF} Reasoning on Real-World Instances},
  booktitle    = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
                  of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
                  Online Proceedings},
  year         = {2004},
  url          = {http://www.satisfiability.org/SAT04/programme/94.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/GiunchigliaNT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GiunchigliaNT04a,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Holger H. Hoos and
                  David G. Mitchell},
  title        = {{QBF} Reasoning on Real-World Instances},
  booktitle    = {Theory and Applications of Satisfiability Testing, 7th International
                  Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3542},
  pages        = {105--121},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11527695\_9},
  doi          = {10.1007/11527695\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/GiunchigliaNT04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArmandoCGIM05,
  author       = {Alessandro Armando and
                  Claudio Castellini and
                  Enrico Giunchiglia and
                  Massimo Idini and
                  Marco Maratea},
  editor       = {Wolfgang Ahrendt and
                  Peter Baumgartner and
                  Hans de Nivelle and
                  Silvio Ranise and
                  Cesare Tinelli},
  title        = {{TSAT++:} an Open Platform for Satisfiability Modulo Theories},
  booktitle    = {Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and
                  the Second International Workshop on Pragmatics of Decision Procedures,
                  PDPAR@IJCAR 2004, Cork, Ireland, July 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {3},
  pages        = {25--36},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.065},
  doi          = {10.1016/J.ENTCS.2004.06.065},
  timestamp    = {Tue, 13 Dec 2022 13:53:40 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArmandoCGIM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2003,
  editor       = {Enrico Giunchiglia and
                  Armando Tacchella},
  title        = {Theory and Applications of Satisfiability Testing, 6th International
                  Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
                  Selected Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2919},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b95238},
  doi          = {10.1007/B95238},
  isbn         = {3-540-20851-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiunchigliaNT03,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  title        = {Backjumping for Quantified Boolean Logic satisfiability},
  journal      = {Artif. Intell.},
  volume       = {145},
  number       = {1-2},
  pages        = {99--120},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0004-3702(02)00373-9},
  doi          = {10.1016/S0004-3702(02)00373-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GiunchigliaNT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CastelliniGT03,
  author       = {Claudio Castellini and
                  Enrico Giunchiglia and
                  Armando Tacchella},
  title        = {SAT-based planning in complex domains: Concurrency, constraints and
                  nondeterminism},
  journal      = {Artif. Intell.},
  volume       = {147},
  number       = {1-2},
  pages        = {85--117},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0004-3702(02)00375-2},
  doi          = {10.1016/S0004-3702(02)00375-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/CastelliniGT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GiunchigliaMT03,
  author       = {Enrico Giunchiglia and
                  Marco Maratea and
                  Armando Tacchella},
  editor       = {Francesca Rossi},
  title        = {(In)Effectiveness of Look-Ahead Techniques in a Modern {SAT} Solver},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
                  International Conference, {CP} 2003, Kinsale, Ireland, September 29
                  - October 3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2833},
  pages        = {842--846},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45193-8\_64},
  doi          = {10.1007/978-3-540-45193-8\_64},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GiunchigliaMT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GentGNRT03,
  author       = {Ian P. Gent and
                  Enrico Giunchiglia and
                  Massimo Narizzano and
                  Andrew G. D. Rowley and
                  Armando Tacchella},
  editor       = {Enrico Giunchiglia and
                  Armando Tacchella},
  title        = {Watched Data Structures for {QBF} Solvers},
  booktitle    = {Theory and Applications of Satisfiability Testing, 6th International
                  Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
                  Selected Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2919},
  pages        = {25--36},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24605-3\_3},
  doi          = {10.1007/978-3-540-24605-3\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/GentGNRT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2003,
  editor       = {Enrico Giunchiglia and
                  Nicola Muscettola and
                  Dana S. Nau},
  title        = {Proceedings of the Thirteenth International Conference on Automated
                  Planning and Scheduling {(ICAPS} 2003), June 9-13, 2003, Trento, Italy},
  publisher    = {{AAAI}},
  year         = {2003},
  isbn         = {1-57735-187-8},
  timestamp    = {Mon, 09 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GiunchigliaTG02,
  author       = {Enrico Giunchiglia and
                  Armando Tacchella and
                  Fausto Giunchiglia},
  title        = {SAT-Based Decision Procedures for Classical Modal Logics},
  journal      = {J. Autom. Reason.},
  volume       = {28},
  number       = {2},
  pages        = {143--171},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1015071400913},
  doi          = {10.1023/A:1015071400913},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GiunchigliaTG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiunchigliaNT02,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Rina Dechter and
                  Michael J. Kearns and
                  Richard S. Sutton},
  title        = {Learning for Quantified Boolean Logic Satisfiability},
  booktitle    = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
                  and Fourteenth Conference on Innovative Applications of Artificial
                  Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
  pages        = {649--654},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2002},
  url          = {http://www.aaai.org/Library/AAAI/2002/aaai02-097.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GiunchigliaNT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiCGGPRST02,
  author       = {Alessandro Cimatti and
                  Edmund M. Clarke and
                  Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Marco Pistore and
                  Marco Roveri and
                  Roberto Sebastiani and
                  Armando Tacchella},
  editor       = {Ed Brinksma and
                  Kim Guldstrand Larsen},
  title        = {NuSMV 2: An OpenSource Tool for Symbolic Model Checking},
  booktitle    = {Computer Aided Verification, 14th International Conference, {CAV}
                  2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2404},
  pages        = {359--364},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45657-0\_29},
  doi          = {10.1007/3-540-45657-0\_29},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CimattiCGGPRST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CimattiGPRST02,
  author       = {Alessandro Cimatti and
                  Enrico Giunchiglia and
                  Marco Pistore and
                  Marco Roveri and
                  Roberto Sebastiani and
                  Armando Tacchella},
  editor       = {Alessandro Armando},
  title        = {Integrating BDD-Based and SAT-Based Symbolic Model Checking},
  booktitle    = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
                  2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2309},
  pages        = {49--56},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45988-X\_5},
  doi          = {10.1007/3-540-45988-X\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/CimattiGPRST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiunchigliaMT02,
  author       = {Enrico Giunchiglia and
                  Marco Maratea and
                  Armando Tacchella},
  editor       = {Sergio Flesca and
                  Sergio Greco and
                  Nicola Leone and
                  Giovambattista Ianni},
  title        = {Dependent and Independent Variables in Propositional Satisfiability},
  booktitle    = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
                  Cosenza, Italy, September, 23-26, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2424},
  pages        = {296--307},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45757-7\_25},
  doi          = {10.1007/3-540-45757-7\_25},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GiunchigliaMT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2002,
  editor       = {Salem Benferhat and
                  Enrico Giunchiglia},
  title        = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
                  April 19-21, Toulouse, France, Proceedings},
  year         = {2002},
  timestamp    = {Fri, 02 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GiunchigliaT01,
  author       = {Enrico Giunchiglia and
                  Armando Tacchella},
  title        = {A Subset-Matching Size-Bounded Cache for Testing Satisfiability in
                  Modal Logics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {33},
  number       = {1},
  pages        = {39--67},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012380814999},
  doi          = {10.1023/A:1012380814999},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GiunchigliaT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/GiunchigliaNTV01,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella and
                  Moshe Y. Vardi},
  title        = {Towards an Efficient Library for {SAT:} a Manifesto},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {9},
  pages        = {290--310},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0653(04)00329-4},
  doi          = {10.1016/S1571-0653(04)00329-4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/endm/GiunchigliaNTV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GiunchigliaG01,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia},
  title        = {Ideal and Real Belief about Belief},
  journal      = {J. Log. Comput.},
  volume       = {11},
  number       = {1},
  pages        = {157--192},
  year         = {2001},
  url          = {https://doi.org/10.1093/logcom/11.1.157},
  doi          = {10.1093/LOGCOM/11.1.157},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/GiunchigliaG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaNT01,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Floriana Esposito},
  title        = {An Analysis of Backjumping and Trivial Truth in Quantified Boolean
                  Formulas Satisfiability},
  booktitle    = {AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the
                  Italian Association for Artificial Intelligence, Bari, Italy, September
                  25-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2175},
  pages        = {111--122},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45411-X\_13},
  doi          = {10.1007/3-540-45411-X\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaNT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GiunchigliaMTZ01,
  author       = {Enrico Giunchiglia and
                  Marco Maratea and
                  Armando Tacchella and
                  Davide Zambonin},
  editor       = {Rajeev Gor{\'{e}} and
                  Alexander Leitsch and
                  Tobias Nipkow},
  title        = {Evaluating Search Heuristics and Optimization Techniques in Propositional
                  Satisfiability},
  booktitle    = {Automated Reasoning, First International Joint Conference, {IJCAR}
                  2001, Siena, Italy, June 18-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2083},
  pages        = {347--363},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45744-5\_26},
  doi          = {10.1007/3-540-45744-5\_26},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GiunchigliaMTZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GiunchigliaNT01,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Rajeev Gor{\'{e}} and
                  Alexander Leitsch and
                  Tobias Nipkow},
  title        = {{QUBE:} {A} System for Deciding Quantified Boolean Formulas Satisfiability},
  booktitle    = {Automated Reasoning, First International Joint Conference, {IJCAR}
                  2001, Siena, Italy, June 18-23, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2083},
  pages        = {364--369},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45744-5\_27},
  doi          = {10.1007/3-540-45744-5\_27},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GiunchigliaNT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CoptyFFGKTV01,
  author       = {Fady Copty and
                  Limor Fix and
                  Ranan Fraer and
                  Enrico Giunchiglia and
                  Gila Kamhi and
                  Armando Tacchella and
                  Moshe Y. Vardi},
  editor       = {G{\'{e}}rard Berry and
                  Hubert Comon and
                  Alain Finkel},
  title        = {Benefits of Bounded Model Checking at an Industrial Setting},
  booktitle    = {Computer Aided Verification, 13th International Conference, {CAV}
                  2001, Paris, France, July 18-22, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2102},
  pages        = {436--453},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44585-4\_43},
  doi          = {10.1007/3-540-44585-4\_43},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CoptyFFGKTV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiunchigliaNT01,
  author       = {Enrico Giunchiglia and
                  Massimo Narizzano and
                  Armando Tacchella},
  editor       = {Bernhard Nebel},
  title        = {Backjumping for Quantified Boolean Logic Satisfiability},
  booktitle    = {Proceedings of the Seventeenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
                  2001},
  pages        = {275--281},
  publisher    = {Morgan Kaufmann},
  year         = {2001},
  timestamp    = {Tue, 20 Aug 2019 16:18:14 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GiunchigliaNT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GiunchigliaGST00,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Roberto Sebastiani and
                  Armando Tacchella},
  title        = {{SAT} vs. translation based decision procedures for modal logics:
                  a comparative evaluation},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {10},
  number       = {2},
  pages        = {145--172},
  year         = {2000},
  url          = {https://doi.org/10.1080/11663081.2000.10510994},
  doi          = {10.1080/11663081.2000.10510994},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GiunchigliaGST00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FerrarisG00,
  author       = {Paolo Ferraris and
                  Enrico Giunchiglia},
  editor       = {Henry A. Kautz and
                  Bruce W. Porter},
  title        = {Planning as Satisfiability in Nondeterministic Domains},
  booktitle    = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
                  and Twelfth Conference on on Innovative Applications of Artificial
                  Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
  pages        = {748--753},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2000},
  url          = {http://www.aaai.org/Library/AAAI/2000/aaai00-115.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FerrarisG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GiunchigliaT00,
  author       = {Enrico Giunchiglia and
                  Armando Tacchella},
  editor       = {David A. McAllester},
  title        = {System Description: *SAT: {A} Platform for the Development of Modal
                  Decision Procedures},
  booktitle    = {Automated Deduction - CADE-17, 17th International Conference on Automated
                  Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1831},
  pages        = {291--296},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10721959\_22},
  doi          = {10.1007/10721959\_22},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GiunchigliaT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Giunchiglia00,
  author       = {Enrico Giunchiglia},
  editor       = {Anthony G. Cohn and
                  Fausto Giunchiglia and
                  Bart Selman},
  title        = {Planning as Satisfiability with Expressive Action Languages: Concurrency,
                  Constraints and Nondeterminism},
  booktitle    = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
                  of the Seventh International Conference, Breckenridge, Colorado, USA,
                  April 11-15, 2000},
  pages        = {657--666},
  publisher    = {Morgan Kaufmann},
  year         = {2000},
  timestamp    = {Tue, 20 Jun 2023 09:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/Giunchiglia00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GiunchigliaT00,
  author       = {Enrico Giunchiglia and
                  Armando Tacchella},
  editor       = {Roy Dyckhoff},
  title        = {A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, International
                  Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1847},
  pages        = {237--251},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722086\_20},
  doi          = {10.1007/10722086\_20},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/GiunchigliaT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/BenerecettiGSV99,
  author       = {Massimo Benerecetti and
                  Enrico Giunchiglia and
                  Luciano Serafini and
                  Adolfo Villafiorita},
  title        = {Formal specification of beliefs in multi-agent systems},
  journal      = {Int. J. Intell. Syst.},
  volume       = {14},
  number       = {10},
  pages        = {1021--1040},
  year         = {1999},
  url          = {https://doi.org/10.1002/(SICI)1098-111X(199910)14:10\&\#60;1021::AID-INT5\&\#62;3.0.CO;2-E},
  doi          = {10.1002/(SICI)1098-111X(199910)14:10\&\#60;1021::AID-INT5\&\#62;3.0.CO;2-E},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/BenerecettiGSV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaS99,
  author       = {Enrico Giunchiglia and
                  Roberto Sebastiani},
  editor       = {Evelina Lamma and
                  Paola Mello},
  title        = {Applying the Davis-Putnam Procedure to Non-clausal Formulas},
  booktitle    = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the
                  Italian Association for Artificial Intelligence, Bologna, Italy, September
                  14-17, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1792},
  pages        = {84--94},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46238-4\_8},
  doi          = {10.1007/3-540-46238-4\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaGT99,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Armando Tacchella},
  editor       = {Evelina Lamma and
                  Paola Mello},
  title        = {The SAT-Based Approach for Classical Modal Logics},
  booktitle    = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the
                  Italian Association for Artificial Intelligence, Bologna, Italy, September
                  14-17, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1792},
  pages        = {95--106},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46238-4\_9},
  doi          = {10.1007/3-540-46238-4\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaGT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GiunchigliaGT99,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Armando Tacchella},
  editor       = {Patrick Lambrix and
                  Alexander Borgida and
                  Maurizio Lenzerini and
                  Ralf M{\"{o}}ller and
                  Peter F. Patel{-}Schneider},
  title        = {*SAT, KSATC, {DLP} and {TA:} a comparative analysis},
  booktitle    = {Proceedings of the 1999 International Workshop on Description Logics
                  (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {22},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-22/giunchiglia.ps},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/GiunchigliaGT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/ArmandoCG99,
  author       = {Alessandro Armando and
                  Claudio Castellini and
                  Enrico Giunchiglia},
  editor       = {Susanne Biundo and
                  Maria Fox},
  title        = {SAT-Based Procedures for Temporal Reasoning},
  booktitle    = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
                  ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1809},
  pages        = {97--108},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10720246\_8},
  doi          = {10.1007/10720246\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecp/ArmandoCG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiunchigliaL98,
  author       = {Enrico Giunchiglia and
                  Vladimir Lifschitz},
  editor       = {Jack Mostow and
                  Chuck Rich},
  title        = {An Action Language Based on Causal Explanation: Preliminary Report},
  booktitle    = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
                  and Tenth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
  pages        = {623--630},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1998},
  url          = {http://www.aaai.org/Library/AAAI/1998/aaai98-088.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GiunchigliaL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiunchigliaMS98,
  author       = {Enrico Giunchiglia and
                  Alessandro Massarotto and
                  Roberto Sebastiani},
  editor       = {Jack Mostow and
                  Chuck Rich},
  title        = {Act, and the Rest Will Follow: Exploiting Determinism in Planning
                  as Satisfiability},
  booktitle    = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
                  and Tenth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
  pages        = {948--953},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1998},
  url          = {http://www.aaai.org/Library/AAAI/1998/aaai98-134.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GiunchigliaMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/ManzoGR98,
  author       = {Mauro Di Manzo and
                  Enrico Giunchiglia and
                  Simone Ruffino},
  editor       = {Fausto Giunchiglia},
  title        = {Planning via Model Checking in Deterministic Domains: Preliminary
                  Report},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
                  International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
                  21-13, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1480},
  pages        = {221--229},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057447},
  doi          = {10.1007/BFB0057447},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/ManzoGR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiunchigliaGST98,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Roberto Sebastiani and
                  Armando Tacchella},
  editor       = {Anthony G. Cohn and
                  Lenhart K. Schubert and
                  Stuart C. Shapiro},
  title        = {More Evaluation of Decision Procedures for Modal Logics},
  booktitle    = {Proceedings of the Sixth International Conference on Principles of
                  Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
                  2-5, 1998},
  pages        = {626--635},
  publisher    = {Morgan Kaufmann},
  year         = {1998},
  timestamp    = {Tue, 20 Jun 2023 09:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/GiunchigliaGST98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiunchigliaKL97,
  author       = {Enrico Giunchiglia and
                  G. Neelakantan Kartha and
                  Vladimir Lifschitz},
  title        = {Representing Action: Indeterminacy and Ramifications},
  journal      = {Artif. Intell.},
  volume       = {95},
  number       = {2},
  pages        = {409--438},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0004-3702(97)00037-4},
  doi          = {10.1016/S0004-3702(97)00037-4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GiunchigliaKL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/CimattiGGT97,
  author       = {Alessandro Cimatti and
                  Fausto Giunchiglia and
                  Enrico Giunchiglia and
                  Paolo Traverso},
  editor       = {Sam Steel and
                  Rachid Alami},
  title        = {Planning via Model Checking: {A} Decision Procedure for \emph{AR}},
  booktitle    = {Recent Advances in {AI} Planning, 4th European Conference on Planning,
                  ECP'97, Toulouse, France, September 24-26, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1348},
  pages        = {130--142},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63912-8\_81},
  doi          = {10.1007/3-540-63912-8\_81},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecp/CimattiGGT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/GiunchigliaGCB96,
  author       = {Fausto Giunchiglia and
                  Enrico Giunchiglia and
                  Tom Costello and
                  Paolo Bouquet},
  title        = {Dealing with expected and unexpected obstacles},
  journal      = {J. Exp. Theor. Artif. Intell.},
  volume       = {8},
  number       = {2},
  pages        = {173--190},
  year         = {1996},
  url          = {https://doi.org/10.1080/095281396147447},
  doi          = {10.1080/095281396147447},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetai/GiunchigliaGCB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GiunchigliaATC96,
  author       = {Enrico Giunchiglia and
                  Alessandro Armando and
                  Paolo Traverso and
                  Alessandro Cimatti},
  title        = {Visual representation of natural language scene descriptions},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
  volume       = {26},
  number       = {4},
  pages        = {575--589},
  year         = {1996},
  url          = {https://doi.org/10.1109/3477.517032},
  doi          = {10.1109/3477.517032},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/GiunchigliaATC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BenerecettiCGGS97,
  author       = {Massimo Benerecetti and
                  Alessandro Cimatti and
                  Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Luciano Serafini},
  editor       = {J{\"{o}}rg P. M{\"{u}}ller and
                  Michael J. Wooldridge and
                  Nicholas R. Jennings},
  title        = {Formal Specification of Beliefs in Multi-Agent Systems},
  booktitle    = {Intelligent Agents III, Agent Theories, Architectures, and Languages,
                  {ECAI} '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1193},
  pages        = {117--130},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0013581},
  doi          = {10.1007/BFB0013581},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/BenerecettiCGGS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fapr/GiunchigliaG96,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia},
  editor       = {Dov M. Gabbay and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {Ideal and Real Belief about Belief},
  booktitle    = {Practical Reasoning, International Conference on Formal and Applied
                  Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1085},
  pages        = {261--275},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61313-7\_78},
  doi          = {10.1007/3-540-61313-7\_78},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fapr/GiunchigliaG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Giunchiglia96,
  author       = {Enrico Giunchiglia},
  editor       = {Luigia Carlucci Aiello and
                  Jon Doyle and
                  Stuart C. Shapiro},
  title        = {Determining Ramifications in the Situation Calculus},
  booktitle    = {Proceedings of the Fifth International Conference on Principles of
                  Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
                  USA, November 5-8, 1996},
  pages        = {76--86},
  publisher    = {Morgan Kaufmann},
  year         = {1996},
  timestamp    = {Fri, 18 May 2012 15:03:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/Giunchiglia96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/maamaw/GiunchigliaG96,
  author       = {Fausto Giunchiglia and
                  Enrico Giunchiglia},
  editor       = {Walter Van de Velde and
                  John W. Perram},
  title        = {Ideal and Real Belief aobout Belief: Some Intuitions},
  booktitle    = {Agents Breaking Away, 7th European Workshop on Modelling Autonomous
                  Agents in a Multi-Agent World, Eindhoven, The Netherlands, January
                  22-25, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1038},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0031842},
  doi          = {10.1007/BFB0031842},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maamaw/GiunchigliaG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GiunchigliaAP95,
  author       = {Enrico Giunchiglia and
                  Alessandro Armando and
                  Paolo Pecchiari},
  title        = {Structured Proof Procedures},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {15},
  number       = {1},
  pages        = {1--18},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01535839},
  doi          = {10.1007/BF01535839},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GiunchigliaAP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/GiunchigliaT95,
  author       = {Enrico Giunchiglia and
                  Paolo Traverso},
  title        = {A multicontext architecture for formalizing complex reasoning},
  journal      = {Int. J. Intell. Syst.},
  volume       = {10},
  number       = {5},
  pages        = {501--539},
  year         = {1995},
  url          = {https://doi.org/10.1002/int.4550100504},
  doi          = {10.1002/INT.4550100504},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/GiunchigliaT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaGS95,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Luciano Serafini},
  editor       = {Marco Gori and
                  Giovanni Soda},
  title        = {Agents as Reasoners, Observers or Believers},
  booktitle    = {Topics in Artificial Intelligence, 4th Congress of the Italian Association
                  for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13,
                  1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {992},
  pages        = {414--425},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60437-5\_41},
  doi          = {10.1007/3-540-60437-5\_41},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/GiunchigliaGS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/GiunchigliaGS95,
  author       = {Enrico Giunchiglia and
                  Fausto Giunchiglia and
                  Luciano Serafini},
  editor       = {Victor R. Lesser and
                  Les Gasser},
  title        = {Agents as Reasoners, Observers, or Arbitrary Believers},
  booktitle    = {Proceedings of the First International Conference on Multiagent Systems,
                  June 12-14, 1995, San Francisco, California, {USA}},
  pages        = {448},
  publisher    = {The {MIT} Press},
  year         = {1995},
  timestamp    = {Tue, 16 Nov 2004 11:26:50 +0100},
  biburl       = {https://dblp.org/rec/conf/icmas/GiunchigliaGS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiunchigliaL95,
  author       = {Enrico Giunchiglia and
                  Vladimir Lifschitz},
  title        = {Dependent Fluents},
  booktitle    = {Proceedings of the Fourteenth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
                  August 20-25 1995, 2 Volumes},
  pages        = {1964--1969},
  publisher    = {Morgan Kaufmann},
  year         = {1995},
  url          = {http://ijcai.org/Proceedings/95-2/Papers/120.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GiunchigliaL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/TraversoCSAG94,
  author       = {Paolo Traverso and
                  Alessandro Cimatti and
                  Luca Spalazzi and
                  Alessandro Armando and
                  Enrico Giunchiglia},
  title        = {{MRG:} Building planers for real-world complex applications},
  journal      = {Appl. Artif. Intell.},
  volume       = {8},
  number       = {3},
  pages        = {333--357},
  year         = {1994},
  url          = {https://doi.org/10.1080/08839519408945447},
  doi          = {10.1080/08839519408945447},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aai/TraversoCSAG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ArmandoG93,
  author       = {Alessandro Armando and
                  Enrico Giunchiglia},
  title        = {Embedding Complex Decision Procedures Inside an Interactive Theorem
                  Prover},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {8},
  number       = {3-4},
  pages        = {475--502},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01530803},
  doi          = {10.1007/BF01530803},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ArmandoG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ManzoGAP93,
  author       = {Mauro Di Manzo and
                  Enrico Giunchiglia and
                  Alessandro Armando and
                  Paolo Pecchiari},
  editor       = {Pietro Torasso},
  title        = {Proving Formulas through Reduction to Decidable Classes},
  booktitle    = {Advances in Artificial Intelligence, Third Congress of the Italian
                  Association for Artificial Intelligence, AI*IA'93, Torino, Italy,
                  October 26-28, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {728},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57292-9\_36},
  doi          = {10.1007/3-540-57292-9\_36},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/ManzoGAP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiunchigliaSGF93,
  author       = {Fausto Giunchiglia and
                  Luciano Serafini and
                  Enrico Giunchiglia and
                  Marcello Frixione},
  editor       = {Ruzena Bajcsy},
  title        = {Non-Omniscient Belief as Context-Based Resoning},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {548--554},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/077.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GiunchigliaSGF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ManzoG93,
  author       = {Mauro Di Manzo and
                  Enrico Giunchiglia},
  editor       = {Henryk Jan Komorowski and
                  Zbigniew W. Ras},
  title        = {Multi-Context Systems as a Tool to Model Temporal Evolution},
  booktitle    = {Methodologies for Intelligent Systems, 7th International Symposium,
                  {ISMIS} '93, Trondheim, Norway, June 15-18, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {689},
  pages        = {548--557},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56804-2\_51},
  doi          = {10.1007/3-540-56804-2\_51},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/ManzoG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/TraversoAG92,
  author       = {Paolo Traverso and
                  Alessandro Armando and
                  Enrico Giunchiglia},
  editor       = {Benedict du Boulay and
                  Vassil Stoyanov Sgurev},
  title        = {A Knowledge Based System for Automatic 3D Scene},
  booktitle    = {Artificial Intelligence {V:} Methodology, Systems, Applications -
                  Proceedings of the Fifth International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1992, Sofia, Bulgaria,
                  September 21-24, 1992},
  pages        = {255--264},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 16 Mar 2017 14:36:24 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/TraversoAG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Giunchiglia91,
  author       = {Enrico Giunchiglia},
  editor       = {Brian H. Mayoh},
  title        = {A Set of Hierarchically Structured Decision Procedures for Some Subclasses
                  of First Order Logic},
  booktitle    = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
                  Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {12},
  pages        = {84--89},
  publisher    = {{IOS} Press},
  year         = {1991},
  timestamp    = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/Giunchiglia91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GiunchigliaG88,
  author       = {Fausto Giunchiglia and
                  Enrico Giunchiglia},
  editor       = {Yves Kodratoff},
  title        = {Building Complex Derived Inference Rules: {A} Decider for the Class
                  of Prenex Universal-Existential Formulas},
  booktitle    = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
                  Germany, August 1-5, 1988, Proceedings},
  pages        = {607--609},
  publisher    = {Pitmann Publishing, London},
  year         = {1988},
  timestamp    = {Tue, 30 Jul 2019 13:42:25 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/GiunchigliaG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics