Short CV
Honors and Awards
Invited talks
Professional activities
Important Links
Most relevant previous research work

Most relevant previous research work

""I started the development (with co-authors) a methodology for Agent Oriented Software Engineering (see publication list), called Tropos. The first paper on this topis is:

• A. Perini, F. Giunchiglia, J. Mylopoulos, P. Bresciani, P. Giorgini, "A Knowledge Level Software Engineering Methodology for Agent Oriented Programming", in Proceedings of the Fifth International Conference on Autonomous Agents - (Agents 2001)
(abstract, ps)

For more, see the site on Tropos

""I developed a specification formalism and a practical approach, called Open Mechanized Reasoning Systems (OMRS), for the integration of very diverse reasoning systems. The most relevant paper on this topis is:

• F. Giunchiglia, P. Pecchiari, C. Talcott, " Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems". Journal of Automated Reasoning, 26:291-331, Kluwer, 2001.
(abstract , ps)

""I came up with the idea that planning could be seen as reasoning in an appropriate (Kripke) model and implemented using BDD model chcking technology. The paper surveying this approach is (this idea was taken up and substantially developed by various colleagues of mine, most noticeably Paolo Traverso and Alessandro Cimatti - you may want to give a look at their publications:

• F. Giunchiglia, P. Traverso, "Planning as Model Checking", invited talk. In Proceedings ECP'99, Fifth European Conference on Planning, Durham, UK, September 1999.
(abstract, ps)
This paper provides an introduction to the theory underlying the planning as model checking paradigm.

""I showed how SAT decision procedures could be very efficiently used for reasoning in propositional modal logics. I also came up with a statistical method for testing the efficiency of modal logics decision procedures. The maybe most influential paper on this topic (but various others followed) is:

• E. Giunchiglia, F. Giunchiglia, R. Sebastiani and A. Tacchella, "More evaluation of decision procedures for modal logics", in A.G. Cohn, L. Schubert and S.C. Shapiro Proceedings KR'98, Sixth International Conference on Principles of Knowledge Representation and Reasoning, pages 626-635, Morgan Kaufmann, 1998

""I provided a foundation to metatheoretic reasoning. The most relevant papers in this area are:

• G. Criscuolo, F. Giunchiglia and L. Serafini, "A Foundation for Metareasoning, Part I: The proof theory", Journal of Logic and Computation, vol 12, number 1 (February 2002).
(abstract, ps)
• G. Criscuolo, F. Giunchiglia and L. Serafini, "A Foundation for Metareasoning, Part II: The model theory", Journal of Logic and Computation, vol 12, number 3 (June 2002).
(abstract, ps)

""I provided a theory of contexts and contextual reasoning. The most relevant papers in this area are:

• F. Giunchiglia: "Contextual reasoning", Epistemologia - Special Issue on "I Linguaggi e le Macchine", XVI:345-364, 1993.
(abstract, ps)
This paper provides the main intuitions underlying the use of contexts in reasoning.
• F. Giunchiglia, L. Serafini: "Multilanguage Hierarchical Logics (or: How we can do without modal logics)", Artificial Intelligence, 65:29-70, 1994.
(abstract, ps)
This paper provides (a first part of) the proof theory of reasoning with contexts and shows how very special kinds of multicontext systems (also called Multilanguage systems) can be proved equivalent to the various modal logics.
• F. Giunchiglia and C. Ghidini: "Local Model Semantics, or Contextual Reasoning = Locality + Compatibility", Artificial Intelligence, 127(2):221-259, 2001.
(abstract, ps)
This paper introduces a new semantic framework, called Local Models Semantics, and shows how it formalizes the two main principles underlying reasoning with contexts. This paper gives also various correctness and completeness results with the proof theoretic systems introduced in the previous papers.
• F. Giunchiglia and P. Bouquet,"Introduction to Contextual Reasoning, an Artificial Intelligence Perspective", in B. Kokinov Perspectives on Cognitive Science, pages 138-159, New Bulgarian University, 1997.
(abstract, ps)
Though largely incomplete and preliminary, this paper is a first attempt at relating my work with that done in the philosophy of language and cognitive science literature.

For more, see the site on Context Logics

""I defined a theory of abstract reasoning which captured and formalized the previous work in abstraction in Artificial Intelligence. The most relevant paper in this area is:

• F. Giunchiglia and T. Walsh, "A Theory of Abstraction", Artificial Intelligence, 56(2-3):323-390, October 1992
(abstract, ps)


Fausto Giunchiglia web site © 2007