Maria Simi (simi-m)

Contributi a Philosophie.ch

Bibliography

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.
Attardi, Giuseppe and Simi, Maria. 1995a. “A Formalisation of Viewpoints.” Fundamenta Informaticae 23(2–4): 149–174.
Attardi, Giuseppe and Simi, Maria. 1995b. “Beppo Had a Dream.” in, pp. 9–22.
Attardi, Giuseppe and Simi, Maria. 1998. “Communication across Viewpoints.” Journal of Logic, Language, and Information 7(1): 53–75.
Lenzerini, Maurizio, Nardi, Daniele and Simi, Maria. 1991. Inheritance Hierarchies in Knowledge Representation and Programming Languages. Hoboken, New Jersey: John Wiley; Sons, Inc.