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
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
Proposes the first ASP-based method to automate long-term power grid planning while preserving reliability invariants, with experiments on synthetic and real-world grids demonstrating expressive power and effectiveness.
A framework mines spatial, functional, and qualitative commonsense constraints from SGG training data and uses them to correct ranked predictions at inference, yielding consistent gains on three benchmarks.
citing papers explorer
-
Meta-Programming for Linear-time Temporal Answer Set Programming
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.
-
Long-term Power Grid Planning via Answer Set Programming
Proposes the first ASP-based method to automate long-term power grid planning while preserving reliability invariants, with experiments on synthetic and real-world grids demonstrating expressive power and effectiveness.
-
Visual Commonsense Driven Knowledge Refinements for Scene Graph Generation
A framework mines spatial, functional, and qualitative commonsense constraints from SGG training data and uses them to correct ranked predictions at inference, yielding consistent gains on three benchmarks.