Identification of biological transition systems using meta-interpreted logic programs.
Michael BainAshwin SrinivasanPublished in: Mach. Learn. (2018)
Keyphrases
- logic programs
- transition systems
- logic programming
- existentially quantified
- model checking
- stable models
- answer set programming
- fixpoint
- temporal logic
- concurrent systems
- answer sets
- finite state
- normal logic programs
- partial deduction
- practical reasoning
- control flow
- strong equivalence
- general purpose
- reinforcement learning