Luigi Palopoli and Fiora Pirri and Clara Pizzuti.
"Algorithms for Selective Enumeration of Prime Implicants",
Artificial Intelligence Journal, Vol. 111 (2), pp. 41-72, Elsevier, 1999.
Marta Cialdea and Fiora Pirri.
"Abduction is not deduction-in-reverse",
Journal of the IGPL, Vol. 4(1), pp. 95-109, 1996.
Marta Cialdea and Fiora Pirri.
"A Study on the logic of Abduction".
In
Proceedings of the
12th European
Conference on
Artificial
Intelligence, ECAI-96,
pp. 18- 26, Budapest,
August 1996, W. Wahlster (Editor),
John Wiley, 1996.
Marta Cialdea and Fiora Pirri.
"Modal Propositional Abduction",
Journal of the IGPL, Vol. 3(6), pp. 99-117, OUP, 1995.
Bruno Errico, Fiora Pirri and Clara Pizzuti.
"Finding Prime Implicants by Minimizing Integer Programming Problems",
In Proceedings of the Eigth Australian Joint Conference on Artificial Intelligence (AI-95), pp. 49-56, Canberra 1995.
Fiora Pirri and Clara Pizzuti.
"Explaining Incompabilities in Data Dictionary Design Through Abduction",
Data and Knowledge Engineering, Vol. 13, pp. 101-139, Elsevier, 1994.
Marta Cialdea and Fiora Pirri.
"Propositional Abduction in Modal Logic".
In Proceedings of the Third Workshop on Theorem Proving, Analytic Tableaux and related methods, Abingdon, England,1994.
Marta Cialdea, Fiora Pirri and Clara Pizzuti.
"Natural properties of abductive hypotheses in three-valued logic".
In 10-th International Conference on Logic Programming, Post-Conference Workshop on Abductive Reasoning, Budapest, Hungary, 1993.
Marta Cialdea and Fiora Pirri.
"First order abduction via tableau and sequent calculi",
Journal of the IGPL, Vol. 1(1), pp. 99-117, OUP, 1993.
Fiora Pirri and Clara Pizzut.
"Characterizing prime implicants as projective spaces”.
In Advances in Artificial Intelligence, pp. 41-46,
Springer (LNAI) 728, 1993.
Fiora Pirri and Clara Pizzuti.
"Using datalog as a language for data dictionary design: a deductive support".
In Proceedings of 5-th International Conference on Software Engineering (SEKE'93), pp. 304-309, Knowlwdge System Institute, 1993.
Fiora Pirri and Clara Pizzuti.
"Data Dictionary Design: a logic programming approach".
In Proceedings of the 11-th International Conference on the Entity-Relationship Approach (ER-92), pp. 210-226, Springer(LNAI), Berlin,1992.
Fiora Pirri and Clara Pizzuti.
"Querying incomplete knowledge bases with abduction".
In Proceedings of DEXA'91, pp. 400-405, Springer, 1991.
Fiora Pirri and Clara Pizzuti.
"A stable model semantics for diagnostic hypoteses",
In Proceedings of Pacific Rim Conference of Artificial Intelligence(PRICAI 90), pp. 766-771,
OHMSHA, LTD, 1990.
Fiora Pirri and Clara Pizzuti.
"A stable model semantics for set covering theory",
In Proceedings of 3rd International Symposium on Artificial Intelligence, pp. 111-116,
IBM, 1990.
Fiora Pirri.
“Modeling a multiple Inheritance Lattice with Exceptions”.
In Proceedings of the Workshop on Inheritance Hierarchies in Knowledge Representation and Programming Languages, pp. 91-106. 1989.
Fiora Pirri
"Abduction", th
ése de doctorat, Paris VI, 1995.