Walter Forkel

According to our database, Walter Forkel authored at least 13 papers between 2015 and 2022.

Collaborative distances:

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

2022

Temporal Minimal-World Query Answering over Sparse ABoxes.

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

Theory Pract. Log. Program., 2022

2021

Closed-World Semantics for Query Answering in Temporal Description Logics.

Walter Forkel

PhD thesis, 2021

Temporal Minimal-World Semantics for Sparse ABoxes.

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

CoRR, 2021

2020

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract).

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries.

Chao Xu, Walter Forkel, Stefan Borgwardt, Franz Baader, Beihai Zhou

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Closed-World Semantics for Conjunctive Queries with Negation over <i>ELH</i>_\bot Ontologies.

Stefan Borgwardt, Walter Forkel

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies.

Stefan Borgwardt, Walter Forkel

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

Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (Extended Abstract).

Stefan Borgwardt, Walter Forkel

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

2018

Solving Uncalibrated Photometric Stereo Using Fewer Images by Jointly Optimizing Low-rank Matrix Completion and Integrability.

Soumyadip Sengupta, Hao Zhou, Walter Forkel, Ronen Basri, Tom Goldstein, David W. Jacobs

J. Math. Imaging Vis., 2018

Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering.

Franz Baader, Stefan Borgwardt, Walter Forkel

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

2017

Fuzzing and Verifying RAT Refutations with Deletion Information.

Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

2015

Efficient Likelihood Learning of a Generic CNN-CRF Model for Semantic Segmentation.

Alexander Kirillov, Dmitrij Schlesinger, Walter Forkel, Anatoly Zelenin, Shuai Zheng, Philip H. S. Torr, Carsten Rother

CoRR, 2015