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.

Base-Based Model Checking for Multi-agent only Believing

Tiago De Lima, Emiliano Lorini, François Schwarzentruber. Base-Based Model Checking for Multi-agent only Believing. In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz 0001, editors, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Volume 14281 of Lecture Notes in Computer Science, pages 437-445, Springer, 2023. [doi]

Authors

Tiago De Lima

This author has not been identified. Look up 'Tiago De Lima' in Google

Emiliano Lorini

This author has not been identified. Look up 'Emiliano Lorini' in Google

François Schwarzentruber

This author has not been identified. Look up 'François Schwarzentruber' in Google
runs on