Keyphrases
Satisfiability Problem
59%
Explainability
44%
Fragments of First-order Logic
44%
Craig Interpolation Theorem
44%
First-order Logic
41%
Propositional Logic
41%
Boolean Formulas
33%
Descriptional Complexity
33%
Model Theory
33%
Bisimulation
33%
Accessibility Relation
33%
Logic Model Checking
33%
Boolean Modal Logic
33%
Complexity Classification
33%
Algebraic Logic
33%
Guarded Fragment
33%
Interpretable Classifier
33%
Feature Discretization
33%
Overfitting
22%
Boolean Operators
20%
Polyadic Modal Logics
20%
Answer Set Programming
19%
Boltzmann Entropy
16%
Algebraic Approach
16%
Comprehensive Classification
16%
Truth Value
16%
Algebraic Characterization
16%
General Relation
16%
Decidable Logic
16%
Computational Logic
16%
Cylindric Algebras
16%
Expressive Capacity
16%
Relation Algebra
16%
Active Research
16%
Input Model
16%
Logical Systems
16%
Boolean Classifier
16%
PLC1
16%
Permutation Operator
13%
Quantitative Bound
11%
Model Building
11%
Target Attribute
11%
Human-Interpretable
11%
Decidable Fragments of First-Order Logic
11%
Unary Relation
11%
Algebraic Framework
11%
Expressive Power
11%
Expected Error
11%
Fluted Logic
11%
Two-variable Logic
11%
Computer Science
Satisfiability Problem
82%
Variable Assignment
66%
Kolmogorov Complexity
66%
Relational Structure
66%
Boolean Formula
50%
Answer Set Programming
44%
Interpolation Property
44%
Accessibility Relation
33%
Model Checking
33%
Polynomial Hierarchy
33%
Classification Complexity
33%
Guarded Fragment
33%
Feature Selection
33%
Discretization
33%
Feature Extraction
33%
Chernoff Bound
33%
Stirling's Approximation
33%
Asymptotic Result
33%
NP-completeness
33%
Complexity Result
33%
Boolean Operator
20%
Computational Logic
16%
Active Research
16%
Random Decision Forest
16%
Interpretability
16%
Fast Algorithm
16%
Extreme Gradient Boosting
16%
Model Checking Problem
13%
Permutation Operator
13%
Unary Relation
11%
Target Attribute
11%
Bisimulation Invariant
11%
Data Model
11%
Expressive Power
11%
Full Advantage
11%
Computational Complexity
6%
Mathematics
Explainability
100%
Interpolation Property
66%
Truth Value
41%
Cross-Validation
33%
Minimizes
33%
Algebraic Logic
33%
Decidability
33%
Boltzmann Equation
33%
Data Correspond
33%
Proposition
16%
Multiset
16%
Kolmogorov Complexity
16%
Wide Range
16%
Logical System
16%
Polynomial
16%
Dominating Set
16%
Expressive Power
11%
Generality
8%
Black Box
8%
Decision Tree
8%