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