Login / Signup
GOLOG: A Logic Programming Language for Dynamic Domains.
Hector J. Levesque
Raymond Reiter
Yves Lespérance
Fangzhen Lin
Richard B. Scherl
Published in:
J. Log. Program. (1997)
Keyphrases
</>
logic programming language
logic programming
situation calculus
constraint logic programming
inference rules
declarative semantics
logic programs
search space
constraint solving
machine learning
software engineering
constraint propagation