You are here

older than 2000

1999

  1. Chiara Ghidini; Luciano Serafini,
    A Context-based Logic for Distribution Knowledge Representation and Reasoning,
    Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Springer,
    vol.1688,
    1999
    , pp. 159-
    172
    , (Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Trento, Italy,
    09/1999)

1998

  1. Chiara Ghidini; Luciano Serafini,
    Model Theoretic Semantics for Information Integration,
    8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
    Springer,
    vol.1480,
    1998
    , pp. 267-
    280
    , (8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
    Sozopol, Bulgaria,
    21/09/1998 - 23/09/1998)
  2. Massimo Benerecetti; Fausto Giunchiglia; Luciano Serafini,
    1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
    1998
    , (1998 European Workshop on Validation and Verification of Knowledge-Based Systems [KR`98],
    Trento, Italy,
    06/06/1998 - 08/06/1998)
  3. Chiara Ghidini; Luciano Serafini,
    Information Integration for Electronic Commerce,
    Springer Verlag,
    vol.1571,
    1998
    , pp. 189-
    206
    , (First International Workshop on Agent Mediated Electronic Trading (AMET-98),
    Minneapolis, USA,
    1998-May, 10)

1997

  1. Luciano Serafini; Chiara Ghidini,
    Context Based Semantics for Federated Databases,
    International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
    1997
    , pp. 33-
    45
    , (International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
    Rio de Janeiro, Brasil,
    1997)
  2. Luciano Serafini; Chiara Ghidini,
    Local Models Semantics for Information Integration,
    AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
    AAAI,
    1997
    , (AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
    Cambridge, Massachusetts,
    08/11/1997 - 10/11/1997)

1996

  1. Alessandro Cimatti; Luciano Serafini,
    Mechanizing Multi-Agent Reasoning with Belief Contexts,
    Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
    Springer,
    1996
    , pp. 694-
    696
    , (Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
    1996)
  2. Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Context-Based Formal Specification of Multi-Agent Systems,
    Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    1996
    , pp. 295-
    307
    , (Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    Budapest, Hungary,
    1996)

1995

  1. Alessandro Cimatti; Luciano Serafini,
    Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization,
    IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
    1995
    , pp. 35-
    45
    , (IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
    Montreal, Canada,
    1995)
  2. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Agents as Reasoners, Observers or Believers,
    Topics in Artificial Intelligence. Proceedings of the 4th Congresso AI*IA,
    Springer,
    vol.992,
    1995
    , pp. 414-
    425
    , (Topics in Artificial Intelligence. Proceedings of the 4th Congresso AI*IA,
    1995)
  3. Alessandro Cimatti; Luciano Serafini,
    Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study,
    Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
    Springer,
    vol.890,
    1995
    , pp. 71-
    85
    , (Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
    Amsterdam, The Netherlands,
    1994)
  4. Alessandro Cimatti; Luciano Serafini,
    Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance,
    First International Conference on Multiagent Systems,
    MIT Press,
    1995
    , pp. 57-
    64
    , (First International Conference on Multiagent Systems,
    San Francisco, California,
    1995)
  5. Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini,
    Agents as Reasoners, Observers, or Arbitrary Believers,
    First International Conference on Multiagent Systems,
    MIT Press,
    1995
    , pp. 448-
    , (First International Conference on Multiagent Systems,
    San Francisco, California,
    1995)

1994

  1. Fausto Giunchiglia; Luciano Serafini,
    Multilanguage Hierarchical Logics or: How we can do Without Modal Logics,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 65,
    n. 1,
    1994
    , pp. 29 -
    70

1993

  1. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
    MRG: sistema di ragionamento,
    in «AUTOMAZIONE E STRUMENTAZIONE»,
    vol. 9,
    1993
    , pp. 97 -
    103
  2. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
    MRG: un nucleo di ragionamento per un sistema integrato multifunzionale,
    in «SISTEMI INTELLIGENTI»,
    vol. 3,
    1993
    , pp. 435 -
    460
  3. Fausto Giunchiglia; Luciano Serafini; Enrico Giunchiglia; Marcello Frixione,
    Non-Omniscient Belief as Context-Based Resoning,
    13th International Joint Conference on Artificial Intelligence,
    Morgan Kaufmann,
    1993
    , pp. 548-
    554
    , (13th International Joint Conference on Artificial Intelligence,
    Chambéry, France,
    1993)

1992

  1. Fausto Giunchiglia; Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Sandro Dalbosco; Luciano Serafini; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari,
    Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento,
    Automation 1992, 36th ANIPLA Conference,
    Pirella,
    1992
    , pp. 620-
    633
    , (Automation 1992, 36th ANIPLA Conference,
    Genova,
    1992)
  2. Fausto Giunchiglia; Luciano Serafini,
    Multilanguage hierarchical logics (or: how we can do without modal logics),
    CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
    1992
    , pp. 44-
    45
    , (CNKBS`92, Proceedings of the First Compulog Net Meeting on Knowledge Bases,
    Munich, Germany,
    1992)
  3. Fausto Giunchiglia; Luciano Serafini; Alex K. Simpson,
    Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics,
    Meta-Programming in Logic, 3rd International Workshop, META-92,
    Springer,
    vol.649,
    1992
    , pp. 235-
    249
    , (Meta-Programming in Logic, 3rd International Workshop, META-92,
    Uppsala, Sweden,
    1992)

1991

  1. Fausto Giunchiglia; Paolo Traverso; Luciano Serafini,
    La deduzione automatica,
    in «SISTEMI INTELLIGENTI»,
    vol. 1,
    1991
  2. Fausto Giunchiglia; Luciano Serafini,
    Multilanguage First Order Theories of Propositional Attitudes,
    Third Scandinavian Conference on Artificial Intelligence 1991,
    IOS Press,
    vol.12,
    1991
    , pp. 228-
    240
    , (Third Scandinavian Conference on Artificial Intelligence 1991,
    Roskilde, Denmark,
    1991)