Parlog86 and the Dining Logicans.

Graem A. Ringwood

Published in: Commun. ACM (1988)

Keyphrases

logic programming language
logic programming
inference rules
artificial intelligence
high level
machine learning
knowledge representation
situation calculus
bayesian networks
search algorithm
search space
feature set
branch and bound