Check for available options on the right hand side to narrow down or expand the list.
Show all in one page (slower)F. Giunchiglia
: ETS, 1994, p. 777-785. Atti di: Logica e filosofia della scienza: problemi e prospettive, Lucca, 7-10 gennaio 1993
F. Giunchiglia, A. Cimatti
in Logic Program Synthesis and Transformation, Meta-Programming in Logic: Proceedings, Berlin: Springer, 1994, p. 425-439 -(Lecture Notes in Computer Science). - ISBN: 3-540-58792-6. Atti di: 4th International Workshops on Logic Programming Synthesis and Transformation (LOPSTR'94) and Metaprogramming in Logic (META'94), Pisa, 20-21 June 1994
F. Giunchiglia, L. Serafini
in ARTIFICIAL INTELLIGENCE, v. 1, (1994), p. 29-70
F. Giunchiglia, L. Spalazzi, P. Traverso
: AAAI, 1994, p. 74-79. Atti di: 2nd international conference on artificial intelligence planning systems (AIPS'94), Chicago, Ill., 13 -15 June 1994
F. Giunchiglia, P. Traverso
: Clarendon Press, 1994, p. 119-134. Atti di: International conference on artificial intelligence in mathematics, Oxford, April 1991
F. Giunchiglia, P. Traverso
: Springer, 1994, p. 16-30. Atti di: 5th international conference on logic programming and automated reasoning (LPAR'94), Kiev, 16-22 July 1994
P. Bouquet
1994. Atti di: 4. convegno AI*IA su aspetti epistemologici e gnoseologici dell'Intelligenza Artificiale, Parma, 26-28 settembre 1994
R. Sebastiani, M. Di Manzo, F. Giunchiglia
in Proceedings of the Workshop on Theory Reformulation and Abstraction, Berlino: Springer, 1994, p. 39-55. Atti di: Workshop on theory reformulation and abstraction, Jackson Hole, Wyo., 22-24 May 1994
E. Giunchiglia, P. Traverso, F. Giunchiglia
in Formal Specification of Complex Reasoning Systems, Chichester ; New York, N.Y.: Horwood, 1993, p. 43-68 -(Ellis Horwood Workshops). - ISBN: 133367851. Atti di: International Workshop on Formal Specification Methods for Complex Reasoning Systems, Wien, 3 August 1992
F. Giunchiglia
in Using knowledge in its context : workshop, Paris: Institut Blaise Pascal, 1993, p. 39-49. Atti di: Workshop on Using Knowledge in its Context, Chambery, Francia, 29 August - 3 September 1993