IndiGolog

swMATH16792MaRDI QIDQ28656FDOQ28656

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: IndiGolog