Hjem
Click

Logikk, informasjon og interaksjon

lii

LII-gruppen har tre faste medlemmer:

Vi studerer grunnleggende prinsipper for representasjon av, og resonnering om, informasjon i datamaskinsystemer.  Aktuelle anvendelser finnes i sosial programvare, kunstig intelligens, multi-agent systemer, og programmeringsspråk.

Postdoc: Truls PedersenLubos SteskalMarija Slavkovik

PhD Studenter: Samia Touileb, Zuojun Xiong 

Våren 2017 vi underviser:  INFO102, INFO207, INFO282, INFO381, INFO382

Siste foredrag av medlemmer:

  1. Marija Slavkovik. "Manipulation in Judgment Aggregation", 2017-01-12, The Invention of Lying: Language, Logic & Cognition, Lorentz Center, International center for scientific workshops.

  2. Truls Pedersen and Lubos Steskal. "How to draw your curtains in the 21st century. Basic Internet surveillance techniques", 2017-12-16, Department of Information Science and Media Studies Christmas Seminar

  3.  Zuojun Xiong. "A Logic of Arbitrary Multicast-messages in Social Networks", 2016-11-11 LogiCIC Workshop, Amsterdam, The Netherlands

  4. Thomas Agotnes, "Reasoning about LocalBroadcast Messages in Social Networks," 2016-10-28, Hokkaido University