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.
Springer (2019)
4 Pith papers cite this work, alongside 44 external citations. Polarity classification is still indexing.
4
Pith papers citing it
44
external citations · OpenAlex
years
2026 4representative 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.
ASPEn integrates ASP stable-model semantics with energy-based models for joint discrete-continuous optimisation and end-to-end training on visual reasoning and multi-object tracking.
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.
-
Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models
ASPEn integrates ASP stable-model semantics with energy-based models for joint discrete-continuous optimisation and end-to-end training on visual reasoning and multi-object tracking.