Irina Dragoste
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2014–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TACAS | A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry Gonzlez, Markus Krtzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach |
| 2019 | IJCAI | Chasing Sets: How to Use Existential Rules for Expressive Reasoning. | David Carral, Irina Dragoste, Markus Krtzsch, Christian Lewe |
| 2018 | CADE | Efficient Model Construction for Horn Logic with VLog - System Description. | Jacopo Urbani, Markus Krtzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral |
| 2018 | KR | The Combined Approach to Query Answering in Horn-ALCHOIQ. | David Carral, Irina Dragoste, Markus Krtzsch |
| 2017 | IJCAI | Restricted Chase (Non)Termination for Existential Rules with Disjunctions. | David Carral, Irina Dragoste, Markus Krtzsch |
| 2014 | SYNASC | An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. | Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru |