Efficient Likelihood Learning of a Generic CNN-CRF Model for Semantic Segmentation. - Alexander Kirillov; Dmitrij Schlesinger; Walter Forkel; Anatoly Zelenin; Shuai Zheng 001; Philip H. S. Torr; Carsten Rother (CoRR, 2015)

Fuzzing and Verifying RAT Refutations with Deletion Information. - Walter Forkel; Tobias Philipp; Adrian Rebola-Pardo; Elias Werner (FLAIRS, 2017)

Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. - Franz Baader; Stefan Borgwardt; Walter Forkel (WWW (Companion Volume), 2018)

Solving Uncalibrated Photometric Stereo Using Fewer Images by Jointly Optimizing Low-rank Matrix Completion and Integrability. - Soumyadip Sengupta; Hao Zhou 011; Walter Forkel; Ronen Basri; Tom Goldstein; David W. Jacobs (J. Math. Imaging Vis., 2018)

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract). - Stefan Borgwardt; Walter Forkel (Description Logics, 2019)

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies. - Stefan Borgwardt; Walter Forkel (IJCAI, 2019)

Closed-World Semantics for Conjunctive Queries with Negation over ELH_ bot Ontologies. - Stefan Borgwardt; Walter Forkel (JELIA, 2019)

Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. - Chao Xu; Walter Forkel; Stefan Borgwardt; Franz Baader; Beihai Zhou (JOWO, 2019)

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (RuleML+RR, 2019)

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (Description Logics, 2020)

Temporal Minimal-World Semantics for Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (CoRR, 2021)

Closed-World Semantics for Query Answering in Temporal Description Logics. - Walter Forkel (2021)

Temporal Minimal-World Query Answering over Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (Theory Pract. Log. Program., 2022)