1
0
0
(1 - 22 von 23
)
Carmine Dodaro | Papers With CodePapers With Code
paperswithcode.com
no code implementations • 19 Feb • Mario Alviano, Carmine Dodaro, Arnel Zamayla. This paper formalizes the problem of data validation for ASP programs, ... › car...
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 ...
ValAsp: a tool for data validation in Answer Set Programming
arxiv.org
von M Alviano · — ValAsp: a tool for data validation in Answer Set Programming. Authors:Mario Alviano, Carmine Dodaro, Arnel Zamayla · Download PDF. Abstract: The ... › cs
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...
Curriculum Vitæ et Studiorum - Carmine DodaroCarmine Dodaro
www.cdodaro.eu
von C Dodaro · — [2] Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Do- daro, Giuseppe Galat`a, Muhammad Kamran Khan, Marco Maratea,. Marco Mochi ... › files › cv-eng
Abstract Alvianoetal13aspcomp4 - DBAI
www.dbai.tuwien.ac.at
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, ... › staff
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
Comparing Alternative Solutions for Unfounded Set ...springer.com
link.springer.com
von M Alviano · · Zitiert von: 2 — Comparing Alternative Solutions for Unfounded Set Propagation in ASP. Mario Alviano,; Carmine Dodaro &; Francesco Ricca. Conference paper Accesses. › chapter
New York: a Mario Alviano e Carmine Dodaro dell'Unical ...reportageonline.it
www.reportageonline.it
› n...
32nd International Conference on Logic Programmingimdea.org
software.imdea.org
Mario Alviano and Carmine Dodaro. Anytime answer set optimization via unsatisfiable core shrinking. Bart Bogaerts, Tomi Janhunen and Shahab Tasharrofi. › accep...
Accepted papers - Association for Logic Programminglogicprogramming.org
logicprogramming.org
Mario Alviano, Carmine Dodaro, Arnel Carmine; On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro, Marco Maratea, Mauro Vallati. › tplp
ASP-HS: An answer set optimizer based on the implicit hitting ...
researchportal.helsinki.fi
von P Saikko · — ASP-HS: An answer set optimizer based on the implicit hitting set paradigm. Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo. › a...
A Hybrid Approach to Optimization in Answer Set Programming —...
researchportal.helsinki.fi
A Hybrid Approach to Optimization in Answer Set Programming. Paul Henrik Alexander Saikko, Carmine Dodaro, Mario Alviano, Matti Juhani Järvisalo.
Max-SAT MaxSAT Evaluationsudl.cat
www.maxsat.udl.cat
Submitters: Mario Alviano , Mario Alviano and Carmine Dodaro Description Web page: http://alviano.com/software/maxino/; QMaxSAT2014 : › solvers
Optimum stable model search: algorithms and implementationarchives-ouvertes.fr
hal.archives-ouvertes.fr
Mario Alviano, Carmine Dodaro, João Marques Silva, Francesco Ricca. Optimum stable model search: algorithms and implementation. › h...
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...
The ASP-HS Optimizer - Computer Sciencehelsinki.fi
www.cs.helsinki.fi
[1] Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo: A Hybrid Approach to Optimization in Answer Set Programming. KR 2018: to appear. › coreo
Unsatisfiable Core Shrinking for Anytime Answer Set IJCAIInternational Joint Conferences on Artificial Intelligence
www.ijcai.org
Mario Alviano, Carmine Dodaro. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Best Sister Conferences. › proceedings
Wasp by alviano - GitHub Pagesgithub.io
alviano.github.io
Documentation. A preliminary documentation of the python interface is available here! Team. Mario Alviano, University of Calabria; Carmine Dodaro, University ... › wasp
maxino - Mathematical software - swMATH
swmath.org
Results of 8 — Maxino is based on the k-ProcessCore algorithm described in the following paper: Mario Alviano, Carmine Dodaro, and Francesco Ricca. › software
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