1
0
0
(1 - 15 von 20
)
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 ...
Datalog and Logic Databases - Sergio Greco, Cristian Molinaro -...
books.google.com.mx
The use of logic in databases started in the late 1960s. In the early 1970s Codd formalized databases in terms of the relational calculus and the relational...
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
Large-Scale Ontological Reasoning via DatalogIOS Press
ebooks.iospress.nl
von M Alviano · — loading subjects... cover. Large-Scale Ontological Reasoning via Datalog. Authors. Mario Alviano, Marco Manna. Pages DOI SSW › volum...
Coalition formation in social environments with logic OUCI
ouci.dntb.gov.ua
von M Alviano · · Zitiert von: 1 — Journal: AI Communications, 2018, № 5, p Publisher: IOS Press. Authors: Mario Alviano, Gianluigi Greco, Antonella Guzzo ... › works
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
Fuzzy answer sets approximations | Theory and Practice of Logic...
www.cambridge.org
Fuzzy answer sets approximations - Volume 13 Issue 4-5
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
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