×

Found 5,241 Documents (Results 1–100)

Newest Citations Relevance
Cignarale, Giorgio; Kuznets, Roman; Rincon Galeana, Hugo; Schmid, Ulrich

Logic of communication interpretation: how to not get lost in translation. (English) Zbl 1540.68029

Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 119-136 (2023).
MSC:  68M14 03B42 03B70 68M15
Cite Review PDF
Full Text: DOI
OA License
Zhang, Zhizheng

Assumable logic programming. (English) Zbl 1535.68353

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 110-126 (2023).
MSC:  68T27 68N17 68T30
Cite Review PDF
Full Text: Link
Huang, Yini

A formalization of ‘ought not to know’ based on STIT logic. (English) Zbl 1535.68338

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 66-80 (2023).
MSC:  68T27 03B42 03B45
Cite Review PDF
Full Text: Link
Wang, Minkyung; Kim, Chisu

Aggregating credences into beliefs: agenda conditions for impossibility results (extended abstract). (English) Zbl 1541.03069

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 518-526 (2023).
MSC:  03B42 91B06
Cite Review PDF
Full Text: DOI arXiv
Proietti, Carlo; Velázquez-Quesada, Fernando R.; Yuste-Ginel, Antonio

An abstract look at awareness models and their dynamics. (English) Zbl 1541.03063

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 455-469 (2023).
MSC:  03B42
Cite Review PDF
Full Text: DOI arXiv
Papadamos, Panagiotis; Gierasimczuk, Nina

Cognitive bias and belief revision. (English) Zbl 1537.03011

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 441-454 (2023).
Reviewer: David Makinson (London)
MSC:  03B42
Cite Review PDF
Full Text: DOI arXiv
Miedema, Daniel; Gattinger, Malvin

Exploiting asymmetry in logic puzzles: using ZDDs for symbolic model checking dynamic epistemic logic. (English) Zbl 1541.68225

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 407-420 (2023).
MSC:  68Q60 03B42
Cite Review PDF
Full Text: DOI arXiv
Garapa, Marco; Ferme, Eduardo; Reis, Maurício D. L.

System of spheres-based two level credibility-limited revisions. (English) Zbl 1541.03055

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 287-298 (2023).
MSC:  03B42
Cite Review PDF
Full Text: DOI arXiv
Galimullin, Rustam; Kuijer, Louwe B.

Satisfiability of arbitrary public announcement logic with common knowledge is \(\Sigma^1_1\)-hard. (English) Zbl 1541.03054

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 260-271 (2023).
MSC:  03B42 03D15
Cite Review PDF
Full Text: DOI arXiv
Ding, Yiwen; Manoorkar, Krishna; Tzimoulis, Apostolos; Wang, Ruoding; Wang, Xiaolong

Causal Kripke models. (English) Zbl 1541.03053

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 185-200 (2023).
MSC:  03B42
Cite Review PDF
Full Text: DOI arXiv
Castañeda, Armando; van Ditmarsch, Hans; Rosenblueth, David A.; Velázquez, Diego A.

Comparing the update expressivity of communication patterns and action models. (English) Zbl 1541.03051

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 157-172 (2023).
MSC:  03B42
Cite Review PDF
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software