Search, Knowledge, Uncertainty, Optimization, Learning, Neural Networks and Language.
-
Updated
May 24, 2024 - Python
Search, Knowledge, Uncertainty, Optimization, Learning, Neural Networks and Language.
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, and Weighted Tsetlin Machine, with support for continuous features, drop clause, Type III Feedback, focused negative sampling, multi-task classifier, autoencoder, literal budget, and one-vs-one multi-class classifier. TMU is writ…
A computer algebra system for propositional logic
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
A set of tools for analyzing languages via logic and automata
Python library for computational formal logic, formal semantics, and theorem proving
Code and datasets for the Tsetlin Machine
A Logic of Relational Propositions
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Knowledge Management and Reasoning Course (2023-2024)
Pravda is a tool for teaching formal logic.
Educational propositional logic tool for producing truth tables and checking logical properties.
Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget
He Reiter, Ho Reiter, He Reiter, Immer weiter!
An inclusive Minecraft Education DGBL-environment for learning propositional logic
🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!
This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.
Add a description, image, and links to the propositional-logic topic page so that developers can more easily learn about it.
To associate your repository with the propositional-logic topic, visit your repo's landing page and select "manage topics."