Chris Martens
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- Strange Loop3 editions2013–2018
- miniKanren2 editions2021–2026
all 8 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Michael Arntzenius7 talks
- Edward Kmett5 talks
- Nada Amin26 talks
- Mark Engelberg4 talks
- Steve Zdancewic19 talks
- Michael Carbin14 talks
| title | conference | date |
|---|---|---|
| CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation | FARM 2026 | 2026-08-24 |
CounterChoice is a client-side React web app that takes a user-drawn cantus firmus and uses the finite-choice logic language Dusa to generate first‑species… | ||
| Programming Challenge to Attendees | miniKanren 2026 | 2026-08-24 |
Challenge frames transforming a small number of input sentences (often two) into new token sequences using relational techniques. Options include a simple… | ||
| Demos of Attendee Programs and Open Mic | miniKanren 2026 | 2026-08-24 |
Live demos show five independent implementations that parse given start/end states, build transition graphs or bi-gram matrices, and enumerate sentences by… | ||
| Introduction to relational programming in miniKanren | miniKanren 2026 | 2026-08-24 |
Hands-on tour of miniKanren (faster-minikanren in Scheme/Racket) that demos core primitives and limits: first-order unification with occurs-check via equal==… | ||
| Epistemic Logic for Polyglots (Short Paper) | PEPM 2026 | 2026-01-11 |
Proposes using epistemic S4 modal logic as a propositions-as-types foundation for polyglot programs, mapping agents to languages and deriving a glue calculus… | ||
| Finite-Choice Logic Programming | POPL 2025 | 2025-01-19 |
Defines a new semantics that replaces negation with explicit choices, formalizes rules as functions from databases to choice sets, and proves a… | ||
| Anti-disciplinary: doing academic research when you like too many things | PLMW @ POPL 2023 | 2023-01-17 |
Work develops a linear-logic programming language called Scepter to model branching interactive narrative and a language for procedural content generation… | ||
| Towards Declarative Content Generation for Creativity Support Tools | PADL 2023 | 2023-01-16 |
Argues that answer set programming (ASP) can specify generative spaces for game/art content but has practical gaps: uses clingo to generate tile‑map heightmaps… | ||
| Exploring Consequences of Privacy Policies with Narrative Generation via Answ... | ProLaLa 2023 | 2023-01-15 |
A system encodes policy actors, roles and actions in Answer Set Programming to turn privacy clauses into constraints over a story planner, letting the model… | ||
| Relational Content Generation | miniKanren 2021 | 2021-08-26 |
Relational programming uses Answer Set Programming to define and navigate procedural content spaces, implementing choice rules to add possibilities and… | ||
| Full Workshop | miniKanren 2021 | 2021-08-26 |
Symbolic execution produces a symbolic scheme that exposes schedule, unification and reification costs and shows scheduling dominates some pathologies… | ||
| Puzzles, Problems, and Programs | Strange Loop 2018 | 2018-09-26 |
Argues that aligning mental models happens by iterative informative failure and shows it across puzzles, problems, and programs. Demonstrates with Bongard… | ||
| Ceptre: A Language for Modeling Generative Interactive Systems | Strange Loop 2015 | 2015-09-24 |
Ceptre is an executable game‑sketching language built atop linear logic programming and multiset rewriting and extended with stages and quiessence to control… | ||
| Linear Logic Programming | Strange Loop 2013 | 2013-09-18 |
Claims that replacing classical logic with linear logic makes state change and resource usage first-class and declarative and demonstrates it with an… | ||
| nothing matches | ||