Infinite Computation, Co-induction and Computational Logic.

Gopal Gupta Neda Saeedloei Brian W. DeVries Richard Min Kyle Marple Feliks Kluzniak

Published in: CALCO (2011)

Keyphrases

computational logic
inductive logic programming
logic programming
program synthesis
multi agent systems
management science
early days
information systems
natural language
expert systems
recent advances
background knowledge
software agents
future directions
relational learning