Indietro

Pubblicazioni di Maria Simi

    2016

    2015

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    2006

    2005

    • Bertagna F., Chiran L., Simi M. Ilc-unipi Italian Qa, Springer Berlin / Heidelberg, Vol. 3491 Proceedings of the 5th conference on Cross-Language Evaluation Forum: multilingual Information Access for Text, Speech and Images.

    2004

    2003

    2002

    2001

    2000

    1999

    1998

    1997

    1995

    1994

    • Attardi G., Simi M. Building Proofs In Context, Springer Verlag, Vol. Band 883 Logic Program Synthesis and Transformation. Meta-Programming in Logic 4th International Workshops, LOPSTR '94 and META '94.
    • Attardi G., Simi M. Proofs In Context, Morgan Kaufmann, Vol. 1 Principles of Knowledge Rpresentation and Reasoning, Proceedings of the Fourth International Conference (KR '94).

    1991

    • Attardi G., Simi M. Reflections About Reflection, Morgan Kaufmann, Vol. 1 Principles of Knowledge Representation and Reasoning. Proceedings of the Second International Conference.
    • Simi M. Viewpoints Subsume Beliefs, Truth And Situations, Lecture Notes In Artificial Intelligence, Springer Verlag, Vol. 549 Trends in Artificial Intelligence.2nd Congress of the Italian Association for Artificial Intelligence.

    1988

    1987

    1986

    Fonte IRIS - Ultimo aggiornamento 13-03-2017 18:10:08