1
0
0
(1 - 17 von 18
)
Mario Alviano's website
alviano.com
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, ...
Logic Programming and Nonmonotonic Reasoning: 12th ...google.com
books.google.com
Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, and Francesco Ricca The Complexity Boundary of Answer Set Programming with Generalized Atoms ...
The Birth of a WASP: Preliminary Report on a New ASP Solver
citeseerx.ist.psu.edu
von C Dodaro · Zitiert von: 25 — by Carmine Dodaro , Mario Alviano , Wolfgang Faber , Nicola Leone , Francesco Ricca , Marco Sirianni. Citations: self ... › summ...
Complexity of Super-Coherence Problems in ASPunich.it
www.sci.unich.it
von M Alviano · Zitiert von: 7 — Main Results. Proof Sketch. Consequence of our results. Mario Alviano, Wolfgang Faber and Stefan Woltran. Complexity of Super-Coherence Problems in ASP ... › slides › alviano
Aggregates in Answer Set Programming - Wolfgang Faber
www.wfaber.com
von M Alviano · Zitiert von: 12 — Mario Alviano · Wolfgang Faber. Received: date / Accepted: date. Abstract Aggregates are among the most important linguistic extensions of Answer Set ... › ki aggregates
Weight matching via pairwise comparison for MaxSATScienceDirect
www.sciencedirect.com
von R Klimek · — Mario Alviano, Carmine Dodaro, and Francesco Ricca. The Maxino solver, http://alviano.com/software/maxino/. accessed on 6-Nov Google Scholar. [ ... von M Alviano · · Zitiert von: 59 — Mario Alviano , Wolfgang Faber , Gianluigi Greco , Nicola Leone. Show more. Add to Mendeley. Share. Cite. https://doi.org j.artint Get ... › pii
Wolfgang Faber DBLP
dblp.uni-trier.de
Mario Alviano, Wolfgang Faber, Martin Gebser: Aggregate Semantics for Propositional Answer Set Programs. CoRR abs (2021) text to speech; › pid › Wo...
Aggregates in Answer Set Programming - INFONAinfona.pl
www.infona.pl
von M Alviano · · Zitiert von: 13 — Aggregates in Answer Set Programming. Mario Alviano, Wolfgang Faber · Details · Contributors · Fields of science · Bibliography · Quotations · Similar ... › resource
Boolean Functions with Ordered Domains in Answer Set ...AAAI
ojs.aaai.org
von M Alviano · · Zitiert von: 5 — Mario Alviano University of Calabria · Wolfgang Faber University of Huddersfield · Hannes Strass Leipzig University ... › article › view
DLV with Recursive Agregates - DBAITU Wien
www.dbai.tuwien.ac.at
Please send feedback to Mario Alviano, Wolfgang Faber, or Nicola Leone. Prototype. We provide a prototype system available for download: Linux i386 version. ( ... › dlv
Alviano
www.aaai.org
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. Mario Alviano, Wolfgang Faber ...
From non-convex aggregates to monotone aggregates in ASP —...
pure.hud.ac.uk
From non-convex aggregates to monotone aggregates in ASP. Mario Alviano, Wolfgang Faber, Martin Gebser. Department of Computer Science · School of ...
KI - Künstliche Intelligenz | springerprofessional.de
www.springerprofessional.de
Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, ... › ki-kuenstliche-int...
Sister Conference Best Paper Track - IJCAI-16ijcai 2016
ijcai-16.org
Mario Alviano, Wolfgang Faber and Martin Gebser. (3033) Detecting Student Emotions in Computer-Enabled Classrooms, IUI. Nigel Bosch, Sidney D'Mello, ... › view › sister...
Translating NP-SPEC into ASP: Paper and Code - CatalyzeXCatalyzeX
www.catalyzex.com
Call/Text an Expert. Jan 08, Mario Alviano, Wolfgang Faber · Figure 1 for Translating NP-SPEC into ASP. Share this with someone who'll enjoy it:. › paper
Publications
wfaber.com
@Article{ alvi-fabe ki, author = {Mario Alviano and Wolfgang Faber}, title = {Aggregates in Answer Set Programming}, journal = {KI -- K{\"u}nstliche ...
Alle Infos zum Namen "Mario Alviano"
Verwandte Suchanfragen zu Mario Alviano
Marco Manna Nicola Leone Wolfgang Faber | Marco Maratea |
Personen Vorname "Mario" (36787) Name "Alviano" (2) |
sortiert nach Relevanz / Datum