1
0
0
(1 - 15 von 18
)
Preference Relations by Approximation - publish.UPUniversität Potsdam
publishup.uni-potsdam.de
von M Alviano · · Zitiert von: 8 — Mario Alviano, Javier Romero Davila, Torsten H. Schaub. Declarative languages for knowledge representation and reasoning provide constructs to define ... › ...
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
Optimum stable model search: algorithms and implementationOxford University Press
academic.oup.com
von M Alviano · · Zitiert von: 38 — Mario Alviano,. Mario Alviano. Department of Mathematics and Computer Science, University of Calabria. , Rende, Italy. .it. › logcom
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
The Pyglaf Argumentation Reasoner - COREcore.ac.uk
core.ac.uk
von M Alviano · Zitiert von: 20 — Mario Alviano. Department of Mathematics and Computer Science, University of Calabria, Italy .it. Abstract. › download › pdf
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
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
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
A Trajectory Calculus for Qualitative Spatial Reasoning Using ...
easychair.org
von G Baryannis · · Zitiert von: 14 — George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei-Wei Tsai ... › preprint
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...
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