Luigia Carlucci Aiello (aiello-lc)

Contributions to Philosophie.ch

Bibliography

Aiello, Luigia Carlucci, ed. 1990. ECAI-90. Proceedings of the Ninth European Conference on Artificial Intelligence. London: Pitman.
Aiello, Luigia Carlucci, Doyle, Jon and Shapiro, Stuart C., eds. 1996. KR’96: Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
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.