Kazunori IRIYA


Negation as Failure through a Network
Kazunori IRIYA Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/05/01
Vol. E87-D  No. 5  pp. 1200-1207
Type of Manuscript:  PAPER
Category: Computation and Computational Models
Keyword: 
SLDNF resolutiondistributed computing
 Summary | Full Text:PDF

A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model
Susumu YAMASAKI Kazunori IRIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/10/25
Vol. E82-D  No. 10  pp. 1303-1315
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
SLDNF resolution with infinite failurenarrowingwell-founded model
 Summary | Full Text:PDF