Several lines of research in the area of Knowledge Representation and Reasoning are pursued by different groups in the Lab.

The research is mainly concerned with the formal foundations for Defeasible Reasoning in Autonomous Agents. This research has produced, among other results, a logic programming system called DeLP (Defeasible Logic Programming) which is fully implemented and accessible at http://lidia.cs.uns.edu.ar/DeLP.

Click on the left menu to know more about our activities!