Ana Oliveira da Costa (anaolicosta)

anaolicosta

Geek Repo

Location:Vienna, Austria

Github PK Tool:Github PK Tool

Ana Oliveira da Costa's repositories

ontop

Ontop's OWL API implementation using Ontop's TBox Reasoning based on Directed Acyclic Graphs (DAG).

Language:JavaLicense:Apache-2.0Stargazers:1Issues:1Issues:0

CrossroadNuSMV

NuSMV models for traffic lights controlling a crossing of two one-way roads.

Stargazers:0Issues:1Issues:0

MonadicWCS

Implementation of syllogistic reasoning using a new cognitive theory based on the Weak Completion Semantics.

Language:JavaStargazers:0Issues:1Issues:0

SyllogismsToLatex

Python script to create a latex file with results of syllogistic reasoning using Weak Completion Semantics.

Language:PythonStargazers:0Issues:1Issues:0