Author:
Gabbay Dov M.,Szałas Andrzej
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference36 articles.
1. Abiteboul, S., R. Hull, and V. Vianu, Foundations of Databases, Addison-Wesley Pub. Co., 1996.
2. Ackermann W.: ‘Untersuchungen über das eliminationsproblem der mathematischen logik’. Mathematische Annalen 110, 390–413 (1935)
3. Baader, F., D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel- Schneider, (eds.) Description Logic Handbook, Cambridge University Press, 2002.
4. Blackburn P., Seligman J.: ‘Hybrid languages’. Journal of Logic, Language and Information 4, 41–62 (1995)
5. Cadoli, M., Tractable Reasoning in Artificial Intelligence, vol. 941 of LNCS, Springer-Verlag, 1995.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献