The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
The Ramification and Qualification Problems in Temporal Databases
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
CL '00 Proceedings of the First International Conference on Computational Logic
The ramification problem in temporal databases: changing beliefs about the past
Data & Knowledge Engineering - Special issue: WIDM 2004
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
Expert Systems with Applications: An International Journal
Challenges for action theories
Challenges for action theories
A tool for ramification reasoning over temporal OWL knowledge bases
International Journal of Knowledge-based and Intelligent Engineering Systems
The ramification problem in temporal databases: an approach with conflicting constraints
Journal of Intelligent Information Systems
The ramification problem in temporal databases: a solution implemented in SQL
Applied Intelligence
| Hi-index | 0.00 |