.. Pyreason documentation master file, created by
   sphinx-quickstart on Sun Feb 25 20:15:52 2024.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to PyReason Docs!
====================================

.. image:: _static/pyreason_logo.jpg
   :alt: PyReason Logo
   :align: center

Introduction
------------
Welcome to the documentation for **PyReason**, a powerful, optimized Python tool for Reasoning over Graphs. PyReason supports a variety of Logics such as Propositional, First Order, Annotated. This documentation will guide you through the installation, usage and API.

.. toctree::
   :maxdepth: 1
   :caption: Contents:

   about
   installation
   key_concepts
   user_guide/index
   tutorials/index
   license



Getting Help
------------
If you encounter any issues or have questions, feel free to check our Github, or contact one of the authors (`daditya@syr.edu`, `kmukherj@syr.edu`).


Citing PyReason
---------------
If you use PyReason in your research, please cite the following paper:

.. code-block:: bibtex

    @inproceedings{aditya_pyreason_2023,
      title = {{PyReason}: Software for Open World Temporal Logic},
      booktitle = {{AAAI} Spring Symposium},
      author = {Aditya, Dyuman and Mukherji, Kaustuv and Balasubramanian, Srikar and Chaudhary, Abhiraj and Shakarian, Paulo},
      year = {2023}}


Indices and tables
==================

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`