|
2
|
Dealing With Expected and Unexpected Obstacles
– Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet
- 1997
|
|
9
|
Comparing Formal Theories of Context in AI
– P. Bouquet, L. Serafini
- 2004
|
|
|
The Problem Of Context From The Standpoint Of Artificial Intelligence
– Paolo Bouquet
- 1997
|
|
1
|
An Epistemological Science of Common Sense
– Istituto Trentino Di Cultura, Fausto Giunchiglia, Fausto Giunchiglia
- 1996
|
|
163
|
Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics)
– Fausto Giunchiglia, Luciano Serafini
- 1994
|
|
165
|
Local models semantics, or contextual reasoning = locality + compatibility
– Chiara Ghidini, Fausto Giunchiglia
- 2001
|
|
6
|
Distributed Context-Aware Systems
– Massimo Benerecetti, Paolo Bouquet, Matteo Bonifacio, Arthur Andersen Italia
- 2001
|
|
1
|
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
|
|
1
|
Context Aware Distributed Applications
– P. Bouquet, P. Busetta, Matteo Bonifacio
- 2001
|
|
92
|
Formalizing Context (Expanded Notes)
– John McCarthy, Sasa Buvac, Tom Costello, Richard Fikes, Mike Genesereth, Fausto Giunchiglia
- 1995
|
|
5
|
Objective and Cognitive Context
– Carlo Penco
|
|
13
|
A Foundation for Metareasoning, Part I: The Proof Theory
– Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
- 1997
|
|
12
|
ML systems: A Proof Theory for Contexts
– Luciano Serafini, Fausto Giunchiglia
- 2001
|
|
6
|
TWO FORMALIZATIONS OF CONTEXT: A COMPARISON
– P. Bouquet, L. Serafini
- 2001
|
|
|
Povo (Trento), Italy Tel.: +39 0461 314312 Fax: +39 0461 302040 e-mail: prdoc@itc.it - url: http://www.itc.it CONFORMANT PLANNING VIA MODEL CHECKING Cimatti A., Roveri M.
– August Limited Distribution, Scientifica E Tecnologica, Cimatti A, Roveri M, Istituto Trentino Di Cultura, Alessandro Cimatti, Marco Roveri
|
|
8
|
On the Difference between Bridge Rules and Lifting Axioms
– P. Bouquet, L. Serafini
- 2003
|
|
10
|
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective
– Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini, Via Cintia Monte S. Angelo
- 2001
|
