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.

Flexible Automation of Quantified Multi-Modal Logics with Interactions

Melanie Taprogge, Alexander Steen. Flexible Automation of Quantified Multi-Modal Logics with Interactions. In Dietmar Seipel, Alexander Steen, editors, KI 2023: Advances in Artificial Intelligence - 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings. Volume 14236 of Lecture Notes in Computer Science, pages 215-230, Springer, 2023. [doi]

Authors

Melanie Taprogge

This author has not been identified. Look up 'Melanie Taprogge' in Google

Alexander Steen

This author has not been identified. Look up 'Alexander Steen' in Google
runs on