pith. sign in

Title resolution pending

· 2023 · DOI 10.1017/s1471068421000508

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.AI 1 cs.PL 1

years

2026 2

verdicts

UNVERDICTED 2

representative citing papers

Meta-Programming for Linear-time Temporal Answer Set Programming

cs.AI · 2026-05-28 · unverdicted · novelty 7.0 · 2 refs

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.

Answer Set Programming for Egg Extraction and More

cs.PL · 2026-06-09 · unverdicted · novelty 6.0

Answer set programming encodings for e-graph extraction match ILP efficiency on benchmarks and recover additional optimal solutions on complex instances.

citing papers explorer

Showing 2 of 2 citing papers.

  • Meta-Programming for Linear-time Temporal Answer Set Programming cs.AI · 2026-05-28 · unverdicted · none · ref 22 · 2 links

    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.

  • Answer Set Programming for Egg Extraction and More cs.PL · 2026-06-09 · unverdicted · none · ref 9

    Answer set programming encodings for e-graph extraction match ILP efficiency on benchmarks and recover additional optimal solutions on complex instances.