Unification in a Description Logic with Transitive Closure of Roles-Reference-Cited by-同舟云学术

Unification in a Description Logic with Transitive Closure of Roles

Published:2001 Issue: Volume: Page:217-232
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Baader Franz,Küsters Ralf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45653-8_15

Reference16 articles.

1. Lect Notes Comput Sci;A. Aiken,1993

2. F. Baader. Augmenting Concept Languages by Transitive Closure of Rules: An Alternativ to Terminological Cycles. In Proc. of the 12th International Joint Conference on Artificial Intelligence (IJCAI’91), pages 446–451, 1991. Morgan Kaufmann Publishers.

3. F. Baader. Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Annals of Mathematics and Artificial Intelligence, 18(2–4):175–219, 1996.

4. Lect Notes Comput Sci;F. Baader,1991

5. F. Baader and R. Küsters. Matching in Description Logics with Existential Restrictions. In Proc. of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), pages 261–272, 2000. Morgan Kaufmann Publishers.

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multi-agent Modal Logic Evaluating Implicit Information;Agents and Multi-agent Systems: Technologies and Applications 2023;2023

2. Multi-Agent Logics with Dynamic Accessibly Relations, Projective Unifiers;Algebra and Logic;2022-03

3. Temporal Multi-Agents’ Logics Modelling Dynamic Temporal Accessibility Relations;Procedia Computer Science;2022

4. Temporal Logic in Multi-agent Environment;Agents and Multi-Agent Systems: Technologies and Applications 2022;2022

5. Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations;Lobachevskii Journal of Mathematics;2020-02