×

Found 374 Documents (Results 1–100)

100
MathJax

An introduction to Kolmogorov complexity and its applications. 4th revised and enhanced edition. (English) Zbl 1423.68005

Texts in Computer Science. Cham: Springer (ISBN 978-3-030-11297-4/hbk; 978-3-030-11298-1/ebook). xxii, 834 p. (2019).
MSC:  68-01 68-02 68Q30
PDF BibTeX XML Cite
Full Text: DOI

Generalized Jeffrey conditionalization. A frequentist semantics of partial conditionalization. (English) Zbl 1382.68006

SpringerBriefs in Computer Science. Cham: Springer (ISBN 978-3-319-69867-0/pbk; 978-3-319-69868-7/ebook). x, 106 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

A first-order logic for reasoning about higher-order upper and lower probabilities. (English) Zbl 06769624

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 491-500 (2017).
MSC:  03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI

Probability logics. Probability-based formalization of uncertain reasoning. (English) Zbl 1371.03001

Cham: Springer (ISBN 978-3-319-47011-5/hbk; 978-3-319-47012-2/ebook). xi, 215 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Solomonoff induction violates Nicod’s criterion. (English) Zbl 1388.68142

Chaudhuri, Kamalika (ed.) et al., Algorithmic learning theory. 26th international conference, ALT 2015, Banff, AB, Canada, October 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24485-3/pbk; 978-3-319-24486-0/ebook). Lecture Notes in Computer Science 9355. Lecture Notes in Artificial Intelligence, 349-363 (2015).
MSC:  68Q30 03B48
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Lossy inference rules and their bounds: a brief review. (English) Zbl 1376.03022

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 385-407 (2015).
MSC:  03B48 03B05 03B60
PDF BibTeX XML Cite
Full Text: DOI

Inductive learning of answer set programs. (English) Zbl 1432.68391

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 311-325 (2014).
MSC:  68T05 68N17
PDF BibTeX XML Cite
Full Text: DOI Link

The semimeasure property of algorithmic probability – “feature” or “bug”? (English) Zbl 1401.60005

Dowe, David L. (ed.), Algorithmic probability and friends. Bayesian prediction and artificial intelligence. Papers from the Ray Solomonoff 85th memorial conference, Melbourne, VIC, Australia, November 30 – December 2, 2011. Berlin: Springer (ISBN 978-3-642-44957-4/pbk). Lecture Notes in Computer Science 7070. Lecture Notes in Artificial Intelligence, 79-90 (2013).
MSC:  60A99 68Q30 68T05
PDF BibTeX XML Cite
Full Text: DOI

Probabilistic reasoning with incomplete and inconsistent beliefs. (English) Zbl 1282.68009

DISKI. Dissertationen zur Künstlichen Intelligenz 336. Berlin: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press; Dortmund: TU Dortmund (Diss. 2011) (ISBN 978-3-89838-336-3; 978-1-60750-960-8). xiv, 336 p. (2012).
PDF BibTeX XML Cite

Reasoning by analogy in inductive logic. (English) Zbl 1262.03039

Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 63-75 (2012).
MSC:  03B48
PDF BibTeX XML Cite

Abduction in annotated probabilistic temporal logic. (English) Zbl 1245.68056

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 240-250, electronic only (2011).
MSC:  68N17 03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Probabilistic rule learning in nonmonotonic domains. (English) Zbl 1348.68188

Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 243-258 (2011).
MSC:  68T05 68N17 68Q87
PDF BibTeX XML Cite
Full Text: DOI

A bridge between probability and possibility in a comparative framework. (English) Zbl 1341.68242

Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 557-568 (2011).
MSC:  68T37 03B48 60B99
PDF BibTeX XML Cite
Full Text: DOI

Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English) Zbl 1214.68125

Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011).
PDF BibTeX XML Cite

Abductive inference in probabilistic logic programs. (English) Zbl 1237.68050

Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 192-201, electronic only (2010).
MSC:  68N17 03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions. (English) Zbl 1237.68049

Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 162-171, electronic only (2010).
MSC:  68N17 03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Inductive logic programming as abductive search. (English) Zbl 1237.68203

Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 54-63, electronic only (2010).
MSC:  68T27 68T05 68N17
PDF BibTeX XML Cite
Full Text: DOI Link

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