Diese Seite auf DeutschQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/serafini-l

Luciano Serafini (serafini-l)

Contributions à Philosophie.ch

No contributions yet

Bibliography

    Bouquet, Paolo, Magnini, Bernardo, Serafini, Luciano and Zanobini, Stefano. 2003. “A SAT-Based Algorithm for Context Matching.” 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. 66–79. Lecture Notes in Computer Science n. 2680. Berlin: Springer.
    Bouquet, Paolo and Serafini, Luciano. 2001. “Two Formalizations of Context: A Comparison.” in CONTEXT’01. Modeling and Using Context: Proceedings of the Third International and Interdisciplinary Conference, edited by Varol Akman, Paolo Bouquet, Richmond H. Thomason, and Roger A. Young, pp. 87–101. Lecture Notes in Computer Science n. 2116. Berlin: Springer.
    Bouquet, Paolo and Serafini, Luciano. 2003. “On the Difference between Bridge Rules and Lifting Axioms.” 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. 80–93. Lecture Notes in Computer Science n. 2680. Berlin: Springer.
    Cimatti, Alessandro and Serafini, Luciano. 1993. “Multiagent Reasoning with Belief Contexts: The Approach and a Case Study.” 9312–01. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST). Republished as Cimatti and Serafini (1995).
    Cimatti, Alessandro and Serafini, Luciano. 1994. “Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance.” 9412–09. Trento: Istituto per la Ricerca Scientifica e Technoligica (IRST). Republished as Cimatti and Serafini (1996).
    Cimatti, Alessandro and Serafini, Luciano. 1995. “Multiagent Reasoning with Belief Contexts: The Approach and a Case Study.” in ATAL-94. Intelligent Agents: Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, edited by Michael J. Wooldridge and Nicholas R. Jennings, pp. 71–85. Lecture Notes in Computer Science. Berlin: Springer.
    Cimatti, Alessandro and Serafini, Luciano. 1996. “Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance.” Also IRST-Technical Report 9412-09, IRST, Trento, Italy. Commonsense -96 Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
    Cimatti, Alessandro and Serafini, Luciano. 2000. “A Context-Based Mechanization of Multi-Agent Reasoning.” in Formal Aspects of Context, edited by Pierre E. Bonzon, Marcos Cavalcanti, and Rolf T. Nossum, pp. 65–83. Dordrecht: Kluwer Academic 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).
    Ghidini, Chiara and Serafini, Luciano. 1996. “Distributed First Order Logics.” in Frontiers of Combining Systems, volume I, edited by Franz Baader and Klaus Ulrich Schulz. vol. I. Dordrecht: Kluwer Academic Publishers. Also IRST-Technical Report 9709-02, IRST, Trento, Italy.
    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.
    Serafini, Luciano and Doná, Antonia. 2002. “Updating Contexts.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 251–262. San Francisco, California: Morgan Kaufmann Publishers.
    Serafini, Luciano and Ghidini, Chiara. 1997a. “Context Based Semantics for Federated Databases.” in CONTEXT’97. Modeling and Using Contexts: Proceedings of the First International and Interdisciplinary Conference, edited by Patrick Brézillon, pp. 33–45. Berlin: Springer. Also IRST-Technical Report 9609-02, IRST, Trento, Italy.
    Serafini, Luciano and Ghidini, Chiara. 1997b. “Context Based Semantics for Information Integration.” in, pp. 152–160. Reprinted in Bonzon, Cavalcanti and Nossum (2000, 175–192).
    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

    Bonzon, Pierre E., Cavalcanti, Marcos and Nossum, Rolf T., eds. 2000. Formal Aspects of Context. Dordrecht: Kluwer Academic Publishers.