Author:
Areces Carlos,de Nivelle Hans,de Rijke Maarten
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Y. Auffray, P. Enjalbert, and J. Hebrard. Strategies for modal resolution: results and problems. Journal of Automated Reasoning, 6(1):1–38, 1990.
2. F. Baader, B. Hollunder, B. Nebel, H. Profitlich, and E. Franconi. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Journal of Applied Intelligence, 4:109–132, 1994.
3. P. Blackburn. Internalizing labeled deduction. Technical Report CLAUS-Report 102, Computerlinguistik, Universität des Saarlandes, 1998.
4. P. Blackburn and M. Tzakova. Hybridizing concept languages. Annals of Mathematics and Artificial Intelligence, 24:23–49, 1998.
5. R. Brachman and H. Levesque. The tractability of subsumption in frame-based description languages. In AAAI-84, pages 34–37, 1984.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Non-iterative Modal Resolution Calculi;Lecture Notes in Computer Science;2024
2. Resolution Calculi for Non-normal Modal Logics;Lecture Notes in Computer Science;2023
3. A Modal-Layered Resolution Calculus for K;Lecture Notes in Computer Science;2015