文献

J-GLOBAL ID：200902140088494022   整理番号：02A0426783

定理証明器SATCHMOに関する新しい効率化手法

A New Improving Method for SATCHMO.

著者 (4件)： HE L (愛知県大 情報科学) ,  CHAO Y (名古屋工大) ,  中村剛士 (名古屋工大) ,  伊藤英則 (名古屋工大)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 43  号： 5  ページ： 1538-1547  発行年： 2002年05月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 定理証明器SATCHMOでは,すべての違反節を前向き推論に用...

シソーラス用語： *定理証明 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=02A0426783&from=J-GLOBAL&jstjournalNo=Z0778A") }}

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

引用文献 (9件)：

• BAUMGARTNER, P. Hyper Tableaux. Proc. European Workshop: Logics in Artificial Intelligence, JELIA. 1986, 1-17
• BRYAND, F. Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. Journal of Automated Reasoning. 2000, 25, 35-82
• HE, L. A-SATCHMORE: SATCHMORE with Availability Checking. New Generation Computing. 1998, 16, 55-74
• LETZ, R. Controlled Integration of the Cut Rule into Connection Tableau Calculi. Journal of Automated Reasoning. 1994, 13, 297-337
• LOVELAND, D. W. SATCHMORE: SATCHMO with REl-evancy. Journal of Automated Reasoning. 1995, 14, 325-351

タイトルに関連する用語 (3件)： 定理証明 ,  効率化 ,  手法