Walter Forkel

14 papers A* 1B 2Misc 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Temporal Minimal-World Query Answering over Sparse ABoxes.
Theory Pract. Log. Program.
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2021 — —
Closed-World Semantics for Query Answering in Temporal Description Logics.
Walter Forkel
2021 J jnl
Temporal Minimal-World Semantics for Sparse ABoxes.
CoRR
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2020 — conf
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract).
Description Logics
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2019 — conf
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries.
JOWO
Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou
2019 B conf
Closed-World Semantics for Conjunctive Queries with Negation over
JELIA
Stefan Borgwardt, Walter Forkel
2019 — conf
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract).
Description Logics
Stefan Borgwardt, Walter Forkel
2019 A* conf
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies.
IJCAI
Stefan Borgwardt, Walter Forkel
2019 B conf
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.
RuleML+RR
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
2018 — conf
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering.
WWW (Companion Volume)
Franz Baader, Stefan Borgwardt, Walter Forkel
2018 J jnl
Solving Uncalibrated Photometric Stereo Using Fewer Images by Jointly Optimizing Low-rank Matrix Completion and Integrability.
J. Math. Imaging Vis.
Soumyadip Sengupta, Hao Zhou, Walter Forkel, Ronen Basri, Tom Goldstein, David W. Jacobs
2017 Misc conf
Fuzzing and Verifying RAT Refutations with Deletion Information.
FLAIRS
Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner
2017 J jnl
Solving Uncalibrated Photometric Stereo Using Fewer Images by Jointly Optimizing Low-rank Matrix Completion and Integrability.
CoRR
Soumyadip Sengupta, Hao Zhou, Walter Forkel, Ronen Basri, Tom Goldstein, David W. Jacobs
2015 J jnl
Efficient Likelihood Learning of a Generic CNN-CRF Model for Semantic Segmentation.
CoRR
Alexander Kirillov, Dmitrij Schlesinger, Walter Forkel, Anatoly Zelenin, Shuai Zheng, Philip H. S. Torr, Carsten Rother