ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
An ontology of time for the semantic web
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
Recognizing expressions of commonsense psychology in English Text
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Efficient cultural models of verbal behavior for communicative agents
IVA'12 Proceedings of the 12th international conference on Intelligent Virtual Agents
Hi-index | 0.00 |
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatize, among others, the goal-related notions of trying, success, failure, functionality, intactness, and importance.