Susumu Yamasaki

发表

General Stable Model Semantics and SLDNF Resolution with Non-Safe Rule for Abduction

Susumu Yamasaki, Naohiko Ishiba, 1997 .

A Calculus Effectively Performing Event Formation with Visualization

Susumu Yamasaki, Mariko Sasakura, S. Yamasaki, 2005, ISHPC.

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics

Susumu Yamasaki, Yoshinori Kurose, 2001, Theor. Comput. Sci..

Multi-modal Mu-calculus Semantics for Knowledge Construction

Susumu Yamasaki, Mariko Sasakura, 2015, KEOD.

A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model

Susumu Yamasaki, Kazunori Iriya, 1999 .

A Construction of Logic-Constrained Functions with Respect to Awareness

Susumu Yamasaki, S. Yamasaki, 2010, MALLOW.

An Abstraction of Fixpoint Semantics for Normal Logic Programs

Susumu Yamasaki, 1996 .

An Application of NaraView to Reasonings for Distributed Logic Programs

Susumu Yamasaki, Mariko Sasakura, 2003, PDPTA.

Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure

Susumu Yamasaki, Mariko Sasakura, 2020, COMPLEXIS.

A Network of Communicating Logic Programs and Its Semantics

Susumu Yamasaki, 1987, IJCAI.

Visualization with hierarchically structured trees for an explanation reasoning system

Susumu Yamasaki, Mariko Sasakura, S. Yamasaki, 2004, Proceedings. Eighth International Conference on Information Visualisation, 2004. IV 2004..

Equational dataflow programs computing logic programs

Susumu Yamasaki, 1988 .

Control Problem of a Class of Pushdown Automata Based on Posets and Its Application to Resolution Deductions

Susumu Yamasaki, 1995, IEICE Trans. Inf. Syst..

板材の斜めせん断加工 : 第1報, 傾斜角の影響

Susumu Yamasaki, Tatsuo Ozaki, 1990 .

Visualization with hierarchically structured trees for an explanation reasoning system

Susumu Yamasaki, Mariko Sasakura, 2004 .

A Denotational Semantics and Dataflow Construction for Logic Programs

Susumu Yamasaki, S. Yamasaki, 1994, Theor. Comput. Sci..

Transformation of Logic Programs to FP Programs Based on Dataflows

Susumu Yamasaki, Kentaro Iida, 1994, J. Symb. Comput..

Dataflow for logic program as substitution manipulator

Susumu Yamasaki, 1990, ISSAC '90.

The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic

Shuji Doshita, Susumu Yamasaki, 1983, Inf. Control..

Reference Data Abstraction and Causal Relation based on Algebraic Expressions

Susumu Yamasaki, Mariko Sasakura, S. Yamasaki, 2020, DATA.

An Interactive Environment for Generating Sequential Information

Susumu Yamasaki, Mariko Sasakura, Kenichi Iwata, 2006, Tenth International Conference on Information Visualisation (IV'06).

A Graph Manipulation System Abstracted from e-Learning

Susumu Yamasaki, Mariko Sasakura, 2011, KEOD.

A Design of Diagnosis System for Mental Disorder

Susumu Yamasaki, Mariko Sasakura, Kenichi Iwata, 2009, KEOD.

Semantics of Logic Programs over Sequence Domains

Susumu Yamasaki, 1988, FGCS.

Negation as Failure through a Network

Susumu Yamasaki, Kazunori Iriya, S. Yamasaki, 2004, IEICE Trans. Inf. Syst..

Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles

Susumu Yamasaki, Yoshinori Kurose, 1998, Theor. Comput. Sci..

Logic programming with default, weak and strict negations pdf

Susumu Yamasaki, 2006, Theory Pract. Log. Program..

Dataflow Computing Mechanism For Logic Program and Extraction of Functional from It

Susumu Yamasaki, 1991, Software Science and Engineering.

Dataflow Programs for Parallel Computations of Logic Programs and their Semantics

Susumu Yamasaki, 1989, PARLE.

SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs

Susumu Yamasaki, 1996, Theor. Comput. Sci..

Computation Mechanism and Semantics for Logic Programs Based on Dataflow Networks

Susumu Yamasaki, 1988 .

A Graph Manipulation Visual Interface for Construction of e-Learning Systems

Susumu Yamasaki, Mariko Sasakura, 2008, 2008 12th International Conference Information Visualisation.

Interaction with Computers Using Mobile Devices

Shinsuke Fujioka, Susumu Yamasaki, Mariko Sasakura, 2010, 2010 14th International Conference Information Visualisation.

Theoretical Basis of Language System with State Constraints

Susumu Yamasaki, 2020, COMPLEXIS.

A Fixpoint Semantics of Horn Sentences Based on Substitution Sets

Susumu Yamasaki, Mikio Yoshida, Shuji Doshita, 1987, Theor. Comput. Sci..

A New Combination of Input and Unit Deductions for Horn Sentences

Shuji Doshita, Susumu Yamasaki, Mikio Yoshida, 1984, Inf. Process. Lett..

Resolution Deduction to Detect Satisfiability For Another Class Including Non-Horn Sentences In Propositional Logic

Shuji Doshita, Susumu Yamasaki, 1986, Inf. Process. Lett..

Shearing of Inclined Sheet Metals : Effect of Inclination Angle

Tatsuo Ozaki, Susumu Yamasaki, 1991 .

Extraction of Functional from Logic Program

Susumu Yamasaki, 1991, PLILP.

An automated reasoning for diagnostic knowledge in a distributed environment

Susumu Yamasaki, Mariko Sasakura, 2003, ISICT.

Sequential Knowledge Structure in Distributed System with Awareness

Susumu Yamasaki, 2011, KEOD.

A Framework for Adaptive e-Learning Systems in Higher Education with Information Visualization

Susumu Yamasaki, Mariko Sasakura, 2007, 2007 11th International Conference Information Visualization (IV '07).

Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic

Shuji Doshita, Susumu Yamasaki, 1984, Inf. Control..

A Fixed Point Representation of References

Susumu Yamasaki, S. Yamasaki, 2009, FTP.

A three-dimensional visualization of communications in distributed program environments

Susumu Yamasaki, Mariko Sasakura, 2003, Proceedings on Seventh International Conference on Information Visualization, 2003. IV 2003..

Sequence Domains and Fixpoint Semantics for Logic Programs

Susumu Yamasaki, 1996 .

Visualization for management of electronics product composition

Susumu Yamasaki, Mariko Sasakura, Kenichi Iwata, 2005, Ninth International Conference on Information Visualisation (IV'05).

Semantics and Algebra for Action Logic Monitoring State Transitions

Susumu Yamasaki, 2017, COMPLEXIS.

Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication

Susumu Yamasaki, Mariko Sasakura, 2021, COMPLEXIS.