×

Found 79 Documents (Results 1–79)

100
MathJax

A formal approach to the problem of logical non-omniscience. (English) Zbl 1483.68377

Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 221-235 (2017).
MSC:  68T27 91B24
PDF BibTeX XML Cite
Full Text: arXiv Link

Instantial relevance in polyadic inductive logic. (English) Zbl 1203.03031

Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 162-169 (2009).
MSC:  03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI

Language invariance and spectrum exchangeability in inductive logic. (English) Zbl 1148.03320

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, 151-160 (2007).
MSC:  03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI Link

Infinitary logic for computer science. (English) Zbl 1427.03049

Kuich, Werner (ed.), Automata, languages and programming. 19th international colloquium, Wien, Austria, July 13–17, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 623, 450-473 (1992).
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

Classification

all top 3

Software