# Lawrence S. Moss

According to our database

Collaborative distances:

^{1}, Lawrence S. Moss authored at least 92 papers between 1988 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Rev. Symb. Log., 2020

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Math. Struct. Comput. Sci., 2019

Log. J. IGPL, 2019

MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity.

CoRR, 2019

2018

J. Log. Algebraic Methods Program., 2018

CoRR, 2018

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

Proceedings of the Coalgebraic Methods in Computer Science, 2018

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Proceedings of the 15th Meeting on the Mathematics of Language, 2017

Proceedings of the 28th Modern Artificial Intelligence and Cognitive Science Conference 2017, 2017

Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence.

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Log. J. IGPL, 2016

2015

J. Comput. Syst. Sci., 2015

On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday.

Applied Categorical Structures, 2015

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

CoRR, 2014

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Proceedings of the Developments in Language Theory - 18th International Conference, 2014

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing.

J. Philos. Log., 2013

Log. Methods Comput. Sci., 2013

CoRR, 2013

Log. Methods Comput. Sci., 2013

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Stud Logica, 2012

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

Proceedings of the Logic and Program Semantics, 2012

2011

J. Log. Lang. Inf., 2011

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Proceedings of the Computer Science Logic, 2011

2010

J. Log. Comput., 2010

J. Log. Comput., 2010

Proceedings of the Foundations of Software Science and Computational Structures, 2010

Proceedings of the Fields of Logic and Computation, 2010

2009

Rev. Symb. Log., 2009

J. Philos. Log., 2009

Proceedings of the Mathematics of Language, 10th and 11th Biennial Conference, 2009

Proceedings of the Logic, Language and Meaning - 17th Amsterdam Colloquium, 2009

2008

Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59].

Theor. Comput. Sci., 2008

Inf. Process. Lett., 2008

2007

Proceedings of the Handbook of Spatial Logics, 2007

J. Philos. Log., 2007

Proceedings of the Handbook of Modal Logic., 2007

2006

Theor. Comput. Sci., 2006

Inf. Comput., 2006

Recursion Theorems and Self-Replication Via Text Register Machine Programs.

Bull. EATCS, 2006

Proceedings of the Algebra, Meaning, and Computation, 2006

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Joint review of "Introduction To Natural Computation by Dana H. Ballard"; MIT Press, 1997, ISBN 0-262-52258-6 and "Mathematical Methods in Artificial Intelligence by Edward A. Bender", IEEE Press, 1996 ISBN 0-8186-7200-5.

SIGACT News, 2005

Stud Logica, 2005

Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science.

Math. Struct. Comput. Sci., 2005

J. Symb. Log., 2005

2004

Synth., 2004

Review of "Automata theory and its applications" by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and "Automata, logics, and infinite games" by E.Grädel, W. Thomas, and T. Wilke. Springer-Verlag.

SIGACT News, 2004

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2002

Proceedings of the Coalgebraic Methods in Computer Science, 2002

2001

Theor. Comput. Sci., 2001

Electron. Notes Theor. Comput. Sci., 2001

Discret. Math. Theor. Comput. Sci., 2001

2000

J. Log. Lang. Inf., 2000

Comb., 2000

1999

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Ann. Pure Appl. Log., 1999

Ann. Pure Appl. Log., 1999

1998

J. Symb. Log., 1998

J. Philos. Log., 1998

The Logic of Public Announcements and Common Knowledge and Private Suspicions.

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

1997

Log. J. IGPL, 1997

Proceedings of the Handbook of Logic and Language., 1997

1996

Ann. Pure Appl. Log., 1996

Vicious circles - on the mathematics of non-wellfounded phenomena.

CSLI lecture notes series 60, CSLI, ISBN: 978-1-57586-009-1, 1996

1995

J. Log. Lang. Inf., 1995

Ann. Pure Appl. Log., 1995

1993

Theor. Comput. Sci., 1993

Ann. Math. Artif. Intell., 1993

Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics, 1993

1992

Theor. Comput. Sci., 1992

Discret. Math., 1992

Topological Reasoning and The Logic of Knowledge.

Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

1991

Inf. Comput., July, 1991

Stud Logica, 1991

1989

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Proceedings of the CSL '89, 1989

1988

Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988