The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

Inference rules in multi-agents' temporal logics

Transactions on computational collective intelligence IV

Verification of the OWL-time ontology

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I

Membership functions for spatial proximity

AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence

Reasoning about shadows in a mobile robot environment

Applied Intelligence

A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science: Selected Publications from Chinese Universities