Found 3 Documents (Results 1–3)
A description logic based situation calculus. (English) Zbl 1205.68405
MSC:
68T30
A tableau decision procedure for \(\mathcal{ALC}\) with monotonic modal operators and constant domains. (English) Zbl 1347.68317
Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 113-130 (2009).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (1)
all
top 5
Author
- Erdur, Riza Cenk (1)
- Gu, Yilan (1)
- Honavar, Vasant (1)
- Seylan, İnanç (1)
- Slutzki, Giora (1)
- Soutchanski, Mikhail (1)
- Tao, Jia (1)