Author of the publication

Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.

, and . CMCS, volume 9608 of Lecture Notes in Computer Science, page 94-113. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Structural Resolution for Abstract Compilation of Object-Oriented Languages., , and . CoALP-Ty, volume 258 of EPTCS, page 19-35. (2016)ML4PG in Computer Algebra Verification., and . MKM/Calculemus/DML, volume 7961 of Lecture Notes in Computer Science, page 354-358. Springer, (2013)Neuro-symbolic Representation of Logic Programs Defining Infinite Sets., , and . ICANN (1), volume 6352 of Lecture Notes in Computer Science, page 301-304. Springer, (2010)Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness., and . CMCS, volume 9608 of Lecture Notes in Computer Science, page 94-113. Springer, (2016)Exploiting Parallelism in Coalgebraic Logic Programming., , and . WACT, volume 303 of Electronic Notes in Theoretical Computer Science, page 121-148. Elsevier, (2013)Neural Networks in Imandra: Matrix Representation as a Verification Choice., , and . NSV/FoMLAS@CAV, volume 13466 of Lecture Notes in Computer Science, page 78-95. Springer, (2022)SHERLOCK - An Interface for Neuro-Symbolic Networks., and . NeSy, volume 764 of CEUR Workshop Proceedings, page 39-40. CEUR-WS.org, (2011)The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning., , and . AAAI, page 7160-7167. AAAI Press, (2022)Proof Mining with Dependent Types., and . CICM, volume 10383 of Lecture Notes in Computer Science, page 303-318. Springer, (2017)Marabou 2.0: A Versatile Formal Analyzer of Neural Networks., , , , , , , , , and 7 other author(s). CAV (2), volume 14682 of Lecture Notes in Computer Science, page 249-264. Springer, (2024)