Sfoglia per Autore RAFFAETA', Alessandra
Modeling Object Dynamics in an Object-Oriented Logic Programming Framework
1995-01-01 Manco, G; Raffaeta', Alessandra; Turini, F.
LOO: An Object Oriented Logic Programming Language
1995-01-01 Mancarella, P; Raffaeta', Alessandra; Turini, F.
Modeling Object Dynamics in Object-Oriented Logic Programming
1996-01-01 Manco, G; Raffaeta', Alessandra; Turini, F.
Integrating Active Rules in U-Datalog
1997-01-01 Gervasi, V; Raffaeta', Alessandra
Time in a Multi-Theory Logical Framework
1997-01-01 Mancarella, P; Raffaeta', Alessandra; Turini, F.
Active-U-Datalog: integrating active rules in a deductive database
1997-01-01 Gervasi, V; Raffaeta', Alessandra
Active-U-Datalog: Integrating Active Rules in a Logical Update Language
1998-01-01 Bertino, E; Catania, B; Gervasi, V; Raffaeta', Alessandra
Temporal Annotated Constraint Logic Programming with Multiple Theories
1999-01-01 Mancarella, P; Raffaeta', Alessandra; Turini, F.
Knowledge Representation with Multiple Logical Theories and Time
1999-01-01 Mancarella, P; Raffaeta', Alessandra; Turini, F.
Basic Theory of F-bounded quantification
1999-01-01 Baldan, P; Ghelli, G; Raffaeta', Alessandra
Semantics for Temporal Annotated Constraint Logic Programming
2000-01-01 Raffaeta', Alessandra; Fruehwirth, T.
Investigation on Spatio-Temporal Models and Languages
2000-01-01 DI DEO, A; Giannotti, F; Parent, C; Raffaeta', Alessandra; Renso, C; Turini, F.
Two Semantics for Temporal Annotated Constraint Logic Programming
2000-01-01 Raffaeta', Alessandra; Fruehwirth, T.
MuTACLP: A language for declarative GIS analysis
2000-01-01 Mancarella, P; Nerbini, G; Raffaeta', Alessandra; Turini, F.
Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories
2000-01-01 Raffaeta', Alessandra
A Logical Approach to Cooperative Information Systems
2000-01-01 Bertino, E; Catania, B; Gervasi, V; Raffaeta', Alessandra
Temporal Reasoning in Geographical Information Systems
2000-01-01 Raffaeta', Alessandra; Renso, C.
MuTACLP: A language for temporal reasoning with multiple theories
2001-01-01 Baldan, P; Mancarella, P; Raffaeta', Alessandra; Turini, F.
Qualitative reasoning in a Spatio-Temporal Language
2001-01-01 Raffaeta', Alessandra; Renso, C; Turini, F.
Reasoning on geographical data using constraints and annotations
2001-01-01 Giannotti, F; Raffaeta', Alessandra; Renso, C; Turini, F.
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