Susumu Yamasaki

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