×

Found 4 Documents (Results 1–4)

100
MathJax

Probabilistic inference and monadic second order logic. (English) Zbl 1362.68098

Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 43-56 (2012).
MSC:  68Q25 03B15 68Q10 68R10
PDF BibTeX XML Cite
Full Text: DOI

Logical deduction using the local computation framework. (English) Zbl 0934.03018

Hunter, Anthony (ed.) et al., Symbolic and quantitative approaches to reasoning and uncertainty. European conference, ECSQARU ‘99. London, GB, July 5-9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1638, 386-396 (1999).
MSC:  03B35 68T37 68T15 68T27
PDF BibTeX XML Cite

Decomposable probabilistic influence diagrams. (English) Zbl 0766.60012

Reliability of computer and communication networks, Proc. Workshop, New Brunswick, NJ/USA 1989, DIMACS Ser. Discret. Math. Theor. Comput. Sci. 5, 79-90 (1991).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Year of Publication

all top 3

Classification