Author of the publication

Annotated Temporal Logics Delta*tau.

, and . IBERAMIA-SBIA, volume 1952 of Lecture Notes in Computer Science, page 217-226. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Akama, Seiki
add a person with the name Akama, Seiki
 

Other publications of authors with the same name

Uncertainty in Future: A Paraconsistent Approach., , and . IUM, volume 68 of Advances in Intelligent and Soft Computing, page 335-342. Springer, (2010)Annotated Temporal Logics Delta*tau., and . IBERAMIA-SBIA, volume 1952 of Lecture Notes in Computer Science, page 217-226. Springer, (2000)Fuzzy Multisets in Granular Hierarchical Structures Generated from Free Monoids., , , , and . MDAI, volume 8234 of Lecture Notes in Computer Science, page 248-259. Springer, (2013)Monadic Curry Algebras Q tau., , and . KES (2), volume 4693 of Lecture Notes in Computer Science, page 893-900. Springer, (2007)Contingent Information: A Four-Valued Approach., , and . KSE, volume 326 of Advances in Intelligent Systems and Computing, page 209-217. Springer, (2014)Four-valued Tableau Calculi for Decision Logic of Rough Set., , and . KES, volume 126 of Procedia Computer Science, page 383-392. Elsevier, (2018)Situational Investigation of Presupposition., and . COLING, page 174-176. Institut für angewandte Kommunikations- und Sprachforschung e.V. (IKS), Poppelsdorfer Allee 47, Bonn, Germany, (1986)Methodology and Verifiability in Montague Grammar.. COLING, page 88-90. Institut für angewandte Kommunikations- und Sprachforschung e.V. (IKS), Poppelsdorfer Allee 47, Bonn, Germany, (1986)Rough Set Semantics for Three-Valued Logics., and . LAPTEC, volume 132 of Frontiers in Artificial Intelligence and Applications, page 242-247. IOS Press, (2005)An Intelligent Safety Verification Based on a Paraconsistent Logic Program., , and . KES (2), volume 3682 of Lecture Notes in Computer Science, page 708-715. Springer, (2005)