Infinite Computation, Co-induction and Computational Logic [chapter]

Gopal Gupta, Neda Saeedloei, Brian DeVries, Richard Min, Kyle Marple, Feliks Kluźniak
2011 Lecture Notes in Computer Science  
We give an overview of the coinductive logic programming paradigm. We discuss its applications to modeling ω-automata, model checking, verification, non-monotonic reasoning, developing SAT solvers, etc. We also discuss future research directions.
doi:10.1007/978-3-642-22944-2_4 fatcat:v2klxrhr6vfpfagwncfzpg56v4