scientific article; zbMATH DE number 7483822

zbMath1484.68314MaRDI QIDQ5037674

David Streit

Publication date: 3 March 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

experimentationHOLIsabelleactual causationshallow embeddingSTITLogiKEy

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• HOL
• Unnamed Item
• Unnamed Item

This page was built for publication: