GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → aig-upf → tarski

aig-upf / tarski

Licence: Apache-2.0 License
Tarski - An AI Planning Modeling Framework

Programming Languages

python
139335 projects - #7 most used programming language
Jupyter Notebook
11667 projects
ANTLR
299 projects

Labels

first-order-logicstripsautomated-planningfunctional-strips

Projects that are alternatives of or similar to tarski

TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Stars: ✭ 20 (-33.33%)
Mutual labels:  first-order-logic
lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
Stars: ✭ 22 (-26.67%)
Mutual labels:  first-order-logic
Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (+253.33%)
Mutual labels:  first-order-logic
consistency
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Stars: ✭ 26 (-13.33%)
Mutual labels:  first-order-logic
pyprover
Resolution theorem proving for predicate logic in pure Python.
Stars: ✭ 71 (+136.67%)
Mutual labels:  first-order-logic
LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Stars: ✭ 16 (-46.67%)
Mutual labels:  first-order-logic
first order logic prover
No description or website provided.
Stars: ✭ 52 (+73.33%)
Mutual labels:  first-order-logic

Tarski - An AI Planning Modeling Framework

Build Status Documentation Status codecov PyPI - Python Version PyPI

What is Tarski

Tarski is a framework for the specification, modeling and manipulation of AI planning problems. Tarski is written in Python and includes parsers for major modeling languages (e.g., PDDL, FSTRIPS, RDDL), along with modules to perform other common tasks such as logical transformations, reachability analysis, grounding of first-order representations and problem reformulations.

Installation: Check the installation instructions.

Documentation: Read the documentation of the project.

Testing: Most tests can be run by executing pytest on the root directory. Alternatively, they can be run through tox, for which several testing environments are defined.

License

Tarski is licensed under the Apache-2.0 License.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].