S Hoffmann - International Journal of Foundations of Computer …, 2023 - World Scientific
We introduce the class 𝒞𝒪𝓂 S+ of commutative regular languages that is a positive variety closed under binary shuffle and iterated shuffle (also called shuffle closure). This class …
Representing and reasoning with processes and plans is a core problems in many areas, including AI Planning and Plan Recognition, Business Process Modeling, Web Services …
Y Li, H Chen, X Zhang, L Zhang - Proceedings of the 23rd International …, 2019 - dl.acm.org
The advantages offered by the presence of a schema are numerous. However, many XML documents in practice are not accompanied by a (valid) schema, making schema inference …
A Borgida - Description Logic, Theory Combination, and All That …, 2019 - Springer
A wide range of ordinary Description Logics (DLs) have been explored by considering collections of concept/role constructors, and types of terminologies, yielding an array of …
X Wang - International Conference on Database Systems for …, 2022 - Springer
Since shuffle introduced into regular expressions makes the membership problem NP-hard, and an efficient membership algorithm facilitates processing many membership-based …
X Wang - Pacific-Asia Conference on Knowledge Discovery and …, 2021 - Springer
Learning finite automata has been a popular topic. Shuffle has been applied in information systems. Since shuffle introduced into finite automata makes the membership problem NP …
S Hoffmann - arXiv preprint arXiv:2108.09282, 2021 - arxiv.org
The literal and the initial literal shuffle have been introduced to model the behavior of two synchronized processes. However, it is not possible to describe the synchronization of …
G Madejski - Implementation and Application of Automata: 20th …, 2015 - Springer
We analyze the complexity of membership problem for two subclasses of permutation languages: PermReg and PermLin. These are languages generated by regular and linear …
Y Li, H Chen, L Zhang, B Huang, J Zhang - Pacific-Asia Conference on …, 2020 - Springer
The presence of a schema for XML documents has numerous advantages. Unfortunately, many XML documents in practice are not accompanied by a schema or a valid schema …