Login / Signup
David E. Over
ORCID
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 6
Top Topics
Anti Unification
Proof Theoretic
Default Rules
Conditional Logic
Top Venues
Int. J. Approx. Reason.
SMPS
CoRR
HAR
</>
Publications
</>