33 followers
工学部→設計⇔開発→知的財産業務（特許出願）経歴の私には👍な講演でした。PROLEG技術思想は初級者がIPの侵害判定ガイドと成り得そう。 俺、どっかの修士課程の研究計画、これにしてお受験に臨もうか？と考えたく成るほどでした。 https://t.co/hfPA8bbaUr
2,486 followers
PrologをベースにしたPROLEGというものがあります https://t.co/AV8Nn6khJA
3,575 followers
RT @nullue: 例えば以下の論文がまさにそういうことをやっています： H. Prakken & G. Sartor (2009) A logical analysis of burdens of proof. In H. Kaptein, et al. (eds.) L…
1,678 followers
例えば以下の論文がまさにそういうことをやっています： H. Prakken & G. Sartor (2009) A logical analysis of burdens of proof. In H. Kaptein, et al. (eds.) Legal Evidence and Proof: Statistics, Stories, Logic, pp. 223-253. https://t.co/e1ElDhS4Ww