conftrace_

stream reasoning

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

metric temporal logic (3) formula progression (1) metric temporal datalog (1) temporal operator (1) chase algorithm (1) approximate reasoning (1) conjunctive queries (1) neural-symbolic computing (1) multi-context system (1) equilibrium semantics (1)

Papers

A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion AAAI 2021 Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty AAAI 2019 DatalogMTL: Computational Complexity and Expressive Power IJCAI 2019 Ontology-Based Query Answering for Probabilistic Temporal Data AAAI 2019 Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019 Streaming Multi-Context Systems IJCAI 2017