基礎原子式列書換え系による法的推論
スポンサーリンク
概要
- 論文の詳細を見る
基礎原子式列書換え系Regaは,最も単純な論理式である関数自由基礎原子式の列を書換えるシステムである.本稿では,Regaの概要とそれによるウィーン売買条約の契約に関する法的推論について述べる.
- 一般社団法人情報処理学会の論文
- 1995-09-20
著者
-
竹田 正幸
九州大学 工学部
-
松尾 文碩
九州大学 工学部
-
松尾 文碩
九州大学大学院 システム情報科学府 情報理学専攻
-
瀧口 昌朗
エクセレント・デサイン(株)
-
竹田 正幸
九州大学 大学院システム情報科学研究院
関連論文
- WindowsマシンにおけるSeepの実装
- 英文科学技術文における名詞句の構造
- 英文科学技術抄録文における名詞の決定
- 英文科学技術文における被修飾名詞の決定
- 極大共通生垣を用いた情報抽出手法の提案
- 極大共通生垣を用いた情報抽出手法の提案
- 英文科学技術文における単純名詞句決定法の比較
- 英文科学技術文における単純名詞句決定法の比較
- 単語の頻度情報の偏りを用いた文書の自動分類手法の提案
- 科学技術文における共起情報を用いた関連語の抽出
- 2000-CH-46-3 / 2000-MUS-35-3 主旋律の類似性について
- 2000-CH-46-3 / 2000-MUS-35-3 主旋律の類似性について
- 5G-2 音符列比較における類似性指標の評価
- 科学技術用語の英日翻訳規則
- 科学技術用語の英日翻訳規則の抽出
- 英文科学技術文における動詞の意味的分類
- 英文CISGの格構造化手続きの開発
- 英文科学技術文における前置詞を伴う動詞句の決定
- 英文科学技術文における単純名詞句の範囲決定
- 英文CISGの格構造
- 英文科学技術抄録文からのオントロジー自動作成の試み
- 英文科学技術文における動詞の統語構造
- 科学技術用語オントロジーの自動作成
- 英文科学技術文における成句について
- 英文科学技術文における前置詞を伴う動詞の統語構造
- 高能率2次文献情報検索システムの設計
- 英文科学技術文献情報に対する不要語除去法による自動索引
- 順位符号に基づく英文二次文献情報のデータ圧縮法
- 推論関係型データベース管理システムにおけるプロダクションシステム構築支援機構の設計
- 高速追加処理を可能とする転置ファイル構成法
- 英文科学技術文献のための否定辞書
- 文献情報検索システムAIR(情報の構造化と意味に関する研究)
- 推論関係型データベース管理システム Adbis
- 文献情報検索システムAIRの改良について
- 情報検索システムAIRの設計と実現について
- 人文科学と情報科学の学際的研究のために
- 人文科学とコンピュータの学際的研究とは
- 情報検索システムAIRの実現
- 情報検索システムにおける高頻度キーワードの文書参照ファイルの圧縮について
- 情報検索システムにおける文書参照ファイル
- 英文科学技術文における高頻度名詞の分類について
- 単語の品詞とその被修飾度および前方修飾度との関係について
- 英文科学技術文における前方修飾語の決定について
- 英文科学技術文における基本名詞句の構造
- 2単語科学技術用語の英日翻訳について
- 科学技術用語における2単語句の英日翻訳規則
- 英文科学技術抄録文における高頻度動詞の格フレームに関する調査
- 法律文についての知識表現言語
- EDR概念体系辞書における上位-下位関係の推移的閉包の効率的検索
- EDR電子化辞書の検索システム
- 基礎原子式列書換え系による法的推論
- 英文科学技術文の統語構造