Common sense reasoning, non monotonic reasoning and automated reasoning
Marta Cialdea Mayer and Fiora Pirri (Editors)
Proceedings of Tableaux 2003. Springer, LNCS, Berlin 2003.
Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri.
"Default Logic and purity of reasoning".
In Logical Foundations of Cognitive Agents, Springer, 1999.
Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri.
"Logics for Nonmonotonic reasoning".
In Proceedings of the Workshop on Partial Knowledge and Uncertainty in Complex Systems.
pp. 9-12, Edizioni Kappa, 1996.
Gianni Amati and Fiora Pirri.
"Contexts as relativized definition: a formalization via fixed points",
In Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, 1997 Stanford, 1997
(Anche in Fourth Symposium on Logical Formalizations of Commonsense Reasoning, pp.114-125, 1998)
Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri.
"Modal non monotonic reasoning via boxed fixed points"
In Proceedings of the 6th International Workshop on nonmonotonic reasoning, Oregon, USA, 1996.
Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri.
"Intuitionistic Autoepistemic Logic",
Studia Logica, Vol. 59(1), pp. 103-120, Kluwer, 1997.
Dov Gabbay and Fiora Pirri.
Studia Logica, Vol. 59(1), pp.2-4, Kluwer, 1997.
Dov Gabbay and Fiora Pirri.
Studia Logica, Vol. 59(2), pp.2-4, Kluwer, 1997.
Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri.
"Definability and Commonsense Reasoning".
Artificial Intelligence Journal, Vol. 93(2), pp. 169-199, 1997.
Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri.
"Default Logic as a Formalism for Understanding Commonsense reasoning",
Mathware & Soft Computing, Vol. 3, pp. 33-46, 1996.
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay and Fiora Pirri.
"Provability Logic for Default Reasoning",
Bulletin of Symbolic Logic, Vol. 3, pp.110-111. 1996.
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay and Fiora Pirri.
"A Proof Theoretical approach to default reasoning Tableaux for default logic",
Journal of Logic and Computation, Vol. 6 (2), pp. 205-231, Oxford University Press, 1996.
Gianni Amati and Fiora Pirri.
"Is there a Logic of provability for nonmonotonic reasoning ?".
In Proceedings of the 5-th International Conference on Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, pp.493-505, 1996.
Gianni Amati, Luigia Carlucci Aiello, Dov Gabbay and Fiora Pirri.
"A structural property on modal frames characterizing default logic",
Journal of the IGPL, Vol 4(1), pp. 1-25, 1995.
Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri.
"Defaults as Restrictions on classical Hilbert-style",
Journal of Logic Language and Information, Vol. 3, pp. 303-326, Kluwer, 1995.
Gianni Amati and Fiora Pirri.
"A uniform tableau method for intuitionistic modal logic 1",
Studia Logica, Vol. 53(1), pp. 29-60, Kluwer, 1994.
Luigia Carlucci Aiello, Gianni Amati and Fiora Pirri.
"Institutionistic Modal Calculus for Autoepistemic Logic".
In Proceedings of the 1st World Conference on the Fundamentals of AI (WOCFAI).
pp. 3-16, Michel DeGlas and Dov Gabbay, 1991.
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, Marco Schaerf.
"Non-Monotonic Reasoning",
Artificial Intelligence Review, Vol. 4, pp. 163-210, 1990.
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri, Marco Schaerf.
"Ragionamento Non-Monotono".
Rivista di Informatica, vol XXI, n. 1, pp. 5-42. 1991. (Traduzione di [J1]).
Luigia Carlucci Aiello, Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Fiora Pirri,
Marco Schaerf.
"Survey on Non-Monotonic Reasoning".
In Intelligent Systems: State of the Art and Future Directions, pp. 120-151, Elsevier, 1990
Luigia Carlucci Aiello, Francesco M Donini, Fiora Pirri and Marco Schaerf.
"Can We Believe Our Beliefs ? (Towards a Unified Theory of Knowledge and Belief)",
In Proceedings of ISMIS-90, pp. 368-375, 1990.
Marco Cadoli, Maurizio Lenzerini, Daniele Nardi and Fiora Pirri.
"Circumscription and nonmonotonic inheritance".
In Proceedings of Pacific Rim Conference of Artificial Intelligence(PRICAI 90), pp. 760-765,
OHMSHA, LTD, 1990.