Situation calculus specifications for event calculus logic programs

DOI10.1007/3-540-59487-6_16zbMath1496.68319OpenAlexW1514810828MaRDI QIDQ5101452

Rob Miller

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.516.9807

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Nonmonotonic reasoning in the framework of situation calculus
• Narratives in the Situation Calculus
• Provably correct theories of action
• Representing Incomplete Knowledge in Abductive Logic Programming

This page was built for publication: Situation calculus specifications for event calculus logic programs