![[2605.30618] Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics](/static/img/curated/desks/afbytes-tech.w400.webp)
[2605.30618] Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
Abstract page for arXiv paper 2605.30618: Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
America Forever Bytes
temporal reasoning · AFBytes
Other
temporal reasoning
Recent coverage