Computer Science
Data Structure
100%
Formalization
56%
Soundness
42%
multi agent
33%
Evolutionary Algorithms
31%
Completeness Proof
31%
Pattern Matching
31%
Sequent Calculus
30%
Multi Agent Systems
30%
Automated Reasoning
22%
Knowledge Base
20%
Proof System
19%
Natural Deduction
17%
Computer Science
16%
Planar Graph
16%
Random Access
15%
Theorem Proving
14%
Search Heuristic
14%
Fitness Function
14%
Compression Scheme
13%
Randomized Search
12%
Theorem Prover
12%
Programming Language
12%
Linear Function
12%
Decision-Making
11%
Approximation (Algorithm)
11%
Estimation of Distribution Algorithms
11%
Tableau System
10%
Temporal Logic
9%
Parsing
9%
String Pattern
9%
Sliding Window
9%
Genetic Algorithm
9%
Autonomous Agent
9%
Benchmark Function
9%
high-order logic
9%
Functional Programming
8%
Ontology
8%
Formal Verification
8%
Search Space
8%
Automated Planning
8%
Inference Rule
8%
Subgraphs
8%
Evolutionary Computation
7%
Expected Runtime
7%
Decision Procedure
7%
Machine Learning
7%
Ant Colony Optimization
7%
Spanning Tree
7%
Efficient Algorithm
7%
Context-Free Grammars
7%
Cognitive Agent
7%
Multi-Agent Planning
6%
Artificial Intelligence
6%
Satisfiability Problem
6%
Dynamic Optimization
6%
Epistemic Action
6%
Differential Privacy
6%
Intersection Set
6%
Minimum Spanning Tree
6%
Model Checking Problem
6%
Optimization Problem
6%
Computational Complexity
5%
Model Checking
5%
Case Study
5%
Polynomial Time
5%
Connected Graph
5%
Experimental Result
5%
Axiomatization
5%
Reference String
5%
Speed-up
5%
Wildcard
5%
multi-objective evolutionary algorithm
5%
Mathematics
Edge
77%
Data Structure
37%
Evolutionary Algorithm
36%
Probability Theory
29%
Formalization
28%
Connected Graph
27%
Epistemic Logic
27%
Upper Bound
24%
Planar Graph
21%
Running Time
16%
Chromatic Number
16%
Linear Time
15%
Main Result
14%
Genetic Algorithm
13%
Worst Case
12%
Integer
12%
Optimal Time
11%
Bipartite Graph
11%
Linear Space
11%
Linear Function
10%
Natural Number
10%
Polynomial
10%
Open Problem
9%
Edge-Connectivity
9%
Partial Sum
9%
Local Optimum
8%
Completeness Proof
8%
Finite Group
8%
Run-Length
8%
Marginal Distribution
7%
Black Box
7%
Perfect Matchings
7%
Conditionals
7%
Matching Problem
7%
Search Space
7%
Stochastics
6%
Local Search
6%
Chromatic Polynomial
6%
Hamiltonian Cycle
6%
Asymptotics
6%
Lower and upper bounds
6%
Regular Graph
6%
Spanning Tree
6%
Approximates
6%
Abelian Group
6%
Exponential Time
5%
Axiom System
5%
Wide Range
5%
Tradeoff
5%
Finite Graph
5%
Dynamic Logic
5%
Line Program
5%
Straight Line
5%
Induced Subgraph
5%
Arboricity
5%
Triangle
5%
Simple Graph
5%
Modulo
5%
Keyphrases
Isabelle
25%
Multi-Agent Programming Contest
16%
Query Response Time
15%
Proof Assistants
15%
Runtime Analysis
14%
String Indexing
13%
Prover
13%
First-order Logic
12%
Evolutionary Algorithms
12%
OneMax
12%
Natural Deduction
9%
Linear Space
8%
Python
8%
Isabelle Proof Assistant
8%
Completeness Proofs
8%
Multi-agent Systems
8%
Agent Programming Languages
7%
Estimation of Distribution Algorithm
7%
Stagnation Detection
7%
Sequent Calculus
7%
Univariate Marginal Distribution Algorithm
7%
Top Trees
6%
Consecutive Occurrences
6%
Hybrid Logic
6%
Compact Genetic Algorithm
6%
Timing Optimization
6%
Randomized Search Heuristics
6%
Tight Bounds
6%
Dynamic Epistemic Logic
6%
Linear Function
6%
(1+1) EA
5%
Mutation Rate
5%
3-connected
5%
Theorem Proving
5%
Automated Reasoning
5%
Axiomatic System
5%
Cognitive Agents
5%
Formal Verification
5%
Compact Data Structures
5%