Logic in computer science

Veröffentlicht 2009

A Logic of Interactive Proofs

von Lehnherr, David
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)

An Epistemic Probabilistic Logic with Conditional Probabilities

von Dautović, Sejla
Veröffentlicht in JELIA (17. : 2021 : Online) Logics in Artificial Intelligence (2021)

Symbolic and quantitative approaches to reasoning with uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019 : proceedings

Veröffentlicht 2019

Selected extended papers from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)

Veröffentlicht 2020-2021

Incomplete Information and Justifications

von Doder, Dragan
Veröffentlicht in TbiLLC (13. : 2019 : Batumi) Language, logic, and computation (2022)