Claudia Carapelle

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Claudia Carapelle

Ehemaliges Mitglied
Claudia Carapelle
  •   Ehemals Wissenschaftlicher Mitarbeiter in Forschungsgruppe Automatentheorie

Neueste Publikationen

Komplette Publikationsliste anzeigen

Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details

Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Constraints
Journal of Computer and System Sciences, 82(5):826 - 855, 2016
Details

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints
In D. Lev Beklemishev, V. Daniil Musatov, eds., Proceedings of Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia (CSR 2015), 94 - 108, 2015. Springer International Publishing
Details

Claudia Carapelle, Markus Lohrey
Temporal Logics with Local Constraints
Invited contribution. In Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
Details

Claudia Carapelle
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
Details Download

Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas
On the expressiveness of MTL and TPTL over omega-data words
In Zoltán Ésik, Zoltán Fülöp, eds., Proceedings 14th International Conference on Automata and Formal Languages, volume 151, 174--187, 2014. Electronic Proceedings in Theoretical Computer Science
Details

Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas
Satisfiability for MTL and TPTL over non-monotonic data words
Language and Automata Theory and Applications: 8th International Conference, LATA 2014, 248--259, 2014. Springer International Publishing
Details

Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013
Details

Komplette Publikationsliste anzeigen
HAEC Logo.png

HAEC B02
Semantic Technology for Context Awareness (HAEC Project B02)