×

Found 269 Documents (Results 1–100)

A ring-based distributed algorithm for learning high-dimensional Bayesian networks. (English) Zbl 07897220

Bouraoui, Zied (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 17th European conference, ECSQARU 2023, Arras, France, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14294, 123-135 (2024).
MSC:  68T37
Full Text: DOI

On imperfect recall in multi-agent influence diagrams. (English) Zbl 07810615

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 201-220 (2023).
MSC:  68-XX 91-XX

A new score for adaptive tests in Bayesian and credal networks. (English) Zbl 07542357

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 399-412 (2021).
MSC:  68T37

Model checking finite-horizon Markov chains with probabilistic inference. (English) Zbl 1493.68210

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 577-601 (2021).
MSC:  68Q60 60J22 68Q87

Bayesian strategies: probabilistic programs as generalised graphical models. (English) Zbl 1473.68054

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 519-547 (2021).

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software