Enrico Giunchiglia, Fausto Giunchiglia and Armando Tacchella
SAT-Based Decision Procedures for Classical Modal Logics
January, 2005. (pdf)
Luciano Serafini and Floris Roelofsen
Satisfiability for Propositional Contexts
International Conference on the Principles of Knowledge Representation and Reasoning
(KR-04), 2004. (pdf)
Roelofsen F. and Serafini L.
Complexity of contextual reasoning
National Conference on Artificial Intelligence (AAAI-04), 2004.
(pdf)
Floris Roelofsen, Luciano Serafini and Alessandro Cimatti
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems
European Conference on Artificial Intelligence (ECAI-04), 2004.
(pdf)
Philip A. Bernstein, Fausto Giunchiglia, John Mylopoulos and Luciano Serafini
Local Relational Model: a logical formalization of database coordination. (pdf)
R. Ferrario
Il ragionamento controfattuale:
un modello e la sua applicazione al ragionamento pratico.
PhD Dissertation. (pdf)
L. Serafini and F. Giunchiglia
ML Systems: A Proof Theory for Contexts
Journal of Logic, Language and Information Spring 2002, Volume 11, Issue 2 pp. 471-518. (pdf)
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). (ps)
P. A. Bernstein,
F. Giunchiglia, A. Kementsietsidis, J. Mylopoulos, L. Serafini, and I. Zaihrayeu
Data Management for
Peer-to-Peer Computing: A Vision
WebDB 2002:
Fifth International Workshop on the Web and Databases. (pdf)
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). (ps)
P. Bouquet and L. Serafini
Comparing Formal Theories of Context in AI
January 2002. (pdf)
C. Ghidini and F. Giunchiglia
Local Model Semantics, or Contextual Reasoning = Locality + Compatibility
Artificial Intelligence,127(2):221-259, 2001. (ps)
E. Giunchiglia and F. Giunchiglia
Ideal and Real Belief about Belief
Journal of Logic and Computation, Vol. 11, No 1. pp. 157-192, 2001. (ps)
R. Ferrario
Cunterfactual Reasoning
Modelling and Using Context - Proceedings of the 3rd
International and Interdisciplinary Conference (July 2001,
Dundee, GB), volume 2116 of Lecture Notes in Artificial
Intelligence. Springer- Heidelberg:170-183 2001.
(pdf)
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani and Armando Tacchella
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
Journal of Applied Non-Classical Logics, vol. 10, n. 2, 2000, pages 145--172. © Hermes International, Oxford. (ps)
C. Ghidini and L. Serafini
Distributed First order logics
D.M. Gabbay and M. De Rijke,
editors, Frontiers of Combining Systems 2, Studies in Logic and
Computation, No. 7, Research Studies Press Ltd. Baldock,
Hertfordshire, England, UK, 2000, pp. 121-139.
E. Giunchiglia, F. Giunchiglia, and A. Tacchella
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning - Special Issue on SAT'2000. (ps)
M. Benerecetti , P. Bouquet, and C. Ghidini
Contextual Reasoning Distilled
in Theoretical and Experimental Artificial Intelliegence. (pdf)
Benerecetti, M., Bouquet, P., and Ghidini, C.
Formalizing Belief Reports - The approach and a Case Study
In Proceedings of 8th
International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98). Volume 1480 of LNAI. Springer, 1998.
(ps)
Chiara Ghidini and Luciano Serafini
Distributed First Order Logics
In First International Workshop on Labelled Deduction [LD'98], 1998.
(ps)
F. Giunchiglia and P. Bouquet
A Context-Based Framework for Mental Representation
in Proceedings of the Twentieth Annual Meeting of the Cognitive Science Society (CogSci'98), 1998. (ps)
Massimo Benerecetti, Fausto Giunchiglia and Luciano Serafini
Model Checking Multiagent Systems
Journal of Logic and Computation, Special Issue "Computational and Logical Aspects of Multi-Agent Systems", 8(3), 401-423, 1998. (ps)
Fausto Giunchiglia and Roberto Sebastiani
Building decision procedures for modal logics from propositional decision procedures - the case study of modal K(m)
Information and Computation. Vol 162 (1/2), pages. 158--178, October/November 2000, ©Academic Press. (ps)
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. (ps)
F. Giunchiglia, E. Giunchiglia, T. Costello and P. Bouquet
Dealing with Expected and Unexpected Obstacles
Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 8, 1996. (pdf)
A. Cimatti and L. Serafini
Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance
In Proceedings 1st Int. Conference on Multi-Agent Systems (ICMAS'95), 1995. (ps)
F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione
Non-omniscient belief as context-based reasoning
In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambery, France, 1993. (ps)
F. Giunchiglia
Contextual reasoning
Epistemologia - Special Issue on I Linguaggi e le Macchine, XVI:345-364, 1993. (ps)
F. Giunchiglia and L. Serafini
Multilanguage Hierarchical Logics (or: How we can do without modal logics)
Journal of Artificial Intelligence, vol. 65, pp. 29-70, 1994. (ps)
F. Giunchiglia and L. Serafini
Multilanguage First Order Theories of Propositional Attitudes
In Proceedings of the 3rd Scandinavian Conference on AI (SCAI'91). Roskilde University, May 1991. (ps)
|