https://github.com/arademaker/krr

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

Last synced: 4 months ago
JSON representation

Knowledge Representation and Reasoning

• Host: GitHub
• URL: https://github.com/arademaker/krr
• Owner: arademaker
• Created: 2015-05-05T11:11:35.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2016-05-03T11:27:06.000Z (about 10 years ago)
• Last Synced: 2025-10-05T01:46:05.309Z (9 months ago)
• Language: Common Lisp
• Size: 90.8 KB
• Stars: 2
• Watchers: 8
• Forks: 6
• Open Issues: 9
• Metadata Files:
  • Readme: README.org

Awesome Lists containing this project

README

          
#+Title: Knowledge Representation and Reasoning

Projeto do curso de Estrutura de Dados 2015, EMAP/FGV. Iremos

implementar alguns algoritmos para representação e reasoning de lógica

proposicional e primeira ordem. Seguiremos, com alguns desvios, o

livro [[http://www.amazon.com/Knowledge-Representation-Reasoning-Artificial-Intelligence/dp/1558609326][Knowledge Representation and Reasoning]].

O projeto faz parte da avaliação dos alunos da disciplinas mas outras

colaborações são bem vindas.

Usaremos os Issues do projeto para compartilhar demandas de

colaboração.