IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 118
Titolo Data di pubblicazione Autore(i) File
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates 1-gen-2015 Alviano, Mario
Reduct-based Stability Check Using Literal Assumptions 1-gen-2015 Alviano, M.; Dodaro, C.; Ricca, F.
Rewriting recursive aggregates in answer set programming: back to monotonicity 1-gen-2015 Alviano, Mario; Faber, Wolfgang; Gebser, M.
Default Negation for Non-Guarded Existential Rules 1-gen-2015 Alviano, Mario; Pieris, A.
Fuzzy answer set computation via satisfiability modulo theories 1-gen-2015 Alviano, Mario; Penaloza, R.
Complexity and compilation of GZ-aggregates in answer set programming 1-gen-2015 Alviano, Mario; Leone, Nicola
Effectively Solving NP-SPEC Encodings by Translation to ASP 1-gen-2015 Alviano, Mario; Faber, Wolfgang
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 1-gen-2015 Alviano, Mario; Faber, Wolfgang
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms 1-gen-2015 Alviano, Mario; Faber, Wolfgang
Completion of Disjunctive Logic Programs 1-gen-2016 Alviano, Mario; Dodaro, C.
On the Properties of GZ-Aggregates in Answer Set Programming 1-gen-2016 Alviano, Mario; Leone, Nicola
From Non-Convex Aggregates to Monotone Aggregates in ASP 1-gen-2016 Alviano, Mario; Faber, Wolfgang; Gebser, G.
Anytime answer set optimization via unsatisfiable core shrinking 1-gen-2016 Alviano, Mario; Dodaro, C.
Evaluating answer set programming with non-convex recursive aggregates 1-gen-2016 Alviano, Mario
Answer set enumeration via assumption literals 1-gen-2016 Alviano, Mario; Dodaro, C.
Boolean Functions with Ordered Domains in Answer Set Programming 1-gen-2016 Alviano, Mario; Faber, Wolfgang; Strass, H.
Unsatisfiable core shrinking for anytime answer set optimization 1-gen-2017 Alviano, Mario; Dodaro, Carmine
An advanced answer set programming encoding for nurse scheduling 1-gen-2017 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
Stable model semantics for tuple-generating dependencies revisited 1-gen-2017 Alviano, Mario; Morak, M; Pieris, A.
The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste 1-gen-2017 Alviano, M.
Mostrati risultati da 41 a 60 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