Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Thomas Eiter

Special Issue on Stream Reasoning

Semantic Web
Computer NetworksComputer Science ApplicationsInformation SystemsCommunications
2019English

Computing Repairs of Inconsistent DL-Programs Over EL Ontologies

Journal of Artificial Intelligence Research
Artificial Intelligence
2016English

Preference-Based Inconsistency Management in Multi-Context Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2017English

Well-Founded Semantics for Description Logic Programs in the Semantic Web

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2011English

Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

The McS-Ie System for Explaining Inconsistency in Multi-Context Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Forgetting for Defeasible Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

An Implementation for Recognizing Rule Replacements in Non-Ground Answer-Set Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy