A meta-programming framework operationalizes TEL, MEL, and DEL semantics in ASP via clingo grammar extensions, type specifications, nesting, and a grounding protection pipeline, demonstrated through the metasp system.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Presents a Tseitin-like translation reducing arbitrary metric temporal formulas to past-operator logic programs under answer set semantics for use with ASP solvers.
citing papers explorer
-
Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
Presents a Tseitin-like translation reducing arbitrary metric temporal formulas to past-operator logic programs under answer set semantics for use with ASP solvers.