Pinned Repositories
ahyper24
Asynchronous Hyperproperties: From Theory to Practice (2024)
CrossroadNuSMV
NuSMV models for traffic lights controlling a crossing of two one-way roads.
MonadicWCS
Implementation of syllogistic reasoning using a new cognitive theory based on the Weak Completion Semantics.
ontop
Ontop's OWL API implementation using Ontop's TBox Reasoning based on Directed Acyclic Graphs (DAG).
SyllogismsToLatex
Python script to create a latex file with results of syllogistic reasoning using Weak Completion Semantics.
anaolicosta's Repositories
anaolicosta/ontop
Ontop's OWL API implementation using Ontop's TBox Reasoning based on Directed Acyclic Graphs (DAG).
anaolicosta/CrossroadNuSMV
NuSMV models for traffic lights controlling a crossing of two one-way roads.
anaolicosta/MonadicWCS
Implementation of syllogistic reasoning using a new cognitive theory based on the Weak Completion Semantics.
anaolicosta/SyllogismsToLatex
Python script to create a latex file with results of syllogistic reasoning using Weak Completion Semantics.
anaolicosta/anaolicosta.github.io