Research Software

Research software implementation

Prolog Logic Theory for Argumentative Reasoning here the code (2008), build with Prolog described in the thesis read more.

Nice example of Navigation Map here the demo (2008), build with Java applet, Prefuse and a Model to Model trasformation described in the article read more.

Simulation of Minority Game in TuCSoN read more.

Interpreter of a Process Algebra Specification build with Prolog Theory.