Sfoglia per Autore
Epsilon Adaptation on the EDS Machine: some Implementation Issues
1991-01-01 Leone, Nicola; Palopoli, L.; Restuccia, P.; Romeo, M.
Netlog: A logic query language for linked model Databases
1991-01-01 Greco, S.; Palopoli, Luigi; Rullo, P.
Optimization of join strategies in distributed databases
1991-01-01 Legato, Pasquale; Paletta, Giuseppe; Palopoli, Luigi
Netlog, A Logic Query Language for Network Model Databases
1991-01-01 Greco, Sergio; Palopoli, L; Rullo, Pasquale
Prototypes in the LOGIDATA+ Project
1992-01-01 Palopoli, Luigi
Management of Extended Update Operations
1992-01-01 Palopoli, Luigi; R., Torlone
Negation-free Deductive Databases and Turing Computability
1992-01-01 F., Franco; Palopoli, Luigi
Testing Logic Programs for Local Stratification,
1992-01-01 Palopoli, Luigi
Updating Logic Programs
1993-01-01 Leone, Nicola; Palopoli, L.; Romeo, M.
Reasoning with Minimal Models: Efficient Algorithms and Applications,
1994-01-01 R., BEN ELIYAHU; Palopoli, Luigi
Modifying Intensional Logic Knowledge
1994-01-01 Leone, Nicola; Palopoli, Luigi; M., Romeo
Modeling Database Applications Using Generalized Production Rules,
1994-01-01 Palopoli, Luigi; R., Torlone
A Rule-Based Update Language for Complex Objects with Identity
1994-01-01 Palopoli, Luigi; R., Torlone
A Language for Updating Logic Programs
1995-01-01 Leone, Nicola; Palopoli, L; Romeo, M.
Disjunctive Ordered Logic
1995-01-01 Buccufurri, F.; Leone, Nicola; Palopoli, L.; Rullo, P.
Curbing Theories: Fixpoint Semantics and Complexity Issues
1995-01-01 Scarcello, F.; Leone, Nicola; Palopoli, L.
Extending Datalog with Arrays
1995-01-01 Greco, Sergio; Palopoli, Luigi; Spadafora, E.
A Language for Updating Logic Programs and its Implementation
1995-01-01 Leone, Nicola; Palopoli, Luigi; M., Romeo
Querying Datalog with Arrays:Design and Implementations Issues
1996-01-01 Greco, S.; Palopoli, Luigi; Spadafora, E.
Polynomial-Time Computable Stable Models
1996-01-01 Palopoli, Luigi; C., Zaniolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Epsilon Adaptation on the EDS Machine: some Implementation Issues | 1-gen-1991 | Leone, Nicola; Palopoli, L.; Restuccia, P.; Romeo, M. | |
| Netlog: A logic query language for linked model Databases | 1-gen-1991 | Greco, S.; Palopoli, Luigi; Rullo, P. | |
| Optimization of join strategies in distributed databases | 1-gen-1991 | Legato, Pasquale; Paletta, Giuseppe; Palopoli, Luigi | |
| Netlog, A Logic Query Language for Network Model Databases | 1-gen-1991 | Greco, Sergio; Palopoli, L; Rullo, Pasquale | |
| Prototypes in the LOGIDATA+ Project | 1-gen-1992 | Palopoli, Luigi | |
| Management of Extended Update Operations | 1-gen-1992 | Palopoli, Luigi; R., Torlone | |
| Negation-free Deductive Databases and Turing Computability | 1-gen-1992 | F., Franco; Palopoli, Luigi | |
| Testing Logic Programs for Local Stratification, | 1-gen-1992 | Palopoli, Luigi | |
| Updating Logic Programs | 1-gen-1993 | Leone, Nicola; Palopoli, L.; Romeo, M. | |
| Reasoning with Minimal Models: Efficient Algorithms and Applications, | 1-gen-1994 | R., BEN ELIYAHU; Palopoli, Luigi | |
| Modifying Intensional Logic Knowledge | 1-gen-1994 | Leone, Nicola; Palopoli, Luigi; M., Romeo | |
| Modeling Database Applications Using Generalized Production Rules, | 1-gen-1994 | Palopoli, Luigi; R., Torlone | |
| A Rule-Based Update Language for Complex Objects with Identity | 1-gen-1994 | Palopoli, Luigi; R., Torlone | |
| A Language for Updating Logic Programs | 1-gen-1995 | Leone, Nicola; Palopoli, L; Romeo, M. | |
| Disjunctive Ordered Logic | 1-gen-1995 | Buccufurri, F.; Leone, Nicola; Palopoli, L.; Rullo, P. | |
| Curbing Theories: Fixpoint Semantics and Complexity Issues | 1-gen-1995 | Scarcello, F.; Leone, Nicola; Palopoli, L. | |
| Extending Datalog with Arrays | 1-gen-1995 | Greco, Sergio; Palopoli, Luigi; Spadafora, E. | |
| A Language for Updating Logic Programs and its Implementation | 1-gen-1995 | Leone, Nicola; Palopoli, Luigi; M., Romeo | |
| Querying Datalog with Arrays:Design and Implementations Issues | 1-gen-1996 | Greco, S.; Palopoli, Luigi; Spadafora, E. | |
| Polynomial-Time Computable Stable Models | 1-gen-1996 | Palopoli, Luigi; C., Zaniolo |
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