Refutation Prover for FOL using First-Order Resolution
-
Updated
Nov 12, 2018 - Python
Refutation Prover for FOL using First-Order Resolution
My first SMT solver (only QF_UF)
MVP built with React for fictitious company to help with daily arithmetic calculations.
Programmatic solution to the Einstein problem
The source code for #5 in the Logical Reasoning Reading Comprehension Leaderboard `ReClor`.
Logic Circuits from the Juice library
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
Please checkout the number guessing game by hitting the following URL. Have fun!
Frontend application in order to develop UI skills and implementation of the elevator's electronic mechanism.
Sum Limit is a logical problem based on the sum of two given digits. If the sum of the two digits has the same number of digits as the first given digit, return the sum of the two. If the sum has More digits than the first given digit return the first given digit only.
The solution to the famous FizzBuzz game / question.
Dynamic generation of robot behaviors in the RoboCup SPL setting from LTL or PDDL + PLTLf rules (Published in RoboCup 2022 Symposium)
This repository contains my solutions to various problems proposed in Hackerrank.
A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
ICML 23': Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization
Repo created to archive my studies and presentations created in my journey studying the Java back-end Roadmap
Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023
Add a description, image, and links to the logical-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the logical-reasoning topic, visit your repo's landing page and select "manage topics."