Strategy Representation and Reasoning in the Situation Calculus

DOI10.3233/978-1-61499-672-9-982zbMath1403.68276OpenAlexW2578886865MaRDI QIDQ4576230

Yong-Mei Liu, Liping Xiong

Publication date: 12 July 2018

Full work available at URL: https://doi.org/10.3233/978-1-61499-672-9-982

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Partially observable game-theoretic agent programming in Golog ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation

This page was built for publication: Strategy Representation and Reasoning in the Situation Calculus