Johannes Svante Spurkeland

Learn More
Theatrical performances usually follow strict scripts and actors are not allowed to deviate. A Danish theatrical group, Theater 770 • Celsius, has invented a new method called In Real Life, in which only certain events in the storyline are specified and the actors are supposed to improvise to reach these events. The method bears a resemblance to multi-agent(More)
In classical logic everything follows from inconsistency. A paraconsistent logic is a logic where we can have inconsistency but get something more limited and useful. Since consistency is difficult to guarantee in many situations, the potential applications of paraconsistent logics in knowledge bases are many. Work based on bilattices is considered, and a(More)
  • 1