|
<<査読付学術論文>>
|
|
・From Inverse Entailment to Inverse Subsumption
( Proceedings of the 20th International Conference on Inductive Logic Programming (ILP 2010) )
( 2010年 )
|
|
・情報量と頻度に基づく非同期かつ有用な系列パターンの高速抽出
( 人工知能学会論文誌 )
( 2010年 )
|
|
・SOLAR: An Automated Deduction System for Consequence Finding
( AI Communications )
( 2010年 )
|
|
・イベント系列マイニングを目的とする新聞記事からの時間情報に基づく単語抽出
( 人工知能学会論文誌 )
( 2009年 )
|
|
・Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation.
( Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP 2009), )
( 2009年 )
|
|
・Reconsideration of
Circumscriptive Induction with Pointwise Circumscription
( Journal of Applied Logic )
( 2009年 )
|
|
・Hypothesis enumeration by CF-induction
( Proceedings of the Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) )
( 2009年 )
|
|
・A Complete Pruning Methods and a Practical Search Strategy for SOL.
( Proceeding of 7th International Workshop on the Implementation of Logics (IWIL 2008) )
( 2008年 )
|
|
・Reconsideration of Circumscriptive Induction with Pointwise Circumscription
( Proceeding of International Workshop on Abduction and Induction in AI and Bioinformatics. )
( 2007年 )
|
|
・Rapid Synthesis of Domain-Specific Web Search Engines Based on Semi-automatic Training-Example Generation,
( Proceedings of the International Conference on Web Intelligence 2006 (WI'06), )
( 2006年 )
|
|
・緩和法に基づく系列データからの頻出部分系列の高速マイニング，
( 第５回情報科学技術レターズ (FIT2006)
)
( 2006年 )
|
|
・専門検索エンジンの高速半自動生成法，
( 第５回情報科学技術レターズ (FIT2006) )
( 2006年 )
|
|
・Lemma Reusing for SAT based Planning and Scheduling
( Porceedings of the Inter. Conf. on Planning and Scheduling (ICAPS '06) )
( 2006年 )
|
|
・Consequence Finding and Computing Answers with Defaults, Journal of Intelligent Information Systems
( Journal of Intelligent Information Systems )
( 2006年 )
|
|
・Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm
( Proceedings of The Fifth IEEE International Conference on Data Mining (ICDM2005) )
( 2005年 )
|
|
・Upside-Down Transformation in SOL/Connection Tableaux and its Application
( Proceedings of International Colloquium
on Theoretical Aspects of Computing (ICTAC05) Lecture Notes on Computer Science )
( 2005年 )
|
|
・大規模データ系列中に頻出する部分系列のオンライン抽出アルゴリズム
( 第４回情報科学技術レターズ（FIT2005） )
( 2005年 )
|
|
・Effective Sat Planning by Lemma-Reusing
( Proceedings of the IASTED International Conference
on Artificial Intelligence and Applications (AIA2005) )
( 2005年 )
|
|
・On Anti-Monotone Frequency Measures for Extracting Sequential Patterns from a Single Very-Long Data Sequence.
( Proceedings of IEEE International Conference on Cybernetics and Intelligence
Systems (CIS2004) )
( 2004年 )
|
|
・Speculative Computation through Consequence-finding in Multi-Agent Environments
( Annals of Mathematics and Artificial
Intelligence )
( 2004年 )
|
|
・単一の長大なデータ系列上の系列パターンの出現尺度とその逆単調性
( 第３回情報科学技術レターズ(FIT2004)
)
( 2004年 )
|
|
・Consequence Finding in Default Theories
( Proceedings of 6th International Conference on Flexible Query Answering Systems (FQAS2004), Lecture Notes in Artficial Intelligence
)
( 2004年 )
|
|
・Detecting Two Sorts of Correspondences between HTML Documents for Extracting Temporal Differences
( Proceedings of the Third IASTED International Conference on Artificial Intelligence and Applications (AIA2003), )
( 2003年 )
|
|
・SOLAR: A Consequence Finding System for Advanced Reasoning
( Proceeding of Tableaux03. Lecture Notes in Artficial Intelligence )
( 2003年 )
|
|
・マルチエージェントシステム分散協調問題における時間遅れと知識量の関係
( 電子情報通信学会論文誌 D-I )
( 2003年 )
|
|
・エージェント間通信におけるアブダクションによる投機的計算
( コンピュータソフトウエア（日本ソフトウエア
科学会論文誌)
)
( 2003年 )
|
|
・Effective SAT Planning by Speculative Computation
( Proceeding of 15th Australian Joint Conference on Artificial Intelligence Lecture Notes in Artficial
Intelligence )
( 2002年 )
|
|
・事例に基づくシリーズ型HTML文書の意味論理構造の自動認識
( 人工知能学会論文誌 )
( 2002年 )
|
|
・Minimal Answer Computation and SOL
( Proceedings of 8th European Conference on Logics in Artificial Intelligence (JELIA 2002) Lecture Notes in Artificial Intelligence, )
( 2002年 )
|
|
・A Case-Based Recognition of Semantic Structures in HTML Documents (An automated Transformation from HTML to XML).
( Proceedings of Third International Conference on Intelligent Data Engineering and Automated Learning (IDEAL 2002) Lecture Notes in Computer Science )
( 2002年 )
|
|
・Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments
( Electronic Notes on Theoretical Computer Science.
It originally appeared in Proceedings of an ICLP'02 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), pp.149-162 (2002). )
( 2002年 )
|
|
・事例に基づくHTML文書からXML文書への半自動変換
( 人工知能学会論文誌 )
( 2001年 )
|
|
・Finite Approximation of Predicate Circumscription
( IEICE Transaction on Information and Systems )
( 1999年 )
|
|
・遺伝的プログラミングを用いた命題ＭＥタブロー法による定理自動証明
( 人工知能学会誌 )
( 1998年 )
|
|
・Strong Contraction in Model Elimination Calculus
( IEICE Transaction on Information and Systems )
( 1998年 )
|
|
・Lemmas Matching for a PTTP-based Top-down Theorem Prover
( Proc. of the 14th International Conference of Automated Deduction (Lecture Notes in Artifical Intelligence) )
( 1997年 )
|
|
・An Extension of Pointwise Circumscription
( Artifical Intelligence )
( 1996年 )
|
|
・一階理論に対する単一名公理の計算法
( コンピュータソフトエア )
( 1994年 )
|
|
・Conservative Quary Normalization on Parallel Circumscription
( Proc. of the 12th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence) )
( 1994年 )
|
|
・述語サーカムスクリプションにおける質問変換の正規化戦略
( 人工知能学会誌 )
( 1990年 )
|
|
・定理証明的手法による再帰方程式からの回路の自動合成
( 電子情報通信学会論文誌Ｄ-Ⅱ )
( 1989年 )
|
|
・Knowledge Representation and Inference Based on First-Order Modal Logic
( Proc. of International Conference on Fifth Generation Computer systems
)
( 1988年 )
|
|
・時空間様相論理ETSLとその決定手続き
( 電子通信学会論文誌D )
( 1986年 )
|
