{"id":"arxiv/2609.01049","url":"https://arxiv.org/abs/2609.01049","tags":["cs.AI","quant-ph"],"score":0,"title":"QILP-0: Constructing Observational Declarative Twins of Quantum Circuits","domain":"cs.AI","source":"arxiv","authors":["Marina de la Cruz Echeandía","César Luis Alonso","Tony Ribeiro","Alfonso Ortega de la Puente"],"reviews":0,"subject":"cs.AI","summary":"This paper introduces QXymb, a general framework for constructing observational declarative twins of quantum circuits, and develops QILP-0, its first complete order-0 specialization. QILP-0 constructs a finite multi-valued propositional logic program from observed circuit behaviour within a declared observational scope. The pipeline traverses a declared family of quantum observables incrementally according to a reproducible structural grading and a declared observational reference horizon. Progress is quantified through reference-relative coverage against a fixed target-independent…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}