Susumu Yamasaki

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 9

Top Topics

Theoretical Basis

Presburger Arithmetic

Top Venues

DATA (Revised Selected Papers)

Publications

Susumu Yamasaki, Mariko Sasakura
Algebraic Structure of Recursively Constructed References and Its Application to Knowledge Base. COMPLEXIS (2024)
Susumu Yamasaki, Mariko Sasakura
Abstraction of Prevention Conceived in Distributed Knowledge Base. COMPLEXIS (2023)
Susumu Yamasaki, Mariko Sasakura
Consultation to Effectiveness and Logical Meaning. COMPLEXIS (2022)
Susumu Yamasaki, Mariko Sasakura
Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication. COMPLEXIS (2021)
Susumu Yamasaki
Theoretical Basis of Language System with State Constraints. COMPLEXIS (2020)
Susumu Yamasaki, Mariko Sasakura
Reference Data Abstraction and Causal Relation based on Algebraic Expressions. DATA (2020)
Susumu Yamasaki, Mariko Sasakura
Algebraic Expressions with State Constraints for Causal Relations and Data Semantics. DATA (Revised Selected Papers) (2020)
Susumu Yamasaki, Mariko Sasakura
Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure. COMPLEXIS (2020)
Susumu Yamasaki
Semantics and Algebra for Action Logic Monitoring State Transitions. COMPLEXIS (2017)
Susumu Yamasaki, Mariko Sasakura
Multi-modal Mu-calculus Semantics for Knowledge Construction. KEOD (2015)
Susumu Yamasaki
Sequential Knowledge Structure in Distributed System with Awareness. KEOD (2011)
Susumu Yamasaki, Mariko Sasakura
A Graph Manipulation System Abstracted from e-Learning. KEOD (2011)
Susumu Yamasaki
A Construction of Logic-Constrained Functions with Respect to Awareness. MALLOW (2010)
Mariko Sasakura, Shinsuke Fujioka, Susumu Yamasaki
Interaction with Computers Using Mobile Devices. IV (2010)
Mariko Sasakura, Kenichi Iwata, Susumu Yamasaki
A Design of Diagnosis System for Mental Disorder. KEOD (2009)
Susumu Yamasaki
A Fixed Point Representation of References. FTP (2009)
Mariko Sasakura, Susumu Yamasaki
A Graph Manipulation Visual Interface for Construction of e-Learning Systems. IV (2008)
Mariko Sasakura, Susumu Yamasaki
A Framework for Adaptive e-Learning Systems in Higher Education with Information Visualization. IV (2007)
Susumu Yamasaki
Logic programming with default, weak and strict negations. Theory Pract. Log. Program. 6 (6) (2006)
Mariko Sasakura, Kenichi Iwata, Susumu Yamasaki
An Interactive Environment for Generating Sequential Information. IV (2006)
Susumu Yamasaki, Mariko Sasakura
A Calculus Effectively Performing Event Formation with Visualization. ISHPC (2005)
Kenichi Iwata, Mariko Sasakura, Susumu Yamasaki
Visualization for Management of Electronics Product Composition. IV (2005)
Susumu Yamasaki
Logic Programming with Default, Weak and Strict Negations CoRR (2005)
Kazunori Iriya, Susumu Yamasaki
Negation as Failure through a Network. IEICE Trans. Inf. Syst. (5) (2004)
Mariko Sasakura, Susumu Yamasaki
Visualization with Hierarchically Structured Trees for an Explanation Reasoning System. IV (2004)
Susumu Yamasaki, Mariko Sasakura
An automated reasoning for diagnostic knowledge in a distributed environment. ISICT (2003)
Mariko Sasakura, Susumu Yamasaki
A Three-Dimensional Visualization of Communications in Distributed Program Environments. IV (2003)
Mariko Sasakura, Susumu Yamasaki
An Application of NaraView to Reasonings for Distributed Logic Programs. PDPTA (2003)
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. Theor. Comput. Sci. 266 (1-2) (2001)
Susumu Yamasaki, Yoshinori Kurose
Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. Theor. Comput. Sci. 206 (1-2) (1998)
Susumu Yamasaki
SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs. Theor. Comput. Sci. 160 (1&2) (1996)
Susumu Yamasaki
and Its Application to Resolution Deductions. IEICE Trans. Inf. Syst. (11) (1995)
Susumu Yamasaki, Kentaro Iida
Transformation of Logic Programs to FP Programs Based on Dataflows. J. Symb. Comput. 18 (2) (1994)
Susumu Yamasaki
A Denotational Semantics and Dataflow Construction for Logic Programs. Theor. Comput. Sci. 124 (1) (1994)
Susumu Yamasaki
Extraction of Functional from Logic Program. PLILP (1991)
Susumu Yamasaki
Dataflow for Logic Program as Substitution Manipulator. ISSAC (1990)
Susumu Yamasaki
Recursion Equation Sets Computing Logic Programs. Theor. Comput. Sci. 76 (2-3) (1990)
Susumu Yamasaki
Dataflow Programs for Parallel Computations of Logic Programs and their Semantics. PARLE (2) (1989)
Susumu Yamasaki
Semantics of Logic Programs over Sequence Domains. FGCS (1988)
Susumu Yamasaki
A Network of Communicating Logic Programs and Its Semantics. IJCAI (1987)
Susumu Yamasaki, Mikio Yoshida, Shuji Doshita
A Fixpoint Semantics of Horn Sentences Based on Substitution Sets. Theor. Comput. Sci. 51 (1987)
Susumu Yamasaki, Shuji Doshita
Resolution Deduction to Detect Satisfiability For Another Class Including Non-Horn Sentences In Propositional Logic. Inf. Process. Lett. 23 (4) (1986)
Susumu Yamasaki, Mikio Yoshida, Shuji Doshita, Mikito Hirata
A New Combination of Input and Unit Deductions for Horn Sentences. Inf. Process. Lett. 18 (4) (1984)
Susumu Yamasaki, Shuji Doshita
Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic Inf. Control. 61 (2) (1984)
Susumu Yamasaki, Shuji Doshita
The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic Inf. Control. 59 (1-3) (1983)