Occurrences and narratives as constraints in the branching structure of the situation calculus

DOI10.1093/logcom/8.6.777zbMath0913.68195OpenAlexW1992170615MaRDI QIDQ4228074

Javier Pinto

Publication date: 2 February 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

situation calculusnarrative linesnarrative trees

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS

Uses Software

• GOLOG