Keyphrases
Coordination Games
100%
Descriptional Complexity
100%
Game-theoretic Semantics
81%
Neural Network
50%
Boolean Networks
50%
Inclusion Logic
50%
Optimal Way
50%
Modal
50%
Matching Game
41%
Logic-based
39%
First-order Logic
34%
Explainability
33%
Relational Structure
31%
Propositional Logic
31%
Alternating-time Temporal Logic
30%
Distributed Automata
28%
Automata
25%
Logarithmic Size
25%
Bounded Semantics
25%
Limited Communication
25%
Complexity Classification
25%
Algebraic Logic
25%
Turing Complete
25%
Evolution Sequence
25%
Discrete Evolution
25%
Boolean Formulas
25%
General Notion
25%
Mmsnp
25%
Disjunctive Datalog
25%
Distributed Computing
25%
Rewritability
25%
Description Logics
25%
Emptiness Problem
25%
Graph Neural Network
25%
Logical Characterization
25%
Modal μ-calculus
25%
Recurrent Graph
25%
Interpretable Classifier
25%
Feature Discretization
25%
Expressive Power
21%
Boolean Rules
21%
Rule-based
20%
Tableau Systems
18%
Satisfiability Problem
18%
Overfitting
16%
Team Semantics
16%
Rational Player
16%
Modal Substitution
16%
Calculus
16%
Finitary
15%
Computer Science
Coordination Game
100%
Model Checking
75%
Relational Structure
75%
Distributed Computing
53%
Neural Network
50%
Boolean Network
50%
Variable Assignment
50%
Kolmogorov Complexity
50%
Message Passing
50%
Expressive Power
46%
Boolean Formula
37%
Answer Set Programming
33%
Automaton
28%
time-delay
26%
Polynomial Hierarchy
25%
Classification Complexity
25%
Satisfiability Problem
25%
Description Logics
25%
Datalog
25%
Graph Neural Network
25%
Computational Complexity
25%
Distributed Algorithm
25%
Feature Selection
25%
Discretization
25%
Feature Extraction
25%
Computation Time
25%
Chernoff Bound
25%
Stirling's Approximation
25%
Asymptotic Result
25%
Boolean Circuit
16%
Syntactics
12%
Model Transformation
12%
Transition System
12%
Computational Logic
12%
Active Research
12%
Random Decision Forest
12%
Extreme Gradient Boosting
12%
Interpretability
12%
Fast Algorithm
12%
Floating-Point Number
10%
Natural Hierarchy
8%
Guiding Principle
8%
Target Attribute
8%
Decision Method
8%
Data Model
8%
Temporal Logic
8%
Unary Relation
8%
Piecewise Polynomial
7%
Activation Function
7%
Second-Order Logic
6%
Mathematics
Finite Set
62%
Explainability
50%
Worst Case
50%
Neural Network
50%
Case Scenario
50%
Least Upper Bound
50%
Complete Classification
50%
Algebraic Logic
25%
Decidability
25%
Eventuality
25%
Descriptive Complexity
25%
Cross-Validation
25%
μ-calculus
25%
Minimizes
25%
Boolean Network
25%
Boltzmann Equation
25%
Data Correspond
25%
Proposition
12%
Multiset
12%
Kolmogorov Complexity
12%
Initial Segment
12%
Infinite Set
12%
Transfinite
12%
Decision Procedure
12%
Logical System
12%
Truth Value
12%
Wide Range
12%
Exponential Time
12%
Polynomial
9%
Expressive Power
9%
Running Time
7%
Time Delay
7%
Dominating Set
6%
