Engineering & Materials Science
Logic programming
100%
Semantics
78%
Constraint satisfaction problems
78%
Computer programming
51%
Knowledge representation
43%
Real variables
38%
Computer systems programming
30%
Atoms
25%
Visibility
24%
Set theory
23%
Model checking
22%
Automation
20%
Electric grounding
19%
Planning
19%
Decomposition
17%
Testing
14%
Integer programming
8%
Computer programming languages
7%
Networks (circuits)
6%
Security systems
6%
Mathematics
Stable Models
60%
Logic Programs
45%
Logic Programming
40%
Disjunctive Programming
37%
Program Transformation
35%
Nonmonotonic Reasoning
34%
Answer Sets
33%
Constraint Programming
33%
Semantics
28%
Logic
26%
Paradigm
23%
Reasoning
23%
Equivalence
16%
Default Logic
13%
Knowledge Representation
13%
Ranking
12%
Satisfiability
11%
Constraint Satisfaction Problem
11%
Characterization
9%
Optimization
7%
Visibility
7%
Framework
6%
Valuation
6%
Normalization
6%
Efficient Implementation
5%
Search Space
5%
Integer
5%
Classical Logic
5%
Decision Procedures
5%
Standards
5%
Formalization
5%
