LII-gruppen studerer grunnleggende prinsipper for representasjon av, og resonnering om, informasjon i datamaskinsystemer basert på symbolsk logikk, og anvendelser av disse. Ett fokus er på resonnering om endringer, f.eks. vha. av handlingslogikk, og spesielt på de logiske prinsippene for informasjonsendring. Sentralt er formalisering av interaksjon i systemer med flere autonome aktører (agenter). Aspekter ved interaksjon som det er interessant å formalisere er f.eks. de logiske prinsippene bak tillit, kunnskap (epistemisk logikk) og rasjonalitet. Aktuelle anvendelser finnes i sosial programvare, kunstig intelligens, multi-agent systemer, og programmeringsspråk.