Susumu Yamasaki
Orcid: 0000-0001-7895-5040
According to our database1,
Susumu Yamasaki
authored at least 46 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
1
1
1
1
2
1
1
1
2
1
2
1
1
1
4
1
1
2
2
2
1
1
1
2
1
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 13th International Conference on Data Science, 2024
Algebraic Structure of Recursively Constructed References and Its Application to Knowledge Base.
Proceedings of the 9th International Conference on Complexity, 2024
2023
Proceedings of the 8th International Conference on Complexity, 2023
2022
Proceedings of the 7th International Conference on Complexity, 2022
2021
Distributed Strategies and Managements based on State Constraint Logic with Predicate for Communication.
Proceedings of the 6th International Conference on Complexity, 2021
2020
Algebraic Expressions with State Constraints for Causal Relations and Data Semantics.
Proceedings of the Data Management Technologies and Applications, 2020
Proceedings of the 9th International Conference on Data Science, 2020
Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure.
Proceedings of the 5th International Conference on Complexity, 2020
Proceedings of the 5th International Conference on Complexity, 2020
2017
Proceedings of the COMPLEXIS 2016, 2017
2015
Proceedings of the KEOD 2015, 2015
2011
A Graph Manipulation System Abstracted from e-Learning.
Proceedings of the KEOD 2011, 2011
Sequential Knowledge Structure in Distributed System with Awareness.
Proceedings of the KEOD 2011, 2011
2010
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Proceedings of the 14th International Conference on Information Visualisation, 2010
2009
A Design of Diagnosis System for Mental Disorder.
Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009
Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009
2008
Proceedings of the 12th International Conference on Information Visualisation, 2008
2007
A Framework for Adaptive e-Learning Systems in Higher Education with Information Visualization.
Proceedings of the 11th International Conference on Information Visualisation, 2007
2006
Theory Pract. Log. Program., 2006
Proceedings of the 10th International Conference on Information Visualisation, 2006
2005
Proceedings of the 9th International Conference on Information Visualisation, 2005
Proceedings of the High-Performance Computing - 6th International Symposium, 2005
2004
Visualization with Hierarchically Structured Trees for an Explanation Reasoning System.
Proceedings of the 8th International Conference on Information Visualisation, 2004
2003
An Application of NaraView to Reasonings for Distributed Logic Programs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
A Three-Dimensional Visualization of Communications in Distributed Program Environments.
Proceedings of the Seventh International Conference on Information Visualization, 2003
Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, 2003
2001
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., 2001
1998
Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles.
Theor. Comput. Sci., 1998
1996
SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs.
Theor. Comput. Sci., 1996
1995
Control Problem of a Class of Pushdown Automata Based on <i>Posets</i> and Its Application to Resolution Deductions.
IEICE Trans. Inf. Syst., 1995
1994
Theor. Comput. Sci., 1994
J. Symb. Comput., 1994
1991
Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991
Proceedings of the Programming Language Implementation and Logic Programming, 1991
1990
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990
1989
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989
1988
Semantics of Logic Programs over Sequence Domains.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
Theor. Comput. Sci., 1987
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987
1986
Resolution Deduction to Detect Satisfiability For Another Class Including Non-Horn Sentences In Propositional Logic.
Inf. Process. Lett., 1986
1984
Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic
Inf. Control., May, 1984
Inf. Process. Lett., 1984
1983
The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic
Inf. Control., 1983