Higher-Order Computational Logic.

Published in: Computational Logic: Logic Programming and Beyond (2002)

Keyphrases

computational logic
higher order
logic programming
multi agent systems
management science
early days
inductive logic programming
pairwise
logic programs
future directions
artificial intelligence
reinforcement learning
machine learning
multi agent
computational complexity
general purpose