Concepedia

Lawrence S. Moss

LS

Statistics

Publications

43

Citations

1.9K

H-Index

23

Active since

1978

Affiliations

Indiana University Bloomington(Current)

Indiana University

Friedrich-Alexander-Universität Erlangen-Nürnberg

Allen Institute for Artificial Intelligence

Technische Universität Braunschweig

Lawrence S. Moss is an author at Indiana University Bloomington specializing in engineering, automated reasoning, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsLanguageSemanticsLinguisticsComputer ScienceFormal VerificationComputational LinguisticsNatural Language Processing

Publications per year

1978–2021

43

Publications

43

Logics for Epistemic Programs

Alexandru Baltag, Lawrence S. Moss · Synthese · 2004 · 240 citations

Epistemic Programs, Engineering, Dynamic Epistemic Logic +5

Coalgebraic logic

Lawrence S. Moss · Annals of Pure and Applied Logic · 1999 · 162 citations

Topological reasoning and the logic of knowledge

Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh · Annals of Pure and Applied Logic · 1996 · 135 citations

Knowledge Representation, Engineering, Automated Reasoning +4

The logic of public announcements, common knowledge, and private suspicions

Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki · Data Archiving and Networked Services (DANS) · 1999 · 135 citations · Full text

Engineering, Classical Logic, Law +21

Topological reasoning and the logic of knowledge

Lawrence S. Moss, Rohit Parikh · 1992 · 97 citations

Theoretical Mathematics, Mathematical Structure, Knowledge Representation +13

1–5 of 43