Department of Philosophy

Research Output 1996 2019

  • 34 Article
  • 14 Conference contribution
  • 2 Chapter
  • 1 Conference article
Filter
Conference contribution
2019

Can morality be ascribed to robot?

Nagataki, S., Ohira, H., Kashiwabata, T., Konno, T., Hashimoto, T., Miura, T., Shibata, M. & Kubota, SI., 2019 Jun 25, Proceedings of the 22nd International Conference on Human-Computer Interaction, INTERACCION 2019. Association for Computing Machinery, 44. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Human robot interaction
Robots
Experiments
2018

On the robot as a moral agent

Nagataki, S., Shibata, M., Hashimoto, T., Kashiwabata, T., Konno, T., Ohira, H., Miura, T. & Kubota, S., 2018 Sep 12, Proceedings of the 19th International Conference on Human-Computer Interaction, Interaccion 2018. Association for Computing Machinery, 24

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robots
Experiments
2016

Semantics for "enough-certainty" and fitting's embedding of classical logic in S4

Bana, G. & Okada, M., 2016 Aug 1, Computer Science Logic 2016, CSL 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 62.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Security of data
Network protocols
2013
3 Citations (Scopus)

Computationally complete symbolic attacker and key exchange

Bana, G., Hasebe, K. & Okada, M., 2013, Proceedings of the ACM Conference on Computer and Communications Security. p. 1231-1246 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cryptography
Network protocols
1 Citation (Scopus)

Husserl and hilbert on completeness and husserl's term rewrite-based theory of multiplicity

Okada, M., 2013, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 21. p. 4-19 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tissue

Shape perception in chemistry

Hastings, J., Batchelor, C. & Okada, M., 2013, CEUR Workshop Proceedings. CEUR-WS, Vol. 1007. p. 83-94 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Molecules
Functional groups
Screening
2012
3 Citations (Scopus)

On the cognitive efficacy of euler diagrams in syllogistic reasoning: A relational perspective

Mineshima, K., Sato, Y., Takemura, R. & Okada, M., 2012, CEUR Workshop Proceedings. CEUR-WS, Vol. 854. p. 17-31 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Students
2010
7 Citations (Scopus)

Two types of diagrammatic inference systems: Natural deduction style and resolution style

Mineshima, K., Okada, M. & Takemura, R., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6170 LNAI. p. 99-114 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6170 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Natural Deduction
Diagram
Topological Relations
Correspondence
Style
2009
4 Citations (Scopus)

Computational semantics for first-order logical analysis of cryptographic protocols

Bana, G., Hasebe, K. & Okada, M., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5458 LNCS. p. 33-56 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5458 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cryptographic Protocols
Semantics
Formal Model
First-order
Network protocols
6 Citations (Scopus)

Conservativity for a hierarchy of Euler and Venn reasoning systems

Mineshima, K., Okada, M. & Takemura, R., 2009, CEUR Workshop Proceedings. Vol. 510. p. 37-61 25 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
2008
16 Citations (Scopus)

Diagrammatic reasoning system with euler circles: Theory and experiment design

Mineshima, K., Okada, M., Sato, Y. & Takemura, R., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5223 LNAI. p. 188-205 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5223 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Design of experiments
Euler
Circle
Reasoning
Experiment
2007
1 Citation (Scopus)

Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-calculus

Okada, M. & Takemura, R., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4600 LNCS. p. 167-181 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4600 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Calculi
Semantics
Completeness
Calculus
Demonstrations
2006
2 Citations (Scopus)

Drug Interaction Ontology (DIO) and the resource-sensitive logical inferences

Okada, M., Sugimoto, Y., Yoshikawa, S. & Konagaya, A., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4060 LNCS. p. 616-642 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4060 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Drug interactions
Drug Interactions
Ontology
Drugs
Resources
1999
31 Citations (Scopus)

The calculus of algebraic constructions

Blanqui, F., Jouannaud, J. P. & Okada, M., 1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1631. p. 301-316 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1631).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Calculus
Abstract data types
Higher Order
Abstract Data Types
Generalise