Proceedings of the 19th International Workshop on the ACL2 theorem prover and its applications, 2025 (PDF)

cgi.cse.unsw.edu.ausite

from

Common Lisp

added

2026-10-10

likes

0

similar

1. ▲

   Learning Higher-Order Logic Programs through Abstraction and Invention andrewcropper.com

   IJCAI'16, 2016. [All Versions].

   site topic ai link ↗
   site
2. ▲

   ACL2 cs.utexas.edu

   site link ↗
   site
3. ▲

   AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints aclanthology.org

   ACL'24, 2024. [All Versions]. [Preprint]. [Project]. The original paper on the automated design of DSLs, referred to as AutoDSL. Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of…

   site topic designtopic science link ↗
   
4. ▲

   ACLP: Abductive Constraint Logic Programming sciencedirect.com

   The Journal of Logic Programming, 1999. [All Versions]. This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and…

   site topic programming link ↗
   site
5. ▲

   ABCL common-lisp.net

   site link ↗
   site
6. ▲

   JACL tailrecursion.com

   site link ↗
   site