Problem Solving Process Oriented Diagnosis in Logic Programming.
Nguyen-Thinh LeWolfgang MenzelPublished in: ICCE (2006)
Keyphrases
- logic programming
- process oriented
- logic programs
- computer supported
- deductive databases
- logic programming language
- knowledge representation
- answer set programming
- programming language
- case based reasoning
- nonmonotonic reasoning
- default logic
- computational logic
- stable models
- goal oriented
- artificial intelligence
- answer sets
- knowledge base
- probabilistic reasoning
- knowledge structures
- learning systems
- constraint logic programming
- general purpose
- fixpoint
- object oriented
- reinforcement learning
- reasoning about actions
- data mining
- propositional variables
- pseudo boolean constraints