Nicola Leone

According to our database1, Nicola Leone authored at least 263 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios.
TPLP, 2019

Enhancing Magic Sets with an Application to Ontological Reasoning.
TPLP, 2019

Fast Query Answering over Existential Rules.
ACM Trans. Comput. Log., 2019

Precomputing Datalog evaluation plans in large-scale scenarios.
CoRR, 2019

Enhancing magic sets with an application to ontological reasoning.
CoRR, 2019



An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Evaluation of Disjunctive Programs in WASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019


An ASP-based Approach for Optimizing DLV Evaluation.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018
The ASP System DLV: Advancements and Applications.
KI, 2018

First Steps towards Reasoning on Big Data with DLV.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Evaluation Techniques and Systems for Answer Set Programming: a Survey.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Enhancing Existential Rules by Closed-World Variables.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

The AI System DLV: Ontologies, Reasoning, and More.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Structural Decomposition Methods: Key Notions and Database Applications.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Finite model reasoning over existential rules.
TPLP, 2017

Finite model reasoning over existential rules.
CoRR, 2017

On the Computation of Paracoherent Answer Sets.
CoRR, 2017

Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper).
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

The ASP System DLV2.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Reasoning on anonymity in Datalog+/-.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

Entity set expansion from the Web via ASP.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

Document Layout Analysis for Semantic Information Extraction.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

On the Computation of Paracoherent Answer Sets.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).
TPLP, 2016

Driving CDCL Search.
CoRR, 2016

Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper).
CoRR, 2016

Grounding and Solving in Answer Set Programming.
AI Magazine, 2016

Applications of Answer Set Programming.
AI Magazine, 2016

Semi-equilibrium models for paracoherent answer set programs.
Artif. Intell., 2016

Hypertree Decompositions: Questions and Answers.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Modeling and Reasoning about NTU Games via Answer Set Programming.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On the Properties of GZ-Aggregates in Answer Set Programming.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On the Application of Answer Set Programming to the Conference Paper Assignment Problem.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015
Complexity and compilation of GZ-aggregates in answer set programming.
TPLP, 2015

Complexity and Compilation of GZ-Aggregates in Answer Set Programming.
CoRR, 2015

Ontology-driven Information Extraction.
CoRR, 2015

Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications.
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Allotment Problem in Travel Industry: A Solution Based on ASP.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Semantic Views of Homogeneous Unstructured Data.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Advances in WASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments.
Proceedings of the Artificial Intelligence and Soft Computing, 2015

2014
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
CoRR, 2014

Modular Paracoherent Answer Sets.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013
Introduction to the special issue on the 25th annual GULP conference.
TPLP, 2013

A graphic tool for ontology reasoning under Datalog.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Development Tools for Datalog.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Query Answering over Disjunctive Datalog with Existential Quantifiers.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Answer Set Programming: Language, Applications and Development Tools.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

WASP: A Native ASP Solver Based on Constraint Learning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012
Team-building with answer set programming in the Gioia-Tauro seaport.
TPLP, 2012

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
TPLP, 2012

The HiLeX System for Semantic Information Extraction.
Trans. Large-Scale Data- and Knowledge-Centered Systems, 2012

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
CoRR, 2012

Magic Sets for Disjunctive Datalog Programs
CoRR, 2012

Magic Sets for disjunctive Datalog programs.
Artif. Intell., 2012

Efficient Query Answering over Datalog with Existential Quantifiers.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

Distributed Ontology Based Data Access via Logic Programming.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Efficiently Computable Datalog∃ Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

JASP: A Framework for Integrating Answer Set Programming with Java.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Datalog Development Tools - (Extended Abstract).
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Magic-Sets for Datalog with Existential Quantifiers.
Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Extending ASPIDE with User-defined Plugins.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

The Intelligent Grounder of DLV.
Proceedings of the Correct Reasoning, 2012

2011
On the complexity of regular-grammars with integer attributes.
J. Comput. Syst. Sci., 2011

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
J. Artif. Intell. Res., 2011

A long tour from theory to practice.
Intelligenza Artificiale, 2011

Look-back Techniques for ASP Programs with Aggregates.
Fundam. Inform., 2011

Unit Testing in ASPIDE
CoRR, 2011

Answer Set Planning Under Action Costs
CoRR, 2011

Team-building with Answer Set Programming in the Gioia-Tauro Seaport
CoRR, 2011

Finitely recursive programs: Decidability and bottom-up computation.
AI Commun., 2011

Semantics and complexity of recursive aggregates in answer set programming.
Artif. Intell., 2011

Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Unit Testing in ASPIDE.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

The Birth of a WASP: Preliminary Report on a New ASP Solver.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

ASP at Work: Spin-off and Applications of the DLV System.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Disjunctive ASP with functions: Decidable queries and effective computation.
TPLP, 2010

A Logic-Based System for e-Tourism.
Fundam. Inform., 2010

Disjunctive ASP with Functions: Decidable Queries and Effective Computation
CoRR, 2010

Efficient Application of Answer Set Programming for Advanced Data Integration.
Proceedings of the Practical Aspects of Declarative Languages, 2010

An ASP-Based System for Team-Building in the Gioia-Tauro Seaport.
Proceedings of the Practical Aspects of Declarative Languages, 2010

The Disjunctive Datalog System DLV.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Answer Set Programming.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
OntoDLV: An ASP-based System for Enterprise Ontologies.
J. Log. Comput., 2009

Normal Form Nested Programs.
Fundam. Inform., 2009

An ASP-Based Data Integration System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Exploiting ASP in Real-World Applications: Main Strengths and Challenges.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

An ASP-Based System for e-Tourism.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Some DLV Applications for Knowledge Management.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

An ASP System with Functions, Lists, and Sets.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008
Answer Set Programming.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Experimenting with recursive queries in database and logic programming systems.
TPLP, 2008

Design and implementation of aggregate functions in the DLV system.
TPLP, 2008

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms, 2008

Design and Implementation of Aggregate Functions in the DLV System
CoRR, 2008

On the relation among answer set solvers.
Ann. Math. Artif. Intell., 2008

Enhancing a DLP System for Advanced Database Applications.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Experiencing ASP with Real World Applications.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

Look-back Techniques for ASP Programs with Aggregates.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008

Normal Form Nested Programs.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

The DLV Project: A Tour from Theory and Research to Applications and Market.
Proceedings of the Logic Programming, 24th International Conference, 2008

Computable Functions in ASP: Theory and Implementation.
Proceedings of the Logic Programming, 24th International Conference, 2008

Logic Programming in DataLog: A Long Tour from Theory to Practice.
Proceedings of the Il Milione (i.e. 2ˆ6), 2008

Magic Sets for Data Integration.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Weighted hypertree decompositions and optimal query plans.
J. Comput. Syst. Sci., 2007

Magic Sets and their application to data integration.
J. Comput. Syst. Sci., 2007

Disjunctive logic programming with types and objects: The DLV+ system.
J. Applied Logic, 2007

Experimenting with recursive queries in database and logic programming systems
CoRR, 2007

Enhancing DLV instantiator by backjumping techniques.
Ann. Math. Artif. Intell., 2007

On look-ahead heuristics in disjunctive logic programming.
Ann. Math. Artif. Intell., 2007

Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Experimenting with Look-Back Heuristics for Hard ASP Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

On the Complexity of Answer Set Programming with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006
The DLV system for knowledge representation and reasoning.
ACM Trans. Comput. Log., 2006

Pruning Operators for Disjunctive Logic Programming Systems.
Fundam. Inform., 2006

A backjumping technique for Disjunctive Logic Programming.
AI Commun., 2006

Towards a Semantic Information Extraction Approach from Unstructured Documents.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

A Logic-Based Tool for Semantic Information Extraction.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Adding Efficient Data Management to Logic Programming Systems.
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features.
Proceedings of the Business Process Management Workshops, 2006

2005
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
TPLP, 2005

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.
Intelligenza Artificiale, 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

A DLP System with Object-Oriented Features.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005


Heuristics for Hard ASP Programs.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Declarative and Computational Properties of Logic Programs with Aggregates.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Magic Sets and Their Application to Data Integration.
Proceedings of the Database Theory, 2005

Exploiting ASP for Semantic Information Extraction.
Proceedings of the Answer Set Programming, 2005

2004
A logic programming approach to knowledge-state planning: Semantics and complexity.
ACM Trans. Comput. Log., 2004

Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.
IEEE Trans. Knowl. Data Eng., 2004

Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
CoRR, 2004

Parametric connectives in Disjunctive Logic Programming.
AI Commun., 2004

On Weighted Hypertree Decompositions.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Weighted Hypertree Decompositions and Optimal Query Plans.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

BackJumping techniques for rules instantiation in the DLV system.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

DLVDB: Adding Efficient Data Management Features to ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

System Description: DLV with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

New DLV Features for Data Integration.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Enhancing the Magic-Set Method for Disjunctive Datalog Programs.
Proceedings of the Logic Programming, 20th International Conference, 2004

2003
Computing preferred answer sets by meta-interpretation in answer set programming.
TPLP, 2003

Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.
J. Comput. Syst. Sci., 2003

Answer Set Planning Under Action Costs.
J. Artif. Intell. Res., 2003

Parametric Connectives in Disjunctive Logic Programming
CoRR, 2003

Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
CoRR, 2003

Enhancing disjunctive logic programming systems by SAT checkers.
Artif. Intell., 2003

A logic programming approach to knowledge-state planning, II: The DLVK system.
Artif. Intell., 2003

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
Proceedings of the IJCAI-03, 2003

Parametric Connectives in Disjunctive Logic Programming.
Proceedings of the Answer Set Programming, 2003

Aggregate Functions in DLV.
Proceedings of the Answer Set Programming, 2003

2002
Disjunctive Logic Programs with Inheritance.
TPLP, 2002

Computing LOGCFL certificates.
Theor. Comput. Sci., 2002

Hypertree Decompositions and Tractable Queries.
J. Comput. Syst. Sci., 2002

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
CoRR, 2002

The DLV System for Knowledge Representation and Reasoning
CoRR, 2002

Logic programming and knowledge representation - The A-Prolog perspective.
Artif. Intell., 2002

Knowledge Representation and Logic Programming.
Artif. Intell., 2002

Cost-based Query Decompositions.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Pruning operators for answer set programming systems.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

The DLV System.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

The DLVK Planning System: Progress Report.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Answer Set Planning under Action Costs.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
On ACTL Formulas Having Linear Counterexamples.
J. Comput. Syst. Sci., 2001

The complexity of acyclic conjunctive queries.
J. ACM, 2001

Abduction with Penalization in Logic Programming
CoRR, 2001

Disjunctive Logic Programs with Inheritance
CoRR, 2001

A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
CoRR, 2001

Join Ordering Techniques for Knowledge Base Systems.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Hypertree Decompositions: A Survey.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Improving ASP Instantiators by Join-Ordering Methods.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Optimizing the Computation of Heuristics for Answer Set Programming Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: The DLVK Planning System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: DLV.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Census Data Repair: a Challenging Application of Disjunctive Logic Programming.
Proceedings of the Logic for Programming, 2001

Experimenting with Heuristics for Answer Set Programming.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Proceedings of the Answer Set Programming, 2001

Abduction with Penalization in Logic Programming.
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000
Enhancing Disjunctive Datalog by Constraints.
IEEE Trans. Knowl. Data Eng., 2000

DLV - A System for Declarative Problem Solving
CoRR, 2000

A comparison of structural CSP decomposition methods.
Artif. Intell., 2000

Using the dlv System for Planning and Diagnostic Reasoning.
Proceedings of the 14. Workshop Logische Programmierung, 2000

Planning under Incomplete Knowledge.
Proceedings of the Computational Logic, 2000

1999
On the Complexity of Some Inductive Logic Programming Problems.
New Generation Comput., 1999

Succinctness as a Source of Complexity in Logical Formalisms.
Ann. Pure Appl. Logic, 1999

Semantics and Expressiveness of Disjunctive Ordered Logic.
Ann. Math. Artif. Intell., 1999

The Diagnosis Frontend of the dlv System.
AI Commun., 1999

Enhancing Model Checking in Verification by AI Techniques.
Artif. Intell., 1999

Hypertree Decompositions and Tractable Queries.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Pushing Goal Derivation in DLP Computations.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Stable Model Checking Made Easy.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Comparison of Structural CSP Decomposition Methods.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Disjunctive Logic Programs with Inheritance.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Computing LOGCFL Certificates.
Proceedings of the Automata, 1999

On Tractable Queries and Constraints.
Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

Local Search Techniques for Disjunctive Logic Programs.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
Theor. Comput. Sci., 1998

Hypertree Decompositions and Tractable Queries
CoRR, 1998

The KR System dlv: Progress Report, Comparisons and Benchmarks.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Disjunctive Ordered Logic: Semantics and Expressiveness.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Progress Report on the Disjunctive Deductive Database System dlv.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

The Complexity of Acyclic Conjunctive Queries.
Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

On the Complexity of Search Queries.
Proceedings of the Fundamentals of Information Systems, 1998

1997
ProbView: A Flexible Probabilistic Database System.
ACM Trans. Database Syst., 1997

A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning.
IEEE Trans. Knowl. Data Eng., 1997

Abduction from Logic Programs: Semantics and Complexity.
Theor. Comput. Sci., 1997

On the Indiscernibility of Individuals in Logic Programming.
J. Log. Comput., 1997

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation.
Inf. Comput., 1997

Efficient Evaluation of a Class of Ordered Logic Programs.
Data Knowl. Eng., 1997

On the Partial Semantics for Disjunctive Deductive Databases.
Ann. Math. Artif. Intell., 1997

Semantics and Complexity of Abduction from Default Theories.
Artif. Intell., 1997

The dlv System: Model Generator and Advanced Frontends (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997

A Deductive System for Non-Monotonic Reasoning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Strong and Weak Constraints in Disjunctive Datalog.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

DATALOG with Nested Rules.
Proceedings of the Logic Programming and Knowledge Representation, 1997

On the Complexity of Some Inductive Logic Programming Problems.
Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

The Architecture of a Disjunctive Deductive Database System.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Adding Weak Constraints to Disjunctive Datalog.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Stable Models and Their Computation for Logic Programming with Inheritance and True Negation.
J. Log. Program., 1996

On the Expressive Power of Ordered Logic.
AI Commun., 1996

Stable Model Checking for Disjunctive Logic Programs.
Proceedings of the Logic in Databases, 1996

The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Proceedings of the Logic in Databases, 1996

On the Computation of Disjunctive Stable Models.
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

Partial Semantics for Disjunctive Deductive Databases.
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Computing Disjunctive Ordered Logic.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
A Language for Updating Logic Programs and its Implementation.
J. Log. Program., 1995

On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.
Proceedings of the 11. Workshop Logische Programmierung, 1995

Declarative and Fixpoint Characterizations of Disjunctive Stable Models.
Proceedings of the Logic Programming, 1995

Second Order Logic and the Weak Exponential Hierarchies.
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Complexity Results for Abductive Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Semantics and Complexity of Abduction from Default Theories.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

BQM: a system integrating logic, objects, and non-monotonic reasoning.
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Disjunctive Ordered Logic
Proceedings of the Database and Expert Systems Applications, 1995

Curbing Theories: Fixpoint Semantics and Complexity Issues.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Modifying Intensional Logic Knowledge.
Fundam. Inform., 1994

Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote.
Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994

A non-deterministic semantics for ordered logic programs.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Well-Founded Semantics and Stratification for Ordered Logic Programs.
New Generation Comput., 1993

Ordered Logic Programming with Sets.
J. Log. Comput., 1993

Effective Implementation of Negation in Database Logic Query Languages.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993

Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase.
Proceedings of the Convegno SEBD'93, 1993

Updating Logic Programs.
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

Adding Set Terms to Ordered Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
COMPLEX: An Object-Oriented Logic Programming System.
IEEE Trans. Knowl. Data Eng., 1992

Safe computation of the well-founded semantics of Datalog queries.
Inf. Syst., 1992

An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries.
Comput. J., 1992

Stable Model Semantics and its Computation for Ordered Logic Programs.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

The Basic Query Machine of the KIWIS System.
Proceedings of the Advanced Information Systems Engineering, 1992

1991


  Loading...