https://github.com/arademaker/krr-2017.1

Knowledge Representation and Reasoning Class 2017.1
https://github.com/arademaker/krr-2017.1

course knowledge-representation logic

Last synced: 6 months ago
JSON representation

Knowledge Representation and Reasoning Class 2017.1

• Host: GitHub
• URL: https://github.com/arademaker/krr-2017.1
• Owner: arademaker
• Created: 2017-03-10T13:41:27.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2017-06-16T17:31:28.000Z (over 8 years ago)
• Last Synced: 2025-01-19T14:48:36.428Z (about 1 year ago)
• Topics: course, knowledge-representation, logic
• Language: HTML
• Size: 1.67 MB
• Stars: 0
• Watchers: 6
• Forks: 3
• Open Issues: 1
• Metadata Files:
  • Readme: README.org

Awesome Lists containing this project

README

          

KRR Course at FGV

* Links

- https://en.wikipedia.org/wiki/Tarski%27s_World. Acessar [[https://courses.cs.washington.edu/courses/cse590d/03sp/tarski/tarski.html][aqui]] e

  baixar o arquivo =tarski.jar= e executar com =java -jar tarski.jar=.

- E Prover :: http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html

    - pode ser testado online [[http://www.tptp.org/cgi-bin/SystemOnTPTP][aqui]], com sintaxe [[http://www.cs.miami.edu/~tptp/][TPTP]].

- SNARK