Title :
Specifying and Resolving Temporal Commitments
Author :
Peter R. Wurman استاد مشاور , Munindar P. Singh استاد راهنما , Dennis R. Bahler استاد مشاور
University :
Raleigh North carolina state university
Major :
Master of Science )Computer Science(
Keyword :
agent interaction protocols , Temporal logic , commitments
