Visible to the public BiblioConflict Detection Enabled

Filters: Author is Krivine, Jean  [Clear All Filters]
2021-08-11
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow.  2019.  Dynamic Conflict Resolution Using Justification Based Reasoning. Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology. 308:47–65.