Irina Dragoste

16 papers A* 3A 1Misc 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2022 — conf
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
TACAS (1)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2022 J jnl
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
CoRR
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2021 — conf
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
FroCoS
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
2021 J jnl
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
CoRR
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
2020 J jnl
Reasoner = Logical Calculus + Rule Engine.
Künstliche Intell.
David Carral, Irina Dragoste, Markus Krötzsch
2019 — conf
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract).
Description Logics
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
2019 A* conf
Chasing Sets: How to Use Existential Rules for Expressive Reasoning.
IJCAI
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
2019 — conf
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract).
Description Logics
David Carral, Irina Dragoste, Markus Krötzsch
2019 — conf
VLog: A Rule Engine for Knowledge Graphs.
ISWC (2)
David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani
2018 A conf
Efficient Model Construction for Horn Logic with VLog - System Description.
IJCAR
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
2018 — conf
Efficient Model Construction for Horn Logic with VLog: Extended Abstract.
Description Logics
Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral
2018 A* conf
The Combined Approach to Query Answering in Horn-ALCHOIQ.
KR
David Carral, Irina Dragoste, Markus Krötzsch
2018 — conf
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.
Description Logics
David Carral, Irina Dragoste, Markus Krötzsch
2017 A* conf
Restricted Chase (Non)Termination for Existential Rules with Disjunctions.
IJCAI
David Carral, Irina Dragoste, Markus Krötzsch
2017 — conf
Tractable Query Answering for Expressive Ontologies and Existential Rules.
ISWC (1)
David Carral, Irina Dragoste, Markus Krötzsch
2014 Misc conf
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.
SYNASC
Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru