Keyphrases
Answer Sets
100%
Answer Set Programming
81%
Set-valued Optimization Problem
59%
Logic Programming
51%
Stable Models
43%
Preventive Maintenance Scheduling
37%
Support Model
37%
Maintenance Scheduling
34%
Explainability
24%
Qualitative Constraint Networks
23%
Program Transformation
23%
Pruning
23%
Planning Problem
22%
Singleton
18%
Competencies
18%
Monotone
18%
Oracle
18%
Propositional Logic
18%
Qualitative Temporal Reasoning
18%
Style Consistency
18%
Qualitative Spatial Reasoning
18%
Disjunctive Program
18%
Boolean Formulas
18%
Solution Counting
18%
Redundancy
18%
Answer Set Program
18%
Strong Equivalence
18%
Uniform Equivalence
18%
Rotating Machinery
18%
Acyclicity
18%
Extended Abstracts
18%
Integer Programming
18%
DevSecOps
18%
Open Information
18%
Preventive Maintenance
17%
Polynomial Hierarchy
17%
Optimization Problem
14%
Programmer
12%
Quantified Boolean Formulas
12%
Overfitting
12%
Maintenance Model
12%
Translator
10%
Paper Industry
10%
Steel Industry
10%
Translation-based
9%
Truth Value
9%
Input Model
9%
Clingo
9%
Answer Set Solvers
8%
Search Space
7%
Computer Science
Answer Set Programming
97%
Logic Programming
70%
Preventive Maintenance
37%
Boolean Formula
31%
Formalization
26%
Constraint Network
23%
Program Transformation
23%
Optimization Problem
23%
Singletons
18%
Syntactics
18%
Polynomial Hierarchy
18%
Disjunctive Program
18%
Answer Set Program
18%
Integer Programming
18%
Information Model
18%
Cybersecurity
18%
Objective Function
16%
Experimental Result
15%
Scheduling Problem
14%
stable model
13%
Polynomial Time
12%
Normal Program
12%
Production Line
11%
Back End
9%
Cost Saving
9%
Normalization Scheme
9%
Considerable Number
9%
Parallelism
9%
Equivalence Model
9%
Positive Program
9%
Input Rule
9%
Software Development
8%
Search Space
7%
Performance Gain
7%
Artificial Intelligence
7%
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%