×

Found 522 Documents (Results 1–100)

100
MathJax

Generalized rules of probabilistic independence. (English) Zbl 07542370

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, 590-602 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

On the KLM properties of a fuzzy DL with typicality. (English) Zbl 07542368

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, 557-571 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bayesian networks for the test score prediction: a case study on a math graduation exam. (English) Zbl 07542347

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, 255-267 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Persuasive contrastive explanations for Bayesian networks. (English) Zbl 07542345

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, 229-242 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model. (English) Zbl 07437044

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 225-242 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fast tests for probing the causal structure of quantum processes. (English) Zbl 1471.81015

Paranjape, M. B. (ed.) et al., Quantum theory and symmetries. Proceedings of the 11th international symposium, Montréal, Canada, July 1–5, 2019. Cham: Springer. CRM Ser. Math. Phys., 617-632 (2021).
MSC:  81P50 62D20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Algebraic Bayesian networks: checking backbone connectivity. (English. Russian original) Zbl 1481.68038

Vestn. St. Petersbg. Univ., Math. 54, No. 2, 187-195 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 2, 305-316 (2021).
PDF BibTeX XML Cite
Full Text: DOI

A unified algebraic framework for non-monotonicity. (English) Zbl 07450027

Moss, Lawrence S. (ed.), Proceedings of the seventeenth conference on theoretical aspects of rationality and knowledge, TARK 2019, Toulouse, France, July 17–19, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 297, 155-174 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: arXiv Link

Order-independent structure learning of multivariate regression chain graphs. (English) Zbl 1440.68217

Ben Amor, Nahla (ed.) et al., Scalable uncertainty management. 13th international conference, SUM 2019, Compiègne, France, December 16–18, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11940, 324-338 (2019).
MSC:  68T05
PDF BibTeX XML Cite
Full Text: DOI arXiv

The hidden elegance of causal interaction models. (English) Zbl 1440.68297

Ben Amor, Nahla (ed.) et al., Scalable uncertainty management. 13th international conference, SUM 2019, Compiègne, France, December 16–18, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11940, 38-51 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI Link

On converting sum-product networks into Bayesian networks. (English) Zbl 1454.68136

Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 329-334 (2017).
MSC:  68T07 62H22
PDF BibTeX XML Cite
Full Text: DOI

Resolving inconsistencies of scope interpretations in sum-product networks. (English) Zbl 1454.68137

Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 305-315 (2017).
MSC:  68T07 62H30
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic TCP-net. (English) Zbl 1454.68143

Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 293-304 (2017).
MSC:  68T37 68U35
PDF BibTeX XML Cite
Full Text: DOI

Metaheuristics for score-and-search Bayesian network structure learning. (English) Zbl 1441.68228

Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 129-141 (2017).
MSC:  68T20 62H22 68T05
PDF BibTeX XML Cite
Full Text: DOI

A formal semantics of influence in Bayesian reasoning. (English) Zbl 1441.68253

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 21, 14 p. (2017).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software