Sfoglia per Autore
A Comparison of Structural CSP Decomposition Methods
1999-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
On Tractable Queries and Constraints
1999-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
Computing LOGCFL Certificates
1999-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
Hypertree Decompositions and Tractable Queries
1999-01-01 Gottlob, G; Leone, Nicola; Scarcello, Francesco
On Tractable Queries and Constraints
1999-01-01 Gottlob, G; Leone, Nicola; Scarcello, Francesco
Propositional lower bounds: Algorithms and complexity
1999-01-01 Palopoli, L; Scarcello, Francesco
Fixed-parameter complexity in AI and nonmonotonic reasoning
1999-01-01 Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
Propositional lower bounds: generalization and algorithms
1999-01-01 Cadoli, M.; Palopoli, Luigi; Scarcello, F.
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints,
2000-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
A Comparison of Structural CSP Decomposition Methods
2000-01-01 Gottlob, G; Leone, Nicola; Scarcello, Francesco
Semantical and computational aspects of Horn approximations
2000-01-01 Cadoli, M; Scarcello, Francesco
Robbers, Marshals, and Guards: Game-Theoretic and Logical Characterizations of Hypertree Width
2001-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
Join Ordering Techniques for Knowledge Base Systems
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Enhancing Answer Set Planning
2001-01-01 Leone, Nicola; Rosati, R.; Scarcello, F.
Census Data Repair: a challenging application of Disjunctive Logic Programming
2001-01-01 Franconi, E.; LAURETI PALMA, A.; Leone, Nicola; Perri, Simona; Scarcello, F.
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width
2001-01-01 Gottlob, G.; Leone, Nicola; Scarcello, F.
Improving ASP Instantiators by Join-Ordering Methods
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Complexity of Acyclic Conjunctive Queries
2001-01-01 Gottlob, G; Leone, Nicola; Scarcello, F.
Census Data Repair: A Challenging Application of Disjunctive Logic Programming
2001-01-01 Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco
Abduction with Penalization in Logic Programming
2001-01-01 Leone, Nicola; Perri, Simona; Scarcello, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Comparison of Structural CSP Decomposition Methods | 1-gen-1999 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
On Tractable Queries and Constraints | 1-gen-1999 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
Computing LOGCFL Certificates | 1-gen-1999 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
Hypertree Decompositions and Tractable Queries | 1-gen-1999 | Gottlob, G; Leone, Nicola; Scarcello, Francesco | |
On Tractable Queries and Constraints | 1-gen-1999 | Gottlob, G; Leone, Nicola; Scarcello, Francesco | |
Propositional lower bounds: Algorithms and complexity | 1-gen-1999 | Palopoli, L; Scarcello, Francesco | |
Fixed-parameter complexity in AI and nonmonotonic reasoning | 1-gen-1999 | Gottlob, Georg; Scarcello, Francesco; Sideri, Martha | |
Propositional lower bounds: generalization and algorithms | 1-gen-1999 | Cadoli, M.; Palopoli, Luigi; Scarcello, F. | |
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, | 1-gen-2000 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
A Comparison of Structural CSP Decomposition Methods | 1-gen-2000 | Gottlob, G; Leone, Nicola; Scarcello, Francesco | |
Semantical and computational aspects of Horn approximations | 1-gen-2000 | Cadoli, M; Scarcello, Francesco | |
Robbers, Marshals, and Guards: Game-Theoretic and Logical Characterizations of Hypertree Width | 1-gen-2001 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
Join Ordering Techniques for Knowledge Base Systems | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
Enhancing Answer Set Planning | 1-gen-2001 | Leone, Nicola; Rosati, R.; Scarcello, F. | |
Census Data Repair: a challenging application of Disjunctive Logic Programming | 1-gen-2001 | Franconi, E.; LAURETI PALMA, A.; Leone, Nicola; Perri, Simona; Scarcello, F. | |
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width | 1-gen-2001 | Gottlob, G.; Leone, Nicola; Scarcello, F. | |
Improving ASP Instantiators by Join-Ordering Methods | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, F. | |
Complexity of Acyclic Conjunctive Queries | 1-gen-2001 | Gottlob, G; Leone, Nicola; Scarcello, F. | |
Census Data Repair: A Challenging Application of Disjunctive Logic Programming | 1-gen-2001 | Franconi, E; LAURETI PALMA, A; Leone, Nicola; Perri, Simona; Scarcello, Francesco | |
Abduction with Penalization in Logic Programming | 1-gen-2001 | Leone, Nicola; Perri, Simona; Scarcello, 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