The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
Reasoning about large taxonomies of actions
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
A formal theory for describing action concepts in terminological knowledge bases
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Natural language communication between human and artificial agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
Hi-index | 0.00 |