Reasoning about Actions and Planning in LTL Action Theories

From Tetherless World Wiki

Jump to: navigation, search
 Reasoning about Actions and Planning in LTL Action Theories
Has publishing details  pp. 593-602, 2002
Has title  Reasoning about Actions and Planning in LTL Action Theories
Has where published  KR
Has year  2002
Has author  Diego Calvanese +, Giuseppe De Giacomo +, Moshe Y. Vardi +
Has identifier  DBLP:conf/kr/CalvaneseGV02 +
Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools