IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 118
Titolo Data di pubblicazione Autore(i) File
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 1-gen-2012 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 1-gen-2012 Ricca, Francesco; Grasso, Giovanni; Alviano, Mario; Manna, Marco; Lio, V; Iiritano, S; Leone, Nicola
The Fourth Answer Set Programming Competition: Preliminary Report 1-gen-2013 Alviano, Mario; Calimeri, Francesco; Charwat, G; DAO TRAN, M; Dodaro, C; Ianni, Giovambattista; Krennwallner, T; Kronegger, M; Oetsch, J; Pfandler, A; Puehrer, J; Redl, C; Ricca, Francesco; Schneider, P; Schwengerer, M; Spendier, L. K.; Wallner, J. P.; Xiao, G.
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 1-gen-2013 Alviano, Mario; Faber, Wolfgang
Query Answering over Disjunctive Datalog with Existential Quantifiers 1-gen-2013 Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
Comparing alternative solutions for unfounded set propagation in ASP 1-gen-2013 Alviano, Mario; Dodaro, C; Ricca, Francesco
Fuzzy answer sets approximations 1-gen-2013 Alviano, Mario; Penaloza, R.
WASP: A native ASP solver based on constraint learning 1-gen-2013 Alviano, Mario; Dodaro, C; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Properties of answer set programming with convex generalized atoms 1-gen-2013 Alviano, Mario; Faber, Wolfgang
Solving NP-SPEC domains using ASP 1-gen-2013 Alviano, Mario; Faber, Wolfgang
Complexity of super-coherence problems in ASP 1-gen-2014 Alviano, Mario; Faber, Wolfgang; Woltran, S.
Anytime computation of cautious consequences in answer set programming 1-gen-2014 Alviano, Mario; Dodaro, C; Ricca, Francesco
On the implementation of weak constraints in WASP 1-gen-2014 Alviano, Mario; Dodaro, C; Marques Silva, J; Ricca, F.
Preliminary Report on WASP 2.0 1-gen-2014 Alviano, Mario; Dodaro, C; Ricca, F.
Semantics and Compilation of Answer Set Programming with Generalized Atoms 1-gen-2014 Alviano, Mario; Faber, Wolfgang
Declarative specification of benchmark sessions via ASP 1-gen-2014 Alviano, Mario; Cuteri, B; Ricca, Francesco
Complexity and compilation of GZ-aggregates in answer set programming 1-gen-2015 Alviano, Mario; Leone, Nicola
Reduct-based Stability Check Using Literal Assumptions 1-gen-2015 Alviano, M.; Dodaro, C.; Ricca, F.
Default Negation for Non-Guarded Existential Rules 1-gen-2015 Alviano, Mario; Pieris, A.
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates 1-gen-2015 Alviano, Mario
Mostrati risultati da 21 a 40 di 118
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