Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Terminological Knowledge Representation System with Complete Inference Algorithms
PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
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
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook
ε-connections of abstract description systems
Artificial Intelligence
Pr$\mathcal{SH}$: A Belief Description Logic
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Description logics with approximate definitions precise modeling of vague concepts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
PrDLs: a new kind of probabilistic description logics about belief
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Coalition Description Logic with Individuals
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic-based knowledge representation
Artificial intelligence today
ALCALC: a context description logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Justified terminological reasoning
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Modal description logics: modalizing roles
Fundamenta Informaticae
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
Many representations in early vision can be constructed by performing orientation analysis along several sampling dimensions. Texture is often oriented in space, motion is oriented in space-time, and stereo is oriented in space-disparity. In these modalities, ...