JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy(Information Science) >
Jun.2008 - Mar.2009 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8001

Title: 対立を用いた法的知識の整合性検証
Authors: 萩原, 信吾
Authors(alternative): はぎわら, しんご
Keywords: アブダクション
議論
選言的拡張論理プログラム
対立
矛盾
上位下位関係
abduction
argument
extended disjunctive logic program
conflict
inconsistency
taxonomy
Issue Date: Mar-2009
Description: Supervisor:東条敏
情報科学研究科
博士
Title(English): Verification of Legal Knowledge-base with Conflictive Concept
Authors(English): Hagiwara, Shingo
Language: jpn
URI: http://hdl.handle.net/10119/8001
Appears in Collections:D-IS. 平成20年度 (Jun.2008 - Mar.2009)

Files in This Item:

File Description SizeFormat
abstract.pdf25KbAdobe PDFView/Open
jabstract.pdf770KbAdobe PDFView/Open
paper.pdf3669KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology