Journals  









@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 logi c}, 	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 }	 
 Conferences  
	 @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