×

Found 636 Documents (Results 1–100)

100
MathJax

Computational intelligence. A methodological introduction. With contributions from Frank Klawonn and Christian Moewes. 3rd edition. (English) Zbl 07469685

Texts in Computer Science. Cham: Springer (ISBN 978-3-030-42226-4/hbk; 978-3-030-42229-5/pbk; 978-3-030-42227-1/ebook). xiv, 639 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Interpreting connexive principles in coherence-based probability logic. (English) Zbl 07542376

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

Iterated conditionals and characterization of P-entailment. (English) Zbl 07542373

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

A probabilistic deontic logic. (English) Zbl 07542372

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

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

Trust evidence logic. (English) Zbl 07542369

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

Cautious classification with data missing not at random using generative random forests. (English) Zbl 07542349

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

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

Argument strength in probabilistic argumentation using confirmation theory. (English) Zbl 07542334

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

Mining incomplete data using global and saturated probabilistic approximations based on characteristic sets and maximal consistent blocks. (English) Zbl 1495.68192

Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 3-17 (2021).
MSC:  68T05 68T37
PDF BibTeX XML Cite
Full Text: DOI

Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038

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, 404-431 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Imitation learning as \(f\)-divergence minimization. (English) Zbl 1469.68090

Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 313-329 (2021).
MSC:  68T05 90C40 94A17
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

Probabilistic graphical models. Principles and applications. 2nd updated edition. (English) Zbl 1453.68001

Advances in Computer Vision and Pattern Recognition. Cham: Springer (ISBN 978-3-030-61942-8/hbk; 978-3-030-61945-9/pbk; 978-3-030-61943-5/ebook). xxviii, 355 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic and more general uncertainty-based (e.g., fuzzy) approaches to crisp clustering explain the empirical success of the K-sets algorithm. (English) Zbl 1484.68249

Shahbazova, Shahnaz N. (ed.) et al., Recent developments in fuzzy logic and fuzzy sets. Dedicated to Lotfi A. Zadeh. Cham: Springer. Stud. Fuzziness Soft Comput. 391, 61-80 (2020).
MSC:  68T37 62H30
PDF BibTeX XML Cite
Full Text: DOI Link

Bayesian inference by symbolic model checking. (English) Zbl 1483.68204

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 115-133 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Abstract argumentation with Markov networks. (English) Zbl 1464.68370

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 865-872 (2020).
MSC:  68T27 62H22 68T37
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic measures and integrals: how to aggregate imprecise data. (English) Zbl 1478.68370

Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 17th international conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12256, 78-91 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Guaranteed nonlinear parameter estimation with additive Gaussian noise. (English) Zbl 07285518

Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 341-357 (2020).
MSC:  68T37 65-00
PDF BibTeX XML Cite
Full Text: DOI HAL

Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 122-139 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Towards a standard completeness for a probabilistic logic on infinite-valued events. (English) Zbl 07170150

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 397-407 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Probabilistic logic for reasoning about actions in time. (English) Zbl 07170149

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 385-396 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

A model-based theorem prover for epistemic graphs for argumentation. (English) Zbl 07170122

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 50-61 (2019).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Causal inference by string diagram surgery. (English) Zbl 07158705

Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 313-329 (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Poster abstract: Predictive monitoring for signal temporal logic with probabilistic guarantees. (English) Zbl 07120166

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 266-267 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Learning effect axioms via probabilistic logic programming. (English) Zbl 1428.68286

Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 8, 15 p. (2018).
MSC:  68T27 68N17 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