Cutting Diamonds: A Temporal Logic with Probabilistic Distributions.
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR 2018) |
| Pages | 561-570 |
| Number of pages | 10 |
| Publication status | Published - 2018 |
| Peer-reviewed | Yes |
External IDs
| Scopus | 85078662157 |
|---|---|
| ORCID | /0000-0001-9936-0943/work/142238117 |