Reasoning with Forest Logic Programs Using Fully Enriched Automata

Cristina Feier, Thomas Eiter. Reasoning with Forest Logic Programs Using Fully Enriched Automata. In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Volume 9345 of Lecture Notes in Computer Science, pages 346-353, Springer, 2015. [doi]

Authors

Cristina Feier

This author has not been identified. Look up 'Cristina Feier' in Google

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google