Ahti-Veikko Juhani PIETARINEN

View Scopus Profile

Ahti-Veikko Juhani PIETARINEN, Prof

 https://orcid.org/0000-0003-4855-8110

Accepting PhD Students

PhD projects

Artificial Intelligence and Human Sciences; Generative AI in Education; Logic, Language, Information; Cognitive Science; Philosophy of Science and Technology; History and Philosophy of Science; Pragmatism; American Philosophy; Clinical Reasoning; Human Mind and Its History; Semiotics; Creative, Critical, Design Thinking.

20012024

Research activity per year

Filter
Conference proceeding

Search results

  • 2024

    Peirce’s Extended Euler Diagrams and the System Atl Based on Ladd-Franklin’s Exclusion Relations

    Xu, F. & Pietarinen, A.-V. J., 8 Sept 2024, Diagrammatic Representation and Inference: 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings. Lemanski, J., Johansen, M. W., Manalo, E., Viana, P., Bhattacharjee, R. & Burns, R. (eds.). 1st ed. Springer Cham, p. 316-324 9 p. (Lecture Notes in Computer Science; vol. 14981)(International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

  • 2021

    Jin Yuelin’s Simplification of Venn Diagrams

    Liu, X. & Pietarinen, A. V., 3 Sept 2021, Diagrammatic Representation and Inference: 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E. & Viana, P. (eds.). 1st ed. Springer Cham, p. 260-263 4 p. (Lecture Notes in Computer Science; vol. 12909)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    1 Citation (Scopus)

  • Peirce’s Diagrammatic Solutions to ‘Peirce’s Puzzle’

    Pietarinen, A. V., 3 Sept 2021, Diagrammatic Representation and Inference: 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E. & Viana, P. (eds.). 1st ed. Springer Cham, p. 246-250 5 p. (Lecture Notes in Computer Science; vol. 12909)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

  • Residuation in Existential Graphs

    Haydon, N. & Pietarinen, A. V., 3 Sept 2021, Diagrammatic Representation and Inference: 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E. & Viana, P. (eds.). 1st ed. Springer Cham, p. 229-237 9 p. (Lecture Notes in Computer Science; vol. 12909)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    2 Citations (Scopus)

  • Venn Diagrams with “Most”: A Natural Logic Approach

    Liu, X. & Pietarinen, A. V., 3 Sept 2021, Diagrammatic Representation and Inference: 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E. & Viana, P. (eds.). Springer Cham, p. 264-268 5 p. (Lecture Notes in Computer Science; vol. 12909)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

  • 2020

    Beta Assertive Graphs

    Bellucci, F., Chiffi, D. & Pietarinen, A. V., 29 Jul 2020, Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). 1st ed. Springer Cham, p. 525-529 5 p. (Lecture Notes in Computer Science; vol. 12169)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

  • Interdisciplinary Aspects of Cognition

    Cerone, A., Fazli, S., Malone, K. L. & Pietarinen, A. V., 10 Sept 2020, Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. Camara, J. & Steffen, M. (eds.). 1st ed. Springer Cham, p. 103-118 16 p. (Lecture Notes in Computer Science; vol. 12226)(Programming and Software Engineering)(SEFM: International Conference on Software Engineering and Formal Methods).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

  • Preface

    Pietarinen, A. V., Chapman, P., de Smet, L. B., Giardino, V. & Corter, J., 29 Jul 2020, Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Pietarinen, A.-V., Chapman, P., Smet, L.B.-D., Giardino, V., Corter, J. & Linker, S. (eds.). 1st ed. Springer Cham, p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 12169)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding

  • The Blot

    Pietarinen, A. V., Bellucci, F., Bobrova, A., Haydon, N. & Shafiei, M., 29 Jul 2020, Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). 1st ed. Springer Cham, p. 225-238 14 p. (Lecture Notes in Computer Science; vol. 12169)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    4 Citations (Scopus)

  • Two Cognitive Systems, Two Implications, and Selection Tasks

    Bobrova, A. & Pietarinen, A. V., 9 Sept 2020, Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers. Camara, J. & Steffen, M. (eds.). 1st ed. Springer Cham, p. 195-205 11 p. (Lecture Notes in Computer Science; vol. 12226)(Programming and Software Engineering (LNPSE))(SEFM: International Conference on Software Engineering and Formal Methods).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    1 Citation (Scopus)

  • Two Implications and Dual-Process Theories of Reasoning

    Bobrova, A. & Pietarinen, A. V., 29 Jul 2020, Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Pietarinen, A.-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). 1st ed. Springer Cham, p. 239-243 5 p. (Lecture Notes in Computer Science; vol. 12169)(Lecture Notes in Artificial Intelligence )(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    1 Citation (Scopus)
  • 2018

    Assertive and existential graphs: A comparison

    Pietarinen, A. V. & Chiffi, D., 17 May 2018, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). 1st ed. Springer Cham, p. 565-581 17 p. (Lecture Notes in Computer Science; vol. 10871)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    11 Citations (Scopus)

  • A weakening of alpha graphs: Quasi-boolean algebras

    Ma, M. & Pietarinen, A. V., 17 May 2018, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). 1st ed. Springer Cham, p. 549-564 16 p. (Lecture Notes in Computer Science; vol. 10871)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    12 Citations (Scopus)

  • The beauty of graphs

    Pietarinen, A. V., 17 May 2018, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). 1st ed. Springer Cham, p. 9-12 4 p. (Lecture Notes in Computer Science; vol. 10871)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    3 Citations (Scopus)
  • 2017

    Graphical Sequent Calculi for Modal Logics

    Ma, M. & Pietarinen, A. V., 6 Mar 2017, Proceedings of the Ninth Workshop on Methods for Modalities: Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. Ghosh, S. & Ramanujam, R. (eds.). Open Publishing Association, p. 91-103 13 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 243).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    Open Access
    11 Citations (Scopus)
  • 2016

    Extensions of euler diagrams in peirce’s four manuscripts on logical graphs

    Pietarinen, A. V., 26 Jul 2016, Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). 1st ed. Springer Cham, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 9781)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    11 Citations (Scopus)

  • Negative terms in euler diagrams: Peirce’s solution

    Moktefi, A. & Pietarinen, A. V., 26 Jul 2016, Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings. Jamnik, M., Uesaka, Y. & Schwartz, S. E. (eds.). 1st ed. Springer Cham, p. 286-288 3 p. (Lecture Notes in Computer Science; vol. 9781)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    8 Citations (Scopus)

  • Peirce’s sequent proofs of distributivity

    Ma, M. & Pietarinen, A. V., 6 Dec 2016, Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Ghosh, S. & Prasad, S. (eds.). 1st ed. Springer Berlin Heidelberg, p. 168-182 15 p. (Theoretical Computer Science and General Issues; vol. 10119)(ICLA: Indian Conference on Logic and Its Applications).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    11 Citations (Scopus)

  • What your computer still can't know: A refutation of Bringsjord's refutation of searle's refutation of Bostrom and Floridi

    Pietarinen, A. V., Oct 2016, What Social Robots Can and Should Do: Proceedings of Robophilosophy 2016/TRANSOR 2016. Seibt, J., Nørskov, M. & Andersen, S. S. (eds.). IOS Press, p. 280-290 11 p. (Frontiers in Artificial Intelligence and Applications; vol. 290).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

  • 2013

    Continuity, connectivity and regularity in spatial diagrams for N Terms

    Moktefi, A., Bellucci, F. & Pietarinen, A. V., Oct 2013, DLAC 2013: Proceedings of the First International Workshop on Diagrams, Logic and Cognition, Kolkata, India, October 28 - 29, 2013. Burton, J. & Choudhury, L. (eds.). CEUR-WS, p. 31-35 5 p. (CEUR Workshop Proceedings; vol. 1132).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    Open Access
    12 Citations (Scopus)

  • Diagrammatic Autarchy: Linear diagrams in the 17th and 18th centuries

    Bellucci, F., Moktefi, A. & Pietarinen, A. V., Oct 2013, DLAC 2013: Proceedings of the First International Workshop on Diagrams, Logic and Cognition, Kolkata, India, October 28 - 29, 2013. Burton, J. & Choudhury , L. (eds.). CEUR-WS, p. 23-30 8 p. (CEUR Workshop Proceedings; vol. 1132).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    Open Access
    18 Citations (Scopus)
  • 2008

    Diagrammatic logic of existential graphs: A case study of commands

    Pietarinen, A. V., 10 Sept 2008, Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings. Stapleton, G., Howse, J. & Lee, J. (eds.). 1st ed. Springer Berlin Heidelberg, p. 404-407 4 p. (Lecture Notes in Computer Science; vol. 5223)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    3 Citations (Scopus)
  • 2004

    Extending defeasible logic and defeasible prolog

    Pietarinen, A. V., 22 Aug 2004, ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. de Mantaras, R. L. & Saitta, L. (eds.). IOS Press, p. 1075-1076 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 110).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    Open Access

  • Peirce's diagrammatic logic in IF perspective

    Pietarinen, A. V., 12 Mar 2004, Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Blackwell, A. F., Marriott, K. & Shimojima, A. (eds.). 1st ed. Springer Berlin Heidelberg, p. 97-111 15 p. (Lecture Notes in Computer Science; vol. 2980)(Lecture Notes in Artificial Intelligence)(Diagrams: International Conference on Theory and Application of Diagrams).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    9 Citations (Scopus)
  • 2002

    Awareness in logic and cognitive neuroscience

    Pietarinen, A.-V., Aug 2002, Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002. Wang, Y., Johnston, R. H. & Smith, M. R. (eds.). IEEE, p. 155-162 8 p. (Proceedings - IEEE International Conference on Cognitive Informatics).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    2 Citations (Scopus)

  • Games and logics of knowledge for multi-agent systems

    Pietarinen, A., 27 Mar 2002, MICAI 2002 - Advances in Artificial Intelligence: Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings. Coello Coello, C. A., Albornoz, A., Sucar, L. E. & Battistutti, O. C. (eds.). 1st ed. Springer Berlin Heidelberg, p. 214-223 10 p. (Lecture Notes in Computer Science; vol. 2313)(Lecture Notes in Artificial Intelligence)(MICAI: Mexican International Conference on Artificial Intelligence).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

  • Knowledge constructions for artificial intelligence

    Pietarinen, A., 12 Jun 2002, Foundations of Intelligent Systems: 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings. Hacid, M.-S., Raś, Z. W., Zighed, D. A. & Kodratoff, Y. (eds.). 1st ed. Springer Berlin Heidelberg, p. 303-311 9 p. (Lecture Notes in Computer Science; vol. 2366)(Lecture Notes in Artificial Intelligence)(ISMIS: International Symposium on Methodologies for Intelligent Systems).

    Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

    5 Citations (Scopus)