IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 277
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.
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
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.
Object migration in temporal object-oriented databases 1-gen-1994 Montanari, Angelo; Peressi, E; Pernici, B.
Modal Event Calculus 1-gen-1994 Cervesato, I; Chittaro, L; Montanari, Angelo
Identification of Experimental Parameters for Automatic Software Evaluation and Testing 1-gen-1994 Montanari, Angelo; Pighin, Maurizio
Skeptical and Credulous Event Calculi for Supporting Modal Queries 1-gen-1994 Chittaro, Luca; Montanari, Angelo; Provetti, A.
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.
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 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 set-theoretic translation method for (poly)modal logics 1-gen-1995 D'Agostino, Giovanna; 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
Set-theoretic decidability results for modal theorem proving 1-gen-1996 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Mostrati risultati da 1 a 20 di 277
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