本文に飛ぶ

年 〜
年

検索結果 6 件

The uses of computational argumentation : papers from the AAAI fall symposium : technical report FS-09-06. : AAAI event : Nov 2009, Arlington, VA.

The uses of computational argumentation : papers from the AAAI fall symposium : technical report FS-09-06. : AAAI event : Nov 2009, Arlington, VA.
紙図書
AAAI Pressc2009.<M17-10-1878>
国立国会図書館
  • 著者標目...arsons, Simon. Prakken, Henry. AAAI Fall Symposium (2009 : ...

Legal evidence and proof : statistics, stories, logic

Legal evidence and proof : statistics, stories, logic
紙図書
edited by Hendrik Kaptein, Henry Prakken, Bart VerheijAshgatec2009
全国の図書館
  • 著者標目Kaptein, Hendrik Prakken, Henry Verheij, Bart

The uses of computational argumentation : papers from the AAAI Fall Symposium

The uses of computational argumentation : papers from the AAAI Fall Symposium
紙図書
Trevor Bench-Capon, Simon Parsons, and Henry Prakken, cochairsAAAI Pressc2009
全国の図書館
  • 著者標目AAAI Fall Symposium Bench-Capon, T. J. M Parsons, Simon Prakken, Henry

Norms, logics and information systems : new studies in deontic logic and computer science : IOS Press : Ohmsha

Norms, logics and information systems : new studies in deontic logic and computer science : IOS Press : Ohmsha
紙図書
edited by P. McNamara and H. PrakkenIOP Pressc1999
全国の図書館
  • 著者標目McNamara, P. Prakken, Henry

Logical models of legal argumentation

Logical models of legal argumentation
紙図書
edited by Henry Prakken and Giovanni SartorKluwer Academic Publishersc1997
全国の図書館
  • 著者標目Prakken, Henry Sartor, Giovanni

Logical tools for modelling legal argument : a study of defeasible reasoning in law

Logical tools for modelling legal argument : a study of defeasible reasoning in law
紙図書
Henry Prakken ; [managing editors, Francisco Laporta, Aleksander Peczenik, Frederick Schauer]Kluwer Academic Publishersc1997
全国の図書館
  • 著者標目Prakken, Henry

検索結果は以上です。

RSS