Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.
K. Narayan KumarC. R. RamakrishnanScott A. SmolkaPublished in: ICLP (2001)
Keyphrases
- fixed point
- stable models
- logic programs
- logic programming
- neural network
- dynamical systems
- approximate value iteration
- software engineering
- expert systems
- sufficient conditions
- knowledge representation
- relational databases
- boolean functions
- fixpoint
- temporal difference learning
- linear logic
- normal logic programs
- machine learning