کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663179 | 1345234 | 2006 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Model checking hybrid logics (with an application to semistructured data)
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We investigate the complexity of the model checking problem for hybrid logics. We provide model checking algorithms for various hybrid fragments and we prove PSPACE-completeness for hybrid fragments including binders. We complement and motivate our complexity results with an application of model checking in hybrid logic to the problems of query and constraint evaluation for semistructured data.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 4, Issue 3, September 2006, Pages 279–304
Journal: Journal of Applied Logic - Volume 4, Issue 3, September 2006, Pages 279–304
نویسندگان
Massimo Franceschet, Maarten de Rijke,