pith. sign in

Nicola Leone

Identifiers

  • name variant Nicola Leone 0.60 · backfill

Papers (22)

  1. On the Computation of Paracoherent Answer Sets cs.LO · 2017 · author #4
  2. Finite model reasoning over existential rules cs.LO · 2017 · author #2
  3. Driving CDCL Search cs.AI · 2016 · author #3
  4. Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper) cs.AI · 2016 · author #3
  5. Ontology-driven Information Extraction cs.AI · 2015 · author #2
  6. Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates cs.LO · 2014 · author #4
  7. Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues cs.AI · 2012 · author #3
  8. Magic Sets for Disjunctive Datalog Programs cs.AI · 2012 · author #4
  9. Unit Testing in ASPIDE cs.PL · 2011 · author #2
  10. Team-building with Answer Set Programming in the Gioia-Tauro Seaport cs.LO · 2011 · author #7
  11. Disjunctive ASP with Functions: Decidable Queries and Effective Computation cs.LO · 2010 · author #3
  12. Design and Implementation of Aggregate Functions in the DLV System cs.AI · 2008 · author #3
  13. Experimenting with recursive queries in database and logic programming systems cs.AI · 2007 · author #2
  14. Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) cs.AI · 2004 · author #2
  15. Parametric Connectives in Disjunctive Logic Programming cs.AI · 2003 · author #2
  16. Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation cs.AI · 2003 · author #3
  17. The DLV System for Knowledge Representation and Reasoning cs.AI · 2002 · author #1
  18. Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming cs.LO · 2002 · author #3
  19. A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity cs.AI · 2001 · author #3
  20. Abduction with Penalization in Logic Programming cs.LO · 2001 · author #2
  21. Disjunctive Logic Programs with Inheritance cs.LO · 2001 · author #3
  22. DLV - A System for Declarative Problem Solving cs.AI · 2000 · author #4

Mentions

  • 1401.4596 #4 · backfill · confidence 0.70 Nicola Leone
  • 1210.2316 #3 · backfill · confidence 0.70 Nicola Leone
  • 1204.6346 #4 · backfill · confidence 0.70 Nicola Leone
  • 1108.5434 #2 · backfill · confidence 0.70 Nicola Leone
  • 1101.4554 #7 · backfill · confidence 0.70 Nicola Leone
  • 1007.4028 #3 · backfill · confidence 0.70 Nicola Leone
  • 0802.3137 #3 · backfill · confidence 0.70 Nicola Leone
  • 0704.3157 #2 · backfill · confidence 0.70 Nicola Leone

Frequent Coauthors