Department of Philosophy

Fingerprint Dive into the research topics where Department of Philosophy is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Linear Logic Mathematics
Semantics Engineering & Materials Science
Cut-elimination Mathematics
Abstract data types Engineering & Materials Science
Completeness Mathematics
Logic Mathematics
Abstract Data Types Mathematics
Network protocols Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1996 2019

  • 35 Article
  • 14 Conference contribution
  • 2 Chapter
  • 1 Conference article

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

On quasi ordinal diagram systems

Okada, M. & Takahashi, Y., 2019 Jan 1, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 288, p. 38-49 12 p.

Research output: Contribution to journalConference article

Open Access
Pattern matching

Verification methods for the computationally complete symbolic attacker based on indistinguishability

Bana, G., Chadha, R., Eeralla, A. K. & Okada, M., 2019 Oct, In : ACM Transactions on Computational Logic. 21, 1, 2.

Research output: Contribution to journalArticle

Diffie-Hellman
Network protocols
Key Exchange
Axioms
Acoustic waves