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: 8 months 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 (over 11 years ago)
- Default Branch: rewrite
- Last Pushed: 2020-12-23T22:38:13.000Z (almost 5 years ago)
- Last Synced: 2025-02-23T22:12:42.937Z (8 months ago)
- Topics: beliefs, knowledge, logic, reasoning
- Language: C++
- Homepage:
- Size: 2 MB
- Stars: 237
- Watchers: 14
- Forks: 13
- Open Issues: 0