BibTeX records: Paolo Liberatore

download as .bib file

@article{DBLP:journals/tc/FerraraLS16,
  author    = {Andrea Ferrara and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {The Size of BDDs and Other Data Structures in Temporal Logics Model
               Checking},
  journal   = {{IEEE} Trans. Computers},
  volume    = {65},
  number    = {10},
  pages     = {3148--3156},
  year      = {2016},
  url       = {https://doi.org/10.1109/TC.2015.2512872},
  doi       = {10.1109/TC.2015.2512872},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/FerraraLS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Liberatore16,
  author    = {Paolo Liberatore},
  title     = {Belief Merging by Examples},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {17},
  number    = {2},
  pages     = {9:1--9:38},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2818645},
  doi       = {10.1145/2818645},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/Liberatore16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Liberatore16,
  author    = {Paolo Liberatore},
  title     = {Belief Merging by Source Reliability Assessment},
  journal   = {CoRR},
  volume    = {abs/1605.02160},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.02160},
  archivePrefix = {arXiv},
  eprint    = {1605.02160},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Liberatore16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/LiberatoreS15,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {On the complexity of second-best abductive explanations},
  journal   = {Int. J. Approx. Reasoning},
  volume    = {63},
  pages     = {22--31},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.ijar.2015.05.009},
  doi       = {10.1016/j.ijar.2015.05.009},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/LiberatoreS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Liberatore15,
  author    = {Paolo Liberatore},
  title     = {Revision by History},
  journal   = {J. Artif. Intell. Res.},
  volume    = {52},
  pages     = {287--329},
  year      = {2015},
  url       = {https://doi.org/10.1613/jair.4608},
  doi       = {10.1613/jair.4608},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/Liberatore15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Liberatore14,
  author    = {Paolo Liberatore},
  title     = {Bijective faithful translations among default logics},
  journal   = {J. Log. Comput.},
  volume    = {24},
  number    = {4},
  pages     = {763--807},
  year      = {2014},
  url       = {https://doi.org/10.1093/logcom/ext073},
  doi       = {10.1093/logcom/ext073},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/Liberatore14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Liberatore14,
  author    = {Paolo Liberatore},
  title     = {Belief revision by examples},
  journal   = {CoRR},
  volume    = {abs/1409.5340},
  year      = {2014},
  url       = {http://arxiv.org/abs/1409.5340},
  archivePrefix = {arXiv},
  eprint    = {1409.5340},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Liberatore14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/LiberatoreS13,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {The compilability framework},
  journal   = {Intelligenza Artificiale},
  volume    = {7},
  number    = {1},
  pages     = {31--35},
  year      = {2013},
  url       = {https://doi.org/10.3233/IA-130041},
  doi       = {10.3233/IA-130041},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ia/LiberatoreS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2012dc,
  editor    = {Paolo Liberatore and
               Michele Lombardi and
               Floriano Scioscia},
  title     = {Proceedings of the Doctoral Consortium of the 12th Symposium of the
               Italian Association for Artificial Intelligence, Rome, Italy, June
               15, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {926},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-926},
  timestamp = {Wed, 13 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2012dc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-5859,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {On the Complexity of Finding Second-Best Abductive Explanations},
  journal   = {CoRR},
  volume    = {abs/1204.5859},
  year      = {2012},
  url       = {http://arxiv.org/abs/1204.5859},
  archivePrefix = {arXiv},
  eprint    = {1204.5859},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1204-5859},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0233,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {Space Efficiency of Propositional Knowledge Representation Formalisms},
  journal   = {CoRR},
  volume    = {abs/1106.0233},
  year      = {2011},
  url       = {http://arxiv.org/abs/1106.0233},
  archivePrefix = {arXiv},
  eprint    = {1106.0233},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-0233},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4578,
  author    = {J{\'{e}}r{\^{o}}me Lang and
               Paolo Liberatore and
               Pierre Marquis},
  title     = {Propositional Independence - Formula-Variable Independence and Forgetting},
  journal   = {CoRR},
  volume    = {abs/1106.4578},
  year      = {2011},
  url       = {http://arxiv.org/abs/1106.4578},
  archivePrefix = {arXiv},
  eprint    = {1106.4578},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-4578},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4866,
  author    = {Paolo Liberatore},
  title     = {On Polynomial Sized {MDP} Succinct Policies},
  journal   = {CoRR},
  volume    = {abs/1106.4866},
  year      = {2011},
  url       = {http://arxiv.org/abs/1106.4866},
  archivePrefix = {arXiv},
  eprint    = {1106.4866},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-4866},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-3018,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {On the size of data structures used in symbolic model checking},
  journal   = {CoRR},
  volume    = {abs/1012.3018},
  year      = {2010},
  url       = {http://arxiv.org/abs/1012.3018},
  archivePrefix = {arXiv},
  eprint    = {1012.3018},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1012-3018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Liberatore08,
  author    = {Paolo Liberatore},
  title     = {Redundancy in logic {II:} 2CNF and Horn propositional formulae},
  journal   = {Artif. Intell.},
  volume    = {172},
  number    = {2-3},
  pages     = {265--299},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.artint.2007.06.003},
  doi       = {10.1016/j.artint.2007.06.003},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Liberatore08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Liberatore08a,
  author    = {Paolo Liberatore},
  title     = {Redundancy in logic {III:} Non-monotonic reasoning},
  journal   = {Artif. Intell.},
  volume    = {172},
  number    = {11},
  pages     = {1317--1359},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.artint.2008.02.003},
  doi       = {10.1016/j.artint.2008.02.003},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Liberatore08a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Liberatore07,
  author    = {Paolo Liberatore},
  title     = {Consistency Defaults},
  journal   = {Studia Logica},
  volume    = {86},
  number    = {1},
  pages     = {89--110},
  year      = {2007},
  url       = {https://doi.org/10.1007/s11225-007-9047-8},
  doi       = {10.1007/s11225-007-9047-8},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/Liberatore07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LiberatoreS07,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Compilability of propositional abduction},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {8},
  number    = {1},
  pages     = {2},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1182613.1182615},
  doi       = {10.1145/1182613.1182615},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/LiberatoreS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Liberatore07,
  author    = {Paolo Liberatore},
  title     = {Where fail-safe default logics fail},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {8},
  number    = {2},
  pages     = {10},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1227839.1227842},
  doi       = {10.1145/1227839.1227842},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/Liberatore07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FerraraLS07,
  author    = {Andrea Ferrara and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {Model Checking and Preprocessing},
  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},
  pages     = {48--59},
  year      = {2007},
  crossref  = {DBLP:conf/aiia/2007},
  url       = {https://doi.org/10.1007/978-3-540-74782-6\_6},
  doi       = {10.1007/978-3-540-74782-6\_6},
  timestamp = {Mon, 17 Jul 2017 17:08:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/FerraraLS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-3781,
  author    = {Paolo Liberatore},
  title     = {Bijective Faithful Translations among Default Logics},
  journal   = {CoRR},
  volume    = {abs/0707.3781},
  year      = {2007},
  url       = {http://arxiv.org/abs/0707.3781},
  archivePrefix = {arXiv},
  eprint    = {0707.3781},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0707-3781},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0708-4170,
  author    = {Paolo Liberatore},
  title     = {Raising a Hardness Result},
  journal   = {CoRR},
  volume    = {abs/0708.4170},
  year      = {2007},
  url       = {http://arxiv.org/abs/0708.4170},
  archivePrefix = {arXiv},
  eprint    = {0708.4170},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0708-4170},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Liberatore06,
  author    = {Paolo Liberatore},
  title     = {On the complexity of extension checking in default logic},
  journal   = {Inf. Process. Lett.},
  volume    = {98},
  number    = {2},
  pages     = {61--65},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.ipl.2005.12.005},
  doi       = {10.1016/j.ipl.2005.12.005},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/Liberatore06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/CadoliDLS06,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {k-Approximating Circuits},
  journal   = {{IEEE} Trans. Computers},
  volume    = {55},
  number    = {7},
  pages     = {913--917},
  year      = {2006},
  url       = {https://doi.org/10.1109/TC.2006.105},
  doi       = {10.1109/TC.2006.105},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/CadoliDLS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Liberatore06,
  author    = {Paolo Liberatore},
  title     = {Complexity results on {DPLL} and resolution},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {7},
  number    = {1},
  pages     = {84--107},
  year      = {2006},
  url       = {http://doi.acm.org/10.1145/1119439.1119442},
  doi       = {10.1145/1119439.1119442},
  timestamp = {Tue, 22 Aug 2006 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/Liberatore06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Liberatore05,
  author    = {Paolo Liberatore},
  title     = {Redundancy in logic {I:} {CNF} propositional formulae},
  journal   = {Artif. Intell.},
  volume    = {163},
  number    = {2},
  pages     = {203--232},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.artint.2004.11.002},
  doi       = {10.1016/j.artint.2004.11.002},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Liberatore05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/LiberatoreS05,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {The complexity of model checking for propositional default logics},
  journal   = {Data Knowl. Eng.},
  volume    = {55},
  number    = {2},
  pages     = {189--202},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.datak.2005.03.002},
  doi       = {10.1016/j.datak.2005.03.002},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dke/LiberatoreS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Liberatore05,
  author    = {Paolo Liberatore},
  title     = {Representability in Default Logic},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {13},
  number    = {3},
  pages     = {335--351},
  year      = {2005},
  url       = {https://doi.org/10.1093/jigpal/jzi028},
  doi       = {10.1093/jigpal/jzi028},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/igpl/Liberatore05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/Liberatore05,
  author    = {Paolo Liberatore},
  title     = {Complexity and compilability of diagnosis and recovery of graph-based
               systems},
  journal   = {Int. J. Intell. Syst.},
  volume    = {20},
  number    = {10},
  pages     = {1053--1076},
  year      = {2005},
  url       = {https://doi.org/10.1002/int.20106},
  doi       = {10.1002/int.20106},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijis/Liberatore05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Liberatore05,
  author    = {Paolo Liberatore},
  title     = {Seminormalizing a default theory},
  journal   = {Journal of Applied Non-Classical Logics},
  volume    = {15},
  number    = {3},
  pages     = {321--340},
  year      = {2005},
  url       = {https://doi.org/10.3166/jancl.15.321-340},
  doi       = {10.3166/jancl.15.321-340},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jancl/Liberatore05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/Liberatore05,
  author    = {Paolo Liberatore},
  title     = {On the complexity of case-based planning},
  journal   = {J. Exp. Theor. Artif. Intell.},
  volume    = {17},
  number    = {3},
  pages     = {283--295},
  year      = {2005},
  url       = {https://doi.org/10.1080/09528130500283717},
  doi       = {10.1080/09528130500283717},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jetai/Liberatore05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FerraraLS05,
  author    = {Andrea Ferrara and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {The Complexity of Action Redundancy},
  booktitle = {AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the
               Italian Association for Artificial Intelligence, Milan, Italy, September
               21-23, 2005, Proceedings},
  pages     = {1--12},
  year      = {2005},
  crossref  = {DBLP:conf/aiia/2005},
  url       = {https://doi.org/10.1007/11558590\_1},
  doi       = {10.1007/11558590\_1},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/FerraraLS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0503043,
  author    = {Paolo Liberatore},
  title     = {Complexity Issues in Finding Succinct Solutions of PSPACE-Complete
               Problems},
  journal   = {CoRR},
  volume    = {abs/cs/0503043},
  year      = {2005},
  url       = {http://arxiv.org/abs/cs/0503043},
  archivePrefix = {arXiv},
  eprint    = {cs/0503043},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0503043},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0506074,
  author    = {Paolo Liberatore},
  title     = {Redundancy in Logic {II:} 2CNF and Horn Propositional Formulae},
  journal   = {CoRR},
  volume    = {abs/cs/0506074},
  year      = {2005},
  url       = {http://arxiv.org/abs/cs/0506074},
  archivePrefix = {arXiv},
  eprint    = {cs/0506074},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0506074},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507048,
  author    = {Paolo Liberatore},
  title     = {Redundancy in Logic {III:} Non-Mononotonic Reasoning},
  journal   = {CoRR},
  volume    = {abs/cs/0507048},
  year      = {2005},
  url       = {http://arxiv.org/abs/cs/0507048},
  archivePrefix = {arXiv},
  eprint    = {cs/0507048},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0507048},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/VidalL04,
  author    = {Thierry Vidal and
               Paolo Liberatore},
  title     = {Guest editorial: {STAIRS} 2002 (http: //stairs2002.univ-lyon1.fr/)},
  journal   = {{AI} Commun.},
  volume    = {17},
  number    = {1},
  pages     = {1--2},
  year      = {2004},
  url       = {http://content.iospress.com/articles/ai-communications/aic304},
  timestamp = {Fri, 15 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/VidalL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LiberatoreS04,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {The Compactness of Belief Revision and Update Operators},
  journal   = {Fundam. Inform.},
  volume    = {62},
  number    = {3-4},
  pages     = {377--393},
  year      = {2004},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-06},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/LiberatoreS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Liberatore04,
  author    = {Paolo Liberatore},
  title     = {On Polynomial Sized {MDP} Succinct Policies},
  journal   = {J. Artif. Intell. Res.},
  volume    = {21},
  pages     = {551--577},
  year      = {2004},
  url       = {https://doi.org/10.1613/jair.1134},
  doi       = {10.1613/jair.1134},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/Liberatore04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Liberatore04,
  author    = {Paolo Liberatore},
  title     = {Uncontroversial Default Logic},
  journal   = {J. Log. Comput.},
  volume    = {14},
  number    = {5},
  pages     = {747--765},
  year      = {2004},
  url       = {https://doi.org/10.1093/logcom/14.5.747},
  doi       = {10.1093/logcom/14.5.747},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/Liberatore04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisLLM04,
  author    = {Sylvie Coste{-}Marquis and
               J{\'{e}}r{\^{o}}me Lang and
               Paolo Liberatore and
               Pierre Marquis},
  title     = {Expressive Power and Succinctness of Propositional Languages for Preference
               Representation},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Ninth International Conference (KR2004), Whistler, Canada,
               June 2-5, 2004},
  pages     = {203--212},
  year      = {2004},
  crossref  = {DBLP:conf/kr/2004},
  url       = {http://www.aaai.org/Library/KR/2004/kr04-023.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Coste-MarquisLLM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0403032,
  author    = {Paolo Liberatore},
  title     = {Where Fail-Safe Default Logics Fail},
  journal   = {CoRR},
  volume    = {cs.AI/0403032},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.AI/0403032},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-AI-0403032},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0407034,
  author    = {Paolo Liberatore},
  title     = {On the Complexity of Case-Based Planning},
  journal   = {CoRR},
  volume    = {cs.AI/0407034},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.AI/0407034},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-AI-0407034},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0402053,
  author    = {Paolo Liberatore},
  title     = {The Complexity of Modified Instances},
  journal   = {CoRR},
  volume    = {cs.CC/0402053},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.CC/0402053},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-CC-0402053},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LangLM03,
  author    = {J{\'{e}}r{\^{o}}me Lang and
               Paolo Liberatore and
               Pierre Marquis},
  title     = {Propositional Independence: Formula-Variable Independence and Forgetting},
  journal   = {J. Artif. Intell. Res.},
  volume    = {18},
  pages     = {391--443},
  year      = {2003},
  url       = {https://doi.org/10.1613/jair.1113},
  doi       = {10.1613/jair.1113},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/LangLM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LangLM02,
  author    = {J{\'{e}}r{\^{o}}me Lang and
               Paolo Liberatore and
               Pierre Marquis},
  title     = {Conditional independence in propositional logic},
  journal   = {Artif. Intell.},
  volume    = {141},
  number    = {1/2},
  pages     = {79--121},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0004-3702(02)00244-8},
  doi       = {10.1016/S0004-3702(02)00244-8},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LangLM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZhaoL02,
  author    = {Xishun Zhao and
               Paolo Liberatore},
  title     = {Complexity of the Unique Extension Problem in Default Logic},
  journal   = {Fundam. Inform.},
  volume    = {53},
  number    = {1},
  pages     = {79--104},
  year      = {2002},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-1-04},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fuin/ZhaoL02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CadoliDLS02,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {Preprocessing of Intractable Problems},
  journal   = {Inf. Comput.},
  volume    = {176},
  number    = {2},
  pages     = {89--120},
  year      = {2002},
  url       = {https://doi.org/10.1006/inco.2001.3043},
  doi       = {10.1006/inco.2001.3043},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/CadoliDLS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Liberatore02,
  author    = {Paolo Liberatore},
  title     = {The Size of {MDP} Factored Policies},
  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     = {267--272},
  year      = {2002},
  crossref  = {DBLP:conf/aaai/2002},
  url       = {http://www.aaai.org/Library/AAAI/2002/aaai02-041.php},
  timestamp = {Mon, 26 Feb 2018 07:08:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/Liberatore02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Liberatore02,
  author    = {Paolo Liberatore},
  title     = {The Complexity of Checking Redundancy of {CNF} Propositional Formulae},
  booktitle = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence,
               ECAI'2002, Lyon, France, July 2002},
  pages     = {262--266},
  year      = {2002},
  crossref  = {DBLP:conf/ecai/2002},
  timestamp = {Tue, 25 Nov 2003 14:24:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/Liberatore02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Liberatore02a,
  author    = {Paolo Liberatore},
  title     = {Uncontroversial Default Logic},
  booktitle = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence,
               ECAI'2002, Lyon, France, July 2002},
  pages     = {526--530},
  year      = {2002},
  crossref  = {DBLP:conf/ecai/2002},
  timestamp = {Tue, 25 Nov 2003 14:24:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/Liberatore02a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DoniniLMS02,
  author    = {Francesco M. Donini and
               Paolo Liberatore and
               Fabio Massacci and
               Marco Schaerf},
  title     = {Solving {QBF} by {SMV}},
  booktitle = {Proceedings of the Eights International Conference on Principles and
               Knowledge Representation and Reasoning (KR-02), Toulouse, France,
               April 22-25, 2002},
  pages     = {578--592},
  year      = {2002},
  crossref  = {DBLP:conf/kr/2002},
  timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/DoniniLMS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0210007,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Compilability of Abduction},
  journal   = {CoRR},
  volume    = {cs.AI/0210007},
  year      = {2002},
  url       = {http://arxiv.org/abs/cs.AI/0210007},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-AI-0210007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0211031,
  author    = {Paolo Liberatore},
  title     = {Redundancy in Logic {I:} {CNF} Propositional Formulae},
  journal   = {CoRR},
  volume    = {cs.AI/0211031},
  year      = {2002},
  url       = {http://arxiv.org/abs/cs.AI/0211031},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-AI-0211031},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0212053,
  author    = {Paolo Liberatore},
  title     = {Merging Locally Correct Knowledge Bases: {A} Preliminary Report},
  journal   = {CoRR},
  volume    = {cs.AI/0212053},
  year      = {2002},
  url       = {http://arxiv.org/abs/cs.AI/0212053},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-AI-0212053},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0209032,
  author    = {Paolo Liberatore},
  title     = {Complexity Results on {DPLL} and Resolution},
  journal   = {CoRR},
  volume    = {cs.LO/0209032},
  year      = {2002},
  url       = {http://arxiv.org/abs/cs.LO/0209032},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-LO-0209032},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR02-067,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {k-Approximating Circuits},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  number    = {067},
  year      = {2002},
  url       = {http://eccc.hpi-web.de/eccc-reports/2002/TR02-067/index.html},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ECCC-TR02-067},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Liberatore01,
  author    = {Paolo Liberatore},
  title     = {Monotonic reductions, representative equivalence, and compilation
               of intractable problems},
  journal   = {J. {ACM}},
  volume    = {48},
  number    = {6},
  pages     = {1091--1125},
  year      = {2001},
  url       = {http://doi.acm.org/10.1145/504794.504795},
  doi       = {10.1145/504794.504795},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/Liberatore01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LiberatoreS01,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Belief Revision and Update: Complexity of Model Checking},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {62},
  number    = {1},
  pages     = {43--72},
  year      = {2001},
  url       = {https://doi.org/10.1006/jcss.2000.1698},
  doi       = {10.1006/jcss.2000.1698},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/LiberatoreS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Liberatore00,
  author    = {Paolo Liberatore},
  title     = {On the complexity of choosing the branching literal in {DPLL}},
  journal   = {Artif. Intell.},
  volume    = {116},
  number    = {1-2},
  pages     = {315--326},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0004-3702(99)00097-1},
  doi       = {10.1016/S0004-3702(99)00097-1},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Liberatore00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Liberatore00a,
  author    = {Paolo Liberatore},
  title     = {The complexity of belief update},
  journal   = {Artif. Intell.},
  volume    = {119},
  number    = {1-2},
  pages     = {141--190},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0004-3702(00)00016-3},
  doi       = {10.1016/S0004-3702(00)00016-3},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Liberatore00a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CadoliDLS00,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {Space Efficiency of Propositional Knowledge Representation Formalisms},
  journal   = {J. Artif. Intell. Res.},
  volume    = {13},
  pages     = {1--31},
  year      = {2000},
  url       = {https://doi.org/10.1613/jair.664},
  doi       = {10.1613/jair.664},
  timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/CadoliDLS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Liberatore00,
  author    = {Paolo Liberatore},
  title     = {Compilability and compact representations of revision of Horn knowledge
               bases},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {1},
  number    = {1},
  pages     = {131--161},
  year      = {2000},
  url       = {http://doi.acm.org/10.1145/343369.343391},
  doi       = {10.1145/343369.343391},
  timestamp = {Fri, 21 Nov 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/Liberatore00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiberatoreS00,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Compilability of Abduction},
  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     = {349--354},
  year      = {2000},
  crossref  = {DBLP:conf/aaai/2000},
  url       = {http://www.aaai.org/Library/AAAI/2000/aaai00-054.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LiberatoreS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LiberatoreD00,
  author    = {Paolo Liberatore and
               Francesco M. Donini},
  title     = {Verification Programs for Abduction},
  booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
               Intelligence, Berlin, Germany, August 20-25, 2000},
  pages     = {166--170},
  year      = {2000},
  crossref  = {DBLP:conf/ecai/2000},
  timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/LiberatoreD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Liberatore00,
  author    = {Paolo Liberatore},
  title     = {A Framework for Belief Update},
  booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
               Malaga, Spain, September 29 - October 2, 2000, Proceedings},
  pages     = {361--375},
  year      = {2000},
  crossref  = {DBLP:conf/jelia/2000},
  url       = {https://doi.org/10.1007/3-540-40006-0\_25},
  doi       = {10.1007/3-540-40006-0\_25},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/Liberatore00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiberatoreS00,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {BReLS: {A} System for the Integration of Knowledge Bases},
  booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000.},
  pages     = {145--152},
  year      = {2000},
  crossref  = {DBLP:conf/kr/2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/LiberatoreS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CadoliDLS99,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {The Size of a Revised Knowledge Base},
  journal   = {Artif. Intell.},
  volume    = {115},
  number    = {1},
  pages     = {25--64},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0004-3702(99)00074-0},
  doi       = {10.1016/S0004-3702(99)00074-0},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/CadoliDLS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR99-038,
  author    = {Peter Jonsson and
               Paolo Liberatore},
  title     = {On the Complexity of Finding Satisfiable Subinstances in Constraint
               Satisfaction},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {6},
  number    = {38},
  year      = {1999},
  url       = {http://eccc.hpi-web.de/eccc-reports/1999/TR99-038/index.html},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ECCC-TR99-038},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/LiberatoreS98,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Arbitration (or How to Merge Knowledge Bases)},
  journal   = {{IEEE} Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {1},
  pages     = {76--90},
  year      = {1998},
  url       = {https://doi.org/10.1109/69.667090},
  doi       = {10.1109/69.667090},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tkde/LiberatoreS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LiberatoreS98,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {The Complexity of Model Checking for Propositional Default Logics},
  booktitle = {{ECAI}},
  pages     = {18--22},
  year      = {1998},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/LiberatoreS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Liberatore98,
  author    = {Paolo Liberatore},
  title     = {On Non-Conservative Plan Modification},
  booktitle = {{ECAI}},
  pages     = {518--519},
  year      = {1998},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/Liberatore98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Liberatore98,
  author    = {Paolo Liberatore},
  title     = {On the Compilability of Diagnosis, Planning, Reasoning about Actions,
               Belief Revision, etc},
  booktitle = {Proceedings of the Sixth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
               2-5, 1998.},
  pages     = {144--155},
  year      = {1998},
  crossref  = {DBLP:conf/kr/1998},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Liberatore98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiberatoreS97,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Reducing Belief Revision to Circumscription (and Vice Versa)},
  journal   = {Artif. Intell.},
  volume    = {93},
  pages     = {261--296},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0004-3702(97)00016-7},
  doi       = {10.1016/S0004-3702(97)00016-7},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LiberatoreS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/Liberatore97,
  author    = {Paolo Liberatore},
  title     = {The Complexity of the Language {A}},
  journal   = {Electron. Trans. Artif. Intell.},
  volume    = {1},
  pages     = {13--38},
  year      = {1997},
  url       = {http://www.ep.liu.se/ej/etai/1997/002/},
  timestamp = {Wed, 05 May 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/etai/Liberatore97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/Liberatore97a,
  author    = {Paolo Liberatore},
  title     = {Compilability of Domain Descriptions in the Language {A}},
  journal   = {Electron. Trans. Artif. Intell.},
  volume    = {1},
  pages     = {129--132},
  year      = {1997},
  url       = {http://www.ep.liu.se/ej/etai/1997/006/},
  timestamp = {Wed, 05 May 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/etai/Liberatore97a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Liberatore97,
  author    = {Paolo Liberatore},
  title     = {The Complexity of Iterated Belief Revision},
  booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  pages     = {276--290},
  year      = {1997},
  crossref  = {DBLP:conf/icdt/97},
  url       = {https://doi.org/10.1007/3-540-62222-5\_51},
  doi       = {10.1007/3-540-62222-5\_51},
  timestamp = {Mon, 22 May 2017 16:14:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/Liberatore97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Liberatore97,
  author    = {Paolo Liberatore},
  title     = {The Complexity of Belief Update},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  pages     = {68--73},
  year      = {1997},
  crossref  = {DBLP:conf/ijcai/1997},
  url       = {http://ijcai.org/Proceedings/97-1/Papers/012.pdf},
  timestamp = {Tue, 19 Jul 2016 15:27:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/Liberatore97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiberatoreS96,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {The Complexity of Model Checking for Belief Revision and Update},
  booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
               and Eighth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
               1.},
  pages     = {556--561},
  year      = {1996},
  crossref  = {DBLP:conf/aaai/1996-1},
  url       = {http://www.aaai.org/Library/AAAI/1996/aaai96-083.php},
  timestamp = {Tue, 19 Jun 2018 18:21:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LiberatoreS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CadoliDLS96,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {Feasibility and Unfeasibility of Off-Line Processing},
  booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
               1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
  pages     = {100--109},
  year      = {1996},
  crossref  = {DBLP:conf/istcs/1996},
  timestamp = {Tue, 31 May 2016 15:27:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/istcs/CadoliDLS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CadoliDLS96,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {Comparing Space Efficiency of Propositional Knowledge Representation
               Formalisms},
  booktitle = {Proceedings of the Fifth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
               USA, November 5-8, 1996.},
  pages     = {364--373},
  year      = {1996},
  crossref  = {DBLP:conf/kr/1996},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/CadoliDLS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiberatoreS95,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Relating Belief Revision and Circumscription},
  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     = {1557--1566},
  year      = {1995},
  crossref  = {DBLP:conf/ijcai/1995},
  url       = {http://ijcai.org/Proceedings/95-2/Papers/070.pdf},
  timestamp = {Tue, 19 Jul 2016 15:06:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LiberatoreS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CadoliDLS95,
  author    = {Marco Cadoli and
               Francesco M. Donini and
               Paolo Liberatore and
               Marco Schaerf},
  title     = {The Size of a Revised Knowledge Base},
  booktitle = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, May 22-25, 1995, San Jose, California,
               {USA}},
  pages     = {151--162},
  year      = {1995},
  crossref  = {DBLP:conf/pods/95},
  url       = {http://doi.acm.org/10.1145/212433.220205},
  doi       = {10.1145/212433.220205},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/CadoliDLS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocfai/LiberatoreS95,
  author    = {Paolo Liberatore and
               Marco Schaerf},
  title     = {Arbitration: {A} Commutative Operator for Belief Revision},
  booktitle = {{WOCFAI}},
  pages     = {217--228},
  year      = {1995},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wocfai/LiberatoreS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2007,
  editor    = {Roberto Basili and
               Maria Teresa Pazienza},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74782-6},
  doi       = {10.1007/978-3-540-74782-6},
  isbn      = {978-3-540-74781-9},
  timestamp = {Mon, 17 Jul 2017 17:08:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2005,
  editor    = {Stefania Bandini and
               Sara Manzoni},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11558590},
  doi       = {10.1007/11558590},
  isbn      = {3-540-29041-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aiia/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2004,
  editor    = {Didier Dubois and
               Christopher A. Welty and
               Mary{-}Anne Williams},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Ninth International Conference (KR2004), Whistler, Canada,
               June 2-5, 2004},
  publisher = {{AAAI} Press},
  year      = {2004},
  isbn      = {1-57735-199-1},
  timestamp = {Mon, 21 Jun 2004 09:48:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2002,
  editor    = {Rina Dechter and
               Michael J. Kearns and
               Richard S. Sutton},
  title     = {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},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2002},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai02.php},
  timestamp = {Mon, 26 Feb 2018 07:08:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2002,
  editor    = {Frank van Harmelen},
  title     = {Proceedings of the 15th Eureopean Conference on Artificial Intelligence,
               ECAI'2002, Lyon, France, July 2002},
  publisher = {{IOS} Press},
  year      = {2002},
  timestamp = {Tue, 25 Nov 2003 14:24:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2002,
  editor    = {Dieter Fensel and
               Fausto Giunchiglia and
               Deborah L. McGuinness and
               Mary{-}Anne Williams},
  title     = {Proceedings of the Eights International Conference on Principles and
               Knowledge Representation and Reasoning (KR-02), Toulouse, France,
               April 22-25, 2002},
  publisher = {Morgan Kaufmann},
  year      = {2002},
  isbn      = {1-55860-554-1},
  timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2000,
  editor    = {Henry A. Kautz and
               Bruce W. Porter},
  title     = {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}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2000},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai00.php},
  isbn      = {0-262-51112-6},
  timestamp = {Thu, 01 Dec 2011 17:16:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2000,
  editor    = {Werner Horn},
  title     = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
               Intelligence, Berlin, Germany, August 20-25, 2000},
  publisher = {{IOS} Press},
  year      = {2000},
  timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2000,
  editor    = {Manuel Ojeda{-}Aciego and
               Inman P. de Guzm{\'{a}}n and
               Gerhard Brewka and
               Lu{\'{\i}}s Moniz Pereira},
  title     = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
               Malaga, Spain, September 29 - October 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1919},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40006-0},
  doi       = {10.1007/3-540-40006-0},
  isbn      = {3-540-41131-3},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2000,
  editor    = {Anthony G. Cohn and
               Fausto Giunchiglia and
               Bart Selman},
  title     = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1998,
  editor    = {Anthony G. Cohn and
               Lenhart K. Schubert and
               Stuart C. Shapiro},
  title     = {Proceedings of the Sixth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
               2-5, 1998},
  publisher = {Morgan Kaufmann},
  year      = {1998},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/97,
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-62222-5},
  doi       = {10.1007/3-540-62222-5},
  isbn      = {3-540-62222-5},
  timestamp = {Mon, 22 May 2017 16:14:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1997,
  title     = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  publisher = {Morgan Kaufmann},
  year      = {1997},
  url       = {http://ijcai.org/proceedings/1997-1},
  timestamp = {Tue, 19 Jul 2016 15:27:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1996-1,
  editor    = {William J. Clancey and
               Daniel S. Weld},
  title     = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
               and Eighth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
               1},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1996},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai96.php},
  isbn      = {0-262-51091-X},
  timestamp = {Tue, 19 Jun 2018 18:21:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1996-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/istcs/1996,
  title     = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
               1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  isbn      = {0-8186-7610-8},
  timestamp = {Tue, 31 May 2016 15:27:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/istcs/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1996,
  editor    = {Luigia Carlucci Aiello and
               Jon Doyle and
               Stuart C. Shapiro},
  title     = {Proceedings of the Fifth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
               USA, November 5-8, 1996},
  publisher = {Morgan Kaufmann},
  year      = {1996},
  isbn      = {1-55860-421-9},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1995,
  title     = {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},
  publisher = {Morgan Kaufmann},
  year      = {1995},
  url       = {http://ijcai.org/proceedings/1995-1},
  timestamp = {Tue, 19 Jul 2016 15:06:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/95,
  editor    = {Mihalis Yannakakis},
  title     = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, May 22-25, 1995, San Jose, California,
               {USA}},
  publisher = {{ACM} Press},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=212433},
  isbn      = {0-89791-730-8},
  timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pods/95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier