JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy(Information Science) >
H12) (Jun.2000 - Mar.2001 >

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

Title: 述語階層, イベント性および内在的否定を導入した順序ソート論理
Authors: 兼岩, 憲
Authors(alternative): かねいわ, けん
Keywords: 順序ソート論理, 述語の階層, イベント/プロパティ, 内在的否定, ホーン節導出
order-sorted logic, predicate-hierarchy, event/pro
Issue Date: Mar-2001
Description: 
Supervisor:東条 敏
情報科学研究科
博士
Title(English): An Order-Sorted Logic with Predicate-Hierarchy, Eventuality and Implicit Negation
Authors(English): Kaneiwa, Ken
URI: http://hdl.handle.net/10119/911
Appears in Collections:D-IS. 2000年度(H12) (Jun.2000 - Mar.2001)

Files in This Item:

There are no files associated with this item.

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

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)