Cutting Diamonds: A Temporal Logic with Probabilistic Distributions

von Kovtunova, Alisa
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures

von Alrabbaa, Christian
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)