Concepedia

Giovambattista Ianni

GI

23

Publications

1.3K

Citations

17

H-Index

2000

Active since

Affiliations

University of Calabria(Current)

University of Reggio Calabria

Sapienza University of Rome

University of Calabar

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

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsLogic ProgrammingAnswer Set ProgrammingSemantic WebProgram AnalysisSemanticsFormal Verification

Publications per year

2000–2015

23

Publications

23

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz et al. · Artificial Intelligence · 2008 · 367 citations

Natural Language Processing, Engineering, Information Retrieval +11

A uniform integration of higher-order reasoning and external evaluations in answer-set programming

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer et al. · 2005 · 219 citations

The INFOMIX system for advanced integration of incomplete and inconsistent data

Nicola Leone, Gianluigi Greco, Giovambattista Ianni et al. · 2005 · 95 citations

Engineering, Business Intelligence, Data Preparation +24

The third open answer set programming competition

Francesco Calimeri, Giovambattista Ianni, Francesco Ricca · Theory and Practice of Logic Programming · 2012 · 73 citations · Full text

Engineering, Asp Competition, Software Systems +20

Well-founded semantics for description logic programs in the semantic web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz et al. · ACM Transactions on Computational Logic · 2011 · 72 citations

Web Semantics, Engineering, Automated Reasoning +14

Rows per page

1–5 of 23