Frantisek Simancik : Publications
-
[1]
Extending Consequence−Based Reasoning to SRIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
arXiv:1602.04498 [cs.AI]. February, 2016.
Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Link to Extending Consequence−Based Reasoning to SRIQ
-
[2]
Extending Consequence−Based Reasoning to SRIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ Frantisek Simancik and Ian Horrocks
In Chitta Baral‚ James P. Delgrande and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference. Pages 187–196. AAAI Press. 2016.
Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Download paper.pdf of Extending Consequence−Based Reasoning to SRIQ | Download slides.pdf of Extending Consequence−Based Reasoning to SRIQ
-
[3]
Extending Consequence−Based Reasoning to SHIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics. Vol. 1350 of CEUR Workshop Proceedings. CEUR−WS.org. June, 2015.
Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download (pdf) of Extending Consequence−Based Reasoning to SHIQ
-
[4]
Extending Consequence−Based Reasoning to SHIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
Department of Computer Science‚ University of Oxford. June, 2015.
Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download (pdf) of Extending Consequence−Based Reasoning to SHIQ