Gianni Amati (amati-gian)

Contributions to Philosophie.ch

Bibliography

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.