Probabilistic role models and the guarded fragment

Manfred Jaeger

Probabilistic role models and the guarded fragment

Manfred Jaeger

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

4 Citationer (Scopus)

Abstrakt

Udgivelsesdato: FEB

Originalsprog	Engelsk
Tidsskrift	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Vol/bind	14
Udgave nummer	1
Sider (fra-til)	43-59
Antal sider	17
ISSN	0218-4885
Status	Udgivet - 2006

Citationsformater

@article{0116fda0a4c811dbb8eb000ea68e967b,

title = "Probabilistic role models and the guarded fragment",

abstract = "We propose a uniform semantic framework for interpreting probabilistic concept subsumption and probabilistic role quantification through statistical sampling distributions. This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic. A characterization of equivalence in that logic in terms of bisimulations is given.",

author = "Manfred Jaeger",

year = "2006",

language = "English",

volume = "14",

pages = "43--59",

journal = "International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems",

issn = "0218-4885",

publisher = "World Scientific",

number = "1",

}

TY - JOUR

T1 - Probabilistic role models and the guarded fragment

AU - Jaeger, Manfred

PY - 2006

Y1 - 2006

N2 - We propose a uniform semantic framework for interpreting probabilistic concept subsumption and probabilistic role quantification through statistical sampling distributions. This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic. A characterization of equivalence in that logic in terms of bisimulations is given.

AB - We propose a uniform semantic framework for interpreting probabilistic concept subsumption and probabilistic role quantification through statistical sampling distributions. This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic. A characterization of equivalence in that logic in terms of bisimulations is given.

M3 - Journal article

VL - 14

SP - 43

EP - 59

JO - International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

JF - International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

SN - 0218-4885

IS - 1

ER -

Probabilistic role models and the guarded fragment

Abstrakt

Fingeraftryk

Citationsformater