73 search results - page 13 / 15 » Reasoning about Implicit Invocation |
AAAI
2000
13 years 7 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
IJMMS
2007
13 years 5 months ago
2007
This paper argues that interactive knowledge acquisition systems would benefit from a tighter and more thorough incorporation of tutoring and learning principles. Current acquisit...
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
JAIR
2002
13 years 5 months ago
2002
Recent trends in planning research have led to empirical comparison becoming commonplace. The eld has started to settle into a methodology for such comparisons, which for obvious ...
KDD
2007
ACM
14 years 6 months ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...