-
Technical University of Cluj-Napoca
- Cluj-Napoca
- https://users.utcluj.ro/~agroza/
Block or Report
Block or report APGroza
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
ontologies
ontologies PublicLearning Descritpion Logic by Engineering a Collaborative Ontology for COVID-19
-
-
logic-games
logic-games PublicContains the code from the book "Modelling logic games and puzzles in First Order Logic" https://link.springer.com/book/10.1007/978-3-030-62547-4
TeX
-
racer
racer PublicPython API for the RACER reasoner (https://www.ifis.uni-luebeck.de/index.php?id=385)
-
-
HRI-Quantifiers
HRI-Quantifiers PublicForked from StefanMorar/HRI-Quantifiers
Human-robot interaction in First Order Logic
Jupyter Notebook
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.