An implementation of nonmonotonic reasoning with c-representations using an SMT solver
| Autor: | von Berg, Martin, Sanin, Arthur, Beierle, Christoph |
|---|---|
| Zdroj: | In International Journal of Approximate Reasoning December 2024 175 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect