|zpravodaj ČSKI - leden 2013 [ pdf ]|
datum: 30.1.2013 v 14:00
název: A language with a constructive semantics for specifying Kripke structures
přednášející: Radim Nedbal (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn: We introduce a declarative language that not only facilitates efficient representation of Kripke structures but also takes into account background information represented as a database instance. The language is defined semantically so that any set of formulae has at least one model. Most importantly, these models have a compact representation that can be computed efficiently.