The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic.
Martin FränzlePublished in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
- metric temporal logic
- stereo correspondence
- semantic similarity
- semantic information
- artificial intelligence
- semantic relationships
- starting point
- semantic web
- domain specific
- natural language
- high level
- semantic search
- semantic annotation
- semantic network
- knowledge base
- semantic knowledge
- information systems
- semantic representations
- optical flow fields
- data sets