Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation.
Andre ThevapalanJesse HeyninckGabriele Kern-IsbernerPublished in: ICLP Workshops (2021)
Keyphrases
- logic programs
- expert knowledge
- logic programming
- expert systems
- domain knowledge
- background knowledge
- answer sets
- stable models
- fuzzy logic
- fixpoint
- domain experts
- prior knowledge
- answer set programming
- knowledge base
- computational properties
- bayesian networks
- partial deduction
- inductive logic programming
- argumentation systems
- prolog programs
- logic program updates
- knowledge acquisition
- stable model semantics
- defeasible reasoning
- loop formulas
- argumentation frameworks
- legal reasoning
- genetic algorithm
- strong equivalence