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]
@inproceedings{StevensonBH08,
title = {KT and S4 Satisfiability in a Constraint Logic Environment},
author = {Lynn Stevenson and Katarina Britz and Tertia Hörne},
year = {2008},
doi = {10.1007/978-3-540-89197-0_35},
url = {http://dx.doi.org/10.1007/978-3-540-89197-0_35},
tags = {meta-model, constraints, logic, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/StevensonBH08},
cites = {0},
citedby = {0},
pages = {370-381},
booktitle = {PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings},
editor = {Tu Bao Ho and Zhi-Hua Zhou},
volume = {5351},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-89196-3},
}