Artificial Intelligence Review
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Temporal ER Modeling with Description Logics
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Multi-dimensional description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Logic-based knowledge representation
Artificial intelligence today
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Semantic web reasoners and languages
Artificial Intelligence Review
Generalized product of coalgebraic hybrid logics
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Temporal logics over transitive states
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
Modal description logics: modalizing roles
Fundamenta Informaticae
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |