×

Found 17 Documents (Results 1–17)

The logic of AGM learning from partial observations. (English) Zbl 1496.03123

Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 35-52 (2020).
PDFBibTeX XMLCite
Full Text: DOI

A dynamic logic for learning theory. (English) Zbl 1502.68283

Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 35-54 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Logic and topology for knowledge, knowability, and belief. Extended abstract. (English) Zbl 1484.03023

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, 88-101 (2017).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: arXiv Link

The topology of full and weak belief. (English) Zbl 1428.03046

Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 205-228 (2017).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: DOI

Announcement as effort on topological spaces. (English) Zbl 1483.68388

Ramanujam, R. (ed.), Proceedings of the fifteenth conference on theoretical aspects of rationality and knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4–6, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 283-297 (2016).
MSC:  68T27 03B42 68T30
PDFBibTeX XMLCite
Full Text: arXiv Link

Justified belief and the topology of evidence. (English) Zbl 1478.03022

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 83-103 (2016).
MSC:  03B42 54H99
PDFBibTeX XMLCite
Full Text: DOI

The topology of belief, belief revision and defeasible knowledge. (English) Zbl 1407.03017

Grossi, Davide (ed.) et al., Logic, rationality, and interaction. 4th international workshop, LORI 2013, Hangzhou, China, October 9–12, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8196, 27-40 (2013).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field