Seiki Akama

According to our database1, Seiki Akama authored at least 84 papers between 1986 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Topics in Rough Set Theory - Current Applications to Granular Computing
Intelligent Systems Reference Library 168, Springer, ISBN: 978-3-030-29565-3, 2020

2018
Reasoning with Rough Sets - Logical Approaches to Granularity-Based Framework
Intelligent Systems Reference Library 142, Springer, ISBN: 978-3-319-72690-8, 2018

Four-Valued Semantics for Granular Reasoning Towards Frame Problem.
Proceedings of the 2018 Joint 10th International Conference on Soft Computing and Intelligent Systems (SCIS) and 19th International Symposium on Advanced Intelligent Systems (ISIS), 2018

Four-valued Tableau Calculi for Decision Logic of Rough Set.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Handling Paraconsistency and Paracompleteness in Robotics.
Proceedings of the 2018 Innovations in Intelligent Systems and Applications, 2018

2016
Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control.
Proceedings of the New Approaches in Intelligent Control, 2016

Programming with Annotated Logics.
Proceedings of the Towards Paraconsistent Engineering, 2016

Paraconsistency, Chellas's Conditional Logics, and Association Rules.
Proceedings of the Towards Paraconsistent Engineering, 2016

A Review on Rough Sets and Possible World Semantics for Modal Logics.
Proceedings of the Towards Paraconsistent Engineering, 2016

Why Paraconsistent Logics?
Proceedings of the Towards Paraconsistent Engineering, 2016

Annotated Logics and Intelligent Control.
Proceedings of the New Approaches in Intelligent Control, 2016

Jair Minoro Abe on Paraconsistent Engineering.
Proceedings of the Towards Paraconsistent Engineering, 2016

A Survey of Annotated Logics.
Proceedings of the Towards Paraconsistent Engineering, 2016

Introduction.
Proceedings of the Towards Paraconsistent Engineering, 2016

Partial and paraconsistent approaches to future contingents in tense logic.
Synthese, 2016

2015
Paraconsistent Annotated Logic Program EVALPSN and Its Applications.
Proceedings of the Paraconsistent Intelligent-Based Systems, 2015

Constructive Discursive Logic: Paraconsistency in Constructivism.
Proceedings of the Paraconsistent Intelligent-Based Systems, 2015

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning
Intelligent Systems Reference Library 88, Springer, ISBN: 978-3-319-17912-4, 2015

Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids.
JACIII, 2015

Evidential Reasoning in Annotated Logics.
Proceedings of the IIAI 4th International Congress on Advanced Applied Informatics, 2015

2014
Variable Neighborhood Model for Agent Control Introducing Accessibility Relations Between Agents with Linear Temporal Logic.
JACIII, 2014

Crisp and Fuzzy Granular Hierarchical Structures Generated from a Free Monoid.
JACIII, 2014

Empty-stringizing of the false value in crisp and fuzzy granular hierarchical structures.
Proceedings of the 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), 2014

Contingent Information: A Four-Valued Approach.
Proceedings of the Knowledge and Systems Engineering, 2014

Da Costa logics and vagueness.
Proceedings of the 2014 IEEE International Conference on Granular Computing, 2014

2013
Epistemic Logic Founded on Nonignorance.
Int. J. Intell. Syst., 2013

Heyting-Brouwer Rough Set Logic.
Proceedings of the Knowledge and Systems Engineering, 2013

Bi-superintuitionistic logics for rough sets.
Proceedings of the 2013 IEEE International Conference on Granular Computing, 2013

2012
Granular hierarchical structures of finite naïve subsets and multisets based on free monoids and homomorphisms.
IJRIS, 2012

Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces.
Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Non-ignorance and knowledge.
Proceedings of the 2012 IEEE International Conference on Granular Computing, 2012

2011
A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN.
KES Journal, 2011

Discursive reasoning in a constructive setting.
IJRIS, 2011

A Three-Valued Approach to the Master Argument.
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

Applications of Paraconsistent Artificial Neural Networks in EEG.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

A granular-sequence-based approach to multisets and rough sets with applications.
Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

Paraconsistecy in future contradictions.
Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

2010
Introduction to Intelligent Elevator Control Based on EVALPSN.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Constructive Discursive Reasoning.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Monadic Curry System N1.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Paraconsistent Artificial Neural Networks and EEG Analysis.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Granularity and Approximation in Sequences, Multisets, and Sets in the Framework of Kripke Semantics.
Proceedings of the Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, 2010

Uncertainty in Future: A Paraconsistent Approach.
Proceedings of the Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, 2010

2009
Negative facts and constructible falsity.
IJRIS, 2009

A granularity-based framework of deduction, induction, and abduction.
Int. J. Approx. Reasoning, 2009

A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.
Proceedings of the Rough Sets, 2009

A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

2008
Paraconsistent Before-After Relation Reasoning Based on EVALPSN.
Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

Constructive Logic and the Sorites Paradox.
Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

Two Applications of Paraconsistent Logical Controller.
Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics.
Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

Three-Valued Temporal Logic Q t and Future Contingents.
Studia Logica, 2008

Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

2007
Prior's Three-Valued Modal Logic Q and its Possible Applications.
JACIII, 2007

An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

A Natural Deduction System for Annotated Predicate Logic.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Monadic Curry Algebras Q tau.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

2005
Paraconsistency and Paracompleteness in Chellas's Conditional Logics.
Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Constructive Logic and Situation Theory.
Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Rough Set Semantics for Three-Valued Logics.
Proceedings of the Advances in Logic Based Intelligent Systems, 2005

An Intelligent Safety Verification Based on a Paraconsistent Logic Program.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

Non-alethic Reasoning in Distributed Systems.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

On Prior's Three-Valued Modal Logic Q.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2000
Annotated Temporal Logics Delta*tau.
Proceedings of the Advances in Artificial Intelligence, 2000

1998
Many-Valued and Annotated Modal Logics.
Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

1997
Tableaux for Logic Programming with Strong Negation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

A Proof Method for the Six-Valued Logic for Incomplete Information.
Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

1996
Curry's paradox in contractionless constructive logic.
J. Philosophical Logic, 1996

1995
A Three-Valued Semantics for Discourse Representations.
Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

Three-Valued Constructive Logic and Logic Programs.
Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

1994
Consequence Relations In DRT.
Proceedings of the 15th International Conference on Computational Linguistics, 1994

1992
The Gentzen-Kripke construction of the intermediate logic LQ.
Notre Dame Journal of Formal Logic, 1992

Overview of Non-monotonic Deduction Systems.
Proceedings of the Automated Reasoning, 1992

1991
A Semantic Interface for Logic Grammars and its Application to DRT.
Proceedings of the Natural Language Understanding and Logic Programming, 1991

Amalgamated Logic Programming and Non-Monotonic Reasoning.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990
Subformula semantics for strong negation systems.
J. Philosophical Logic, 1990

1989
Long-Distance Dependencies in a Logic Grammar: SCP.
J. Inf. Sci. Eng., 1989

1988
Constructive predicate logic with strong negation and model theory.
Notre Dame Journal of Formal Logic, 1988

On the Proof Method for Constructive Falsity.
Math. Log. Q., 1988

Semantically Constrained Parsing and Logic Programming.
Proceedings of the Meta-Programming in Logic Programming, 1988

1987
Data Semantics in Logic Programming Framework.
Proceedings of the Natural Language Understanding and Logic Programming, 1987

1986
Situational Investigation of Presupposition.
Proceedings of the 11th International Conference on Computational Linguistics, 1986

Methodology and Verifiability in Montague Grammar.
Proceedings of the 11th International Conference on Computational Linguistics, 1986


  Loading...