Faster horn diagnosis - a performance comparison of abductive reasoning algorithms
Koitz-Hristov, Roxane, Wotawa, Franz
Published in Applied intelligence (Dordrecht, Netherlands) (01.05.2020)
Published in Applied intelligence (Dordrecht, Netherlands) (01.05.2020)
Get full text
Journal Article
Applying algorithm selection to abductive diagnostic reasoning
Koitz-Hristov, Roxane, Wotawa, Franz
Published in Applied intelligence (Dordrecht, Netherlands) (01.11.2018)
Published in Applied intelligence (Dordrecht, Netherlands) (01.11.2018)
Get full text
Journal Article
Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis
Zimmermann, Martin, Wotawa, Franz, Pill, Ingo
Published in Advanced intelligent systems (01.04.2022)
Published in Advanced intelligent systems (01.04.2022)
Get full text
Journal Article
A Formal TLS Handshake Model in LNT
Bozic, Josip, Marsso, Lina, Mateescu, Radu, Wotawa, Franz
Published in Electronic proceedings in theoretical computer science (23.03.2018)
Published in Electronic proceedings in theoretical computer science (23.03.2018)
Get full text
Journal Article
Advances and Trends in Artificial Intelligence. From Theory to Practice: 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Proceedings
Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis
Year of Publication 2019
Get full text
Year of Publication 2019
eBook
Using Constraints for Equivalent Mutant Detection
Nica, Simona, Wotawa, Franz
Published in Electronic proceedings in theoretical computer science (08.07.2012)
Published in Electronic proceedings in theoretical computer science (08.07.2012)
Get full text
Journal Article
Model-based reasoning using answer set programming
Wotawa, Franz, Kaufmann, David
Published in Applied intelligence (Dordrecht, Netherlands) (01.12.2022)
Published in Applied intelligence (Dordrecht, Netherlands) (01.12.2022)
Get full text
Journal Article