The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic - Susumu Yamasaki; Shuji Doshita (Inf. Control., 1983)

A New Combination of Input and Unit Deductions for Horn Sentences. - Susumu Yamasaki; Mikio Yoshida; Shuji Doshita; Mikito Hirata (Inf. Process. Lett., 1984)

Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic - Susumu Yamasaki; Shuji Doshita (Inf. Control., 1984)

Resolution Deduction to Detect Satisfiability For Another Class Including Non-Horn Sentences In Propositional Logic. - Susumu Yamasaki; Shuji Doshita (Inf. Process. Lett., 1986)

A Network of Communicating Logic Programs and Its Semantics. - Susumu Yamasaki (IJCAI, 1987)

A Fixpoint Semantics of Horn Sentences Based on Substitution Sets. - Susumu Yamasaki; Mikio Yoshida; Shuji Doshita (Theor. Comput. Sci., 1987)

Semantics of Logic Programs over Sequence Domains. - Susumu Yamasaki (FGCS, 1988)

Dataflow Programs for Parallel Computations of Logic Programs and their Semantics. - Susumu Yamasaki (PARLE (2), 1989)

Dataflow for Logic Program as Substitution Manipulator. - Susumu Yamasaki (ISSAC, 1990)

Recursion Equation Sets Computing Logic Programs. - Susumu Yamasaki (Theor. Comput. Sci., 1990)

Extraction of Functional from Logic Program. - Susumu Yamasaki (PLILP, 1991)

Dataflow Computing Mechanism For Logic Program and Extraction of Functional from It. - Susumu Yamasaki (Software Science and Engineering, 1991)

Transformation of Logic Programs to FP Programs Based on Dataflows. - Susumu Yamasaki; Kentaro Iida (J. Symb. Comput., 1994)

A Denotational Semantics and Dataflow Construction for Logic Programs. - Susumu Yamasaki (Theor. Comput. Sci., 1994)

Control Problem of a Class of Pushdown Automata Based on Posets and Its Application to Resolution Deductions. - Susumu Yamasaki (IEICE Trans. Inf. Syst., 1995)

SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs. - Susumu Yamasaki (Theor. Comput. Sci., 1996)

Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. - Susumu Yamasaki; Yoshinori Kurose (Theor. Comput. Sci., 1998)

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 (Theor. Comput. Sci., 2001)

An automated reasoning for diagnostic knowledge in a distributed environment. - Susumu Yamasaki; Mariko Sasakura (ISICT, 2003)

A Three-Dimensional Visualization of Communications in Distributed Program Environments. - Mariko Sasakura; Susumu Yamasaki (IV, 2003)

An Application of NaraView to Reasonings for Distributed Logic Programs. - Mariko Sasakura; Susumu Yamasaki (PDPTA, 2003)

Visualization with Hierarchically Structured Trees for an Explanation Reasoning System. - Mariko Sasakura; Susumu Yamasaki (IV, 2004)

Negation as Failure through a Network. - Kazunori Iriya; Susumu Yamasaki (IEICE Trans. Inf. Syst., 2004)

A Calculus Effectively Performing Event Formation with Visualization. - Susumu Yamasaki; Mariko Sasakura (ISHPC, 2005)

Visualization for Management of Electronics Product Composition. - Kenichi Iwata; Mariko Sasakura; Susumu Yamasaki (IV, 2005)

An Interactive Environment for Generating Sequential Information. - Mariko Sasakura; Kenichi Iwata; Susumu Yamasaki (IV, 2006)

Logic programming with default, weak and strict negations. - Susumu Yamasaki (Theory Pract. Log. Program., 2006)

A Framework for Adaptive e-Learning Systems in Higher Education with Information Visualization. - Mariko Sasakura; Susumu Yamasaki (IV, 2007)

A Graph Manipulation Visual Interface for Construction of e-Learning Systems. - Mariko Sasakura; Susumu Yamasaki (IV, 2008)

A Fixed Point Representation of References. - Susumu Yamasaki (FTP, 2009)

A Design of Diagnosis System for Mental Disorder. - Mariko Sasakura; Kenichi Iwata; Susumu Yamasaki (KEOD, 2009)

Interaction with Computers Using Mobile Devices. - Mariko Sasakura; Shinsuke Fujioka; Susumu Yamasaki (IV, 2010)

A Construction of Logic-Constrained Functions with Respect to Awareness. - Susumu Yamasaki (MALLOW, 2010)

Sequential Knowledge Structure in Distributed System with Awareness. - Susumu Yamasaki (KEOD, 2011)

A Graph Manipulation System Abstracted from e-Learning. - Susumu Yamasaki; Mariko Sasakura (KEOD, 2011)

Multi-modal Mu-calculus Semantics for Knowledge Construction. - Susumu Yamasaki; Mariko Sasakura (KEOD, 2015)

Semantics and Algebra for Action Logic Monitoring State Transitions. - Susumu Yamasaki (COMPLEXIS, 2017)

Theoretical Basis of Language System with State Constraints. - Susumu Yamasaki (COMPLEXIS, 2020)

Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure. - Susumu Yamasaki; Mariko Sasakura (COMPLEXIS, 2020)

Reference Data Abstraction and Causal Relation based on Algebraic Expressions. - Susumu Yamasaki; Mariko Sasakura (DATA, 2020)

Algebraic Expressions with State Constraints for Causal Relations and Data Semantics. - Susumu Yamasaki; Mariko Sasakura (DATA (Revised Selected Papers), 2020)

Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication. - Susumu Yamasaki; Mariko Sasakura (COMPLEXIS, 2021)

Consultation to Effectiveness and Logical Meaning. - Susumu Yamasaki; Mariko Sasakura (COMPLEXIS, 2022)

Abstraction of Prevention Conceived in Distributed Knowledge Base. - Susumu Yamasaki; Mariko Sasakura (COMPLEXIS, 2023)

Algebraic Structure of Recursively Constructed References and Its Application to Knowledge Base. - Susumu Yamasaki; Mariko Sasakura (COMPLEXIS, 2024)

Logical Rule Set to Data Acquisition and Database Semantics. - Susumu Yamasaki; Mariko Sasakura (DATA, 2024)