年 〜
年

検索結果 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 : A...

Legal evidence and proof : statistics, stories, logic

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

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
全国の図書館

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
全国の図書館

Logical models of legal argumentation

Logical models of legal argumentation
紙図書
edited by Henry Prakken and Giovanni SartorKluwer Academic Publishersc1997
全国の図書館

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
全国の図書館

検索結果は以上です。