IndiGolog

MaRDI QIDQ28656swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-0-387-89299-3_2

Cited in

(5)

• Progression and verification of situation calculus agents with bounded beliefs
• GOLOG
• Agent planning programs
• JTLV
• A model of three-way decisions for knowledge harnessing

This page was built for software: IndiGolog