Contextual Reasoning (1992)

Cached

Download Links

by Fausto Giunchiglia
Venue:EPISTEMOLOGIA, SPECIAL ISSUE ON I LINGUAGGI E LE MACCHINE
Citations:73 - 5 self

Active Bibliography

2 Dealing With Expected and Unexpected Obstacles – Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet - 1997
The Problem Of Context From The Standpoint Of Artificial Intelligence – Paolo Bouquet - 1997
9 Comparing formal theories of context in AI – P. Bouquet, L. Serafini - 2002
1 An Epistemological Science of Common Sense – Istituto Trentino Di Cultura, Fausto Giunchiglia, Fausto Giunchiglia - 1996
103 Formalizing Context (Expanded Notes) – John McCarthy, Sasa Buvac, Tom Costello, Richard Fikes, Mike Genesereth, Fausto Giunchiglia - 1995
178 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
188 Local models semantics, or contextual reasoning = locality + compatibility – Chiara Ghidini, Fausto Giunchiglia - 2001
7 Distributed Context-Aware Systems – Massimo Benerecetti, Paolo Bouquet, Matteo Bonifacio, Arthur Andersen Italia - 2001
11 On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective – Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini - 2001
3 On the Dimensions of Context Dependence – Chiara Ghiaini, Massimo Benerecetti, Massimo Benerecetti, Paolo Bouquet, Paolo Bouquet, Chiara Ghidini, Via Cintia Monte S. Angelo - 2001
Contexts, Locality and Generality – Paolo Bouquet, Enrico Giunchiglia, Fausto Giunchiglia
3 Hierarchical Meta-Logics for Belief and Provability: How We Can Do Without Modal Logics – F. Giunchiglia, L. Serafini, Istituto Trentino Di Cultura, Fausto Giunchiglia, Luciano Serafini - 1992
2 Context Aware Distributed Applications – P. Bouquet, P. Busetta, Matteo Bonifacio - 2001
13 A Foundation for Metareasoning, Part I: The Proof Theory – Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini - 1997
31 Metamathematics Of Contexts – Sasa Buvac, Vanja Buvac, Ian A. Mason
4 Contexts, oracles, and relevance – Varol Akman, Mehmet Surav - 1995
A Strongly-Local Contextual Logic – Michael James Gratton - 2013
70 Steps Toward Formalizing Context – Varol Akman, Mehmet Surav, Maria Simi Fausto Giunchiglia, His Group Here - 1996
12 ML systems: A Proof Theory for Contexts – Luciano Serafini, Fausto Giunchiglia - 2001