Showing 2026 · cs.PLShow all
2 papers · 2 filters
cs.PL2026
Answer Set Programming for Egg Extraction and More
Ziyi Yang, Ilya Sergey
Three years ago, Philip Zucker posted an attempt to use answer set programming (ASP) for term extraction from e-graphs Although the task is NP-hard and ASP offers a natural modelli…
cs.PL2026
Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
Ziyi Yang, George Pîrlea, Ilya Sergey
We present a framework for synthesising formulas in first-order logic (FOL) from examples, which unifies and advances state-of-the-art approaches for inference of transition system…