Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/giunchiglia-f

Fausto Giunchiglia (giunchiglia-f)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Bertoli, P. G., Calmet, Jacques, Giunchiglia, Fausto and Homann, Karl. 1998. “Specification and Integration of Theorem Provers and Computer Algebra Systems.” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 94–106. Berlin: Springer.
    Blackburn, Patrick, Giunchiglia, Fausto, Ghidini, Chiara and Turner, Roy M., eds. 2003. CONTEXT’03. Modeling and Using Context: Proceedings of the Fourth International and Interdisciplinary Conference. Lecture Notes in Computer Science n. 2680. Berlin: Springer.
    Bouquet, Paolo and Giunchiglia, Fausto. 1995. “Reasoning about Theory Adequacy. A New Solution to the Qualification Problem.” Fundamenta Informaticae 23(2–4): 247–262. Also IRST-Technical Report 9406-13, IRST, Trento, Italy.
    Bundy, Alan, Giunchiglia, Fausto, Sebastiani, Roberto and Walsh, Toby. 1996. “Calculating Criticalities.” Artificial Intelligence 88(1–2): 39–67.
    Cimatti, Alessandro, Giunchiglia, Enrico, Giunchiglia, Fausto and Traverso, Paolo. 1997. “Planning via Model Checking: A Decision Procedure for AR.” 9705–02. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
    Cohn, Anthony G., Giunchiglia, Fausto and Selman, Bart, eds. 2000. KR’00: Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
    Criscuolo, Giovanni, Giunchiglia, Fausto and Serafini, Luciano. 1994. “A Foundation of Metalogical Reasoning.” 9403-02. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
    Fensel, Dieter, Giunchiglia, Fausto, McGuinness, Deborah L. and Williams, Mary-Anne, eds. 2002. KR’02: Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
    Ghidini, Chiara and Giunchiglia, Fausto. 2001. “Local Models Semantics, or Contextual Reasoning \(=\) Locality \(+\) Compatibility.” Artificial Intelligence 127(2): 221–259. Republication of Giunchiglia, F. and Ghidini (1998).
    Giunchiglia, Enrico, Giunchiglia, Fausto, Sebastiani, Roberto and Tacchella, Armando. 1998. “More Evaluation of Decision Procedures for Modal Logics.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 626–635. San Francisco, California: Morgan Kaufmann Publishers.
    Giunchiglia, Fausto. 1993. “Contextual Reasoning.” Epistemologia. An International Review for the Philosophy of Science 16: 345–364. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.
    Giunchiglia, Fausto. 1994a. “Planning with Failure.” 9401–02. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
    Giunchiglia, Fausto. 1994b. “Reasoning about Theory Adequacy: A New Solution to the Qualification Problem.” 9406–13. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
    Giunchiglia, Fausto. 1995a. “An Epistemological Science of Commonsense.” 9503–09. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST). Review of Lifschitz (1990).
    Giunchiglia, Fausto. 1995b. “Review of Lifschitz (1990).” Artificial Intelligence 77(2): 371–392.
    Giunchiglia, Fausto and Bouquet, Paolo. 1997. “Introduction to Contextual Reasoning. An Artificial Intelligence Perspective.” in Perspectives on Cognitive Science, edited by Boicho Kokinov. Sofia: NBU Press. Lecture Notes of a course on “Contextual Reasoning” of the European Summer School on Cognitive Science, Sofia, 1996.
    Giunchiglia, Fausto and Cimatti, Alessandro. 1994. “Introspective Metatheoretic Reasoning.” 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. 425–439. Berlin: Springer.
    Giunchiglia, Fausto and Ghidini, Chiara. 1997. “Local Models Semantics.” in, pp. 58–64.
    Giunchiglia, Fausto and Ghidini, Chiara. 1998. “Local Models Semantics, or Contextual Reasoning \(=\) Locality \(+\) Compatibility.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 282–289. San Francisco, California: Morgan Kaufmann Publishers. Also IRST-Technical Report 9701-07, IRST, Trento, Italy; journal publication: Ghidini and Giunchiglia (2001).
    Giunchiglia, Fausto and Ghidini, Chiara. 2000. “A Local Models Semantics for Propositional Attitudes.” in Formal Aspects of Context, edited by Pierre E. Bonzon, Marcos Cavalcanti, and Rolf T. Nossum, pp. 161–174. Dordrecht: Kluwer Academic Publishers.
    Giunchiglia, Fausto, Giunchiglia, Enrico, Costello, Tom and Bouquet, Paolo. 1992. “Dealing with Expected and Unexpected Obstacles.” 9211–06. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
    Giunchiglia, Fausto, Giunchiglia, Enrico, Costello, Tom and Bouquet, Paolo. 1996. “Dealing with Expected and Unexpected Obstacles.” Journal of Experimental and Theoretical Artificial Intelligence 8. Also IRST-Technical Report 9211-06, IRST, Trento, Italy.
    Giunchiglia, Fausto and Sebastiani, Roberto. 1996. “A SAT-Based Decision Procedure for ALC.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 304–314. San Francisco, California: Morgan Kaufmann Publishers.
    Giunchiglia, Fausto and Serafini, Luciano. 1991. “Multilanguage Hierarchical Logics.” 9110–07. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
    Giunchiglia, Fausto and Serafini, Luciano. 1993. “On the Proof Theory of Hierarchical Meta-Logics.” 9301–07. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST).
    Giunchiglia, Fausto and Serafini, Luciano. 1994. “Multilanguage Hierarchical Logics, or: How to Do without Modal Logics.” Artificial Intelligence 65(1): 29–70. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
    Giunchiglia, Fausto, Serafini, Luciano, Giunchiglia, Enrico and Frixione, Marcello. 1993. “Non-Omniscient Belief as Context-Based Reasoning.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 548–554. San Francisco, California: Morgan Kaufmann Publishers.
    Giunchiglia, Fausto and Spalazzi, Luca. 1999. “Review of Yang (1997).” Artificial Intelligence 111(1–2): 329–338.
    Giunchiglia, Fausto and Traverso, Paolo. 1996. “A Metatheory of Mechanized Object Theory.” Artificial Intelligence 80(2): 197–241.
    Giunchiglia, Fausto and Walsh, Toby. 1992. “A Theory of Abstraction.” Artificial Intelligence 57(2–3): 323–389.
    Giunchiglia, Fausto and Weyhrauch, Richard W. 1991. “A Multi-Context Monotonic Axiomatization of Inessential Nonmonotonicity.” mrg-dist 9105–02. Trento: Dipartimento Informatica Sistematica Telematica, Università di Genova, Facultà di Ingegneria.
    Serafini, Luciano and Giunchiglia, Fausto. 2002. “ML Systems: A Proof Theory for Contexts.” Journal of Logic, Language, and Information 11(4): 471–518.
    Serafini, Luciano, Giunchiglia, Fausto, Mylopoulos, John and Bernstein, Philip A. 2003. “Local Relational Model: A LogicalFormalization of Database Coordination.” in CONTEXT’03. Modeling and Using Context: Proceedings of the Fourth International and Interdisciplinary Conference, edited by Patrick Blackburn, Fausto Giunchiglia, Chiara Ghidini, and Roy M. Turner, pp. 286–299. Lecture Notes in Computer Science n. 2680. Berlin: Springer.

Further References

    Lifschitz, Vladimir, ed. 1990. Formalizing Common Sense: Papers by John McCarthy. Norwood, New Jersey: Ablex Publishing Co.
    Yang, Quiang. 1997. Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Berlin: Springer.