External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking BDI Logics over Finite-state Worlds

Salvatore La Torre, Gennaro Parlato. Model Checking BDI Logics over Finite-state Worlds. In Nicola Gigante, Federico Mari, Andrea Orlandini, editors, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. Volume 2509 of CEUR Workshop Proceedings, pages 11-16, CEUR-WS.org, 2019. [doi]

Authors

Salvatore La Torre

This author has not been identified. Look up 'Salvatore La Torre' in Google

Gennaro Parlato

This author has not been identified. Look up 'Gennaro Parlato' in Google
runs on