Enhancing GISs for spatio-temporal reasoning
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
Spatio-temporal Annotated Constraint Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
MuTACLP: A Language for Declarative GIS Analysis
CL '00 Proceedings of the First International Conference on Computational Logic
Integrating Temporal Annotations in a Modular Logic Language
Applications of Declarative Programming and Knowledge Management
ISTO: a language for temporal organizational information systems
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Deductive and inductive reasoning on spatio-temporal data
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.00 |