On the boundary between decidability and undecidability of asynchronous session subtyping.
Mario BravettiMarco CarboneGianluigi ZavattaroPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- description logics
- query containment
- query answering
- knowledge base
- knowledge representation
- asynchronous communication
- answering queries
- object boundaries
- inverse roles
- artificial intelligence
- conjunctive queries
- data integration
- cross section
- shape description
- expert systems
- gradient information
- reinforcement learning
- dl lite
- asynchronous circuits
- multiscale
- image sequences