Zobrazeno 1 - 10
of 4 832
pro vyhledávání: '"Grant, John"'
We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existing inconsistency measures for classical logic cannot provide a meaningf
Externí odkaz:
http://arxiv.org/abs/2206.07080