A new design and implementation of progol by bottom-up computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1314, Issue , 1997, Pages 163-174

  Fujita, Hiroshi ^a   Yagi, Naoki ^b,c   Ozaki, Tomonobu ^b   Furukawa, Koichi ^b  

^a KYUSHU UNIVERSITY   (Japan)

^b KEIO UNIVERSITY   (Japan)

^c FUJITSU LABORATORIES LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; HEURISTIC ALGORITHMS;

DESIGN AND IMPLEMENTATIONS; EFFICIENT IMPLEMENTATION; HEURISTIC FUNCTIONS; HYPOTHESIS FORMATION; INFERENCE MACHINE; PARALLEL IMPLEMENTATIONS; SEQUENTIAL IMPLEMENTATION; TOP-DOWN COMPUTATION;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 38149075991     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63494-0_54     Document Type: Conference Paper

References (6)

1. Beeri, C. and Ramakrishnan, R.: On the Power of Magic. 7. Logic Programming, Vol.10, (1991) 255-299
2. Fujita, H. and Hasegawa, R.: A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm. Proc. of the 8th ICLP, (1991) 535-548
3. Manthey, R. and Bry, F.: SATCHMO: A theorem prover implemented in Prolog. Proc. of the 9th CADE, (1988) 415-434
4. Muggleton, S.: Inverse Entailment and Progol. New Generation Computing, Vol.13, (1995) 245-286
5. Ueda, K. and Chikayama, T.: Design of the kernel language for the parallel inference machine. The Computer Journal, 33(6) (1990) 494-500
6. Yagi, N.: On the Construction of parallel ILP Model. Master's thesis, Keio University, (1996)