Theo dõi
Lawrence S. Moss
Lawrence S. Moss
Professor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, Philosophy
Email được xác minh tại indiana.edu - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
The logic of public announcements, common knowledge, and private suspicions
A Baltag, LS Moss, S Solecki
Readings in Formal Epistemology: Sourcebook, 773-812, 2016
10762016
Vicious circles: on the mathematics of non-wellfounded phenomena
J Barwise, L Moss
Center for the Study of Language and Information, 1996
8171996
Logics for epistemic programs
A Baltag, LS Moss
Synthese 139, 165-224, 2004
5762004
Coalgebraic logic
LS Moss
Annals of Pure and Applied Logic 96 (1-3), 277-317, 1999
4471999
Topological reasoning and the logic of knowledge
A Dabrowski, LS Moss, R Parikh
Annals of Pure and Applied Logic 78 (1-3), 73-110, 1996
1771996
The logic of common knowledge, public announcements, and private suspicions
A Baltag, LS Moss, S Solecki
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and …, 1998
1671998
Probing natural language inference models through semantic fragments
K Richardson, H Hu, L Moss, A Sabharwal
Proceedings of the AAAI conference on artificial intelligence 34 (05), 8713-8721, 2020
1552020
Hypersets
J Barwise, L Moss
The Mathematical Intelligencer 13, 31-41, 1991
1381991
Topological Reasoning and The Logic of Knowledge.
LS Moss, R Parikh
TARK 92, 95-105, 1992
1371992
Generalized quantifiers and the expressive power of natural language
EL Keenan, L Moss
Generalized Quantifiers, Foris, Dordrecht, 73-124, 1985
1311985
Situation theory
J Seligman, LS Moss
Handbook of logic and language, 239-309, 1997
1271997
The undecidability of iterated modal relativization
JS Miller, LS Moss
Studia Logica 79, 373-407, 2005
1092005
Ocnli: Original chinese natural language inference
H Hu, K Richardson, L Xu, L Li, S Kübler, LS Moss
arXiv preprint arXiv:2010.05444, 2020
1062020
Logics for the relational syllogistic
I Pratt-Hartmann, LS Moss
The Review of Symbolic Logic 2 (4), 647-683, 2009
982009
Epistemic logic and information update
A Baltag, H van Ditmarsch, LS Moss
Handbook on the Philosophy of Information, 361-456, 2008
952008
Parametric corecursion
LS Moss
Theoretical Computer Science 260 (1-2), 139-163, 2001
952001
Recent progress on monotonicity
TF Icard III, LS Moss
Linguistic Issues in Language Technology 9, 167–194-167–194, 2014
882014
Topology and epistemic logic
R Parikh, LS Moss, C Steinsvold
Handbook of spatial logics, 299-341, 2007
862007
Harsanyi type spaces and final coalgebras constructed from satisfied theories
LS Moss, ID Viglizzo
Electronic notes in theoretical computer science 106, 279-295, 2004
862004
Completeness theorems for syllogistic fragments
LS Moss
Logics for linguistic structures 29, 143-173, 2008
802008
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20