Seiki Akama

Intelligent Systems Reference Library 142, Springer, ISBN: 978-3-319-72690-8, 2018

Four-Valued Semantics for Granular Reasoning Towards Frame Problem.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

João Inácio da Silva Filho

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.

[BibT_eX]

[DOI]

Proceedings of the 2018 Innovations in Intelligent Systems and Applications, 2018

2017

The Importance of Paraconsistency and Paracompleteness in Intelligent Systems.

[BibT_eX]

[DOI]

João Inácio da Silva Filho

Proceedings of the Intelligent Decision Technologies 2017 - Proceedings of the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT 2017), 2017

2016

Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control.

[BibT_eX]

[DOI]

Proceedings of the New Approaches in Intelligent Control, 2016

Programming with Annotated Logics.

[BibT_eX]

[DOI]

Proceedings of the Towards Paraconsistent Engineering, 2016

Paraconsistency, Chellas's Conditional Logics, and Association Rules.

[BibT_eX]

[DOI]

Proceedings of the Towards Paraconsistent Engineering, 2016

A Review on Rough Sets and Possible World Semantics for Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Towards Paraconsistent Engineering, 2016

Why Paraconsistent Logics?

[BibT_eX]

[DOI]

Newton C. A. da Costa

Proceedings of the Towards Paraconsistent Engineering, 2016

Annotated Logics and Intelligent Control.

[BibT_eX]

[DOI]

Proceedings of the New Approaches in Intelligent Control, 2016

Jair Minoro Abe on Paraconsistent Engineering.

[BibT_eX]

[DOI]

Proceedings of the Towards Paraconsistent Engineering, 2016

A Survey of Annotated Logics.

[BibT_eX]

[DOI]

Proceedings of the Towards Paraconsistent Engineering, 2016

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Towards Paraconsistent Engineering, 2016

Partial and paraconsistent approaches to future contingents in tense logic.

[BibT_eX]

[DOI]

Synth., 2016

2015

Paraconsistent Annotated Logic Program EVALPSN and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Intelligent-Based Systems, 2015

Constructive Discursive Logic: Paraconsistency in Constructivism.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Intelligent-Based Systems, 2015

Introduction to Annotated Logics - Foundations for Paracomplete and Paraconsistent Reasoning

[BibT_eX]

[DOI]

Intelligent Systems Reference Library 88, Springer, ISBN: 978-3-319-17912-4, 2015

Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2015

Propositional Algebra P1.

[BibT_eX]

[DOI]

João Inácio da Silva Filho

Proceedings of the Intelligent Decision Technologies, 2015

Evidential Reasoning in Annotated Logics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2014

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

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2014

Empty-stringizing of the false value in crisp and fuzzy granular hierarchical structures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Knowledge and Systems Engineering, 2014

Da Costa logics and vagueness.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Granular Computing, 2014

2013

Epistemic Logic Founded on Nonignorance.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2013

Heyting-Brouwer Rough Set Logic.

[BibT_eX]

[DOI]

Proceedings of the Knowledge and Systems Engineering, 2013

Bi-superintuitionistic logics for rough sets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Reason. based Intell. Syst., 2012

Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Non-ignorance and knowledge.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Knowl. Based Intell. Eng. Syst., 2011

Discursive reasoning in a constructive setting.

[BibT_eX]

[DOI]

Int. J. Reason. based Intell. Syst., 2011

A Three-Valued Approach to the Master Argument.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

Applications of Paraconsistent Artificial Neural Networks in EEG.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

A granular-sequence-based approach to multisets and rough sets with applications.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

Paraconsistecy in future contradictions.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

2010

Introduction to Intelligent Elevator Control Based on EVALPSN.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Constructive Discursive Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Monadic Curry System N1.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Paraconsistent Artificial Neural Networks and EEG Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Reason. based Intell. Syst., 2009

A granularity-based framework of deduction, induction, and abduction.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2009

A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2009

A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2009

2008

Paraconsistent Before-After Relation Reasoning Based on EVALPSN.

[BibT_eX]

[DOI]

Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

Constructive Logic and the Sorites Paradox.

[BibT_eX]

[DOI]

Proceedings of the New Directions in Intelligent Interactive Multimedia, 2008

Two Applications of Paraconsistent Logical Controller.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

Three-Valued Temporal Logic Q t and Future Contingents.

[BibT_eX]

[DOI]

Chikatoshi Yamada

Stud Logica, 2008

Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

2007

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

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

An Intelligent Coordinated Traffic Signal Control Based on EVALPSN.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

A Natural Deduction System for Annotated Predicate Logic.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Monadic Curry Algebras Q tau.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

2005

Paraconsistency and Paracompleteness in Chellas's Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Constructive Logic and Situation Theory.

[BibT_eX]

[DOI]

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Rough Set Semantics for Three-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

An Intelligent Safety Verification Based on a Paraconsistent Logic Program.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

Non-alethic Reasoning in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

On Prior's Three-Valued Modal Logic Q.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2000

Annotated Temporal Logics Delta*tau.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2000

1998

Many-Valued and Annotated Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

1997

Tableaux for Logic Programming with Strong Negation.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

A Proof Method for the Six-Valued Logic for Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

1996

Curry's paradox in contractionless constructive logic.

[BibT_eX]

[DOI]

J. Philos. Log., 1996

1995

A Three-Valued Semantics for Discourse Representations.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

Three-Valued Constructive Logic and Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

1994

Consequence Relations In DRT.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Computational Linguistics, 1994

1992

The Gentzen-Kripke construction of the intermediate logic LQ.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1992

Overview of Non-monotonic Deduction Systems.

[BibT_eX]

Hiroto Ohnishi

Proceedings of the Automated Reasoning, 1992

1991

A Semantic Interface for Logic Grammars and its Application to DRT.

[BibT_eX]

Akira Ishikawa

Proceedings of the Natural Language Understanding and Logic Programming, 1991

Amalgamated Logic Programming and Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990

Subformula semantics for strong negation systems.

[BibT_eX]

[DOI]

J. Philos. Log., 1990

1989

Long-Distance Dependencies in a Logic Grammar: SCP.

[BibT_eX]

[DOI]

Akira Ishikawa

J. Inf. Sci. Eng., 1989

1988

Constructive predicate logic with strong negation and model theory.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1988

On the Proof Method for Constructive Falsity.

[BibT_eX]

[DOI]

Math. Log. Q., 1988

Semantically Constrained Parsing and Logic Programming.

[BibT_eX]

Akira Ishikawa

Proceedings of the Meta-Programming in Logic Programming, 1988

1987

Data Semantics in Logic Programming Framework.

[BibT_eX]

Masahito Kawamori

Proceedings of the Natural Language Understanding and Logic Programming, 1987

1986

Situational Investigation of Presupposition.

[BibT_eX]

[DOI]

Masahito Kawamori

Proceedings of the 11th International Conference on Computational Linguistics, 1986

Methodology and Verifiability in Montague Grammar.

[BibT_eX]

[DOI]