Skip to content

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

QILP-0: Constructing Observational Declarative Twins of Quantum Circuits

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, which constructs a finite multi-valued propositional logic program from observed circuit behaviour within a declared observational scope.

Marina de la Cruz Echeandía, C. Alonso, Tony Ribeiro et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.