Susumu YAMASAKI


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

Semantics of Normal Goals as Acquisitors Caused by Negation as Failure
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/06/01
Vol. E86-D  No. 6  pp. 993-1000
Type of Manuscript:  PAPER
Category: Theory and Models of Software
Keyword: 
logic programmingmodel theorynegation as failure
 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

Sequence Domains and Fixpoint Semantics for Logic Programs
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/06/25
Vol. E79-D  No. 6  pp. 840-854
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
logic programfixpoint theorynarrowingsemanticsdomain theory
 Summary | Full Text:PDF

An Abstraction of Fixpoint Semantics for Normal Logic Programs
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/03/25
Vol. E79-D  No. 3  pp. 196-208
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
logic programsubstitution manipulationsfixpoint theoryabstract interpretation
 Summary | Full Text:PDF

Control Problem of a Class of Pushdown Automata Based on Posets and Its Application to Resolution Deductions
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/11/25
Vol. E78-D  No. 11  pp. 1488-1497
Type of Manuscript:  PAPER
Category: Automata, Languages and Theory of Computing
Keyword: 
infinite-state pushdown automatastack structurepartially ordered setresolution deduction
 Summary | Full Text:PDF

A Network of Communicating Logic Programs as an Extension of Kahn's Model
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1991/04/25
Vol. E74-D  No. 4  pp. 965-974
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
 Summary | Full Text:PDF

Equational Dataflow Programs Computing Logic Programs
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1988/11/25
Vol. E71-E  No. 11  pp. 1134-1139
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
 Summary | Full Text:PDF

The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic
Susumu YAMASAKI Shuji DOSHITA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1982/07/25
Vol. E65-E  No. 7  pp. 390-396
Type of Manuscript:  PAPER
Category: Miscellaneous
Keyword: 
 Summary | Full Text:PDF