Constraint Handling Rules, Logic Programming, Rule Systems, Declarative Computing
Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·3d
+VeriRel: Verification Feedback to Enhance Document Retrieval for Scientific Fact Checking
arxiv.org·4d
Towards Optimal Environmental Policies: Policy Learning under Arbitrary Bipartite Network Interference
arxiv.org·3d
Implicit-Explicit Scheme with Multiscale Vanka Two-Grid Solver for Heterogeneous Unsaturated Poroelasticity
arxiv.org·3d
Loading...Loading more...