Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator

DOI10.1016/S0004-3702(98)00054-XzbMath0910.68040OpenAlexW2017139738MaRDI QIDQ1274764

Fangzhen Lin

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00054-x

Mathematics Subject Classification ID

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

Related Items (1)

Planning with regression analysis in transaction logic

Cites Work

• An ordering on subgoals for planning
• Tight, consistent, and computable completions for unrestricted logic programs
• Rules as actions: A situation calculus semantics for logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator