aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics

カートのアイテムが多すぎます

ご購入は五十タイトルがカートに入っている場合のみです。

カートに追加できませんでした。

しばらく経ってから再度お試しください。

ウィッシュリストに追加できませんでした。

しばらく経ってから再度お試しください。

ほしい物リストの削除に失敗しました。

しばらく経ってから再度お試しください。

ポッドキャストのフォローに失敗しました

ポッドキャストのフォロー解除に失敗しました

aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics

無料で聴く

ポッドキャストの詳細を見る

今ならプレミアムプランが3カ月月額99円

2026年5月12日まで。4か月目以降は月額1,500円で自動更新します。

概要

aboutlogic #07 | We’re joined by Alexander Steen, who works on logics to be used in legal contexts. In this episode, we talk about the relationship between ethics and law, how good old-fashioned artificial intelligence can help legal practitioners, and how to use theorem proving practices for this. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

まだレビューはありません