Showing 1 - 20 results of 35 for search 'Leone, N', query time: 0.04s Refine Results
  1. 1
    Complexity Results for Abductive Logic Programming

    Complexity Results for Abductive Logic Programming by Eiter, T, Gottlob, G, Leone, N

    Published 1995
    Conference item
  2. 2
    Abduction from Logic Programs: Semantics and Complexity

    Abduction from Logic Programs: Semantics and Complexity by Eiter, T, Gottlob, G, Leone, N

    Published 1997
    Journal article
  3. 3
    On the Indiscernibility of Individuals in Logic Programming

    On the Indiscernibility of Individuals in Logic Programming by Eiter, T, Gottlob, G, Leone, N

    Published 1997
    Journal article
  4. 4
    Semantics and Complexity of Abduction from Default Theories

    Semantics and Complexity of Abduction from Default Theories by Eiter, T, Gottlob, G, Leone, N

    Published 1997
    Journal article
  5. 5
    Semantics and Complexity of Abduction from Default Theories

    Semantics and Complexity of Abduction from Default Theories by Eiter, T, Gottlob, G, Leone, N

    Published 1995
    Conference item
  6. 6
    Succinctness as a Source of Complexity in Logical Formalisms

    Succinctness as a Source of Complexity in Logical Formalisms by Gottlob, G, Leone, N, Veith, H

    Published 1999
    Journal article
  7. 7
    The Complexity of Acyclic Conjunctive Queries

    The Complexity of Acyclic Conjunctive Queries by Gottlob, G, Leone, N, Scarcello, F

    Published 1998
    Conference item
  8. 8
    On the Complexity of Some Inductive Logic Programming Problems

    On the Complexity of Some Inductive Logic Programming Problems by Gottlob, G, Leone, N, Scarcello, F

    Published 1999
    Journal article
  9. 9
    The complexity of acyclic conjunctive queries

    The complexity of acyclic conjunctive queries by Gottlob, G, Leone, N, Scarcello, F

    Published 2001
    Journal article
  10. 10
    On the Complexity of Some Inductive Logic Programming Problems

    On the Complexity of Some Inductive Logic Programming Problems by Gottlob, G, Leone, N, Scarcello, F

    Published 1997
    Conference item
  11. 11
    Computing LOGCFL certificates

    Computing LOGCFL certificates by Gottlob, G, Leone, N, Scarcello, F

    Published 2002
    Journal article
  12. 12
    Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width

    Robbers‚ marshals‚ and guards: game theoretic and logical characterizations of hypertree width by Gottlob, G, Leone, N, Scarcello, F

    Published 2003
    Journal article
  13. 13
    On Tractable Queries and Constraints

    On Tractable Queries and Constraints by Gottlob, G, Leone, N, Scarcello, F

    Published 1999
    Conference item
  14. 14
    Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width

    Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width by Gottlob, G, Leone, N, Scarcello, F

    Published 2001
    Conference item
  15. 15
    Hypertree Decompositions and Tractable Queries

    Hypertree Decompositions and Tractable Queries by Gottlob, G, Leone, N, Scarcello, F

    Published 1998
    Journal article
  16. 16
    Hypertree Decompositions and Tractable Queries

    Hypertree Decompositions and Tractable Queries by Gottlob, G, Leone, N, Scarcello, F

    Published 2002
    Journal article
  17. 17
    Second Order Logic and the Weak Exponential Hierarchies

    Second Order Logic and the Weak Exponential Hierarchies by Gottlob, G, Leone, N, Veith, H

    Published 1995
    Conference item
  18. 18
    A comparison of structural CSP decomposition methods

    A comparison of structural CSP decomposition methods by Gottlob, G, Leone, N, Scarcello, F

    Published 2000
    Journal article
  19. 19
    Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width

    Robbers‚ Marshals‚ and Guards: Game Theoretic and Logical Characterizations of Hypertree Width by Gottlob, G, Leone, N, Scarcello, F

    Published 2001
    Conference item
  20. 20
    Hypertree Decompositions and Tractable Queries

    Hypertree Decompositions and Tractable Queries by Gottlob, G, Leone, N, Scarcello, F

    Published 1999
    Conference item

Search Tools: