LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
mai: MAth Interpreter with Standard Foundations
Knowledge Representation paradigm to create a simple question-answering tool.
A natural language understanding system that allows users to text queries or instructions
This assignment covers key topics in logic, theorem proving, and knowledge representation relevant to Artificial Intelligence.
FIB-LI 2022-23 Q1 Logics in Information Technology subject
Scheduler with first-order logic written in prolog
A natural language understanding system that allows users to text queries or instructions
An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
A smart talking refrigerator made using First Order Logic concepts using the Prolog Language
To associate your repository with the first-order-logic topic, visit your repo's landing page and select "manage topics."