×

Found 77 Documents (Results 1–77)

A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 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. 12650, 551-571 (2021).
MSC:  68Nxx 68Qxx
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

Constructing Markov logic networks from first-order default rules. (English) Zbl 1347.68333

Inoue, Katsumi (ed.) et al., Inductive logic programming. 25th international conference, ILP 2015, Kyoto, Japan, August 20–22, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-40565-0/pbk; 978-3-319-40566-7/ebook). Lecture Notes in Computer Science 9575. Lecture Notes in Artificial Intelligence, 91-105 (2016).
MSC:  68T37 68T05 68T30
PDF BibTeX XML Cite
Full Text: DOI Link

Probabilistic logic over paths. (English) Zbl 1286.03074

Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 79-96 (2008).
MSC:  03B45 03B48
PDF BibTeX XML Cite
Full Text: DOI

The probability nesting game. (English) Zbl 1270.03050

Nestmann, Uwe (ed.) et al., EXPRESS’02. Papers from the 9th international workshop on expressiveness in concurrency, Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 2, 4-14 (2002).
MSC:  03B70
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