IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 282
Titolo Data di pubblicazione Autore(i) File
Text Understanding with Multiple Knowledge Sources: An Experiment in Distributed Parsing 1-gen-1987 Costantini, C; Fum, D; Guida, G; Montanari, Angelo; Tasso, Carlo
Dealing with Different Time Scales in Formal Specifications 1-gen-1991 Corsetti, E; Crivelli, E; Mandrioli, D; Montanari, Angelo; Morzenti, A; Ratto, E; SAN PIETRO, P.
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems 1-gen-1991 Corsetti, E.; Montanari, Angelo; Ratto, E.
Dealing with Time Granularity in the Event Calculus 1-gen-1992 Montanari, Angelo; Maim, E; Ciapessoni, E; Ratto, E.
Basi di Dati Temporali 1-gen-1992 Montanari, Angelo; Pernici, B.
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems 1-gen-1993 Ciapessoni, E; Corsetti, E; Montanari, Angelo; SAN PIETRO, P.
Chapter 21. Temporal Reasoning 1-gen-1993 Montanari, Angelo; Pernici, B.
La Definizione di Parametri Sperimentali per la Valutazione dell'Affidabilità del Software 1-gen-1993 Pighin, Maurizio; Montanari, Angelo
Identification of Experimental Parameters for Automatic Software Evaluation and Testing 1-gen-1994 Montanari, Angelo; Pighin, Maurizio
A Consensus Glossary of Temporal Database Concepts 1-gen-1994 Grandi, F; Kaefer, W; Kline, N; Lorentzos, N; Mitsopulos, Y; Montanari, Angelo; Nonen, D; Peressi, E; Pernici, B; Roddick, J. F.; Sarda, N. L.; Scalas, M. R.; Dyreson, C; Segev, A; Snodgras, R. T.; Soo, M. D.; Tansel, A; Tiberio, P; Wiederhold, G.
Skeptical and Credulous Event Calculi for Supporting Modal Queries 1-gen-1994 Chittaro, Luca; Montanari, Angelo; Provetti, A.
Modal Event Calculus 1-gen-1994 Cervesato, I; Chittaro, L; Montanari, Angelo
Object migration in temporal object-oriented databases 1-gen-1994 Montanari, Angelo; Peressi, E; Pernici, B.
A set-theoretic translation method for polymodal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Completeness Results for Two-sorted Metric Temporal Logics 1-gen-1995 Montanari, Angelo; DE RIJKE, M.
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework 1-gen-1995 Cervesato, I; Chittaro, Luca; Montanari, Angelo
A set-theoretic translation method for (poly)modal logics 1-gen-1995 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Set-theoretic decidability results for modal theorem proving 1-gen-1996 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Efficient temporal reasoning in the Cached Event Calculus 1-gen-1996 Chittaro, Luca; Montanari, Angelo
Trends in temporal representation and reasoning 1-gen-1996 Chittaro, Luca; Montanari, Angelo
Decidability results for metric and layered temporal logics 1-gen-1996 Montanari, Angelo; Policriti, Alberto
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants 1-gen-1996 Chittaro, Luca; Montanari, Angelo
TIME-96: Proocedings of the Third International Workshop on Temporal Representation and Reasoning 1-gen-1996 Chittaro, L; Goodwin, S; Hamilton, H; Montanari, Angelo
Temporal Logic. From Ancient Ideas to Artificial Intelligence,by Peter Ohrstrom and Per F.V. Hasle (book review) 1-gen-1997 Montanari, Angelo; Policriti, Alberto
Two-Sorted Metric Temporal Logic 1-gen-1997 Montanari, Angelo; DE RIJKE, M.
Modal deduction in second-order logic and set theory. I 1-gen-1997 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics 1-gen-1997 Montanari, Angelo; Policriti, Alberto
Aggregazione ed omissione temporale nell’Event Calculus: un ambiente integrato ed esempi di sua esecuzione 1-gen-1997 Chittaro, L; Montanari, Angelo
Book review: Temporal logic. From ancient ideas to artificial intelligence 1-gen-1997 Montanari, Angelo; Policriti, Alberto
The Complexity of Model Checking in Modal Event Calculi 1-gen-1997 I., Cervesato; Franceschet, Massimo; Montanari, Angelo
Modal Event Calculi with Preconditions 1-gen-1997 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
Modal deduction in second-order logic and set theory. II 1-gen-1998 VAN BENTHEM, J.; D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
The Complexity of Model Checking in Modal Event Calculi with Quantifiers 1-gen-1998 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
Event Calculi with Explicit Quantifiers 1-gen-1998 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
Editorial: Temporal representation and reasoning 1-gen-1998 Chittaro, L; Montanari, Angelo
A General Modal Framework for the Event Calculus and its Skeptical and Credolous Variants 1-gen-1999 Cervesato, ; Montanari, Angelo
Theories of Omega-Layered Metric Temporal Structures: Expressiveness and Decidability 1-gen-1999 Montanari, Angelo; Peron, Policriti
Indexing by Shape of Image Databases Based on Extended Grid Files 1-gen-1999 Combi, Carlo; Foresti, Gian Luca; Franceschet, Massimo; Montanari, Angelo
Theories of omega-layered metric temporal structures 1-gen-1999 Montanari, Angelo; Peron, A; Policriti, Alberto
Special issue on Temporal Logic in Logic and Computer Science - Editorial 1-gen-1999 Montanari, Angelo; Policriti, ; Venema, Y.
Editorial 1-gen-1999 Montanari, Angelo; Policriti, Alberto; Venema, Y.
Modal Logic and Set Theory: a Set-Theoretic Interpretation of Modal Logic Liber Amicorum for the Fiftieth Birthday of J. F. A. K. van Benthem 1-gen-1999 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A graph-theoretic approach to efficiently reasoning about partially ordered events in the Event Calculus 1-gen-1999 Franceschet, Massimo; Montanari, Angelo
Pairing transitive closure and reduction to efficiently reason about partially ordered events 1-gen-2000 Franceschet, M.; Montanari, A.
Derivability in Locally Quantified Modal Logics via Translation in Set Theory 1-gen-2000 Montanari, Angelo; Policriti, Slanina
Supporting automated deduction in first-order modal logics 1-gen-2000 Montanari, Angelo; Policriti, Alberto; Slanina, M.
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus 1-gen-2000 Franceschet, Massimo; Montanari, Angelo
A Guided Tour Through some Extensions of the Event Calculus 1-gen-2000 Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 1-gen-2000 Franceschet, Massimo; Montanari, Angelo
Model Checking for Combined Logics 1-gen-2000 Franceschet, Massimo; Montanari, Angelo; M., DE RIJKE
Mostrati risultati da 1 a 50 di 282
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile