Skip to main content

Reasoning with Forest Logic Programs Using Fully Enriched Automata

Cristina Feier and Thomas Eiter

Book Title
Int. Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP)
Year
2015