Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Theory of linear and integer programming
Theory of linear and integer programming
Artificial Intelligence
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Exact and approximate reasoning about temporal relations
Computational Intelligence
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial Intelligence - Special issue on knowledge representation
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Temporal reasoning for planning and scheduling
ACM SIGART Bulletin
Temporal reasoning in Timegraph I–II
ACM SIGART Bulletin
Performance of temporal reasoning systems
ACM SIGART Bulletin
Journal of the ACM (JACM)
Database models for infinite and indefinite temporal information
Information Systems
On point-based temporal disjointness
Artificial Intelligence
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Efficient algorithms for qualitative reasoning about time
Artificial Intelligence
On the computational complexity of querying bounds on differences constraints
Artificial Intelligence
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
From local to global consistency in temporal constraint networks
Theoretical Computer Science - Special issue: principles and practice of constraint programming
The complexity of query evaluation in indefinite temporal constraint databases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
A unifying approach to temporal constraint reasoning
Artificial Intelligence
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Querying temporal constraint networks in PTIME
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
On semantic issues connected with incomplete information databases
ACM Transactions on Database Systems (TODS)
Querying temporal and spatial constraint networks in PTIME
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Problem of Incomplete Information in Relational Databases
Problem of Incomplete Information in Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Later: Managing Temporal Information Efficiently
IEEE Expert: Intelligent Systems and Their Applications
Representation and Querying in Temporal Databases: the Power of Temporal Constraints
Proceedings of the Ninth International Conference on Data Engineering
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
LaTeR: A General Purpose Manager of Temporal Information
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information
Proceedings of the International Workshop on Temporal Databases: Recent Advances in Temporal Databases
From Local to Global Consistency in Temporal Constraint Networks
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Presburger arithmetic with bounded quantifier alternation
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Tachyon: A constraint-based temporal reasoning model and its implementation
ACM SIGART Bulletin
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
| Hi-index | 0.01 |
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the resulting formalism is more expressive than standard temporal constraint networks. The extra representational power allows us to express temporal knowledge and queries that have been impossible to express before. To make our claim more persuasive, we survey previous works on querying temporal constraint networks and show that they can be viewed as an instance of the scheme of indefinite constraint databases.