https://github.com/schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
https://github.com/schwering/limbo
beliefs knowledge logic reasoning
Last synced: 29 days ago
JSON representation
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
- Host: GitHub
- URL: https://github.com/schwering/limbo
- Owner: schwering
- License: mit
- Created: 2014-03-25T01:53:35.000Z (about 12 years ago)
- Default Branch: rewrite
- Last Pushed: 2020-12-23T22:38:13.000Z (over 5 years ago)
- Last Synced: 2026-01-22T22:46:02.493Z (2 months ago)
- Topics: beliefs, knowledge, logic, reasoning
- Language: C++
- Homepage:
- Size: 2 MB
- Stars: 234
- Watchers: 11
- Forks: 13
- Open Issues: 0