diff --git a/logic_and_programming/representing-game-dialogue-as-expressions-in-first-order-logic.pdf b/logic_and_programming/representing-game-dialogue-as-expressions-in-first-order-logic.pdf new file mode 100644 index 0000000..a51d150 Binary files /dev/null and b/logic_and_programming/representing-game-dialogue-as-expressions-in-first-order-logic.pdf differ