×

Found 222 Documents (Results 1–100)

Adding proof calculi to epistemic logics with structured knowledge. (English) Zbl 1496.68309

Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 53-68 (2021).
MSC:  68T27 03B42 68T30
PDF BibTeX XML Cite
Full Text: DOI

Sensitivity statistical estimates for local a posteriori inference matrix-vector equations in algebraic Bayesian networks over quantum propositions. (English. Russian original) Zbl 1448.68432

Vestn. St. Petersbg. Univ., Math. 51, No. 1, 42-48 (2018); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 5(63), No. 1, 55-64 (2018).
MSC:  68T37 62F15 62H22
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy. (English) Zbl 1366.68293

Schockaert, Steven (ed.) et al., Scalable uncertainty management. 10th international conference, SUM 2016, Nice, France, September 21–23, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-45855-7/pbk; 978-3-319-45856-4/ebook). Lecture Notes in Computer Science 9858. Lecture Notes in Artificial Intelligence, 246-259 (2016).
MSC:  68T27 68T30 68T37
PDF BibTeX XML Cite
Full Text: DOI arXiv

A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics. (English) Zbl 1483.68408

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 369-384 (2016).
MSC:  68T37 68N17
PDF BibTeX XML Cite
Full Text: DOI

Matrix equations for normalizing factors in local a posteriori inference of truth estimates in algebraic Bayesian networks. (English. Russian original) Zbl 1370.68281

Vestn. St. Petersbg. Univ., Math. 48, No. 3, 168-174 (2015); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2(60), No. 3, 379-386 (2015).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Towards lifted inference under maximum entropy for probabilistic relational FO-PCL knowledge bases. (English) Zbl 1465.68234

Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 506-516 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Coincidence of the sets of minimal and irreducible join graphs over primary structure of algebraic Bayesian networks. (English. Russian original) Zbl 1335.68258

Vestn. St. Petersbg. Univ., Math. 45, No. 2, 106-113 (2012); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2012, No. 2, 65-74 (2012).
MSC:  68T30 68T37 05C90
PDF BibTeX XML Cite
Full Text: DOI

A hybrid method for probabilistic satisfiability. (English) Zbl 1341.68191

Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 354-368 (2011).
MSC:  68T15 03B48 68T20 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI

Using histograms to better answer queries to probabilistic logic programs. (English) Zbl 1251.68052

Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 40-54 (2009).
MSC:  68N17 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Qualitative possibilities and necessities. (English) Zbl 1245.68219

Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 651-662 (2009).
MSC:  68T37 68T27
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software