1
0
0
(1 - 19 von 20
)
Ohne Titel
www.ae-info.org
For instance, Mario Alviano, Francesco Calimeri, Marco Manna, Simona Perri, Francesco Ricca, and Francesco Scarcello are all Professors at the University of ... › User › L...
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, ...
AI*IA Advances in Artificial Intelligence: XVIIIth ...Barnes & Noble
www.barnesandnoble.com
— by Mario Alviano, Gianluigi Greco, Francesco Scarcello Mario Alviano. No rating value average rating value is 0.0 of 5. › ...
Logic Programming and Nonmonotonic Reasoning: 11th ...google.com
books.google.com
... Reachability Giorgio Terracina Yes* Query P 3 Strategic Companies Mario Alviano, Marco Maratea and Francesco Ricca Yes* Search Beyond NP 6 Grammar-Based ...
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 ...
AI*IA – Advances in Artificial Intelligence von Mario Alviano |...
www.lehmanns.de
AI*IA – Advances in Artificial Intelligence von Mario Alviano, Gianluigi Greco, Francesco Scarcello (ISBN ) bestellen. Schnelle ...
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...
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
Magic Sets for disjunctive Datalog programs - ScienceDirect
www.sciencedirect.com
von M Alviano · · Zitiert von: 60 — Francesco Ricca, Mario Alviano, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone. › pii
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
Power Index-Based Semantics for Ranking Arguments in ...BibBase
bibbase.org
@inproceedings{DBLP:conf/aiia/Taticchi19, author = {Carlo Taticchi}, editor = {Mario Alviano and Gianluigi Greco and Marco Maratea and Francesco Scarcello}, ... › publication
Magic-Sets for Datalog with Existential Quantifiers | SpringerLink
link.springer.com
von M Alviano · · Zitiert von: 23 — Magic-Sets for Datalog with Existential Quantifiers. Mario Alviano,; Nicola Leone,; Marco Manna, … Giorgio Terracina &; Pierfrancesco Veltri. Show authors. › chapter
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...
CEUR-WS.org/Vol Discussion and Doctoral Consortium AI*IA 2019
ceur-ws.org
Mario Alviano * Gianluigi Greco * Marco Maratea ** Francesco Scarcello ***. * University of Calabria, Department of Mathematics and ...
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...
SISTEMA DE BIBLIOTECAS EPN - catalog › Results of...
biblioteca.epn.edu.ec
... Italian Association for Artificial Intelligence, Rende, Italy, November , 2019, Proceedings / edited by Mario Alviano, Gianluigi Greco, Francesco Scarcello.
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