Login / Signup
Tobias Gehl
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Inference Rules
Markov Logic
Probabilistic Graphical Models
Quantifier Free
Top Venues
PAAR@IJCAR
</>
Publications
</>
Martin Bromberger
,
Tobias Gehl
,
Lorenz Leutgeb
,
Christoph Weidenbach
A Two-Watched Literal Scheme for First-Order Logic.
PAAR@IJCAR
(2022)