Computational Logic: Its Origins and Applications.

Lawrence C. Paulson

Published in: CoRR (2017)

Keyphrases

computational logic
logic programming
inductive logic programming
management science
early days
multi agent systems
future directions
machine learning
general purpose
logic programs
program synthesis
knowledge base
high level
bayesian networks
text classification
agent technology