A logic programming model of the game of sprouts.

Ralph M. Butler Selden Y. Trimble Ralph W. Wilkerson

Published in: SIGCSE (1987)

Keyphrases

logic programming
high level
logic programs
programming language
deductive databases
bayesian networks
knowledge representation
formal model
answer sets
artificial intelligence
parameter estimation
inductive logic programming