Defeasible Conditional Deontic Logic Solver

Given a set of rules and constraints, the program ranks worlds based on their ability to satisfy said rules and lets the user check various inferences and queries.

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python