Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture).

Bruno Buchberger

Published in: CSL (2003)

Keyphrases

computational logic
logic programming
management science
inductive logic programming
logic programs
early days
learning algorithm
artificial intelligence
multi agent systems
future directions