samuelgoto/drafts.md

Last active November 26, 2019 05:08

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/samuelgoto/068bc8c28b6c59874e388163f3ad9954.js"></script>
Save samuelgoto/068bc8c28b6c59874e388163f3ad9954 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

go over syllogisms
understand speech acts
http://boole.stanford.edu/pub/lingol75.html
planning and winograd's http://hci.stanford.edu/winograd/shrdlu/
planner programming language https://en.wikipedia.org/wiki/Planner_(programming_language)
euclidian and tarki's axioms of geometry

Author

samuelgoto commented Nov 26, 2019

https://github.com/ChalmersGU-AI-course/shrdlite-course-project
http://chalmersgu-ai-course.github.io/shrdlite.html
http://chalmersgu-ai-course.github.io/demo/shrdlite.html?world=small&speech=true

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment