Home

Projects

About

Contact

Projects of the AuraLab

Reasoning with vagueness

This project formilises vague reasoning inside Lukasiewicz logic.

Here you can have a look at the code.

Here you can see how the implementation works (when the hosting is activated).

Reasoning with uncertainty

This project formalises uncertain reasoning combining (multis-sorted) algebraic tools, MV-algebras and states.

Here you can have a look at the code.

Automated reasoning in the variety of iRigs

This project aims at investigating the class of iRigs using tools such as Vampire, Prover9 and Mace4.

Here you can have a look at the code.