Παρακολούθηση
Marco Manna
Marco Manna
Department of Mathematics and Computer Science, University of Calabria
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mat.unical.it - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Team-building with answer set programming in the Gioia-Tauro seaport
F Ricca, G Grasso, M Alviano, M Manna, V Lio, S Iiritano, N Leone
Theory and Practice of Logic Programming 12 (3), 361-381, 2012
1472012
Efficiently Computable Datalog∃ Programs
N Leone, M Manna, G Terracina, P Veltri
KR'12, 2012
972012
The third answer set programming competition: Preliminary report of the system competition track
F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ...
LPNMR'11, 388-403, 2011
842011
The ASP system DLV: advancements and applications
WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ...
KI-Künstliche Intelligenz 32, 177-179, 2018
512018
A Logic-Based System for e-Tourism
F Ricca, M Alviano, A Dimasi, G Grasso, SM Ielpa, S Iiritano, M Manna, ...
Fundamenta Informaticae 105 (1), 35-55, 2010
512010
Guarded-based disjunctive tuple-generating dependencies
P Bourhis, M Manna, M Morak, A Pieris
ACM Transactions On Database Systems (TODS) 41 (4), 1-45, 2016
472016
ASP at work: spin-off and applications of the DLV system
G Grasso, N Leone, M Manna, F Ricca
Logic programming, knowledge representation, and nonmonotonic reasoning, 432-451, 2011
45*2011
Exploiting ASP for semantic information extraction
M Ruffolo
Answer Set Programming, 2005, 2005
432005
Taming primary key violations to query large inconsistent data via ASP
M Manna, F Ricca, G Terracina
Theory and Practice of Logic Programming 15 (4-5), 696-710, 2015
422015
Polynomial Combined Rewritings for Existential Rules
G Gottlob, M Manna, A Pieris
14th International Conference on the Principles of Knowledge Representation …, 2014
372014
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
M Alviano, W Faber, N Leone, M Manna
Theory and Practice of Logic Programming 12 (4-5), 701-718, 2012
362012
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
M Manna, F Ricca, G Terracina
Theory and Practice of Logic Programming, 2012
352012
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules
G Gottlob, M Manna, M Morak, A Pieris
MFCS'12, 1-18, 2012
322012
Distributed XML Design
S Abiteboul, G Gottlob, M Manna
Journal of Computer and System Sciences 77 (6), 936-964, 2011
322011
Combining decidability paradigms for existential rules
G Gottlob, M Manna, A Pieris
Theory and Practice of Logic Programming 13 (4-5), 877-892, 2013
282013
Polynomial rewritings for linear existential rules
G Gottlob, M Manna, A Pieris
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
262015
Magic-Sets for Datalog with Existential Quantifiers
M Alviano, N Leone, M Manna, G Terracina, P Veltri
Datalog in Academia and Industry: Second International Workshop, Datalog 2.0 …, 2012
232012
Fast query answering over existential rules
N Leone, M Manna, G Terracina, P Veltri
ACM Transactions on Computational Logic (ToCL) 20 (2), 1-48, 2019
222019
The HiLeX System for Semantic Information Extraction
M Manna, E Oro, M Ruffolo, M Alviano, N Leone
Transactions on Large-Scale Data- and Knowledge-Centered Systems V, 91-125, 2012
182012
Finite model reasoning over existential rules
G Amendola, N Leone, M Manna
Theory and Practice of Logic Programming 17 (5-6), 726-743, 2017
172017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20