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
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Challenges for action theories
Challenges for action theories
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Foundations of instance level updates in expressive description logics
Artificial Intelligence
| Hi-index | 0.00 |