(none)
www.kr.tuwien.ac.at
Simona Perri Motivation and ... Our research results have been incorporated in the prototype version of the DLV K system, a declarative planning system based on logic
Datalog Reloaded: First International Workshop, Datalog 2010, ...
books.google.com
The Disjunctive Datalog System DLV⋆ Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, and Giorgio Terracina Department of ...
PPDP Accepted Papers with Abstractssoftware.imdea.org › Conferences › PPDP2022 › AcceptedPapersAbstracts
software.imdea.org
Francesco Calimeri , Giovambattista Ianni, Francesco Pacenza, Simona Perri and Jessica Zangari. ASP-based Multi-shot Reasoning via DLV2 with Incremental ...
System Description: DLV with Aggregatesstatic.aminer.org › pdf › PDF › system_description_dlv_with_aggreg...
static.aminer.org
Simona Perri. ¡. , and Gerald Pfeifer. ¢. £. Department of Mathematics, University of Calabria Rende (CS), Italy.
The DLV System for Knowledge Representation and Reasoningwww.cs.ox.ac.uk › Research › Publications
www.cs.ox.ac.uk
by G Gottlob · · Cited by — Nicola Leone‚ Gerald Pfeifer‚ Wolfgang Faber‚ Thomas Eiter‚ Georg Gottlob‚ Simona Perri and Francesco Scarcello. Journal. CoRR. Volume. cs.AI
The disjunctive datalog system DLV - ACM Digital Librarydl.acm.org › doi › abs
dl.acm.org
by M Alviano · · Cited by 81 — Simona Perri. Department of Mathematics, University of Calabria, Rende, CS, Italy. Department of Mathematics, University of Calabria, Rende, CS, Italy.
Deductive Database Research: Push Method (Links)users.informatik.uni-halle.de › ~brass › push › links
users.informatik.uni-halle.de
DLV Homepage: http://www.dlvsystem.com/ · Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
I-DLV: The new intelligent grounder of DLV | Request PDFwww.researchgate.net › ... › Differential Psychology › Intelligence
www.researchgate.net
Jul 5, — Francesco Calimeri · Davide Fuscà · Simona Perri · Jessica Zangari. relevant industrial applications. Similarly to the other main-stream ASP ...
The DLV System | SpringerLink
link.springer.com
The development of the DLV system has started as a research projectfinanced by FWF (the Austrian Science Funds) ... Simona Perri (5) Axel Polleres (6)
System Description: DLV with Aggregates | SpringerLink
link.springer.com
2. , Giuseppe Ielpa. 1. , Nicola Leone. 1. , Simona Perri. 1. , and Gerald Pfeifer.
New DLV Features for Data Integration | SpringerLink
link.springer.com
The DLVsystem is currently employed in projects on data integration – a challenging application area for Answer Set Programming. The present system description...
All web results to the name "Simona Perri"
I-DLV | The new intelligent grounder of the logic-based Artificial ...demacs-unical.github.io › I-DLV
demacs-unical.github.io
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari: I-DLV: The New Intelligent Grounder of dlv. AI*IA 2016:
I-DLV: The new intelligent grounder of DLV - Kudoswww.growkudos.com › articles
www.growkudos.com
Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari. Intelligenza Artificiale, April 2017, IOS Press. DOI: ia
I-DLV-sr: A Stream Reasoning System based on I-DLVpaperswithcode.com › paper › i-dlv-sr-a-stream-reasoning-system-based-on-i
paperswithcode.com
5 Aug · Francesco Calimeri, Marco Manna, Elena Mastria, Maria Concetta Morelli, Simona Perri, Jessica Zangari · Edit social preview.
The DLV Project - Galleria
www.dbai.tuwien.ac.at
Sergio Flesca, Giuseppe Ielpa, Francesco Calimeri, Nicola Leone, Francesco Scarcello, Simona Perri, and Tina Dell'Armi are having a nice Italian dinner in ...
[Haskell] Call For Participation: DAMP 2010
mail.haskell.org
... Instantiator Based on DLV Simona Perri, Francesco Ricca, Marco Sirianni Invited Talk [17:00-18:00] * Declarative Data-Parallel Programming ...
sorted by relevance / date