Qualitative and quantitative time interval constraint networks
CSC '91 Proceedings of the 19th annual conference on Computer Science
The implementation of a Chronicle collection class in Smalltalk/DB
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
The formal specification and implementation of a modest first-order temporal logic
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Reified Temporal Logics: An Overview
Artificial Intelligence Review
Lexical Specifications of Paths
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Predication Calculus for Qualitative Spatial Representations
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Detection and classification of motion boundaries
Eighteenth national conference on Artificial intelligence
A general framework for reasoning about change
New Generation Computing
Temporal representation of state transitions
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining heterogeneous temporal information: A case study
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Introduction to the special issue on temporal information processing
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
Temporal Properties of Repetitive Entities
Artificial Intelligence Review
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems
Fundamenta Informaticae - Qualitative Spatial Reasoning
Extending temporal databases to deal with telic/atelic medical data
Artificial Intelligence in Medicine
Journal of Biomedical Informatics
On the Syntax and Semantics of Effect Axioms
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
A metalogic programming approach to reasoning about time in knowledge bases
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Formalizing and using persistency
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Reified temporal theories and how to unreify them
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Selecting tense aspect and connecting words in language generation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On integrating event definition and event detection
Knowledge and Information Systems
A framework for historical case-based reasoning
ICCBR'03 Proceedings of the 5th international conference on Case-based reasoning: Research and Development
Two-sorted Point-Interval Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Representing and recognizing scenario patterns
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part II
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems
Fundamenta Informaticae - Qualitative Spatial Reasoning
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Automatic Learning of Temporal Relations Under the Closed World Assumption
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
Hi-index | 0.00 |