Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Enrico Giunchiglia
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.