Search Results:　 1-8 of 8

WAKAKI Toshiko , NITTA Katsumi

… set programming)で計算する方法を提案すると共に, 提案する方法に基づき優先順位付き極小限定のモデルを計算する極小限定モデル生成系circumを開発した.本論文では, 我々の極小限定モデル生成系circumの基礎理論, 及び, 本システムの使用法と性能評価結果について述べる.計算機実検の結果より, 優先順位付き極小限定のモデル計算時間に関する我々のcircumの性能が, 極小化の優先度の階層数が増 …

IEICE technical report. Artificial intelligence and knowledge-based processing 105(361), 31-36, 2005-10-14

CiNii Fulltext PDF - Subscription  References (11)

Okamoto Hidenori , Satoh Ken

The purpose of this paper is to propose an algorithm that computes all the minimal models in propositional prioritized circumscription by 0-1 integer linear programming. An algorithm for non-prioritiz …

Journal of Japanese Society for Artificial Intelligence 15(3), 511-517, 2000-05-01

CiNii Fulltext PDF - Subscription  References (16)

Wakaki Toshiko , Satoh Ken

We propose a method of compiling circumscription into extended logic programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized circumscription. In th …

Journal of Japanese Society for Artificial Intelligence 14(3), 466-476, 1999-05-01

CiNii Fulltext PDF - Subscription  References (27) Cited by (2)