Fiora Pirri (pirri)

Beiträge zu Philosophie.ch

Bibliography

Amati, Giambattista, Carlucci-Aiello, Luigi and Pirri, Fiora. 1997. “Intuitionistic Autoepistemic Logic.” Studia Logica: An International Journal for Symbolic Logic 59(1): 103–120.
Amati, Gianni, Aiello, Luigia Carlucci, Gabbay, Dov M. and Pirri, Fiora. 1996. “A Proof-Theoretical Approach to Default Reasoning I: Tableaux for Default Logic.” Journal of Logic, Language, and Information 5(2): 205–231.
Amati, Gianni, Aiello, Luigia Carlucci and Pirri, Fiora. 1995. “Defaults as Restrictions on Classical Hilbert-Style Proofs.” Journal of Logic, Language, and Information 4(3): 303–326.
Amati, Gianni, Aiello, Luigia Carlucci and Pirri, Fiora. 1997. “Definability and Commonsense Reasoning.” Artificial Intelligence 93(1–2): 169–199.
Amati, Gianni and Pirri, Fiora. 1997. “Contexts as Relative Definitions: A Formalization Via Fixed Points.” in, pp. 7–14.
Amati, Giuseppe and Pirri, Fiora. 1996. “Is there a Logic of Provability for Nonmonotonic Reasoning?” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 493–503. San Francisco, California: Morgan Kaufmann Publishers.
Gabbay, Dov M. and Pirri, Fiora. 1997. “Introduction.” Studia Logica: An International Journal for Symbolic Logic 59(1): 1–4.
Palopoli, Luigi, Pirri, Fiora and Pizzuti, Clara. 1999. “Algorithms for Selective Enumeration of Prime Implicants.” Artificial Intelligence 111(1–2): 41–72.
Pirri, Fiora and Finzi, Alberto. 1999. “A Preliminary Approach to Perception in Theory of Agents.” in IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change, edited by Michael Thielscher, pp. 49–56. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Pirri, Fiora and Reiter, Raymond. 2000. “Planning with Natural Actions in the Situation Calculus.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 213–231. Dordrecht: Kluwer Academic Publishers.