Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
Emilio Muñoz-Velasco
Video in druga učna gradiva
Oznake:
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of closeness and distance is introduced in this paper. In doing this, we use some of the advantages of PDL: firstly, we exploit t ...
Leto: 2009 Vir: videolectures.net
Št. zadetkov: 1
Leto izdaje:
Repozitorij:
Tipologija:
Jezik: