Martin von Berg

From MaRDI portal



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!

PublicationDate of PublicationType
Scaling up nonmonotonic c-inference via partial MaxSAT problems2024-10-30Paper
Representing nonmonotonic inference based on c-representations as an SMT problem2024-08-15Paper
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation2023-03-29Paper
Conditional descriptor revision and its modelling by a CSP2021-12-01Paper


Research outcomes over time


This page was built for person: Martin von Berg