@article{cial-pirr-93,
author= { Cialdea Mayer, M. and Pirri, F.},
title= {First order abduction via tableau and sequent calculi},
journal = "Journal of the IGPL",
volume = 1,
pages = {99--117},
year= 1993,
http = {IJPL}
}
@article{pirr-pizz-93,
author={ Pirri, F. and Pizzuti, C.},
title={Explaining Incompatibilities in Data Dictionary Design through Abduction},
journal= "Data and Knowledge Engineering",
volume = 13,
pages = {101--139},
year ={1994}
ftp = {gzipped file},
http={Data and Knowledge Engineering}
}
@article{amat-pirr-94,
author={Amati, G. and Pirri, F.},
title={ A uniform tableau method for intuitionistic modal logics {I}},
journal = { Studia Logica},
number = 53,
pages = {29 -- 60},
year = 1994,
ftp = {gzipped file}
}
@article{cial-pirr-95,
author= { Cialdea Mayer, M. and Pirri, F.},
title= {Modal propositional abduction},
journal = "Journal of the IGPL",
volume = 3,
Number = 6,
pages = {99--117},
year= 1995,
notes = {also in {Proceedings of the 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods}},
pages = {153--168}, YEAR = {1994}},
ftp = {gzipped file},
http = {IJPL}
}
@article{amat-carl-pirr-95a,
author={Amati, G. and {Carlucci Aiello}, L. and Pirri, F.},
title={Default as restrictions on classical {H}ilbert-style proofs},
journal = {Journal of {L}ogic {L}anguage and {I}nformation},
pages={303--326},
year=1995,
volume=3,
number = 4,
ftp = {gzipped file}
http = {Journal of Logic Language and Information}
}
@article{amat-carl-pirr-95b,
author={Amati, G. and {Carlucci Aiello}, L. and Gabbay, D. and Pirri, F.},
title={A proof theoretical approach to default reasoning {I}. {T}ableaux for Default logic},
journal = {Journal of {L}ogic and {C}omputation},
year=1996,
volume=6,
number = 2,
pages = {205--231},
ftp ={gzipped file}
}
@article{cial-pirr-96a,
author = {M. Cialdea Mayer and F.Pirri},
title={Abduction is not Deduction-in-Reverse},
journal = {{J}ournal of the {IGPL} },
volume = 4,
number = 1,
pages = {86--104},
year= 1996,
ftp = {gzipped file},
http = {IJPL}}
@article{amat-carl-gabb-pirr-96,
author={Amati, G. and {Carlucci Aiello}, L. and Gabbay, D. and Pirri, F.},
title={A structural property on modal frames characterizing Default logic},
journal = "Journal of IGPL",
volume = 4,
number = 1,
year=1996,
pages = {1--24},
ftp = {gzipped file},
http = {IJPL}
}
@article{amat-carl-pirr-96a,
author={Amati, G. and {Carlucci Aiello}, L. and Pirri, F.},
title={Default Logic as a formalisms for understanding Commonsense reasoning},
journal = "Mathware \& Soft Computing",
Volume = 3,
year = 1996,
pages = {33--46}},
ftp = {gzipped file}
}
@article{amat-carl-pirr-96b,
author={Amati, G. and {Carlucci Aiello}, L. and Pirri, F.},
title={Intuitionistic Autoepistemic Logic},
journal = "Studia Logica",
year = 1997,
volume = 59,
ftp = {gzipped file}
}
@article{amat-carl-pirr-96c,
author={Amati, G. and {Carlucci Aiello}, L. and Pirri, F.},
title={ Definability and commonsense reasoning},
journal = "Artificial Intelligence Journal",
year=1997,
volume = 93,
note = { A draft version appeared in {Third Symposium on Logical Formalization of Commonsense Reasoning, Stanford, USA}},
ftp = {gzipped file}
http = {Artificial Intelligence Journal}
@inproceedings{pirr-pizz-92, AUTHOR = { Pirri, F. and Pizzuti, C.}, TITLE = {Data dictionary design: a logic programming approach}, YEAR = 1992, BOOKTITLE = " Entity-Relationship Approach-ER '92", publisher={Springer (LNCS), 645}, PAGES = {210--225}} @INPROCEEDINGS{pirr-pizz-93, author={ Pirri, F. and Pizzuti, C.}, Title={Characterizing prime imlicants as projective spaces}, BOOKTITLE = {Advances in Artificial Intelligence}, pages = {41--46}, PUBLISHER = {Springer {LNAI} 728}, YEAR = {1993}} @inproceedings{cial-pirr-93, AUTHOR = {Cialdea Mayer, M. and Pirri, F. and Pizzuti, C.}, TITLE = {Natural properties of abductive hypotheses in three-valued logic}, YEAR = 1993, BOOKTITLE = "10-th International Conference on Logic Programming, Post-Conference Workshop on Abductive Reasoning, Budapest, Hungary", PAGES = {}, ftp = {gzipped file}} @techreport{amat-carl-gabb-pirr-94, author={Amati, G. and {Carlucci Aiello}, L. and Gabbay, D. and Pirri, F.}, title={Provability Logic for default reasoning}, institution={Universita' di Roma {"La Sapienza"}}, number = "Rap. 29.94", note = {Paper presented at the {Logic Colloquium, Haifa, 1995}}, year=1994, ftp = {gzipped file}} @INPROCEEDINGS{erri-pirr-pizz-95, author={Errico, B., Pirri, F. and Pizzuti, C.}, Title ={Finding prime implicants by minimizing integer programming problems}, BOOKTITLE = {Eight Australian Joint conference on {ARTIFICIAL INTELLIGENCE}}, pages = {355-362}, YEAR = {1995}, ftp = {gzipped file}} @inproceedings{amat-carl-pirr-96c, author={Amati, G. and {Carlucci Aiello}, L. and Pirri, F.}, title={ Modal non monotonic reasoning via boxed fixed points}, note ={6th International Workshop on nonmonotonic reasoning, Oregon, USA}, year=199, ftp = {gzipped file} } @inproceedings{amat-pirr-96, author = {Amati, G. and Pirri, F.}, title = {Is there a Logic of provability for nonmonotonic reasoning?}, booktitle = {Proc.\ 5th International Conf.\ on Principles of Knowledge Representation and Reasoning (KR-96)}, year = 1996, month = nov, pages = {---}, address = {Boston}, ftp = {gzipped file} } @INPROCEEDINGS{cial-pirr-96b, author={ Cialdea, M. and Pirri}, Title ={A Study on the logic of Abduction}, BOOKTITLE = {Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96)}, pages = {18--26}, YEAR = {1996}, ftp = {gzipped file}, http = {ECAI96} } Last updated July 97 - Fiora Pirri