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