Name Card

Full name Familienname, Vorname
Kontchakov, Roman
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Clopen Knowledge Bases: Combining Description Logics and Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
2Labai, Nadia ; Homola, Martin ; Ortiz de la Fuente, M.Magdalena Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)Konferenzbeitrag Inproceedings 2017
3Schneider, Patrik Event Detection and Diagnosis for Intelligent Transport SystemsKonferenzbeitrag Inproceedings 2017
4Ortiz, Magdalena ; Šimkus, Mantas Revisiting the Hardness of Query Answering in Expressive Description LogicsKonferenzbeitrag Inproceedings 2014