Searching for authors named "Nicola Leone" – sorted by Relevance.
76 documents found, showing 1 through 10.
Next 10 →
-
The infomix system for advanced integration of incomplete and inconsistent data
- …The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data ∗ Nicola Leone…
- Cited by 7 (6 self) – Add To MetaCart
-
Stable Model Checking Made Easy
- … Checking Made Easy ∗ Christoph Koch and Nicola Leone Information Systems Dept. Technical University…
- Cited by 8 (3 self) – Add To MetaCart
-
Backjumping techniques for rules instantiation in the dlv system
- …BackJumping Techniques for Rules Instantiation in the DLV System Nicola Leone and Simona Perri…
- Cited by 2 (1 self) – Add To MetaCart
-
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases
- …@(email omitted); Nicola Leone b;3 b Information Systems Department, Technical University of Vienna, Paniglgasse 16, A…
- Cited by 15 (6 self) – Add To MetaCart
-
Disjunctive Logic Programming with types and objects: The DLV+ System
- … and Nicola Leone Department of Mathematics, University of Calabria Via P. Bucci, cubo 30b, Rende (CS) 87036…
- Cited by 3 (1 self) – Add To MetaCart
-
Parametric Connectives in Disjunctive Logic Programming
- …Parametric Connectives in Disjunctive Logic Programming Simona Perri and Nicola Leone Department…
- Cited by 6 (0 self) – Add To MetaCart
-
Logic Programming and Knowledge Representation - the A-Prolog perspective
- … Nicola Leone b a Department of Computer Science, Texas Tech University Lubbock, Texas, 79409…
- Cited by 34 (0 self) – Add To MetaCart
-
Experimenting with Look-Back Heuristics for Hard ASP Programs �
- …Experimenting with Look-Back Heuristics for Hard ASP Programs � Wolfgang Faber, Nicola Leone…
- Add To MetaCart
-
Looking Back in DLV: Experiments and Comparison to QBF Solvers ⋆
- …Looking Back in DLV: Experiments and Comparison to QBF Solvers ⋆ Wolfgang Faber 1 , Nicola Leone 1…
- Add To MetaCart
-
On Polynomial-Time Computable Non-Deterministic Queries
- …On Polynomial-Time Computable Non-Deterministic Queries Nicola Leone 1 , Luigi Palopoli 2…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
