Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language.
Stefan BorgwardtVera DembergMayank JobanputraAlisa KovtunovaDuy NhuPublished in: Description Logics (2024)
Keyphrases
- natural language
- sensor data streams
- sensor readings
- sensor data
- theorem prover
- semantic analysis
- data streams
- mathematical proofs
- natural language processing
- language processing
- real time
- natural language interface
- knowledge representation
- sliding window
- computer vision
- theorem proving
- natural language understanding
- question answering
- natural language sentences
- decision trees
- machine learning
- information extraction
- natural language generation
- real world
- formal proofs
- neural network