Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence.
Petr JancarPublished in: MFCS (2016)
Keyphrases
- natural language
- equivalence relation
- higher order
- first order logic
- decision diagrams
- natural language sentences
- knowledge representation
- process model
- semantic web
- semantic similarity
- semantic analysis
- semantic knowledge
- semantic representation
- natural language processing
- grammatical inference
- semantic information
- model checking
- domain independent
- semantic relationships
- high level