Efficient Model Construction for Horn Logic with VLog - System Description - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral. Efficient Model Construction for Horn Logic with VLog - System Description. In Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani, editors, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Volume 10900 of Lecture Notes in Computer Science, pages 680-688, Springer, 2018. [doi]

This author has not been identified. Look up 'Jacopo Urbani' in GoogleThis author has not been identified. Look up 'Markus Krötzsch' in GoogleThis author has not been identified. Look up 'Ceriel J. H. Jacobs' in GoogleThis author has not been identified. Look up 'Irina Dragoste' in GoogleThis author has not been identified. Look up 'David Carral' in Google

runs on WebDSL