Sfoglia per Autore
Text Understanding with Multiple Knowledge Sources: An Experiment in Distributed Parsing
1987-01-01 Costantini, C; Fum, D; Guida, G; Montanari, Angelo; Tasso, Carlo
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems
1991-01-01 Corsetti, E.; Montanari, Angelo; Ratto, E.
Dealing with Different Time Scales in Formal Specifications
1991-01-01 Corsetti, E; Crivelli, E; Mandrioli, D; Montanari, Angelo; Morzenti, A; Ratto, E; SAN PIETRO, P.
Dealing with Time Granularity in the Event Calculus
1992-01-01 Montanari, Angelo; Maim, E; Ciapessoni, E; Ratto, E.
Basi di Dati Temporali
1992-01-01 Montanari, Angelo; Pernici, B.
La Definizione di Parametri Sperimentali per la Valutazione dell'Affidabilità del Software
1993-01-01 Pighin, Maurizio; Montanari, Angelo
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems
1993-01-01 Ciapessoni, E; Corsetti, E; Montanari, Angelo; SAN PIETRO, P.
Chapter 21. Temporal Reasoning
1993-01-01 Montanari, Angelo; Pernici, B.
Modal Event Calculus
1994-01-01 Cervesato, I; Chittaro, L; Montanari, Angelo
Identification of Experimental Parameters for Automatic Software Evaluation and Testing
1994-01-01 Montanari, Angelo; Pighin, Maurizio
Skeptical and Credulous Event Calculi for Supporting Modal Queries
1994-01-01 Chittaro, Luca; Montanari, Angelo; Provetti, A.
A Consensus Glossary of Temporal Database Concepts
1994-01-01 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.
Object migration in temporal object-oriented databases
1994-01-01 Montanari, Angelo; Peressi, E; Pernici, B.
A set-theoretic translation method for polymodal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A set-theoretic translation method for (poly)modal logics
1995-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework
1995-01-01 Cervesato, I; Chittaro, Luca; Montanari, Angelo
Completeness Results for Two-sorted Metric Temporal Logics
1995-01-01 Montanari, Angelo; DE RIJKE, M.
Set-theoretic decidability results for modal theorem proving
1996-01-01 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Efficient temporal reasoning in the Cached Event Calculus
1996-01-01 Chittaro, Luca; Montanari, Angelo
Decidability results for metric and layered temporal logics
1996-01-01 Montanari, Angelo; Policriti, Alberto
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 Granularities in Formal Specifications of Real-Time Systems | 1-gen-1991 | Corsetti, E.; Montanari, Angelo; Ratto, E. | |
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 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. | |
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. | |
Chapter 21. Temporal Reasoning | 1-gen-1993 | Montanari, Angelo; 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. | |
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 | |
A set-theoretic translation method for (poly)modal logics | 1-gen-1995 | D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto | |
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework | 1-gen-1995 | Cervesato, I; Chittaro, Luca; Montanari, Angelo | |
Completeness Results for Two-sorted Metric Temporal Logics | 1-gen-1995 | Montanari, Angelo; DE RIJKE, M. | |
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 | |
Decidability results for metric and layered temporal logics | 1-gen-1996 | Montanari, Angelo; Policriti, Alberto |
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