Toward a model theory of actions: How agents do it in branching time

No Thumbnail Available

Date

1996

Advisors

Journal Title

Series/Report No.

Technical report (North Carolina State University. Dept. of Computer Science)
TR-96-17

Journal ISSN

Volume Title

Publisher

North Carolina State University. Dept. of Computer Science