wjdanalharthi/First-order-Logic-resolution

Stars
2
Language
Julia
Created about 5 years ago
Updated about 5 years ago

wjdanalharthi/First-order-Logic-resolution

wjdanalharthi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

this project implements a First-order Logic resolution program. That includes a Parser, CNF and Skolemization conversions, and Unification.

GeoJSON-of-Saudi-Arabia-Regions

A script that builds a GeoJSON of Saudi Arabia goveranates with an demostration.

Jupyter Notebook

MENA_GeoJSON

composing a database of MENA countries and their regions/states/provinces boundries in GeoJSON

Twitter-Uber-Sentimental-Analysis

Use R to acquire, explore, clean and organize data. Use R packages to manipulate and analyze data. Present results with tables, plots, and interactive graphics. Produce documents, presentations, and web pages