Login / Signup
Markus Bender
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Reasoning Problems
Dl Lite
Conjunctive Queries
Snomed Ct
Top Venues
CADE
SMT@IJCAR
</>
Publications
</>
Markus Bender
,
Viorica Sofronie-Stokkermans
Decision Procedures for Theories of Sets with Measures.
CADE
(2017)
Markus Bender
Reasoning with Sets and Sums of Sets.
SMT@IJCAR
(2016)
Markus Bender
,
Björn Pelzer
,
Claudia Schon
System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.
CADE
(2013)