1 - 15 toradh á dtaispeáint as 15 toradh san iomlán ar an gcuardach 'Simancík, F', am iarratais: 0.04s Beachtaigh na torthaí
  1. 1
    Consequence-based reasoning for ontology classification

    Consequence-based reasoning for ontology classification de réir Simancik, F

    Foilsithe / Cruthaithe 2013
    Tráchtas
  2. 2
    Concurrent Classification of EL Ontologies

    Concurrent Classification of EL Ontologies de réir Kazakov, Y, Krötzsch, M, Simančík, F

    Foilsithe / Cruthaithe 2011
    Journal article
  3. 3
    Concurrent Classification of EL Ontologies.

    Concurrent Classification of EL Ontologies. de réir Kazakov, Y, Krötzsch, M, Simancik, F

    Foilsithe / Cruthaithe 2011
    Journal article
  4. 4
    Consequence−Based Reasoning beyond Horn Ontologies

    Consequence−Based Reasoning beyond Horn Ontologies de réir Simancik, F, Kazakov, Y, Horrocks, I

    Foilsithe / Cruthaithe 2015
    Conference item
  5. 5
    Description logics

    Description logics de réir Krötzsch, M, Simancik, F, Horrocks, I

    Foilsithe / Cruthaithe 2013
    Journal article
  6. 6
    Unchain My EL Reasoner.

    Unchain My EL Reasoner. de réir Kazakov, Y, Krötzsch, M, Simancik, F

    Foilsithe / Cruthaithe 2011
    Journal article
  7. 7
    Fixed Parameter Tractable Reasoning in DLs via Decomposition.

    Fixed Parameter Tractable Reasoning in DLs via Decomposition. de réir Simancik, F, Motik, B, Krötzsch, M

    Foilsithe / Cruthaithe 2011
    Journal article
  8. 8
    Concurrent Classification of EL Ontologies

    Concurrent Classification of EL Ontologies de réir Kazakov, Y, Krötzsch, M, Simančík, F

    Foilsithe / Cruthaithe 2011
    Report
  9. 9
    Unchain My EL Reasoner

    Unchain My EL Reasoner de réir Kazakov, Y, Krötzsch, M, Simancik, F

    Foilsithe / Cruthaithe 2011
    Conference item
  10. 10
    A Description Logic Primer

    A Description Logic Primer de réir Krötzsch, M, Simancik, F, Horrocks, I

    Foilsithe / Cruthaithe 2012
    Journal article
  11. 11
    Consequence-based and fixed-parameter tractable reasoning in description logics

    Consequence-based and fixed-parameter tractable reasoning in description logics de réir Simancik, F, Motik, B, Horrocks, I

    Foilsithe / Cruthaithe 2014
    Journal article
  12. 12
    On recombination-induced multiple and simultaneous coalescent events.

    On recombination-induced multiple and simultaneous coalescent events. de réir Davies, J, Simancík, F, Lyngsø, R, Mailund, T, Hein, J

    Foilsithe / Cruthaithe 2007
    Journal article
  13. 13
    Extending consequence-based reasoning to SRIQ

    Extending consequence-based reasoning to SRIQ de réir Bate, A, Motik, B, Cuenca Grau, B, Simančík, F, Horrocks, I

    Foilsithe / Cruthaithe 2016
    Conference item
  14. 14
    Consequence-based reasoning for description logics with disjunctions and number restrictions

    Consequence-based reasoning for description logics with disjunctions and number restrictions de réir Bate, A, Motik, B, Cuenca Grau, B, Tena Cucala, D, Simančík, F, Horrocks, I

    Foilsithe / Cruthaithe 2018
    Journal article
  15. 15
    Consequence-based reasoning for description logics with disjunctions and number restrictions

    Consequence-based reasoning for description logics with disjunctions and number restrictions de réir Bate, A, Motik, B, Cuenca Grau, B, Tena Cucala, D, Simancik, F, Horrocks, I

    Foilsithe / Cruthaithe 2018
    Journal article

Uirlisí cuardaigh: