dpalmasan/py-logic issues and pull requests

#48 - Release pip package and define versioning

Issue - State: open - Opened by dpalmasan almost 2 years ago

#47 - Create interpreter for logic clauses

Issue - State: open - Opened by dpalmasan about 2 years ago
Labels: enhancement, algorithm

#46 - Document API

Issue - State: open - Opened by dpalmasan about 2 years ago
Labels: documentation

#45 - Investigate and propose implementation for Memoization in Inference functions

Issue - State: open - Opened by dpalmasan about 2 years ago
Labels: enhancement, algorithm

#44 - Update README with first order logic examples

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: documentation, first-order-logic

#43 - Implement Backward chaining for FOL

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: first-order-logic, algorithm

#42 - Implement Standardize Variables

Issue - State: closed - Opened by dpalmasan about 2 years ago

#41 - Add colorable example

Pull Request - State: closed - Opened by dpalmasan about 2 years ago

#40 - Chore: Fix broken CI jobs

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: testing, ci-cd, chore

#39 - Implement Horn Clauses for FOL

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: horn-clauses

#38 - Implement Substitution class

Issue - State: closed - Opened by dpalmasan about 2 years ago

#37 - Implement Forward Chaining for FOL

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: first-order-logic, algorithm

#36 - [Algorithms] Implement Unification in FOL

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: algorithm

#35 - Fix logic issue with `>>` Operator

Issue - State: closed - Opened by dpalmasan about 2 years ago - 1 comment
Labels: bug

#34 - Implement Horn Clause class

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: good first issue, propositional-logic

#33 - [Algorithms] Implement WalkSAT algorithm

Issue - State: open - Opened by dpalmasan about 2 years ago
Labels: good first issue, algorithm

#32 - [Chore] Remove typecheck bypass decorators and fix types

Issue - State: open - Opened by dpalmasan about 2 years ago
Labels: good first issue, ci-cd, chore

#31 - Fix broken build pipeline

Issue - State: closed - Opened by dpalmasan about 2 years ago
Labels: good first issue, ci-cd, chore

#30 - Optimize PL Resolution algorithm

Issue - State: open - Opened by dpalmasan about 2 years ago
Labels: enhancement

#29 - Define release process

Issue - State: open - Opened by dpalmasan over 2 years ago
Labels: documentation, config

#28 - Implement DPLL algorithm

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: propositional-logic

#27 - Add contribution guideliness and code of conduct (#21)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago - 1 comment

#26 - Implement A* search for Route Problem Considering Safe coordinates

Issue - State: closed - Opened by dpalmasan over 2 years ago - 1 comment

#25 - Implement converter to Conjunctive Normal Form for First Order Logic

Issue - State: open - Opened by dpalmasan over 2 years ago
Labels: first-order-logic

#24 - Implement Backward Chaining for Propositional Logic

Issue - State: open - Opened by dpalmasan over 2 years ago
Labels: good first issue, propositional-logic

#23 - Implement Forward Chaining Inference for Prop Logic

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: good first issue, propositional-logic

#22 - Add coverage report

Pull Request - State: closed - Opened by dpalmasan over 2 years ago - 1 comment

#21 - Add Contribution guidelines

Issue - State: closed - Opened by dpalmasan over 2 years ago - 1 comment
Labels: documentation

#20 - Update `README.md`

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: documentation

#19 - Add github actions for CI (#17)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago
Labels: config

#18 - First Order Logic Syntax

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: first-order-logic

#17 - Add github actions for PRs

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: config

#16 - Add implementation for pl-resolution (#12)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#16 - Add implementation for pl-resolution (#12)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#15 - Add parser from Clause to CNF clauses (#14)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#14 - Create a parser to convert a clause in CNF form into a set of `CnfClause`

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: knowledge-representation

#13 - Refactor `_distribute_clauses` method on `propositional.py`

Issue - State: closed - Opened by dpalmasan over 2 years ago - 1 comment

#12 - Implement pl-resolution algorithm

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: propositional-logic

#11 - Fix to_cnf bug with OR clause (#10)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#10 - Fix `to_cnf` conversion

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: bug

#9 - Add KB implementation (#6)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#8 - Implement Cnf class (#3)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#7 - Add initial tests to CNF converter (#5)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#6 - Implement KB class

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: knowledge-representation

#5 - Setup pytest and add tests for clauses in propositional logic

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: testing

#4 - Fix cnf algorithm and string rep (#1)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#3 - Implement CNF class

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: propositional-logic

#2 - Add first implementation of propositional logic (#1)

Pull Request - State: closed - Opened by dpalmasan over 2 years ago

#1 - Port code from ia-examples to python lib (propositional logic)

Issue - State: closed - Opened by dpalmasan over 2 years ago
Labels: propositional-logic

GitHub / dpalmasan/py-logic issues and pull requests