LAT logic adds time and open-world uncertainty to annotated logic programs; its PyReason engine dynamically materializes only the atoms it needs, showing orders-of-magnitude speedups and memory savings.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
LAT logic adds time and open-world uncertainty to annotated logic programs; its PyReason engine dynamically materializes only the atoms it needs, showing orders-of-magnitude speedups and memory savings.