This website requires JavaScript.
Explore
Help
Sign In
Archives
/
papers-we-love_papers-we-love
Watch
1
Star
0
Fork
0
You've already forked papers-we-love_papers-we-love
mirror of
https://github.com/papers-we-love/papers-we-love.git
synced
2024-10-27 20:34:20 +00:00
Code
Issues
Projects
Releases
Wiki
Activity
b2b8bf1a78
papers-we-love_papers-we-love
/
logic_and_programming
/
README.md
Zachary Jones
d2acf0fc3b
Update to all READMEs for hosted content
...
reorganization of so-called historical papers
2015-10-07 15:12:22 -04:00
603 B
Raw
Blame
History
Logic and Programming
📜
Representing Game Dialogue as Expresions in Firt-Order Logic
📜
The Event Calculus as a Linear Logic Program
Purely Functional Lazy Non-deterministic Programming
📜
On the Meanings of the Logical Constants and the Justifications of the Logical Laws