𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Probabilistic logic under coherence: complexity and algorithms

✍ Scribed by Veronica Biazzo; Angelo Gilio; Thomas Lukasiewicz; Giuseppe Sanfilippo


Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
555 KB
Volume
45
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Cumulative default logic: Finite charact
✍ Georg Gottlob; Mingyi Zhang πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 959 KB

Brewka's Cumulative Default Logic (CDL), a new version of Reiter's default logic, puts emphasis on the joint consistency among the justifications of all applied defaults to obtain cumulativity. In this paper, a finite characterization of CDL extensions using sets of generating defaults is given. Fro