Author:
Hahmann Torsten,Grüninger Michael
Reference49 articles.
1. [34] McCune, W., “Prover9,” 2010, http://www.cs.unm.edu/~mccune/prover9/.
2. [1] Allen, J. F., “Maintaining knowledge about temporal intervals,” Communications of the ACM, vol. 26 (1983), pp. 832–43.
3. [2] Asher, N., and L. Vieu, “Toward a geometry of common sense: A semantics and a complete axiomatization for mereotopology,” pp. 846–52 in International Joint Conference on Artificial Intelligence (IJCAI-95), Morgan Kaufmann, San Francisco, 1995.
4. [3] Bennett, B., and I. Düntsch, “Axioms, algebras and topology,” pp. 99–159 in Handbook of Spatial Logics, edited by M. Aiello, I. Pratt-Hartmann, and J. van Benthem, Springer, Dordrecht, 2007.
5. [4] Biacino, L., and G. Gerla, “Connection structures,” Notre Dame Journal of Formal Logic, vol. 32 (1991), pp. 242–47.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献