A logic-based calculus of events
New Generation Computing
Performance Evaluation of Object Detection Algorithms
ICPR '02 Proceedings of the 16 th International Conference on Pattern Recognition (ICPR'02) Volume 3 - Volume 3
Tools and Techniques for Video Performance Evaluation
ICPR '00 Proceedings of the International Conference on Pattern Recognition - Volume 4
A unifying semantics for time and events
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Modes of concept definition and varieties of vagueness
Applied Ontology
An Ontology for Grounding Vague Geographic Terms
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Artificial intelligence today
Event Model Learning from Complex Videos using ILP
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Hi-index | 0.00 |
In this paper we formalise an ontology for motion verbs based on classical logic, event calculus, supervaluation and standpoint semantics. We present a theoretical account and a logic-programming implementation of the ontology, which fits within a system aimed at detecting event occurrences in video scenes. Our purpose is to build a bridge between Computer Vision and Knowledge Representation and Reasoning, and to address the issue of concept vagueness in formal ontologies.