External Links

Cite Key

Statistics

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

PDF

Tags

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.

KT and S4 Satisfiability in a Constraint Logic Environment

Lynn Stevenson, Katarina Britz, Tertia Hörne. KT and S4 Satisfiability in a Constraint Logic Environment. In Tu Bao Ho, Zhi-Hua Zhou, editors, PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings. Volume 5351 of Lecture Notes in Computer Science, pages 370-381, Springer, 2008. [doi]

Authors

Lynn Stevenson

This author has not been identified. Look up 'Lynn Stevenson' in Google

Katarina Britz

This author has not been identified. Look up 'Katarina Britz' in Google

Tertia Hörne

This author has not been identified. Look up 'Tertia Hörne' in Google
runs on