Person:202113

Available identifiers

zbMath Open leone.nicolaDBLPl/NicolaLeoneWikidataQ58049749 ScholiaQ58049749MaRDI QIDQ202113

List of research outcomes

Publication	Date of Publication	Type
Complexity results for abductive logic programming	2022-08-30	Paper
ASP-Core-2 Input Language Format	2021-09-03	Paper
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming	2021-09-03	Paper
Enhancing Magic Sets with an Application to Ontological Reasoning	2020-05-04	Paper
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios	2020-05-04	Paper
Reasoning on anonymity in Datalog	2019-10-24	Paper
An ASP-based framework for the manipulation of articulated objects using dual-arm robots	2019-10-10	Paper
Evaluation of disjunctive programs in WASP	2019-10-10	Paper
Enhancing DLV for large-scale reasoning	2019-10-10	Paper
Fast Query Answering over Existential Rules	2019-07-04	Paper
Complexity and compilation of GZ-aggregates in answer set programming	2017-11-09	Paper
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)	2017-11-09	Paper
Finite model reasoning over existential rules	2017-11-08	Paper
The ASP system DLV2	2017-09-05	Paper
A logic programming approach to knowledge-state planning	2017-07-12	Paper
The DLV system for knowledge representation and reasoning	2017-07-12	Paper
Semi-equilibrium models for paracoherent answer set programs	2016-03-08	Paper
Advances in WASP	2015-11-04	Paper
The complexity of acyclic conjunctive queries	2015-10-30	Paper
Modular Paracoherent Answer Sets	2015-01-14	Paper
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues	2013-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4906882	2013-02-28	Paper
Magic sets for disjunctive Datalog programs	2012-11-15	Paper
Team-building with answer set programming in the Gioia-Tauro seaport	2012-08-30	Paper
The Intelligent Grounder of DLV	2012-07-23	Paper
Look-back Techniques for ASP Programs with Aggregates	2012-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q2880785	2012-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q3112638	2012-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3100241	2011-11-23	Paper
Semantics and complexity of recursive aggregates in answer set programming	2011-06-17	Paper
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates	2011-05-26	Paper
Census Data Repair: A Challenging Application of Disjunctive Logic Programming	2011-05-06	Paper
On the complexity of regular-grammars with integer attributes	2011-03-28	Paper
Disjunctive ASP with functions: Decidable queries and effective computation	2010-08-19	Paper
Answer Set Programming	2010-07-20	Paper
Second order logic and the weak exponential hierarchies	2010-06-17	Paper
Normal Form Nested Programs	2010-02-05	Paper
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs	2009-11-10	Paper
OntoDLV: An ASP-based System for Enterprise Ontologies	2009-08-24	Paper
On the relation among answer set solvers	2009-07-06	Paper
Computable Functions in ASP: Theory and Implementation	2009-01-22	Paper
Design and implementation of aggregate functions in the DLV system	2008-12-18	Paper
Normal Form Nested Programs	2008-10-27	Paper
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers	2008-09-29	Paper
On look-ahead heuristics in disjunctive logic programming	2008-04-21	Paper
Enhancing DLV instantiator by backjumping techniques	2008-04-21	Paper
Experimenting with recursive queries in database and logic programming systems	2008-03-27	Paper
On the Complexity of Answer Set Programming with Aggregates	2007-11-13	Paper
Experimenting with Look-Back Heuristics for Hard ASP Programs	2007-11-13	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system	2007-07-25	Paper
Magic Sets and their application to data integration	2007-05-23	Paper
Weighted hypertree decompositions and optimal query plans	2007-04-26	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q5490663	2006-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q5480653	2006-08-03	Paper
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system	2006-02-07	Paper
Enhancing disjunctive logic programming systems by SAT checkers	2006-02-07	Paper
Database Theory - ICDT 2005	2005-09-13	Paper
Logic Programming	2005-08-26	Paper
Abductive logic programs with penalization: semantics, complexity and implementation	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4823426	2004-10-28	Paper
Computing preferred answer sets by meta-interpretation in Answer Set Programming	2004-08-19	Paper
Disjunctive logic programs with inheritance	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4434167	2003-11-04	Paper
Semantics and complexity of abduction from default theories	2003-08-28	Paper
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4708917	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708952	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708953	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4800170	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4800169	2003-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4800163	2003-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4798016	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4799253	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4779133	2002-11-25	Paper
Hypertree decompositions and tractable queries	2002-09-12	Paper
Enhancing model checking in verification by AI techniques	2002-07-24	Paper
Logic programming and knowledge representation---The A-Prolog perspective	2002-07-15	Paper
Computing LOGCFL certificates	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2734932	2002-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q2767106	2002-01-28	Paper
On ACTL formulas having linear counterexamples	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4518915	2001-06-13	Paper
A comparison of structural CSP decomposition methods	2000-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4938636	2000-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4314596	2000-06-21	Paper
Semantics and expressiveness of disjunctive ordered logic	2000-06-07	Paper
Succinctness as a source of complexity in logical formalisms	1999-09-22	Paper
Expressive power and complexity of partial models for disjunctive deductive databases	1999-01-12	Paper
Efficient evaluation of a class of ordered logic programs	1998-07-22	Paper
Abduction from logic programs: Semantics and complexity	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4375823	1998-06-09	Paper
On the indiscernibility of individuals in logic programming	1998-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q4375822	1998-03-02	Paper
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation	1998-01-12	Paper
On the partial semantics for disjunctive deductive databases	1997-10-26	Paper
Stable models and their computation for logic programming with inheritance and true negation	1997-04-27	Paper
A language for updating logic programs and its implementation	1997-03-17	Paper
Ordered Logic Programming with Sets	1994-04-27	Paper
Safe computation of the well-founded semantics of datalog queries	1993-01-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicola Leone