default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paolo Liberatore
@article{DBLP:journals/ai/Liberatore24,
author = {Paolo Liberatore},
title = {Representing states in iterated belief revision},
journal = {Artif. Intell.},
volume = {336},
pages = {104200},
year = {2024},
url = {https://doi.org/10.1016/j.artint.2024.104200},
doi = {10.1016/J.ARTINT.2024.104200},
timestamp = {Sat, 24 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Liberatore24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Liberatore24,
author = {Paolo Liberatore},
title = {The ghosts of forgotten things: {A} study on size after forgetting},
journal = {Ann. Pure Appl. Log.},
volume = {175},
number = {8},
pages = {103456},
year = {2024},
url = {https://doi.org/10.1016/j.apal.2024.103456},
doi = {10.1016/J.APAL.2024.103456},
timestamp = {Mon, 29 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Liberatore24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-15445,
author = {Paolo Liberatore},
title = {Can we forget how we learned? Doxastic redundancy in iterated belief
revision},
journal = {CoRR},
volume = {abs/2402.15445},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.15445},
doi = {10.48550/ARXIV.2402.15445},
eprinttype = {arXiv},
eprint = {2402.15445},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-15445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Liberatore23,
author = {Paolo Liberatore},
title = {Reconstructing a single-head formula to facilitate logical forgetting},
journal = {J. Log. Comput.},
volume = {33},
number = {7},
pages = {1596--1624},
year = {2023},
url = {https://doi.org/10.1093/logcom/exac086},
doi = {10.1093/LOGCOM/EXAC086},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Liberatore23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Liberatore23,
author = {Paolo Liberatore},
title = {Mixed Iterated Revisions: Rationale, Algorithms, and Complexity},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {3},
pages = {27:1--27:49},
year = {2023},
url = {https://doi.org/10.1145/3583071},
doi = {10.1145/3583071},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Liberatore23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09200,
author = {Paolo Liberatore},
title = {Can we forget how we learned? Representing states in iterated belief
revision\}},
journal = {CoRR},
volume = {abs/2305.09200},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.09200},
doi = {10.48550/ARXIV.2305.09200},
eprinttype = {arXiv},
eprint = {2305.09200},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-09200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12655,
author = {Paolo Liberatore},
title = {Natural revision is contingently-conditionalized revision},
journal = {CoRR},
volume = {abs/2309.12655},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.12655},
doi = {10.48550/ARXIV.2309.12655},
eprinttype = {arXiv},
eprint = {2309.12655},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-12655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06528,
author = {Paolo Liberatore},
title = {Four algorithms for propositional forgetting},
journal = {CoRR},
volume = {abs/2204.06528},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.06528},
doi = {10.48550/ARXIV.2204.06528},
eprinttype = {arXiv},
eprint = {2204.06528},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-06528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00762,
author = {Paolo Liberatore},
title = {Superredundancy: {A} tool for Boolean formula minimization complexity
analysis},
journal = {CoRR},
volume = {abs/2205.00762},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00762},
doi = {10.48550/ARXIV.2205.00762},
eprinttype = {arXiv},
eprint = {2205.00762},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-12825,
author = {Paolo Liberatore},
title = {Abductive forgetting},
journal = {CoRR},
volume = {abs/2209.12825},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.12825},
doi = {10.48550/ARXIV.2209.12825},
eprinttype = {arXiv},
eprint = {2209.12825},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-12825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Liberatore22,
author = {Paolo Liberatore},
title = {Superredundancy: {A} tool for Boolean formula minimization complexity
analysis},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR22-062}},
year = {2022},
url = {https://eccc.weizmann.ac.il/report/2022/062},
eprinttype = {ECCC},
eprint = {TR22-062},
timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/Liberatore22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-02516,
author = {Paolo Liberatore},
title = {Merging with unknown reliability},
journal = {CoRR},
volume = {abs/2101.02516},
year = {2021},
url = {https://arxiv.org/abs/2101.02516},
eprinttype = {arXiv},
eprint = {2101.02516},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-02516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03571,
author = {Paolo Liberatore},
title = {On Mixed Iterated Revisions},
journal = {CoRR},
volume = {abs/2104.03571},
year = {2021},
url = {https://arxiv.org/abs/2104.03571},
eprinttype = {arXiv},
eprint = {2104.03571},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04123,
author = {Paolo Liberatore},
title = {The ghosts of forgotten things: {A} study on size after forgetting},
journal = {CoRR},
volume = {abs/2005.04123},
year = {2020},
url = {https://arxiv.org/abs/2005.04123},
eprinttype = {arXiv},
eprint = {2005.04123},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-11152,
author = {Paolo Liberatore},
title = {Common equivalence and size after forgetting},
journal = {CoRR},
volume = {abs/2006.11152},
year = {2020},
url = {https://arxiv.org/abs/2006.11152},
eprinttype = {arXiv},
eprint = {2006.11152},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-11152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-07497,
author = {Paolo Liberatore},
title = {One head is better than two: a polynomial restriction for propositional
definite Horn forgetting},
journal = {CoRR},
volume = {abs/2009.07497},
year = {2020},
url = {https://arxiv.org/abs/2009.07497},
eprinttype = {arXiv},
eprint = {2009.07497},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-10191,
author = {Paolo Liberatore},
title = {Reconstructing a single-head formula to facilitate logical forgetting},
journal = {CoRR},
volume = {abs/2012.10191},
year = {2020},
url = {https://arxiv.org/abs/2012.10191},
eprinttype = {arXiv},
eprint = {2012.10191},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-10191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Liberatore18,
author = {Paolo Liberatore},
title = {Belief Integration and Source Reliability Assessment},
journal = {J. Artif. Intell. Res.},
volume = {63},
pages = {87--143},
year = {2018},
url = {https://doi.org/10.1613/jair.1.11238},
doi = {10.1613/JAIR.1.11238},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Liberatore18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/FerraraLS16.bib},
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},
year = {2016},
url = {https://doi.org/10.1145/2818645},
doi = {10.1145/2818645},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Liberatore16.bib},
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},
eprinttype = {arXiv},
eprint = {1605.02160},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Liberatore16.bib},
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. Reason.},
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 = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/LiberatoreS15.bib},
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 = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Liberatore15.bib},
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 = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Liberatore14.bib},
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},
eprinttype = {arXiv},
eprint = {1409.5340},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Liberatore14.bib},
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/journals/ia/LiberatoreS13.bib},
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 = {https://ceur-ws.org/Vol-926},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2012dc.bib},
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},
eprinttype = {arXiv},
eprint = {1204.5859},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-5859.bib},
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},
eprinttype = {arXiv},
eprint = {1106.0233},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0233.bib},
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},
eprinttype = {arXiv},
eprint = {1106.4578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4578.bib},
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},
eprinttype = {arXiv},
eprint = {1106.4866},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4866.bib},
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},
eprinttype = {arXiv},
eprint = {1012.3018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-3018.bib},
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/journals/ai/Liberatore08.bib},
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/journals/ai/Liberatore08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Liberatore07,
author = {Paolo Liberatore},
title = {Consistency Defaults},
journal = {Stud 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 = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Liberatore07.bib},
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 = {https://doi.org/10.1145/1182613.1182615},
doi = {10.1145/1182613.1182615},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LiberatoreS07.bib},
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 = {https://doi.org/10.1145/1227839.1227842},
doi = {10.1145/1227839.1227842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Liberatore07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FerraraLS07,
author = {Andrea Ferrara and
Paolo Liberatore and
Marco Schaerf},
editor = {Roberto Basili and
Maria Teresa Pazienza},
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},
series = {Lecture Notes in Computer Science},
volume = {4733},
pages = {48--59},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74782-6\_6},
doi = {10.1007/978-3-540-74782-6\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/FerraraLS07.bib},
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},
eprinttype = {arXiv},
eprint = {0707.3781},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0707-3781.bib},
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},
eprinttype = {arXiv},
eprint = {0708.4170},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0708-4170.bib},
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/journals/ipl/Liberatore06.bib},
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/journals/tc/CadoliDLS06.bib},
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 = {https://doi.org/10.1145/1119439.1119442},
doi = {10.1145/1119439.1119442},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Liberatore06.bib},
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/journals/ai/Liberatore05.bib},
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/journals/dke/LiberatoreS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Liberatore05,
author = {Paolo Liberatore},
title = {Representability in Default Logic},
journal = {Log. J. {IGPL}},
volume = {13},
number = {3},
pages = {335--351},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi028},
doi = {10.1093/JIGPAL/JZI028},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Liberatore05.bib},
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/journals/ijis/Liberatore05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Liberatore05,
author = {Paolo Liberatore},
title = {Seminormalizing a default theory},
journal = {J. Appl. Non Class. 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 = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Liberatore05.bib},
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/journals/jetai/Liberatore05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FerraraLS05,
author = {Andrea Ferrara and
Paolo Liberatore and
Marco Schaerf},
editor = {Stefania Bandini and
Sara Manzoni},
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},
series = {Lecture Notes in Computer Science},
volume = {3673},
pages = {1--12},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11558590\_1},
doi = {10.1007/11558590\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/FerraraLS05.bib},
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},
eprinttype = {arXiv},
eprint = {cs/0503043},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0503043.bib},
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},
eprinttype = {arXiv},
eprint = {cs/0506074},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0506074.bib},
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},
eprinttype = {arXiv},
eprint = {cs/0507048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0507048.bib},
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/journals/aicom/VidalL04.bib},
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. Informaticae},
volume = {62},
number = {3-4},
pages = {377--393},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LiberatoreS04.bib},
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 = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/Liberatore04.bib},
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/journals/logcom/Liberatore04.bib},
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},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
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},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-023.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisLLM04.bib},
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/0403032},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0403032.bib},
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},
doi = {10.48550/ARXIV.CS/0407034},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0407034.bib},
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/0402053},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0402053.bib},
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 = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/LangLM03.bib},
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/journals/ai/LangLM02.bib},
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. Informaticae},
volume = {53},
number = {1},
pages = {79--104},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi53-1-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZhaoL02.bib},
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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CadoliDLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Liberatore02,
author = {Paolo Liberatore},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
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},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-041.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Liberatore02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Liberatore02,
author = {Paolo Liberatore},
editor = {Frank van Harmelen},
title = {The Complexity of Checking Redundancy of {CNF} Propositional Formulae},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {262--266},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Liberatore02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Liberatore02a,
author = {Paolo Liberatore},
editor = {Frank van Harmelen},
title = {Uncontroversial Default Logic},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {526--530},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Tue, 25 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Liberatore02a.bib},
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},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
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},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/DoniniLMS02.bib},
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 = {https://arxiv.org/abs/cs/0210007},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0210007.bib},
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/0211031},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0211031.bib},
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/0212053},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0212053.bib},
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 = {https://arxiv.org/abs/cs/0209032},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0209032.bib},
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 = {Electron. Colloquium Comput. Complex.},
volume = {{TR02-067}},
year = {2002},
url = {https://eccc.weizmann.ac.il/eccc-reports/2002/TR02-067/index.html},
eprinttype = {ECCC},
eprint = {TR02-067},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR02-067.bib},
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 = {https://doi.org/10.1145/504794.504795},
doi = {10.1145/504794.504795},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Liberatore01.bib},
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, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LiberatoreS01.bib},
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/journals/ai/Liberatore00.bib},
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/journals/ai/Liberatore00a.bib},
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 = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CadoliDLS00.bib},
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 = {https://doi.org/10.1145/343369.343391},
doi = {10.1145/343369.343391},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Liberatore00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiberatoreS00,
author = {Paolo Liberatore and
Marco Schaerf},
editor = {Henry A. Kautz and
Bruce W. Porter},
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},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-054.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiberatoreS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LiberatoreD00,
author = {Paolo Liberatore and
Francesco M. Donini},
editor = {Werner Horn},
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},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LiberatoreD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Liberatore00,
author = {Paolo Liberatore},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {A Framework for Belief Update},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {361--375},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_25},
doi = {10.1007/3-540-40006-0\_25},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Liberatore00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiberatoreS00,
author = {Paolo Liberatore and
Marco Schaerf},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
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},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/LiberatoreS00.bib},
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 = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CadoliDLS99.bib},
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 = {Electron. Colloquium Comput. Complex.},
volume = {{TR99-038}},
year = {1999},
url = {https://eccc.weizmann.ac.il/eccc-reports/1999/TR99-038/index.html},
eprinttype = {ECCC},
eprint = {TR99-038},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR99-038.bib},
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/journals/tkde/LiberatoreS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LiberatoreS98,
author = {Paolo Liberatore and
Marco Schaerf},
editor = {Henri Prade},
title = {The Complexity of Model Checking for Propositional Default Logics},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {18--22},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LiberatoreS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Liberatore98,
author = {Paolo Liberatore},
editor = {Henri Prade},
title = {On Non-Conservative Plan Modification},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {518--519},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Liberatore98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Liberatore98,
author = {Paolo Liberatore},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
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},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/Liberatore98.bib},
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/journals/ai/LiberatoreS97.bib},
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/journals/etai/Liberatore97.bib},
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/journals/etai/Liberatore97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Liberatore97,
author = {Paolo Liberatore},
editor = {Foto N. Afrati and
Phokion G. Kolaitis},
title = {The Complexity of Iterated Belief Revision},
booktitle = {Database Theory - {ICDT} '97, 6th International Conference, Delphi,
Greece, January 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1186},
pages = {276--290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62222-5\_51},
doi = {10.1007/3-540-62222-5\_51},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Liberatore97.bib},
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},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/012.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Liberatore97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiberatoreS96,
author = {Paolo Liberatore and
Marco Schaerf},
editor = {William J. Clancey and
Daniel S. Weld},
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},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-083.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiberatoreS96.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 15:27:26 +0200},
biburl = {https://dblp.org/rec/conf/istcs/CadoliDLS96.bib},
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},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
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},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CadoliDLS96.bib},
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},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/070.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiberatoreS95.bib},
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},
editor = {Mihalis Yannakakis and
Serge Abiteboul},
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},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/212433.220205},
doi = {10.1145/212433.220205},
timestamp = {Sat, 24 Oct 2020 16:41:20 +0200},
biburl = {https://dblp.org/rec/conf/pods/CadoliDLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocfai/LiberatoreS95,
author = {Paolo Liberatore and
Marco Schaerf},
editor = {Michel De Glas and
Zdzislaw Pawlak},
title = {Arbitration: {A} Commutative Operator for Belief Revision},
booktitle = {Proceedings of the Second World Conference on the Fundamentals of
Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
pages = {217--228},
publisher = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
year = {1995},
timestamp = {Tue, 30 Jul 2019 08:58:42 +0200},
biburl = {https://dblp.org/rec/conf/wocfai/LiberatoreS95.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.
last updated on 2024-08-25 19:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
