Concepedia

Marco Manna

MM

19

Publications

623

Citations

15

H-Index

1996

Active since

Affiliations

University of Calabria(Current)

University of Oxford

Institut national de recherche en sciences et technologies du numérique

Marco Manna is an author at University of Calabria specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceSemantic WebFormal MethodsSemanticsManagementData ManagementData IntegrationFormal Verification

Publications per year

1996–2019

19

Publications

19

Team-building with answer set programming in the Gioia-Tauro seaport

Francesco Ricca, Giovanni Grasso, Mario Alviano et al. · Theory and Practice of Logic Programming · 2011 · 106 citations · Full text

Engineering, Project Management, Software Engineering +22

Dendrimer-supported combinatorial chemistry.

Ronald M. Kim, Marco Manna, Steven M. Hutchins et al. · Proceedings of the National Academy of Sciences · 1996 · 76 citations · Full text

Combinatorial Chemistry, Medicinal Chemistry, Bioorganic Chemistry +14

Efficiently Computable Datalog ∃ programs

Nicola Leone, Marco Manna, Giorgio Terracina et al. · Principles of Knowledge Representation and Reasoning · 2012 · 64 citations

Engineering, Semantic Web, Semantics +19

Taming primary key violations to query large inconsistent data via ASP

Marco Manna, Francesco Ricca, Giorgio Terracina · Theory and Practice of Logic Programming · 2015 · 42 citations

Relational Database, Engineering, Conjunctive Query +17

The ASP System DLV: Advancements and Applications

Weronika T. Adrian, Mario Alviano, Francesco Calimeri et al. · KI - Künstliche Intelligenz · 2018 · 40 citations

Engineering, System Programming, Virtual Memory +7

Rows per page

1–5 of 19