Nicola Leone | Academic Influence

Nicola Leone's AcademicInfluence.com Rankings

Nicola Leone

Computer Science

#2178

World Rank

#2266

Historical Rank

Database

#1523

World Rank

#1598

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Nicola Leone's Degrees

PhD Computer Science University of Calabria

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2024

Why Is Nicola Leone Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Nicola Leone is an Italian computer scientist who works in the areas of artificial intelligence, knowledge representation and reasoning, and database theory. Leone is currently the rector of the University of Calabria and a professor of Computer Science. Previously, he was a professor of Database Systems at the TU Wien.

(See a Problem?)

Nicola Leone's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The DLV system for knowledge representation and reasoning (2002) (1282)
Hypertree decompositions and tractable queries (1998) (443)
A Comparison of Structural CSP Decomposition Methods (1999) (416)
ProbView: a flexible probabilistic database system (1997) (404)
The KR System dlv: Progress Report, Comparisons and Benchmarks (1998) (259)
Semantics and complexity of recursive aggregates in answer set programming (2011) (241)
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity (2004) (240)
The complexity of acyclic conjunctive queries (1998) (226)
Logic programming and knowledge representation - The A-Prolog perspective (2002) (221)
Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation (1997) (203)
Enhancing Disjunctive Datalog by Constraints (2000) (180)
Applications of Answer Set Programming (2016) (178)
ASP-Core-2 Input Language Format (2019) (176)
Declarative problem-solving using the DLV system (2000) (174)
A Deductive System for Non-Monotonic Reasoning (1997) (164)
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width (2001) (150)
A logic programming approach to knowledge-state planning, II: The DLVK system (2001) (146)
Abduction from Logic Programs: Semantics and Complexity (1997) (143)
A logic programming approach to knowledge-state planning: Semantics and complexity (2004) (138)
Computable Functions in ASP: Theory and Implementation (2008) (136)
The INFOMIX system for advanced integration of incomplete and inconsistent data (2005) (125)
Advances in WASP (2015) (119)
Disjunctive logic programs with inheritance (1999) (116)
The Diagnosis Frontend of the dlv System (1999) (111)
Census Data Repair: a Challenging Application of Disjunctive Logic Programming (2001) (110)
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV (2003) (110)
Team-building with answer set programming in the Gioia-Tauro seaport (2011) (103)
Enhancing Model Checking in Verification by AI Techniques (1999) (98)
Strong and Weak Constraints in Disjunctive Datalog (1997) (97)
The DLV System (2002) (96)
WASP: A Native ASP Solver Based on Constraint Learning (2013) (94)
Planning under Incomplete Knowledge (2000) (92)
Experimenting with recursive queries in database and logic programming systems (2007) (90)
Design and implementation of aggregate functions in the DLV system* (2008) (88)
Efficiently Computable Datalog∃ Programs (2012) (84)
DLV - A System for Declarative Problem Solving (2000) (83)
Hypertree Decompositions: A Survey (2001) (80)
Answer Set Planning under Action Costs (2002) (77)
The ASP System DLV2 (2017) (76)
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track (2011) (75)
Magic Sets and their application to data integration (2005) (70)
The Disjunctive Datalog System DLV (2010) (69)
OntoDLV: An ASP-based System for Enterprise Ontologies (2009) (68)
Hypertree Decompositions: Questions and Answers (2016) (67)
Grounding and Solving in Answer Set Programming (2016) (65)
Enhancing the Magic-Set Method for Disjunctive Datalog Programs (2004) (64)
Pushing Goal Derivation in DLP Computations (1999) (61)
COMPLEX: An Object-Oriented Logic Programming System (1992) (59)
Experimenting with Heuristics for Answer Set Programming (2001) (59)
The dlv System: Model Generator and Application Frontends (1997) (58)
On Tractable Queries and Constraints (1999) (58)
Computing preferred answer sets by meta-interpretation in Answer Set Programming (2002) (56)
Disjunctive logic programming with types and objects: The DLV+ system (2007) (56)
On the partial semantics for disjunctive deductive databases (2004) (54)
Evaluation Techniques and Systems for Answer Set Programming: a Survey (2018) (52)
Declarative problem-solving in DLV (2001) (52)
Enhancing disjunctive logic programming systems by SAT checkers (2003) (47)
Magic Sets for disjunctive Datalog programs (2012) (47)
A Logic-Based System for e-Tourism (2010) (46)
Computing LOGCFL certificates (1999) (46)
Stable Models and Their Computation for Logic Programming with Inheritance and True Negation (1996) (45)
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (2016) (45)
Disjunctive ASP with functions: Decidable queries and effective computation* (2010) (44)
Improving ASP Instantiators by Join-Ordering Methods (2001) (42)
Semantics and Complexity of Abduction from Default Theories (1995) (41)
Weighted hypertree decompositions and optimal query plans (2004) (40)
Evaluation of Disjunctive Programs in WASP (2019) (39)
ASP at Work: Spin-off and Applications of the DLV System (2011) (38)
A backjumping technique for Disjunctive Logic Programming (2006) (38)
Succinctness as a Source of Complexity in Logical Formalisms (1999) (38)
Declarative and Computational Properties of Logic Programs with Aggregates (2005) (38)
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications (2007) (37)
The Intelligent Grounder of DLV (2012) (37)
The ASP System DLV: Advancements and Applications (2018) (36)
Disjunctive Ordered Logic: Semantics and Expressiveness (1998) (36)
Exploiting ASP for Semantic Information Extraction (2005) (34)
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers (2008) (34)
Second Order Logic and the Weak Exponential Hierarchies (1995) (33)
An ASP System with Functions, Lists, and Sets (2009) (33)
Enhancing DLV instantiator by backjumping techniques (2007) (33)
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications (2015) (33)
On the relation among answer set solvers (2008) (33)
Semi-equilibrium models for paracoherent answer set programs (2016) (32)
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases (1998) (32)
Some DLV Applications for Knowledge Management (2009) (31)
On ACTL Formulas Having Linear Counterexamples (2001) (30)
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (2012) (30)
On the complexity of some inductive logic programming problems (1997) (29)
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates (2011) (27)
System Description: DLV (2001) (27)
JASP: A Framework for Integrating Answer Set Programming with Java (2012) (27)
Aggregate Functions in DLV (2003) (27)
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport (2010) (26)
On the Application of Answer Set Programming to the Conference Paper Assignment Problem (2016) (26)
BackJumping techniques for rules instantiation in the DLV system (2004) (26)
The DLVK Planning System: Progress Report (2002) (25)
Modeling and Reasoning about NTU Games via Answer Set Programming (2016) (25)
Allotment Problem in Travel Industry: A Solution Based on ASP (2015) (25)
Safe computation of the well-founded semantics of Datalog queries (1992) (24)
Pruning Operators for Disjunctive Logic Programming Systems (2006) (23)
Declarative and Fixpoint Characterizations of Disjunctive Stable Models (1995) (22)
Pruning operators for answer set programming systems (2002) (22)
The Birth of a WASP: Preliminary Report on a New ASP Solver (2011) (21)
Unit Testing in ASPIDE (2011) (21)
Abductive logic programs with penalization: semantics, complexity and implementation (2003) (21)
Stable Model Checking Made Easy (1999) (21)
Ordered Logic Programming with Sets (1993) (20)
Effective Implementation of Negation in Database Logic Query Languages (1993) (20)
The Expressive Power of Partial Models in Disjunctive Deductive Databases (1996) (19)
An ASP-Based System for e-Tourism (2009) (19)
A Visual Tracer for DLV (2009) (18)
The dlv System: Model Generator and Advanced Frontends (system description) (1997) (18)
Finite model reasoning over existential rules* (2017) (17)
Normal Form Nested Programs (2008) (17)
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques (2010) (17)
The KIWIS Knowledge Base Management System (1991) (16)
Entity set expansion from the Web via ASP (2017) (16)
The HiLeX System for Semantic Information Extraction (2012) (16)
Magic-Sets for Datalog with Existential Quantifiers (2012) (16)
Complexity and compilation of GZ-aggregates in answer set programming (2015) (15)
On the Computation of Paracoherent Answer Sets (2017) (15)
Fast Query Answering over Existential Rules (2019) (15)
Boosting Information Integration: The INFOMIX System (2005) (15)
Progress Report on the Disjunctive Deductive Database System dlv (1998) (14)
Modular Paracoherent Answer Sets (2014) (13)
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming (2001) (13)
Optimal models of disjunctive logic programs: semantics, complexity, and computation (2004) (13)
Enhancing a DLP System for Advanced Database Applications (2008) (13)
Adding Weak Constraints to Disjunctive Datalog (1997) (12)
Optimizing the Computation of Heuristics for Answer Set Programming Systems (2001) (12)
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs (2009) (12)
The DLVk Planning System (2001) (12)
The DLV Project: A Tour from Theory and Research to Applications and Market (2008) (12)
Enhancing Existential Rules by Closed-World Variables (2018) (11)
Proceedings of the European Conference on Logics in Artificial Intelligence (2002) (11)
On the complexity of regular-grammars with integer attributes (2011) (10)
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning (1997) (10)
Knowledge Representation and Logic Programming (2002) (10)
Semantics and expressiveness of disjunctive ordered logic (1999) (10)
Parametric Connectives in Disjunctive Logic Programming (2003) (9)
Using the dlv System for Planning and Diagnostic Reasoning (2000) (9)
Function Symbols in ASP : Overview and Perspectives (2012) (9)
Answer Set Programming: Language, Applications and Development Tools (2013) (8)
Using Database Optimization (1999) (8)
Finitely recursive programs: Decidability and bottom-up computation (2011) (8)
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, (2000) (8)
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks (2005) (8)
Stable Model Checking for Disjunctive Logic Programs (1996) (8)
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates (2011) (8)
On the Complexity of Answer Set Programming with Aggregates (2007) (8)
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward (2018) (8)
Enhancing DLV for Large-Scale Reasoning (2019) (8)
A DLP System with Object-Oriented Features (2005) (8)
On look-ahead heuristics in disjunctive logic programming (2007) (8)
Document Layout Analysis for Semantic Information Extraction (2017) (8)
On the Indiscernibility of Individuals in Logic Programming (1997) (7)
Practical Aspects of Declarative Languages (2018) (7)
A Language for Updating Logic Programs and its Implementation (1995) (7)
Cost-based Query Decompositions (2002) (6)
DLVDB: Bridging the Gap between ASP Systems and DBMSs (2004) (6)
The Architecture of a Disjunctive Deductive Database System (1997) (6)
System Description: The DLVK Planning System (2001) (6)
DATALOG with Nested Rules (1997) (6)
Complexity Results for Abductive Logic Programming (1995) (6)
Enhancing Magic Sets with an Application to Ontological Reasoning (2019) (5)
Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System (2013) (5)
Disjunctive Ordered Logic (1995) (5)
Experimenting with Look-Back Heuristics for Hard ASP Programs (2007) (5)
Stable Model Semantics and its Computation for Ordered Logic Programs (1992) (5)
On the Complexity of Search Queries (1998) (5)
DLVDB: Adding Efficient Data Management Features to ASP (2004) (5)
Assumption Sets for Extended Logic Programs (1999) (4)
BQM: a system integrating logic, objects, and non-monotonic reasoning (1995) (4)
On the Computation of Disjunctive Stable Models (1996) (4)
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming (2020) (4)
Data Integration: a Challenging ASP Application (2005) (4)
Exploiting ASP in Real-World Applications: Main Strengths and Challenges (2009) (4)
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries (1992) (4)
Look-back Techniques for ASP Programs with Aggregates (2011) (4)
Heuristics for Hard ASP Programs (2005) (4)
A Logic-Based Tool for Semantic Information Extraction (2006) (4)
On the Properties of GZ-Aggregates in Answer Set Programming (2016) (4)
System Description: DLV with Aggregates (2004) (4)
Enhancing Symbolic Model Checking by Ai Techniques Justus-liebig- Universit at Gieeen Enhancing Symbolic Model Checking by Ai Techniques (1997) (3)
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases (1996) (3)
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots (2019) (3)
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper) (2017) (3)
New DLV Features for Data Integration (2004) (3)
Efficient Instantiation of Disjunctive Databases (2001) (3)
Local Search Techniques for Disjunctive Logic Programs (1999) (3)
Adding Efficient Data Management to Logic Programming Systems (2006) (3)
The AI System DLV: Ontologies, Reasoning, and More (2018) (3)
Extending ASPIDE with User-defined Plugins (2012) (3)
Structural Decomposition Methods: Key Notions and Database Applications (2018) (3)
Logic Programming and Nonmonotonic Reasoning 5th International Conference, Lpnmr '99, El Paso, Texas, Usa, December 2-4, 1999 : Proceedings' (1999) (2)
Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features (2006) (2)
Towards a Semantic Information Extraction Approach from Unstructured Documents (2006) (2)
COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) (1998) (2)
Look-Back Techniques and Heuristics in DLV : Implementation and Evaluation ! (2007) (2)
Semantic Information Elicitation from Unstructured Medical Records (2006) (2)
Magic Sets for Data Integration (2008) (2)
Semantic Views of Homogeneous Unstructured Data (2015) (2)
Modifying Intensional Logic Knowledge (1994) (2)
On the Expressive Power of Ordered Logic (1996) (2)
Curbing Theories: Fixpoint Semantics and Complexity Issues (1995) (2)
Reasoning on anonymity in Datalog+/- (2017) (2)
Planning under in-complete information (2000) (1)
Upgrading Databases to Ontologies ? (2008) (1)
Using Unfounded Sets for Computing Answer Sets of Programs with Recursive Aggregates (2007) (1)
Datalog Development Tools - (Extended Abstract) (2012) (1)
A Language for Updating Logic Programs (1995) (1)
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (2019) (1)
On Weighted Hypertree Decompositions (2004) (1)
Practical Aspects of Declarative Languages - 20th International Symposium, {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings (2018) (1)
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs (1995) (1)
Efficient Application of Answer Set Programming for Advanced Data Integration (2010) (1)
Experiencing ASP with Real World Applications (2008) (1)
Efficient query evaluation in a language combining object-oriented and logic programming (1992) (1)
Logic Programming in DataLog: A Long Tour from Theory to Practice (2008) (1)
A graphic tool for ontology reasoning under Datalog∃ (2013) (1)
Ontology-driven Information Extraction (2015) (1)
Distributed Ontology Based Data Access via Logic Programming (2012) (1)
An ASP-Based Data Integration System (2009) (1)
Logics in Artificial Intelligence (2002) (1)
Large Scale DLV: Preliminary Results (2019) (1)
Looking Back in DLV : Experiments and Comparison to QBF Solvers ⋆ (2007) (1)
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications (2022) (1)
Well-founded semantics and stratification for ordered logic programs (2009) (1)
Driving CDCL Search (2016) (1)
Efficient Evaluation of a Class of Ordered Logic Programs (1997) (1)
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification (2020) (1)
Bottom-up Evaluation of Finitely Recursive Queries (2009) (1)
Querying Large Expressive Horn Ontologies (2019) (0)
Implementation and Evaluation of LookBack Techniques and Heuristics in DLV ? (0)
Dynamic Magic Sets (2010) (0)
Using LPNMR for Problem Specification and Code Generation (1999) (0)
SET PROGRAMMING SYSTEMS (2001) (0)
Partial Semantics for Disjunctive Deductive Databases (1996) (0)
OntoDLV : An Object-Oriented Disjunctive Logic Programming System (2006) (0)
Query Answering over Disjunctive Datalog with Existential Quantifiers (2013) (0)
Evaluating Backjumping for Disjunctive Logic Programming (2006) (0)
Introduction to the special issue on the 25th annual GULP conference (2012) (0)
First Steps towards Reasoning on Big Data with DLV (2018) (0)
Advanced Techniques and Systems for Data and Process Management (2014) (0)
Join Ordering Techniques for Knowledge Base Systems (2001) (0)
Wissensbasierte Systeme Abduction With Penalization in Logic Programming (2001) (0)
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (2016) (0)
Infomix Infomix: Boosting the Information Integration Infomix Infomix: Boosting the Information Integration Infomix Infomix: Boosting the Information Integration (0)
Efficient Query Answering over Datalog with Existential Quantifiers (2012) (0)
Belegradek, OV, Stolhoushkin, AP and Taitslin, MA (1999) (0)
Adding Set Terms to Ordered Logic Programs (1993) (0)
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications (2023) (0)
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments (2015) (0)
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels (2022) (0)
ON ACTL FORMULAS HAVING DETERMINISTIC COUNTEREXAMPLES (2007) (0)
A I / 00 03 03 6 v 1 8 M ar 2 00 0 DLV – A System for Declarative Problem Solving ∗ (0)
Computing LOGCFL certi # cates (2001) (0)
Disjunctive Logic Programs with Inheritance DBAI-TR-99-30 (1999) (0)
Institut F Ur Informationssysteme Enhancing Disjunctive Datalog by Constraints Enhancing Disjunctive Datalog by Constraints (1999) (0)
A Comparison of Heuristics far Answer Set Programming (2001) (0)
Efficient Instantiation of Disjunctive Databases DBAI-TR-2001-44 (2001) (0)
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) (2004) (0)
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation (2010) (0)
IDUM a Logic-Based System for e-Tourism (0)
NICOLA LEONE and GERALD PFEIFER and WOLFGANG FABER and THOMAS EITER and GEORG GOTTLOB and SIMONA PERRI and FRANCESCO SCARCELLO (2008) (0)
An ASP-based Approach for Optimizing DLV Evaluation (2019) (0)
A Formal Comparison between Datalog-based Languages for Stream Reasoning (2022) (0)
A long tour from theory to practice (2011) (0)
The Basic Query Machine of the KIWIS System (1992) (0)
Abduction with Penalization in Logic Programming (2001) (0)
Development Tools for Datalog (2013) (0)
Updating Logic Programs (1993) (0)
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver (2009) (0)
Infomix Infomix: Boosting the Information Integration Title: Dissemination and Use Plan Infomix Infomix: Boosting the Information Integration Infomix Infomix: Boosting the Information Integration (0)
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions (2004) (0)
DLV : Evolution and Perspectives (2018) (0)
nfn 2 dlp : A Normal Form Nested Programs Compiler ⋆ (2009) (0)
Solving Problems on the Second Level of the Polynomial Hierarchy 1 (0)
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis (2011) (0)
Reasoning over Ontologies with DLV (2018) (0)
A non-deterministic semantics for ordered logic programs (1994) (0)
Computing Disjunctive Ordered Logic (1996) (0)
The ASP System DLV: Advancements and Applications (2018) (0)

This paper list is powered by the following services:

Other Resources About Nicola Leone

What Schools Are Affiliated With Nicola Leone?

Nicola Leone is affiliated with the following schools:

University of Calabria