12 found
Order:
  1.  17
    Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.
  2.  5
    Semi-equilibrium models for paracoherent answer set programs.Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone & João Moura - 2016 - Artificial Intelligence 234 (C):219-271.
  3.  15
    Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.
  4.  8
    A logic programming approach to knowledge-state planning, II: The system.Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer & Axel Polleres - 2003 - Artificial Intelligence 144 (1-2):157-211.
  5.  5
    A comparison of structural CSP decomposition methods.Georg Gottlob, Nicola Leone & Francesco Scarcello - 2000 - Artificial Intelligence 124 (2):243-282.
  6.  5
    Semantics and complexity of abduction from default theories.Thomas Eiter, Georg Gottlob & Nicola Leone - 1997 - Artificial Intelligence 90 (1-2):177-223.
  7.  27
    Succinctness as a source of complexity in logical formalisms.Georg Gottlob, Nicola Leone & Helmut Veith - 1999 - Annals of Pure and Applied Logic 97 (1-3):231-260.
    The often observed complexity gap between the expressiveness of a logical formalism and its exponentially harder expression complexity is proven for all logical formalisms which satisfy natural closure conditions. The expression complexity of the prefix classes of second-order logic can thus be located in the corresponding classes of the weak exponential hierarchies; further results about expression complexity in database theory, logic programming, nonmonotonic reasoning, first-order logic with Henkin quantifiers and default logic are concluded. The proof method illustrates the significance of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  4
    Enhancing model checking in verification by AI techniques.Francesco Buccafurri, Thomas Eiter, Georg Gottlob & Nicola Leone - 1999 - Artificial Intelligence 112 (1-2):57-104.
  9.  3
    Enhancing disjunctive logic programming systems by SAT checkers.Christoph Koch, Nicola Leone & Gerald Pfeifer - 2003 - Artificial Intelligence 151 (1-2):177-212.
  10.  9
    Magic Sets for disjunctive Datalog programs.Mario Alviano, Wolfgang Faber, Gianluigi Greco & Nicola Leone - 2012 - Artificial Intelligence 187-188 (C):156-192.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  5
    Knowledge Representation and Logic Programming.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  10
    Disjunctive logic programming with types and objects: The DLV+ system.Francesco Ricca & Nicola Leone - 2007 - Journal of Applied Logic 5 (3):545-573.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark