Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Simancik, Frantisek"'
Autor:
Kováčik, Jaroslav, Jerz, Jaroslav, Gopinathan, Arun, Simančík, František, Marsavina, Liviu, Linul, Emanoil
Publikováno v:
In Materials Today: Proceedings 2023 78 Part 2:308-313
Consequence-based calculi are a family of reasoning algorithms for description logics (DLs), and they combine hypertableau and resolution in a way that often achieves excellent performance in practice. Up to now, however, they were proposed for eithe
Externí odkaz:
http://arxiv.org/abs/1602.04498
Autor:
Simancik, Frantisek
Description logics (DLs) are knowledge representation languages that provide the theoretical underpinning for modern ontology languages such as OWL and serve as the basis for the development of ontology reasoners and tools. Most modern ontology reaso
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581368
Publikováno v:
In JACC: Clinical Electrophysiology October 2024 10(10):2297-2299
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight
Externí odkaz:
http://arxiv.org/abs/1201.4089
Publikováno v:
JACC: Clinical Electrophysiology; October 2024, Vol. 10 Issue: 10 p2297-2299, 3p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Balog, Martin, Krizik, Peter, Nosko, Martin, Hajovska, Zuzana, Victoria Castro Riglos, Maria, Rajner, Walter, Liu, De-Shin, Simancik, Frantisek
Publikováno v:
In Materials Science & Engineering A 8 September 2014 613:82-90
Autor:
Krizik, Peter, Balog, Martin, Illekova, Emilia, Svec, Peter, Sr., Matko, Igor, Stepanek, Matej, Nosko, Martin, Simancik, Frantisek
Publikováno v:
In Journal of Materials Processing Tech. June 2014 214(6):1165-1172
Publikováno v:
In Artificial Intelligence April 2014 209:29-77