About
Technology
Issues
FAQ
Search
Profile
Top Authors
Prolific Authors
Top Journals
Main Disciplines
Main Topics
Most Cited Articles
Scientometrics
Avg Impact Factor
★★
Articles
★★★
Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Schools
›
Institute of Theoretical Computer Science
›
top-articles
Institute of Theoretical Computer Science
26
(top 2%)
papers
151
(top 5%)
citations
8
(top 5%)
h
-index
12
(top 5%)
g
-index
33
all documents
170
doc citations
49
citing journals
Top Articles
#
Title
Journal
Year
Citations
1
Temporalizing rewritable query languages over knowledge bases
Web Semantics
2015
25
2
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
International Journal on Software Tools for Technology Transfer
2018
20
3
Fast algorithms for implication bases and attribute exploration using proper premises
Annals of Mathematics and Artificial Intelligence
2014
19
4
Temporal query entailment in the Description Logic SHQ
Web Semantics
2015
16
5
Formalizing biomedical concepts from textual definitions
Journal of Biomedical Semantics
2015
13
6
On the Decidability Status of Fuzzy A ℒ C $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions
Journal of Philosophical Logic
2015
12
7
ALC
-LTL revisited">Runtime verification using the temporal description logic
ALC
-LTL revisited
Journal of Applied Logic
2014
9
8
Axiomatisation of general concept inclusions from finite interpretations
Journal of Applied Non-Classical Logics
2016
8
9
Learning Deterministically Recognizable Tree Series — Revisited
2007
7
10
NextClosures: parallel computation of the canonical base with background knowledge
International Journal of General Systems
2017
5
11
Ontology-mediated query answering over temporal and inconsistent data
Semantic Web
2019
5
12
Evonne: Interactive Proof Visualization for Description Logics (System Description)
Lecture Notes in Computer Science
2022
5
13
Semantic Technologies for Situation Awareness
KI - Kunstliche Intelligenz
2020
4
14
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics
KI - Kunstliche Intelligenz
2020
4
15
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information
KI - Kunstliche Intelligenz
2017
2
16
Metric Temporal Description Logics with Interval-Rigid Names
ACM Transactions on Computational Logic
2020
2
17
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models
Lecture Notes in Computer Science
2022
2
18
Minimizing the average cost of paging on the air interface-an approach considering privacy
0
1
19
Spigot Algorithm and Root Computing
Reliable Computing
2001
1
20
Solving a PSPACE-complete problem by gene assembly
Journal of Logic and Computation
2013
1
21
Topological entropy of formal languages
Semigroup Forum
2017
1
22
Probabilistic implication bases in FCA and probabilistic bases of GCIs in
International Journal of General Systems
2017
1
23
On the probabilistic bisimulation spectrum with silent moves
Acta Informatica
2020
1
24
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies
SSRN Electronic Journal
0
1
25
In the Head of the Beholder: Comparing Different Proof Representations
Lecture Notes in Computer Science
2022
1
26
Spigot Algorithm and Reliable Computation of Natural Logarithm
Reliable Computing
2004
0
27
Temporalizing Rewritable Query Languages Over Knowledge Bases
SSRN Electronic Journal
0
0
28
Exploring Faulty Data
Lecture Notes in Computer Science
2015
0
29
Temporal Query Entailment in the Description Logic SHQ
SSRN Electronic Journal
0
0
30
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study
Lecture Notes in Computer Science
2023
0
31
Explaining Non-Entailment by Model Transformation for the Description Logic EL
2022
0
site/software ©
exaly
; All materials licenced under
CC by-SA
.