Florian Widmann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An on-the-fly tableau-based decision procedure for PDL-satisfiability Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Discrete and continuous models for partitioning problems International Journal of Computer Vision	2015-02-04	Paper
Solving graded/probabilistic modal logic via linear inequalities (system description) Logic for Programming, Artificial Intelligence, and Reasoning	2012-06-15	Paper
Optimal and cut-free tableaux for propositional dynamic logic with converse Automated Reasoning	2010-09-14	Paper
Sound global state caching for ALC with inverse roles Lecture Notes in Computer Science	2009-12-01	Paper
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability Automated Deduction – CADE-22	2009-07-28	Paper
One-Pass Tableaux for Computation Tree Logic Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-15	Paper
The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation Discrete and Computational Geometry	2008-03-18	Paper
The minimum Manhattan network problem: Approximations and exact solutions Computational Geometry	2006-10-25	Paper

Research outcomes over time

This page was built for person: Florian Widmann