Giuseppe Attardi (attardi)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Attardi, Giuseppe. 1991. “Knowledge Sharing: A Feasible Dream.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 597–598. San Francisco, California: Morgan Kaufmann Publishers.
Attardi, Giuseppe and Simi, Maria. 1991. “Reflections about Reflection.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 22–31. San Francisco, California: Morgan Kaufmann Publishers.
Attardi, Giuseppe and Simi, Maria. 1994a. “Building Proofs in Context.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 410–424. Berlin: Springer.
Attardi, Giuseppe and Simi, Maria. 1994b. “Proofs in Context.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 16–26. San Francisco, California: Morgan Kaufmann Publishers.