The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susumu Yamasaki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Susumu Yamasaki
    Semantics of Logic Programs over Sequence Domains. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:382-388 [Conf]
  2. Susumu Yamasaki
    A Network of Communicating Logic Programs and Its Semantics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1987, pp:24-29 [Conf]
  3. Susumu Yamasaki
    Dataflow for Logic Program as Substitution Manipulator. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:44-51 [Conf]
  4. Kenichi Iwata, Mariko Sasakura, Susumu Yamasaki
    Visualization for Management of Electronics Product Composition. [Citation Graph (0, 0)][DBLP]
    IV, 2005, pp:194-199 [Conf]
  5. Mariko Sasakura, Susumu Yamasaki
    A Three-Dimensional Visualization of Communications in Distributed Program Environments. [Citation Graph (0, 0)][DBLP]
    IV, 2003, pp:132-137 [Conf]
  6. Mariko Sasakura, Susumu Yamasaki
    Visualization with Hierarchically Structured Trees for an Explanation Reasoning System. [Citation Graph (0, 0)][DBLP]
    IV, 2004, pp:893-898 [Conf]
  7. Mariko Sasakura, Kenichi Iwata, Susumu Yamasaki
    An Interactive Environment for Generating Sequential Information. [Citation Graph (0, 0)][DBLP]
    IV, 2006, pp:441-416 [Conf]
  8. Susumu Yamasaki
    Dataflow Programs for Parallel Computations of Logic Progams and their Semantics. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1989, pp:104-114 [Conf]
  9. Mariko Sasakura, Susumu Yamasaki
    An Application of NaraView to Reasonings for Distributed Logic Programs. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2003, pp:1099-1105 [Conf]
  10. Susumu Yamasaki
    Extraction of Functional from Logic Program. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:27-38 [Conf]
  11. Susumu Yamasaki, Shuji Doshita
    The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:59, n:1-3, pp:1-12 [Journal]
  12. Susumu Yamasaki, Shuji Doshita
    Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:61, n:2, pp:174- [Journal]
  13. Susumu Yamasaki, Shuji Doshita
    Resolution Deduction to Detect Satisfiability For Another Class Including Non-Horn Sentences In Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:4, pp:201-207 [Journal]
  14. Susumu Yamasaki, Mikio Yoshida, Shuji Doshita, Mikito Hirata
    A New Combination of Input and Unit Deductions for Horn Sentences. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1984, v:18, n:4, pp:209-213 [Journal]
  15. Susumu Yamasaki, Kentaro Iida
    Transformation of Logic Programs to FP Programs Based on Dataflows. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:2, pp:157-182 [Journal]
  16. Susumu Yamasaki
    A Denotational Semantics and Dataflow Construction for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:124, n:1, pp:71-91 [Journal]
  17. Susumu Yamasaki
    SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:160, n:1&2, pp:283-303 [Journal]
  18. Susumu Yamasaki, Yoshinori Kurose
    A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:489-512 [Journal]
  19. Susumu Yamasaki, Yoshinori Kurose
    Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:206, n:1-2, pp:257-281 [Journal]
  20. Susumu Yamasaki, Mikio Yoshida, Shuji Doshita
    A Fixpoint Semantics of Horn Sentences Based on Substitution Sets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:51, n:, pp:309-324 [Journal]
  21. Susumu Yamasaki
    Logic programming with default, weak and strict negations. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:737-749 [Journal]
  22. Mariko Sasakura, Susumu Yamasaki
    A Framework for Adaptive e-Learning Systems in Higher Education with Information Visualization. [Citation Graph (0, 0)][DBLP]
    IV, 2007, pp:819-824 [Conf]
  23. Susumu Yamasaki, Mariko Sasakura
    An automated reasoning for diagnostic knowledge in a distributed environment. [Citation Graph (0, 0)][DBLP]
    ISICT, 2003, pp:530-535 [Conf]

  24. A Graph Manipulation Visual Interface for Construction of e-Learning Systems. [Citation Graph (, )][DBLP]


  25. Interaction with Computers Using Mobile Devices. [Citation Graph (, )][DBLP]


  26. A Design of Diagnosis System for Mental Disorder. [Citation Graph (, )][DBLP]


  27. Logic Programming with Default, Weak and Strict Negations [Citation Graph (, )][DBLP]


Search in 2.711secs, Finished in 2.713secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002