Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for python first order logic
first-order-logic
x
python
x
11 search results found
Pyprover
⭐
79
Resolution theorem proving for predicate logic in pure Python.
Tarski
⭐
43
Tarski - An AI Planning Modeling Framework
Layer_augmentation
⭐
23
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
Consistency
⭐
19
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Paruluniversityai
⭐
18
Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose
Pypl
⭐
12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Psitip
⭐
12
Python Symbolic Information Theoretic Inequality Prover
Nqe
⭐
11
Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs" (AAAI 2023).
Ad Caspar
⭐
6
Python implementation of AD-Caspar (Abductive-Deductive Cognitive Architecture System Planned and Reactive)
Amr Logic Converter
⭐
5
Convert Abstract Meaning Representation (AMR) into first-order logic
The Buendia Tree
⭐
5
Apply First order logic on extended kinship domain problem.
Related Searches
Python Django (28,897)
Python Machine Learning (20,195)
Python Flask (17,643)
Python Dataset (14,792)
Python Docker (14,113)
Python Tensorflow (13,736)
Python Deep Learning (13,092)
Python Jupyter Notebook (12,976)
Python Algorithms (10,033)
Python Natural Language Processing (9,064)
1-11 of 11 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.