IndiGolog

swMATH16792MaRDI QIDQ28656FDOQ28656

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: IndiGolog