×

Found 18 Documents (Results 1–18)

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
PDFBibTeX XMLCite
Full Text: DOI

Measure logic. (English) Zbl 1148.68485

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, 128-138 (2007).
MSC:  68T27 68T37
PDFBibTeX XMLCite
Full Text: DOI

A logic with conditional probabilities. (English) Zbl 1111.68688

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 226-238 (2004).
MSC:  68T27 68T37 03B48
PDFBibTeX XMLCite
Full Text: DOI

An automated theorem prover for the probability logic LPP. (English) Zbl 1274.03041

Krapež, A. (ed.), A tribute to S. B. Prešić. Papers celebrating his 65th birthday. Beograd: Matematički Institut SANU. 79-83 (2001).
MSC:  03B48 03B35 68T15
PDFBibTeX XMLCite

A logic with higher order probabilities. (English) Zbl 1009.03513

Herceg, D. (ed.) et al., X conference on applied mathematics, PRIM ’95, Budva, Yugoslavia, May 29-31, 1995. Novi Sad: University of Novi Sad, Institute of Mathematics, Faculty of Science, 255-257 (1996).
MSC:  03B48 68T27
PDFBibTeX XMLCite

A logic for reasoning about probability. (English) Zbl 0863.03008

Herceg, D. (ed.) et al., IX conference on applied mathematics, Budva, Yugoslavia, May 30-June 1, 1994. Proceedings. Novi Sad: University of Novi Sad, 365-369 (1995).
MSC:  03B48 68T27
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field