1
0
0
(1 - 18 von 19
)
Logic Programming and Nonmonotonic Reasoning: 10th ...google.com
books.google.com
... R. Morales and Y. Zhang 15 CompanyControls Decision,P Mario Alviano 15 GrammarBasedInformationExtraction Decision,P Marco Manna 29 Reachability Decision ...
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 ...
Logic Programming and Nonmonotonic Reasoning: 13th International...
books.google.com.mx
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in...
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
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
Fuzzy Answer Sets ApproximationsTU Dresden
iccl.inf.tu-dresden.de
Mario Alviano, Rafael Peñaloza. Fuzzy Answer Sets Approximations. Theory and Practice of Logic Programming, 13(4--5): , › web
International Conference on Logic Programming 2018
lists.uni-paderborn.de
— ... Program Committee: Mario Alviano University of Calabria Hassan Ait-Kaci Marcello Balduccini St. John's University Mutsunori Banbara Kobe ... › fg-arc
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
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
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.
Modal Logic S5 Satisfiability in Answer Set ProgrammingUniversity of Huddersfield
pure.hud.ac.uk
von M Alviano · · Zitiert von: 1 — Modal Logic S5 Satisfiability in Answer Set Programming. Mario Alviano, Sotiris Batsakis, George Baryannis · Department of Computer Science ... › modal-lo...
Alviano
www.aaai.org
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. Mario Alviano, Wolfgang Faber ...
Forschungsaktivitäten - Forschung | AAU Campus
campus.aau.at
: Mario Alviano , Martin Gebser. The Alain Colmerauer 10 year test of time award. Verliehen von: 35. International Conference on Logic Programming › cris › search
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
Modal Logic S5 in Answer Set Programming with Lazy ...
pure.hud.ac.uk
Mario Alviano, Sotiris Batsakis, George Baryannis · Department of Computer Science · Centre of Artificial Intelligence for Mental Health ... › publications
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