×

Found 19 Documents (Results 1–19)

The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. (English) Zbl 1406.03005

Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 405-424 (2018).
MSC:  03-03 03A05 01A60
PDFBibTeX XMLCite
Full Text: DOI

Non-commutative quantales for many-valuedness in applications. (English) Zbl 1452.03131

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 437-449 (2016).
MSC:  03F07 03B50
PDFBibTeX XMLCite
Full Text: DOI

Logical compilation of Bayesian networks with discrete variables. (English) Zbl 1148.68540

Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 536-547 (2007).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software