Susumu Yamasaki

Proceedings of the 8th International Conference on Complexity, 2023

2022

Consultation to Effectiveness and Logical Meaning.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Complexity, 2022

2021

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

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Complexity, 2021

2020

Algebraic Expressions with State Constraints for Causal Relations and Data Semantics.

[BibT_eX]

[DOI]

Proceedings of the Data Management Technologies and Applications, 2020

Reference Data Abstraction and Causal Relation based on Algebraic Expressions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Data Science, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Complexity, 2020

Theoretical Basis of Language System with State Constraints.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Complexity, 2020

2017

Semantics and Algebra for Action Logic Monitoring State Transitions.

[BibT_eX]

[DOI]

Proceedings of the COMPLEXIS 2016, 2017

2015

Multi-modal Mu-calculus Semantics for Knowledge Construction.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2015, 2015

2011

A Graph Manipulation System Abstracted from e-Learning.

[BibT_eX]

Proceedings of the KEOD 2011, 2011

Sequential Knowledge Structure in Distributed System with Awareness.

[BibT_eX]

Proceedings of the KEOD 2011, 2011

2010

A Construction of Logic-Constrained Functions with Respect to Awareness.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Interaction with Computers Using Mobile Devices.

[BibT_eX]

[DOI]

Shinsuke Fujioka

Proceedings of the 14th International Conference on Information Visualisation, 2010

2009

A Design of Diagnosis System for Mental Disorder.

[BibT_eX]

Kenichi Iwata

Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

A Fixed Point Representation of References.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008

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

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Visualisation, 2008

2007

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

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Information Visualisation, 2007

2006

Logic programming with default, weak and strict negations.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2006

An Interactive Environment for Generating Sequential Information.

[BibT_eX]

[DOI]

Kenichi Iwata

Proceedings of the 10th International Conference on Information Visualisation, 2006

2005

Visualization for Management of Electronics Product Composition.

[BibT_eX]

[DOI]

Kenichi Iwata

Proceedings of the 9th International Conference on Information Visualisation, 2005

A Calculus Effectively Performing Event Formation with Visualization.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing - 6th International Symposium, 2005

2004

Negation as Failure through a Network.

[BibT_eX]

[DOI]

Kazunori Iriya

IEICE Trans. Inf. Syst., 2004

Visualization with Hierarchically Structured Trees for an Explanation Reasoning System.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Visualisation, 2004

2003

An Application of NaraView to Reasonings for Distributed Logic Programs.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

A Three-Dimensional Visualization of Communications in Distributed Program Environments.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Information Visualization, 2003

An automated reasoning for diagnostic knowledge in a distributed environment.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yoshinori Kurose

Theor. Comput. Sci., 2001

1998

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

[BibT_eX]

[DOI]

Yoshinori Kurose

Theor. Comput. Sci., 1998

1996

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

1995

Control Problem of a Class of Pushdown Automata Based on <i>Posets</i> and Its Application to Resolution Deductions.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

1994

A Denotational Semantics and Dataflow Construction for Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

Transformation of Logic Programs to FP Programs Based on Dataflows.

[BibT_eX]

[DOI]

Kentaro Iida

J. Symb. Comput., 1994

1991

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

[BibT_eX]

[DOI]

Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

Extraction of Functional from Logic Program.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1990

Recursion Equation Sets Computing Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Dataflow for Logic Program as Substitution Manipulator.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1989

Dataflow Programs for Parallel Computations of Logic Programs and their Semantics.

[BibT_eX]

[DOI]

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

Semantics of Logic Programs over Sequence Domains.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

A Fixpoint Semantics of Horn Sentences Based on Substitution Sets.

[BibT_eX]

[DOI]

Mikio Yoshida

Theor. Comput. Sci., 1987

A Network of Communicating Logic Programs and Its Semantics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1986

1984

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

[BibT_eX]

[DOI]

Inf. Control., May, 1984

A New Combination of Input and Unit Deductions for Horn Sentences.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1984

1983

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

[BibT_eX]

[DOI]