Rules as actions: A situation calculus semantics for logic programs

DOI10.1016/S0743-1066(96)00122-7zbMath0882.68031MaRDI QIDQ4352536

Ray Reiter, Fangzhen Lin

Publication date: 4 February 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programmingsearch control operators

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (5)

Stable models and circumscription ⋮ Thirteen Definitions of a Stable Model ⋮ Let's plan it deductively! ⋮ Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator ⋮ Twelve Definitions of a Stable Model

Uses Software

• GOLOG

This page was built for publication: Rules as actions: A situation calculus semantics for logic programs