Prioritizing Answer Sets Based on Conditional Expert Knowledge.
Marco WilhelmAndre ThevapalanGabriele Kern-IsbernerPublished in: FLAIRS (2023)
Keyphrases
- expert knowledge
- answer sets
- logic programs
- answer set programming
- logic programming
- expert systems
- domain knowledge
- answer set semantics
- prior knowledge
- extended logic programs
- fuzzy logic
- knowledge base
- domain experts
- normal logic programs
- bayesian networks
- loop formulas
- answer set programs
- fixpoint
- logic program updates
- counter examples
- semantics of logic programs
- neural network
- stable models
- reasoning tasks
- sat solvers
- artificial intelligence
- genetic algorithm
- real time