Showing 1 - 20 results of 95 for search 'Eiter, T', query time: 0.04s Refine Results
  1. 1
    On the Regularity of Weak Solutions to Time-Periodic Navier–Stokes Equations in Exterior Domains

    On the Regularity of Weak Solutions to Time-Periodic Navier–Stokes Equations in Exterior Domains by Thomas Eiter

    Published 2022-12-01
    Get full text
    Article
  2. 2
    Complexity Results for Structure−Based Causality

    Complexity Results for Structure−Based Causality by Eiter, T, Lukasiewicz, T

    Published 2001
    Conference item
  3. 3
    Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases

    Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases by Eiter, T, Lukasiewicz, T

    Published 2000
    Journal article
  4. 4
    Causes and Explanations in the Structural−Model Approach : Tractable Cases

    Causes and Explanations in the Structural−Model Approach : Tractable Cases by Eiter, T, Lukasiewicz, T

    Published 2002
    Conference item
  5. 5
    Complexity Results for Default Reasoning from Conditional Knowledge Bases

    Complexity Results for Default Reasoning from Conditional Knowledge Bases by Eiter, T, Lukasiewicz, T

    Published 2000
    Conference item
  6. 6
    Complexity Results for Explanations in the Structural−Model Approach

    Complexity Results for Explanations in the Structural−Model Approach by Eiter, T, Lukasiewicz, T

    Published 2002
    Conference item
  7. 7
    Complexity Results for Explanations in the Structural−Model Approach

    Complexity Results for Explanations in the Structural−Model Approach by Eiter, T, Lukasiewicz, T

    Published 2015
    Journal article
  8. 8
    Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

    Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories by Eiter, T, Lukasiewicz, T

    Published 2003
    Conference item
  9. 9
    Complexity Results for Structure−Based Causality

    Complexity Results for Structure−Based Causality by Eiter, T, Lukasiewicz, T

    Published 2002
    Journal article
  10. 10
    Causes and Explanations in the Structural−Model Approach: Tractable Cases

    Causes and Explanations in the Structural−Model Approach: Tractable Cases by Eiter, T, Lukasiewicz, T

    Published 2006
    Journal article
  11. 11
    New Tractable Cases in Default Reasoning from Conditional Knowledge Bases

    New Tractable Cases in Default Reasoning from Conditional Knowledge Bases by Eiter, T, Lukasiewicz, T

    Published 2000
    Conference item
  12. 12
    On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals

    On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals by Eiter, T, Gottlob, G

    Published 1992
    Conference item
  13. 13
    The Complexity of Logic−Based Abduction

    The Complexity of Logic−Based Abduction by Eiter, T, Gottlob, G

    Published 1993
    Conference item
  14. 14
    Complexity of Propositional Knowledge Base Revision

    Complexity of Propositional Knowledge Base Revision by Eiter, T, Gottlob, G

    Published 1992
    Conference item
  15. 15
    Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics

    Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics by Eiter, T, Gottlob, G

    Published 1993
    Conference item
  16. 16
    On the Complexity of Theory Curbing

    On the Complexity of Theory Curbing by Eiter, T, Gottlob, G

    Published 2000
    Conference item
  17. 17
    On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals

    On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals by Eiter, T, Gottlob, G

    Published 1992
    Journal article
  18. 18
    Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions

    Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions by Eiter, T, Gottlob, G

    Published 1997
    Journal article
  19. 19
    Reasoning under minimal upper bounds in propositional logic

    Reasoning under minimal upper bounds in propositional logic by Eiter, T, Gottlob, G

    Published 2006
    Journal article
  20. 20
    The Complexity of Logic−Based Abduction

    The Complexity of Logic−Based Abduction by Eiter, T, Gottlob, G

    Published 1995
    Journal article

Search Tools: