×

Found 1,811 Documents (Results 1–100)

Learning by intervention in simple causal domains. (English) Zbl 07856042

Gierasimczuk, Nina (ed.) et al., Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14401, 104-118 (2024).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Higher-order causal theories are models of BV-logic. (English) Zbl 07893118

Szeider, Stefan (ed.) et al., 47th international symposium on mathematical foundations of computer science, MFCS 2022, Vienna, Austria, August 22–26, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 241, Article 80, 14 p. (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A graphical proof theory of logical time. (English) Zbl 07853728

Felty, Amy P. (ed.), 7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 228, Article 22, 25 p. (2022).
MSC:  03B70 03F52 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software