Efficient Model Construction for Horn Logic with VLog: System Description
Urbani, Jacopo, Krötzsch, Markus, Jacobs, Ceriel, Dragoste, Irina, Carral, David
Published in Automated Reasoning (30.06.2018)
Published in Automated Reasoning (30.06.2018)
Get full text
Book Chapter
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph
Published in arXiv.org (07.07.2021)
Published in arXiv.org (07.07.2021)
Get full text
Paper
Journal Article
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, González, Larry, Krötzsch, Markus, Marx, Maximilian, Murali, Harish K, Weidenbach, Christoph
Published in arXiv.org (24.01.2022)
Published in arXiv.org (24.01.2022)
Get full text
Paper
Journal Article
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process
Groza, Adrian, Dragoste, Irina, Sincai, Iulia, Jimborean, Ioana, Moraru, Vasile
Published in 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2014)
Published in 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2014)
Get full text
Conference Proceeding
Reasoner = Logical Calculus + Rule Engine
Carral, David, Dragoste, Irina, Krötzsch, Markus
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.12.2020)
Published in KI. Künstliche Intelligenz (Oldenbourg) (01.12.2020)
Get full text
Magazine Article