Miller Tim

Tim Miller

Information about the author Tim Miller will soon be added to the site.
Found 1 papers in total
Propositional dynamic logic for reasoning about first-class agent
                    interaction protocols
2011
For agents to fulfill their potential of being intelligent and adaptive, it is useful...
Papers per page: