Jump to main content

yr 〜
yr

Search results 6

Learning Elementary Formal Systems with Queries

Learning Elementary Formal Systems with Queries
Digital文書・図像類
Sakamoto, Hiroshi, Hirata, Kouichi, Arimura, HirokiDepartment of Informatics, Kyushu University2000-10DOI Technical Report179
Available onlineOther Libraries in Japan
  • Author HeadingSakamoto, Hiroshi Hirata, Kouichi Arimura, Hiroki

Theory-Generating Abduction from Finite Good Examples

Theory-Generating Abduction from Finite Good Examples
Digital文書・図像類
平田, 耕一Research Institute of Fundamental Information Science, Kyushu University1995-04-15RIFIS Technical Report109
Available onlineOther Libraries in Japan

Rule-Based Abduction for Logic Programming

Rule-Based Abduction for Logic Programming
Digital文書・図像類
平田, 耕一Research Institute of Fundamental Information Science, Kyushu University1995-03-25RIFIS Technical Report106
Available onlineOther Libraries in Japan

A Classification of Abduction :Abduction for Logic Programming

A Classification of Abduction :Abduction for Logic Programming
Digital文書・図像類
平田, 耕一Research Institute of Fundamental Information Science, Kyushu University1993-10RIFIS Technical Report77
Available onlineOther Libraries in Japan

Rule-Generating Abduction for Recursive Prolog

Rule-Generating Abduction for Recursive Prolog
Digital文書・図像類
平田, 耕一Research Institute of Fundamental Information Science, Kyushu University1994-04RIFIS Technical Report85
Available onlineOther Libraries in Japan

Finding Minimal Models by the Semantic Tableaux System

Finding Minimal Models by the Semantic Tableaux System
Digital文書・図像類
平田, 耕一Research Institute of Fundamental Information Science, Kyushu University1993-05RIFIS Technical Report72
Available onlineOther Libraries in Japan

Reached to the end of result.

RSS