Eveline Lehmann

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Logic Programming

Maintaining Consistency

Top Venues

J. Log. Comput.

Publications

Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer
Consistency and permission in deontic justification logic. J. Log. Comput. 34 (4) (2024)
Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer
Impossible and Conflicting Obligations in Justification Logic. CoRR (2023)
Eveline Lehmann, Thomas Studer
Belief Expansion in Subset Models. CoRR (2023)
Eveline Lehmann, Thomas Studer
Belief Expansion in Subset Models. LFCS (2020)
Eveline Lehmann, Thomas Studer
Subset Models for Justification Logic. WoLLIC (2019)