Pages that link to "Thomas Eiter"

From Tetherless World Wiki

> Thomas Eiter

What links here

Page:  Namespace:  all (Main) Talk User User talk Tetherless World Wiki Tetherless World Wiki talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Relation Relation talk Property Property talk Type Type talk Form Form talk Concept Concept talk Widget Widget talk latex Blog Blog-talk baojie baojie-talk test tw tw-talk latex latex-talk co co-talk rule rule-talk email email-talk

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Thomas Eiter:

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

• Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning (← links)
• Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains (← links)
• Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas (← links)
• Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case (← links)
• Computing Intersections of Horn Theories for Reasoning with Models (← links)
• On Computing all Abductive Explanations (← links)
• Forgetting and Conflict Resolving in Disjunctive Logic Programming (← links)
• Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics (← links)
• Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach (← links)
• Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems (← links)
• Complexity of Nested Circumscription and Abnormality Theories (← links)
• Updating Action Domain Descriptions (← links)
• A Framework for Declarative Update Specifications in Logic Programs (← links)
• The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions (← links)
• Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information (← links)
• Semantics and Complexity of Abduction from Default Theories (← links)
• A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming (← links)
• Complexity Results for Structure-Based Causality (← links)
• On Solution Correspondences in Answer-Set Programming (← links)
• Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination (← links)
• On Reversing Actions: Algorithms and Complexity (← links)
• Complexity Results for Checking Equivalence of Stratified Logic Programs (← links)
• The INFOMIX system for advanced integration of incomplete and inconsistent data (← links)
• Jos de Bruijn (← links)
• Combing Answer Set Programming with Description Logics (← links)
• Riccardo Rosati (← links)
• Forgetting in Managing Rules and Ontologies (← links)
• Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (← links)
• Data Complexity of Query Answering in Expressive Description Logics via Tableaux (← links)
• Data complexity of answering conjunctive queries over SHIQ knowledge bases (← links)
• Data Integration: a Challenging ASP Application (← links)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)