Ana Oliveira da Costa's repositories
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.
SyllogismsToLatex
Python script to create a latex file with results of syllogistic reasoning using Weak Completion Semantics.