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!
| Publication | Date of Publication | Type |
|---|---|---|
| The InfOCF library for reasoning with conditional belief bases | 2025-12-15 | Paper |
| Scaling up reasoning from conditional belief bases | 2025-05-23 | Paper |
| An implementation of nonmonotonic reasoning with c-representations using an SMT solver International Journal of Approximate Reasoning | 2025-01-28 | Paper |
| Scaling up nonmonotonic c-inference via partial MaxSAT problems | 2024-10-30 | Paper |
| Representing nonmonotonic inference based on c-representations as an SMT problem | 2024-08-15 | Paper |
| Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation | 2023-03-29 | Paper |
| Conditional descriptor revision and its modelling by a CSP | 2021-12-01 | Paper |
Research outcomes over time
This page was built for person: Martin von Berg
