- Vienna, Austria
Block or Report
Block or report anaolicosta
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
ontop
ontop PublicForked from ontop/ontop
Ontop's OWL API implementation using Ontop's TBox Reasoning based on Directed Acyclic Graphs (DAG).
Java 1
-
MonadicWCS
MonadicWCS PublicImplementation of syllogistic reasoning using a new cognitive theory based on the Weak Completion Semantics.
Java
-
SyllogismsToLatex
SyllogismsToLatex PublicPython script to create a latex file with results of syllogistic reasoning using Weak Completion Semantics.
Python
-
CrossroadNuSMV
CrossroadNuSMV PublicNuSMV models for traffic lights controlling a crossing of two one-way roads.
If the problem persists, check the GitHub status page or contact support.