1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Agata Ciabattoni, Dmitry Rozplokhas
Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman's causal I/O logics via proof-search-oriented s…