Sfoglia per Autore
Dynamic Magic Sets for Super-Consistent Answer Set Programs
2010-01-01 Alviano, Mario; Faber, Wolfgang
Disjunctive ASP with Functions: Decidable Queries and Effective Computation
2010-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola
A Logic-Based System for e-Tourism
2010-01-01 Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola
Dynamic Magic Sets for Disjunctive Datalog Programs
2010-01-01 Alviano, Mario
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation
2010-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2)
2011-01-01 Alviano, M.; Ricca, F.; Dimasi, A.; Grasso, G.; Ielpa, S. M.; Iiritano, S.; Manna, M.; Leone, N.
Efficient Recursive Aggregate Evaluation in Logic Programming
2011-01-01 Alviano, Mario
Complexity of Super-Coherence Problems in ASP
2011-01-01 Alviano, Mario; Faber, Wolfgang; Woltran, S.
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track
2011-01-01 Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P.
Function Symbols in ASP: Overview and Perspectives
2011-01-01 Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Ianni, Giovambattista; Leone, Nicola
The Birth of a WASP: Preliminary Report on a New ASP Solver
2011-01-01 Dodaro, C; Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco; Sirianni, M.
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
2011-01-01 Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
The Disjunctive Datalog System DLV
2011-01-01 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G; Terracina, Giorgio
Dynamic Magic Sets and super-coherent answer set programs
2011-01-01 Alviano, Mario; Faber, Wolfgang
Complexity of Super-Coherence Problems in Answer Set Programming
2011-01-01 Alviano, M; Faber, Wolfgang; Woltran, S.
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates
2011-01-01 Alviano, Mario; Greco, Gianluigi; Leone, Nicola
The HiLeX System for Semantic Information Extraction
2012-01-01 Manna, Marco; Ruffolo, M; Oro, E; Alviano, Mario; Leone, Nicola
Translating NP-SPEC into ASP
2012-01-01 Alviano, Mario; Faber, W.
Magic-Sets for Datalog with Existential Quantifiers
2012-01-01 Alviano, Mario; Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P.
Magic Sets for Disjunctive Datalog Programs
2012-01-01 Alviano, Mario; Greco, Gianluigi; Faber, Wolfgang; Leone, Nicola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Dynamic Magic Sets for Super-Consistent Answer Set Programs | 1-gen-2010 | Alviano, Mario; Faber, Wolfgang | |
| Disjunctive ASP with Functions: Decidable Queries and Effective Computation | 1-gen-2010 | Alviano, Mario; Faber, Wolfgang; Leone, Nicola | |
| A Logic-Based System for e-Tourism | 1-gen-2010 | Ricca, Francesco; Alviano, Mario; Dimasi, A; Grasso, Giovanni; Ielpa, S; Iiritano, S; Manna, Marco; Leone, Nicola | |
| Dynamic Magic Sets for Disjunctive Datalog Programs | 1-gen-2010 | Alviano, Mario | |
| Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation | 1-gen-2010 | Alviano, Mario; Faber, Wolfgang; Leone, Nicola | |
| Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) | 1-gen-2011 | Alviano, M.; Ricca, F.; Dimasi, A.; Grasso, G.; Ielpa, S. M.; Iiritano, S.; Manna, M.; Leone, N. | |
| Efficient Recursive Aggregate Evaluation in Logic Programming | 1-gen-2011 | Alviano, Mario | |
| Complexity of Super-Coherence Problems in ASP | 1-gen-2011 | Alviano, Mario; Faber, Wolfgang; Woltran, S. | |
| The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track | 1-gen-2011 | Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P. | |
| Function Symbols in ASP: Overview and Perspectives | 1-gen-2011 | Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Ianni, Giovambattista; Leone, Nicola | |
| The Birth of a WASP: Preliminary Report on a New ASP Solver | 1-gen-2011 | Dodaro, C; Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco; Sirianni, M. | |
| Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates | 1-gen-2011 | Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona | |
| The Disjunctive Datalog System DLV | 1-gen-2011 | Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G; Terracina, Giorgio | |
| Dynamic Magic Sets and super-coherent answer set programs | 1-gen-2011 | Alviano, Mario; Faber, Wolfgang | |
| Complexity of Super-Coherence Problems in Answer Set Programming | 1-gen-2011 | Alviano, M; Faber, Wolfgang; Woltran, S. | |
| Dynamic Magic Sets for Programs with Monotone Recursive Aggregates | 1-gen-2011 | Alviano, Mario; Greco, Gianluigi; Leone, Nicola | |
| The HiLeX System for Semantic Information Extraction | 1-gen-2012 | Manna, Marco; Ruffolo, M; Oro, E; Alviano, Mario; Leone, Nicola | |
| Translating NP-SPEC into ASP | 1-gen-2012 | Alviano, Mario; Faber, W. | |
| Magic-Sets for Datalog with Existential Quantifiers | 1-gen-2012 | Alviano, Mario; Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, P. | |
| Magic Sets for Disjunctive Datalog Programs | 1-gen-2012 | Alviano, Mario; Greco, Gianluigi; Faber, Wolfgang; Leone, Nicola |
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