Department of Philosophy

Filter
Conference contribution

Search results

  • 1988

    Canonical conditional rewrite systems

    Dershowitz, N., Okada, M. & Sivakumar, G., 1988, 9th International Conference on Automated Deduction, Proceedings. Lusk, E. & Overbeek, R. (eds.). Springer Verlag, p. 538-549 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 310 LNCS).

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

    46 Citations (Scopus)
  • 1989

    Strong normalizability for the combined system of the typed lambda calculus and an arbitrary convergent term rewrite system

    Okada, M., 1989 Jul 17, Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC 1989. Gonnet, G. H. (ed.). Association for Computing Machinery, p. 357-363 7 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; vol. Part F130182).

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

    35 Citations (Scopus)
  • 1993

    System description of LAMBDALG - A higher order algebraic specification language

    Gui, Y. & Okada, M., 1993, Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. Voronkov, A. (ed.). Springer Verlag, p. 354-356 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 698 LNAI).

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

  • 2007

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

    Okada, M. & Takemura, R., 2007 Dec 1, Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Comon-Lundh, H., Kirchner, C. & Kirchner, H. (eds.). 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

    1 Citation (Scopus)
  • 2008

    A presuppositional analysis of definite descriptions in proof theory

    Mineshima, K., 2008 Aug 27, New Frontiers in Artificial Intelligence - JSAI 2007 Conference and Workshops, Revised Selected Papers. p. 214-227 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4914 LNAI).

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

    4 Citations (Scopus)
  • Diagrammatic reasoning system with euler circles: Theory and experiment design

    Mineshima, K., Okada, M., Sato, Y. & Takemura, R., 2008, Diagrammatic Representation and Inference - 5th International Conference, Diagrams 2008, Proceedings. 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

    17 Citations (Scopus)
  • 2010

    The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings

    Sato, Y., Mineshima, K. & Takemura, R., 2010, Diagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings. p. 6-22 17 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

    23 Citations (Scopus)
  • Two types of diagrammatic inference systems: Natural deduction style and resolution style

    Mineshima, K., Okada, M. & Takemura, R., 2010, Diagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings. 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

    10 Citations (Scopus)
  • 2013

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

    Okada, M., 2013, 24th International Conference on Rewriting Techniques and Applications, RTA 2013. van Raamsdonk, F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 4-19 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 21).

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

    3 Citations (Scopus)
  • 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. Talbot, J-M. & Regnier, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 62).

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

    1 Citation (Scopus)
  • 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. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference 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

  • 2020

    Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis

    Sato, Y. & Mineshima, K., 2020, Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Proceedings. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Springer, p. 485-489 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12169 LNAI).

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

  • 2021

    Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference

    Yanaka, H. & Mineshima, K., 2021, BlackboxNLP 2021 - Proceedings of the 4th BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP. Association for Computational Linguistics (ACL), p. 337-349 13 p. (BlackboxNLP 2021 - Proceedings of the 4th BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP).

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

  • Can Humans and Machines Classify Photographs as Depicting Negation?

    Sato, Y. & Mineshima, K., 2021, Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E. & Viana, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 348-352 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12909 LNAI).

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

  • Exploring transitivity in neural NLI models through veridicality

    Yanaka, H., Mineshima, K. & Inui, K., 2021, EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 920-934 15 p. (EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference).

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

    4 Citations (Scopus)
  • SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics

    Yanaka, H., Mineshima, K. & Inui, K., 2021, Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021. Zong, C., Xia, F., Li, W. & Navigli, R. (eds.). Association for Computational Linguistics (ACL), p. 103-119 17 p. (Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021).

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