papers-we-love_papers-we-love/logic_and_programming at d70df4f6301e97c32465e4161703d04416aff061 - papers-we-love_papers-we-love - Platform Gitea: Git with a cup of tea

Archives/papers-we-love_papers-we-love

mirror of https://github.com/papers-we-love/papers-we-love.git synced 2026-03-02 03:40:31 +00:00

Files

History

Chris 884a618bef Create event-calculus.txt

2014-06-06 11:21:31 -04:00

..

event-calculus.txt

Create event-calculus.txt

2014-06-06 11:21:31 -04:00

README.md

readme titles and readme URL approach

2014-03-13 22:39:39 -04:00

representing-game-dialogue-as-expressions-in-first-order-logic.pdf

logic/clojure/gamedev paper

2013-06-12 09:58:42 -04:00

README.md

Purely Functional Lazy Non-deterministic Programming