Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology

January 01, 2019 ยท The Ethereal ยท ๐Ÿ› Electronic Proceedings in Theoretical Computer Science

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Bernd Finkbeiner, Samantha Kleinberg arXiv ID 1901.00073 Category cs.LO: Logic in CS Cross-listed cs.AI, cs.PL Citations 2 Venue Electronic Proceedings in Theoretical Computer Science Last Checked 5 months ago
Abstract
The CREST 2018 workshop is the third in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of failures -, and explaining why they occurred, are increasingly in the focus of several, disjoint communities. The main objective of CREST is to bring together researchers and practitioners from industry and academia in order to enable discussions how explicit and implicit reasoning about causation is performed. A further objective is to link to the foundations of causal reasoning in the philosophy of sciences and to causal reasoning performed in other areas of computer science, engineering, and beyond.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Logic in CS