Software
- SLDNF Draw
- Software to draw SLDNF trees in LaTeX
- SLDNF Draw
- WRONoC optimization
- Software to optimize Wavelength-Routed Optical Networks on Chip
- The SCIFF Abductive Proof-Procedure
- An Abdutcive Logic Programming proof-procedure featuring constraints and deontic reasoning
- Valve Placement in Hydraulic networks
- Solvers based on CLP(FD) and on ASP to solve the valve placement problem
- ePolicy demo
