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 | 151 | 2012 |
Efficiently Computable Datalog∃ Programs N Leone, M Manna, G Terracina, P Veltri KR'12, 2012 | 96 | 2012 |
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 | 86 | 2011 |
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 | 55 | 2018 |
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 | 53 | 2010 |
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 | 47 | 2016 |
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 | 46* | 2011 |
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 | 45 | 2015 |
Exploiting ASP for semantic information extraction M Ruffolo Answer Set Programming, 2005, 2005 | 42 | 2005 |
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 | 37 | 2012 |
Polynomial Combined Rewritings for Existential Rules G Gottlob, M Manna, A Pieris 14th International Conference on the Principles of Knowledge Representation …, 2014 | 35 | 2014 |
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice M Manna, F Ricca, G Terracina Theory and Practice of Logic Programming, 2012 | 35 | 2012 |
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules G Gottlob, M Manna, M Morak, A Pieris MFCS'12, 1-18, 2012 | 32 | 2012 |
Distributed XML Design S Abiteboul, G Gottlob, M Manna Journal of Computer and System Sciences 77 (6), 936-964, 2011 | 32 | 2011 |
Combining decidability paradigms for existential rules G Gottlob, M Manna, A Pieris Theory and Practice of Logic Programming 13 (4-5), 877-892, 2013 | 29 | 2013 |
Polynomial rewritings for linear existential rules G Gottlob, M Manna, A Pieris Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 25 | 2015 |
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 | 23 | 2019 |
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 | 23 | 2012 |
Group reasoning in social environments E Acar, G Greco, M Manna International Foundation for Autonomous Agents and Multiagent Systems, 2017 | 19 | 2017 |
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 | 19 | 2012 |