papers-we-love_papers-we-love/logic_and_programming
..
event-calculus.txt
README.md
representing-game-dialogue-as-expressions-in-first-order-logic.pdf