Reasoning with Bounded Self-reference Using Logical Interpreters

Daniel Gorín, Lutz Schröder, Thorsten Wißmann. Reasoning with Bounded Self-reference Using Logical Interpreters. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 689-703, CEUR-WS.org, 2013. [doi]

Authors

Daniel Gorín

This author has not been identified. Look up 'Daniel Gorín' in Google

Lutz Schröder

This author has not been identified. Look up 'Lutz Schröder' in Google

Thorsten Wißmann

This author has not been identified. Look up 'Thorsten Wißmann' in Google