Keyphrases
Satisfiability Problem
72%
Explainability
54%
Fragments of First-order Logic
54%
Craig Interpolation Theorem
54%
First-order Logic
50%
Propositional Logic
50%
Boolean Formulas
40%
Descriptional Complexity
40%
Model Theory
40%
Bisimulation
40%
Accessibility Relation
40%
Logic Model Checking
40%
Boolean Modal Logic
40%
Complexity Classification
40%
Algebraic Logic
40%
Guarded Fragment
40%
Overfitting
27%
Boolean Operators
24%
Polyadic Modal Logics
24%
Answer Set Programming
23%
Boltzmann Entropy
20%
Algebraic Approach
20%
Comprehensive Classification
20%
Truth Value
20%
Algebraic Characterization
20%
General Relation
20%
Decidable Logic
20%
Computational Logic
20%
Cylindric Algebras
20%
Expressive Capacity
20%
Relation Algebra
20%
Active Research
20%
Input Model
20%
Logical Systems
20%
Permutation Operator
16%
Quantitative Bound
13%
Model Building
13%
Target Attribute
13%
Human-Interpretable
13%
Decidable Fragments of First-Order Logic
13%
Unary Relation
13%
Algebraic Framework
13%
Expressive Power
13%
Expected Error
13%
Fluted Logic
13%
Two-variable Logic
13%
Minimal Equation
10%
Variable Assignment
10%
Asymptotically Equivalent
10%
Maximal Description
10%
Computer Science
Satisfiability Problem
100%
Answer Set Programming
54%
Interpolation Property
54%
Variable Assignment
40%
Accessibility Relation
40%
Kolmogorov Complexity
40%
Model Checking
40%
Relational Structure
40%
Polynomial Hierarchy
40%
Classification Complexity
40%
Guarded Fragment
40%
Boolean Formula
40%
Boolean Operator
24%
Computational Logic
20%
Active Research
20%
Model Checking Problem
16%
Permutation Operator
16%
Unary Relation
13%
Target Attribute
13%
Bisimulation Invariant
13%
Data Model
13%
Expressive Power
13%
Full Advantage
13%
Computational Complexity
8%
Mathematics
Explainability
81%
Interpolation Property
81%
Cross-Validation
40%
Minimizes
40%
Algebraic Logic
40%
Decidability
40%
Boltzmann Equation
40%
Proposition
20%
Multiset
20%
Kolmogorov Complexity
20%
Truth Value
20%
Wide Range
20%
Logical System
20%
Expressive Power
13%
Polynomial
10%
Dominating Set
10%
