Computer Science
Applied Computer Science
10%
Boolean Relation
10%
Branching Time
20%
Combination Method
10%
Complexity Result
6%
Computation
6%
Computational Complexity
10%
Computing
10%
Conceptual Modeling
10%
Conceptual Schema
20%
Datalog
10%
Decision Procedure
13%
Description Logics
36%
Formal Language
20%
Free Variable
51%
Guarded Fragment
6%
Individual Object
10%
Knowledge Base
10%
Knowledge Representation and Reasoning
20%
Linear Temporal Logic
10%
Links
10%
Logical Implication
10%
Modal Operator
20%
NP-completeness
10%
Object Relation
10%
Predicate Logic
55%
Qualitative Reasoning
20%
Query Containment
10%
Query Language
10%
Reasoning
70%
Satisfiability Problem
10%
System Description
20%
Tableau Algorithm
33%
Temporal Extension
6%
Temporal Information
6%
Temporal Logic
100%
Theoretical Computer Science
10%
Topological Relationship
6%
Mathematics
Cartesian Product
10%
Computational
20%
Decidability
40%
Epistemic Logic
20%
Foundation of Mathematics
20%
Linear Logic
10%
Linear Order
20%
Mathematics
40%
Number
35%
Open Problem
10%
Operators
50%
Provability
20%
Sufficient Condition
10%