Keyphrases
Answer Sets
100%
Answer Set Programming
66%
Set-valued Optimization Problem
60%
Preventive Maintenance Scheduling
40%
Maintenance Scheduling
36%
Logic Programming
35%
Explainability
26%
Stable Models
26%
Qualitative Constraint Networks
25%
Program Transformation
25%
Pruning
25%
Singleton
20%
Competencies
20%
Monotone
20%
Oracle
20%
Propositional Logic
20%
Qualitative Temporal Reasoning
20%
Style Consistency
20%
Qualitative Spatial Reasoning
20%
Disjunctive Program
20%
Boolean Formulas
20%
Solution Counting
20%
Redundancy
20%
Support Model
20%
Answer Set Program
20%
Strong Equivalence
20%
Uniform Equivalence
20%
Rotating Machinery
20%
Preventive Maintenance
18%
Polynomial Hierarchy
18%
Optimization Problem
15%
Programmer
13%
Quantified Boolean Formulas
13%
Overfitting
13%
Maintenance Model
13%
Planning Problem
12%
Translator
11%
Paper Industry
11%
Steel Industry
11%
Translation-based
10%
Truth Value
10%
Input Model
10%
Answer Set Solvers
8%
Industrial Application
6%
Maintenance Requirement
6%
Program Reach
6%
Manufacturing Units
6%
Shutdown Maintenance
6%
Corrective Maintenance Cost
6%
Cost Function
6%
Computer Science
Answer Set Programming
81%
Logic Programming
46%
Preventive Maintenance
40%
Boolean Formula
33%
Formalization
27%
Constraint Network
25%
Program Transformation
25%
Optimization Problem
24%
Singletons
20%
Syntactics
20%
Polynomial Hierarchy
20%
Disjunctive Program
20%
Answer Set Program
20%
Objective Function
17%
Scheduling Problem
15%
Polynomial Time
13%
Normal Program
13%
Production Line
12%
stable model
10%
Cost Saving
10%
Normalization Scheme
10%
Considerable Number
10%
Parallelism
10%
Equivalence Model
10%
Positive Program
10%
Input Rule
10%
Experimental Result
8%
Back End
6%
Target Attribute
6%
Data Model
6%
Computational Task
6%
Use Case
6%
Stable Model Semantics
6%
Normal Logic Program
6%
Linkers
6%
Unary Relation
6%
Bayesian Networks
6%
Sampling Technique
6%
Reconsideration
5%
Redundant Constraint
5%
Input/Output
5%
Local Consistency
5%
Interval Algebra
5%
Transition Region
5%
Mixed Integer Programming
5%
Efficient Computation
5%
Utmost Importance
5%
