Sfoglia per Autore
The KIWIS Knowledge Base Management System
1991-01-01 Ahlsen, M; D'Atri, A; Johannesson, P; Laenens, E; Leone, Nicola; Rullo, P; Rossi, P; Staes, F; Tarantino, L; VAN BEIRENDONCK, L; VAN CADSAND, F; VAN SANT, W; VAN SLEMBROECK, J; Verdonk, B; VERMEIR D., Ed
Bottom-up Evaluation of Stratified Ordered Logic Programs
1991-01-01 Leone, Nicola; Rossi, G.; Rullo, P.
Epsilon Adaptation on the EDS Machine: some Implementation Issues
1991-01-01 Leone, Nicola; Palopoli, L.; Restuccia, P.; Romeo, M.
Un Linguaggio Logico per Basi di Dati e Conoscenza
1991-01-01 Greco, S; Leone, Nicola; Rullo, P.
A well-Founded Semantics for Ordered Logic Programming
1991-01-01 Leone, Nicola; Rossi, G.
Safe Computation of the Well-Founded Semantics of DATALOG Queries
1992-01-01 Leone, Nicola; Rullo, Pasquale
The Basic Query Machine of the KIWIS System
1992-01-01 Leone, Nicola; Mecchia, A.; Rossi, G.; Rullo, Pasquale
Stable Model Semantics and its Computation far Ordered Logic Programs
1992-01-01 Leone, Nicola; Rullo, P.
Efficient Query Evaluation in a Language Combining Object-Oriented and Logic Programming
1992-01-01 Laenens, E.; Leone, Nicola; Rullo, P.; Vermeir, D.
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries
1992-01-01 Leone, Nicola; Rullo, Pasquale
COMPLEX: An Object-Oriented Logic Programming System
1992-01-01 Greco, Sergio; Leone, Nicola; Rullo, Pasquale
Well-Founded Semantics and Stratification for Ordered Logic Programs
1993-01-01 Leone, Nicola; Rossi, G.
Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase
1993-01-01 Leone, Nicola; Messina, F.; Mostardi, T.; Siciliano, C.
Expliciting Parallelism in the Semi-Naive Algorithm for the Bottom-up Evaluation of Datalog Programs
1993-01-01 Leone, Nicola; Restuccia, P; Romeo, M; Rullo, Pasquale
Effective Implementation of Negation in Database Logic Query Languages
1993-01-01 Leone, Nicola; Romeo, M.; Rullo, P.; Sacca, D.
Effective Implementation of Negation in Databases Logic Quesry Languages
1993-01-01 Leone, Nicola; Romeo, M; Rullo, Pasquale; Sacc, D.
Adding Set Terms to Ordered Logic Programs
1993-01-01 Leone, Nicola; Rullo, P.
Ordered Logic Programming with Sets
1993-01-01 Leone, Nicola; Rullo, Pasquale
Updating Logic Programs
1993-01-01 Leone, Nicola; Palopoli, L.; Romeo, M.
A Non-Deterministic Semantics far Ordered Logic Programs
1994-01-01 Buccufurri, F.; Leone, Nicola; Rullo, P.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The KIWIS Knowledge Base Management System | 1-gen-1991 | Ahlsen, M; D'Atri, A; Johannesson, P; Laenens, E; Leone, Nicola; Rullo, P; Rossi, P; Staes, F; Tarantino, L; VAN BEIRENDONCK, L; VAN CADSAND, F; VAN SANT, W; VAN SLEMBROECK, J; Verdonk, B; VERMEIR D., Ed | |
Bottom-up Evaluation of Stratified Ordered Logic Programs | 1-gen-1991 | Leone, Nicola; Rossi, G.; Rullo, P. | |
Epsilon Adaptation on the EDS Machine: some Implementation Issues | 1-gen-1991 | Leone, Nicola; Palopoli, L.; Restuccia, P.; Romeo, M. | |
Un Linguaggio Logico per Basi di Dati e Conoscenza | 1-gen-1991 | Greco, S; Leone, Nicola; Rullo, P. | |
A well-Founded Semantics for Ordered Logic Programming | 1-gen-1991 | Leone, Nicola; Rossi, G. | |
Safe Computation of the Well-Founded Semantics of DATALOG Queries | 1-gen-1992 | Leone, Nicola; Rullo, Pasquale | |
The Basic Query Machine of the KIWIS System | 1-gen-1992 | Leone, Nicola; Mecchia, A.; Rossi, G.; Rullo, Pasquale | |
Stable Model Semantics and its Computation far Ordered Logic Programs | 1-gen-1992 | Leone, Nicola; Rullo, P. | |
Efficient Query Evaluation in a Language Combining Object-Oriented and Logic Programming | 1-gen-1992 | Laenens, E.; Leone, Nicola; Rullo, P.; Vermeir, D. | |
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries | 1-gen-1992 | Leone, Nicola; Rullo, Pasquale | |
COMPLEX: An Object-Oriented Logic Programming System | 1-gen-1992 | Greco, Sergio; Leone, Nicola; Rullo, Pasquale | |
Well-Founded Semantics and Stratification for Ordered Logic Programs | 1-gen-1993 | Leone, Nicola; Rossi, G. | |
Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase | 1-gen-1993 | Leone, Nicola; Messina, F.; Mostardi, T.; Siciliano, C. | |
Expliciting Parallelism in the Semi-Naive Algorithm for the Bottom-up Evaluation of Datalog Programs | 1-gen-1993 | Leone, Nicola; Restuccia, P; Romeo, M; Rullo, Pasquale | |
Effective Implementation of Negation in Database Logic Query Languages | 1-gen-1993 | Leone, Nicola; Romeo, M.; Rullo, P.; Sacca, D. | |
Effective Implementation of Negation in Databases Logic Quesry Languages | 1-gen-1993 | Leone, Nicola; Romeo, M; Rullo, Pasquale; Sacc, D. | |
Adding Set Terms to Ordered Logic Programs | 1-gen-1993 | Leone, Nicola; Rullo, P. | |
Ordered Logic Programming with Sets | 1-gen-1993 | Leone, Nicola; Rullo, Pasquale | |
Updating Logic Programs | 1-gen-1993 | Leone, Nicola; Palopoli, L.; Romeo, M. | |
A Non-Deterministic Semantics far Ordered Logic Programs | 1-gen-1994 | Buccufurri, F.; Leone, Nicola; Rullo, P. |
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