scientific article; zbMATH DE number 1754691

MaRDI QIDQ4535119zbMATH OpenFDO

Authors Fangzhen Lin, Ray Reiter

Publication date 2 July 2002

zbMATH Keywords

Clark's completion semanticssituation calculus semantics

Mathematics Subject Classification ID

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

Recommendations

• Rules as actions: A situation calculus semantics for logic programs
• scientific article; zbMATH DE number 176531
• Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
• Situation calculus specifications for event calculus logic programs
• A kripke-kleene semantics for logic programs*

Cited in

(6)

• Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
• Logic programs as compact denotations.
• scientific article; zbMATH DE number 176531 (Why is no real title available?)
• scientific article; zbMATH DE number 1302017 (Why is no real title available?)
• Rules as actions: A situation calculus semantics for logic programs
• scientific article; zbMATH DE number 845882 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4535119)