On the Domain and Dimension Hierarchy of Matrix Interpretations

Friedrich Neurauter and Aart Middeldorp
Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18), Lecture Notes in Artificial Intelligence (Advanced Research in Computing and Software Science) 7180, pp. 320 – 334, 2012.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-28717-6_25  
© Springer