Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Dragoste, Irina"'
Autor:
Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, González, Larry, Krötzsch, Markus, Marx, Maximilian, Murali, Harish K, Weidenbach, Christoph
In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Sch\"onfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clause sets over a finite set of first-order constants. The translation
Externí odkaz:
http://arxiv.org/abs/2201.09769
Autor:
Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph
The Bernays-Sch\"onfinkel first-order logic fragment over simple linear real arithmetic constraints BS(SLR) is known to be decidable. We prove that BS(SLR) clause sets with both universally and existentially quantified verification conditions (conjec
Externí odkaz:
http://arxiv.org/abs/2107.03189
Autor:
Carral, David, Dragoste, Irina, González, Larry, Jacobs, Ceriel, Krötzsch, Markus, Urbani, Jacopo, Ghidini, Chiara, Maleshkova, Maria, Cruz, Isabel, Song, Jie, Gandon, Fabien, Hartig, Olaf, Svátek, Vojtěch, Hogan, Aidan, Lefrançois, Maxime
Publikováno v:
The Semantic Web-ISWC 2019: 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II, 2, 19-35
Carral, D, Dragoste, I, González, L, Jacobs, C, Krötzsch, M & Urbani, J 2019, VLog: A Rule Engine for Knowledge Graphs . in C Ghidini, M Maleshkova, I Cruz, J Song, F Gandon, O Hartig, V Svátek, A Hogan & M Lefrançois (eds), The Semantic Web-ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II . vol. 2, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11779 LNCS, Springer International Publishing AG, pp. 19-35, 18th International Semantic Web Conference, ISWC 2019, Auckland, New Zealand, 26/10/19 . https://doi.org/10.1007/978-3-030-30796-7_2
Lecture Notes in Computer Science ISBN: 9783030307950
ISWC (2)
Carral, D, Dragoste, I, González, L, Jacobs, C, Krötzsch, M & Urbani, J 2019, VLog: A Rule Engine for Knowledge Graphs . in C Ghidini, M Maleshkova, I Cruz, J Song, F Gandon, O Hartig, V Svátek, A Hogan & M Lefrançois (eds), The Semantic Web-ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II . vol. 2, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11779 LNCS, Springer International Publishing AG, pp. 19-35, 18th International Semantic Web Conference, ISWC 2019, Auckland, New Zealand, 26/10/19 . https://doi.org/10.1007/978-3-030-30796-7_2
Lecture Notes in Computer Science ISBN: 9783030307950
ISWC (2)
Knowledge graphs are crucial assets for tasks like query answering or data integration. These tasks can be viewed as reasoning problems, which in turn require efficient reasoning systems to be implemented. To this end, we present VLog, a rule-based r
Autor:
Urbani, Jacopo, Krötzsch, Markus, Jacobs, Ceriel, Dragoste, Irina, Carral, David, Ortiz, Magdalena, Schneider, Thomas
Publikováno v:
Proceedings of the 31st International Workshop on Description Logics (DL), 2211
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::e4074e47e4b40935f8e779f747fd5f62
https://research.vu.nl/en/publications/07b4e348-74e9-42d7-b4af-a32aba3bc3ef
https://research.vu.nl/en/publications/07b4e348-74e9-42d7-b4af-a32aba3bc3ef
Publikováno v:
KI: Künstliche Intelligenz; 2020, Vol. 34 Issue 4, p453-463, 11p
Publikováno v:
2014 16th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing; 2014, p293-300, 8p