Giovambattista Ianni

Available identifiers

zbMath Open ianni.giovambattistaMaRDI QIDQ814505

List of research outcomes

Publication	Date of Publication	Type
ASP-Core-2 Input Language Format	2021-09-03	Paper
Incremental maintenance of overgrounded logic programs with tailored simplifications	2020-12-13	Paper
Incremental Answer Set Programming with Overgrounding	2020-05-04	Paper
A model building framework for answer set programming with external computations	2017-11-09	Paper
Computational properties of metaquerying problems	2017-06-13	Paper
Well-founded semantics for description logic programs in the semantic web	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4906882	2013-02-28	Paper
HEX programs with action atoms	2012-05-11	Paper
Finitely recursive programs: decidability and bottom-up computation	2012-04-16	Paper
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition	2011-05-26	Paper
Combining nonmonotonic knowledge bases with external sources	2010-01-07	Paper
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs	2009-11-10	Paper
Answer Set Programming: A Primer	2009-10-28	Paper
Efficiently Querying RDF(S) Ontologies with Answer Set Programming	2009-08-24	Paper
Combining answer set programming with description logics for the semantic web	2009-07-17	Paper
Exploiting conjunctive queries in description logic programs	2009-07-06	Paper
Computable Functions in ASP: Theory and Implementation	2009-01-22	Paper
Decidable Fragments of Logic Programming with Value Invention	2008-10-30	Paper
External sources of knowledge and value invention in logic programming	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q3413498	2006-12-12	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Metaqueries: Semantics, complexity, and efficient algorithms	2006-02-07	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
On the complexity of inducing categorical and quantitative association rules	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4708952	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4781959	2002-11-27	Paper
NP-SPEC: An executable specification language for solving all problems in NP	2001-11-08	Paper

Research outcomes over time

This page was built for person: Giovambattista Ianni