Coalgebraic Semantics for Probabilistic Logic Programming

Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper proposes a coalgebraic semantics on probabili...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Tao Gu, Fabio Zanasi
Formáid: Alt
Teanga:English
Foilsithe / Cruthaithe: Logical Methods in Computer Science e.V. 2021-04-01
Sraith:Logical Methods in Computer Science
Ábhair:
Rochtain ar líne:https://lmcs.episciences.org/6967/pdf