Research
ICR is active in several strongly interrelated areas, notably
- Normative multi-agent systems and deontic reasoning
- Autonomous intelligent agents and their cognitive dynamics
- Agreement technologies and computational social choice
- Logic-based knowledge representation and nonmonotonic reasoning
The focus is on innovative formal techniques, whether with near-term
practical applications or with inspiring visionary potential. The projects
are supplemented and supported by cross-topical and preparatory research activities, as well as by diverse forms of international collaboration.
Current/recent projects
- SGAMES (FNR-CORE) : Security Games
- MARCO (FNR-CORE) : Managing Regulatory Compliance: a Business-Centred Approach
- LAAMI (FNR-CORE) : Logical Analysis of Market Irrationality
- DYNARG (FNR-INTER/CNRS) : Dynamics of Argumentation
- LINMAS (UL-POSTDOC) : Logics Integrated for Normative Multi-Agent Systems
- TRUSTGAMES (AFR-POSTDOC) : Trust Games
- CFAEMM (AFR-POSTDOC) : A Computational Framework for Apprehending Evolving Malware and Malware Engineers
- CDL (ERCIM-POSTDOC) : Argument-based Contextual Defeasible Reasoning
- ICR (UL-PHD) : Individual and Collective Reasoning
- AASTM (UL-PHD) : Argumentation Techniques for Trust Management
- LOSEC (AFR-PHD) : Logics for Security
- PRADY (UL-PHD) : Probabilistic Argumentation Theory and its Dynamics
- PROCROB (AFR-PHD) : Programming Cognitive Robotics
Some projects collaborate with other groups.
Collaboration
