Mathematics
Answer Set Programming
100%
Answer Sets
52%
Encoding
29%
Acyclicity
24%
Optimization
19%
Semantics
18%
Rewriting
17%
Logic Programs
14%
Logic Programming
14%
Program Transformation
13%
Benchmark
13%
Knowledge Representation
13%
Propositional Logic
13%
Interval Algebra
12%
Weighted Networks
12%
Stable Models
12%
Conjunctive Normal Form
11%
Boosting
11%
Language
11%
Reasoning
11%
Tree Structure
11%
Satisfiability
10%
Graphical Models
10%
Linear Constraints
9%
Optimality
9%
Propagator
9%
Structural Properties
8%
Decomposable
8%
Performance
8%
Parity
8%
Logic
8%
Enumeration
8%
Learning
7%
Linear programming
7%
Specification
7%
Compactness
7%
Modulo
7%
Unstable
7%
Calculus
6%
Fragment
6%
Search Problems
6%
Framework
6%
Oracle
6%
Equivalence
6%
Context
5%
Paradigm
5%
Backbone
5%
Parallelization
5%
Normalization
5%
Decomposition Techniques
5%
Engineering & Materials Science
Atoms
48%
Logic programming
39%
Set theory
30%
Electric grounding
24%
Knowledge representation
24%
Semantics
22%
Computer systems programming
21%
Integer programming
21%
Algebra
18%
Real variables
13%
Technical writing
13%
Programming theory
13%
Specifications
12%
Structural properties
9%
Computer programming
9%
Sampling
9%
Phase transitions
9%
Visibility
8%
Labeling
8%
Linear programming
8%
Data structures
7%
Derivatives
7%
Polynomials
6%
Decomposition
6%