Ajay Bansal
where else to find them
no profile links on file
what they talk about
where they keep going back
- miniKanren2 editions2023–2024
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity(…) | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
stableKanren implements integrity constraints plus a numeric constraint store to avoid grounding all numbers and encode arithmetic as verifiers, not impure… | ||
| To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision | miniKanren 2024 | 2024-09-06 |
Integrates ASP-style predicate (integrity) constraints into stableKanren and ships a new constraint macro plus a continuation-based updater that treats… | ||
| Improving stableKanren’s Backward Compatibility | miniKanren 2024 | 2024-09-06 |
stableKanren gains two concrete changes to run legacy miniKanren code: a syntactic analyzer has-negation that skips heavyweight stable-model contradiction… | ||
| stablekanren: Integrating Stable Model Semantics with miniKanren | PPDP 2023 | 2023-10-22 |
StableKanren implements stable model semantics inside miniKanren (Scheme) by compiling normal logic programs into complemented goals and weaving runtime… | ||
| Stable Model Semantics Extension of miniKanren | miniKanren 2023 | 2023-09-08 |
Extends miniKanren with a top‑down solver for stable model (answer set) semantics implemented in Scheme macros and modified continuations, adding a negation… | ||
| nothing matches | ||