Irina Dragoste

According to our database, Irina Dragoste authored at least 14 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Reasoner = Logical Calculus + Rule Engine.

David Carral, Irina Dragoste, Markus Krötzsch

Künstliche Intell., 2020

2019

VLog: A Rule Engine for Knowledge Graphs.

David Carral, Irina Dragoste, Larry González, Ceriel J. H. Jacobs, Markus Krötzsch, Jacopo Urbani

Proceedings of the Semantic Web - ISWC 2019, 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning.

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract).

David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe

Proceedings of the 32nd International Workshop on Description Logics, 2019

The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract).

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

The Combined Approach to Query Answering in Horn-ALCHOIQ.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Efficient Model Construction for Horn Logic with VLog: Extended Abstract.

Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Efficient Model Construction for Horn Logic with VLog - System Description.

Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Tractable Query Answering for Expressive Ontologies and Existential Rules.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the Semantic Web - ISWC 2017, 2017

Restricted Chase (Non)Termination for Existential Rules with Disjunctions.

David Carral, Irina Dragoste, Markus Krötzsch

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2014

An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.

Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014