Lawrence S. Moss

According to our database, Lawrence S. Moss authored at least 118 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Presenting the Sierpinski Gasket in Various Categories of Metric Spaces.

Jayampathy Ratnayake, Annanthakrishna Manokaran, Romaine Jayewardene, Victoria Noquez, Lawrence S. Moss

Appl. Categorical Struct., August, 2024

What Do Hebbian Learners Learn? Reduction Axioms for Iterated Hebbian Learning.

Caleb Schultz Kisby, Saúl A. Blanco, Lawrence S. Moss

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A Simple Logic of Concepts.

Thomas F. Icard III, Lawrence S. Moss

J. Philos. Log., June, 2023

Curing the SICK and Other NLI Maladies.

Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva

Comput. Linguistics, March, 2023

Algebra of Self-Replication.

Lawrence S. Moss

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Extracting Mathematical Concepts with Large Language Models.

Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss

CoRR, 2023

On Kripke, Vietoris and Hausdorff Polynomial Functors.

Jirí Adámek, Stefan Milius, Lawrence S. Moss

CoRR, 2023

Fractals from Regular Behaviours.

Todd Schmid, Victoria Noquez, Lawrence S. Moss

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls).

Jirí Adámek, Stefan Milius, Lawrence S. Moss

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018.

Lawrence S. Moss, Ruy J. G. B. de Queiroz

J. Log. Lang. Inf., 2022

Logics for Epistemic Actions: Completeness, Decidability, Expressivity.

Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki

CoRR, 2022

A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting.

Lawrence S. Moss, Thomas F. Icard III

CoRR, 2022

Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications.

Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

The Logic of Hebbian Learning.

Caleb Kisby, Saúl A. Blanco, Lawrence S. Moss

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

Corecursive Algebras in Nature.

Lawrence S. Moss, Victoria Noquez

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Exploring the Landscape of Relational Syllogistic Logics.

Alex Kruckman, Lawrence S. Moss

Rev. Symb. Log., 2021

The Sierpinski Carpet as a Final Coalgebra.

Victoria Noquez, Lawrence S. Moss

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

An Initial Algebra Theorem Without Iteration.

Jirí Adámek, Stefan Milius, Lawrence S. Moss

CoRR, 2021

NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning.

Zeming Chen, Qiyue Gao, Lawrence S. Moss

Proceedings of *SEM 2021: The Tenth Joint Conference on Lexical and Computational Semantics, 2021

Initial Algebras Without Iteration ((Co)algebraic pearls).

Jirí Adámek, Stefan Milius, Lawrence S. Moss

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Syllogistic Logic with Cardinality comparisons, on Infinite Sets.

Lawrence S. Moss, Selçuk Topal

Rev. Symb. Log., 2020

OCNLI: Original Chinese Natural Language Inference.

Hai Hu, Kyle Richardson, Liang Xu, Lu Li, Sandra Kübler, Lawrence S. Moss

CoRR, 2020

On Well-Founded and Recursive Coalgebras.

Jirí Adámek, Stefan Milius, Lawrence S. Moss

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

OCNLI: Original Chinese Natural Language Inference.

Hai Hu, Kyle Richardson, Liang Xu, Lu Li, Sandra Kübler, Lawrence S. Moss

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2020, 2020

Probing Natural Language Inference Models through Semantic Fragments.

Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal

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

Logics for Sizes with Union or Intersection.

Caleb Kisby, Saúl A. Blanco, Alex Kruckman, Lawrence S. Moss

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

2019

Syllogistic logic with "Most".

Jörg Endrullis, Lawrence S. Moss

Math. Struct. Comput. Sci., 2019

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).

Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2019

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

Hai Hu, Qi Chen, Kyle Richardson, Atreyee Mukherjee, Lawrence S. Moss, Sandra Kübler

CoRR, 2019

Natural Language Inference with Monotonicity.

Hai Hu, Qi Chen, Larry Moss

Proceedings of the 13th International Conference on Computational Semantics, 2019

2018

Fixed points of functors.

Jirí Adámek, Stefan Milius, Lawrence S. Moss

J. Log. Algebraic Methods Program., 2018

Polarity Computations in Flexible Categorial Grammar.

Hai Hu, Larry Moss

Proceedings of the Seventh Joint Conference on Lexical and Computational Semantics, 2018

Reasoning About the Sizes of Sets: Progress, Problems, and Prospects.

Lawrence S. Moss, Charlotte Raty

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

Long-Term Values in Markov Decision Processes, (Co)Algebraically.

Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss

Proceedings of the Coalgebraic Methods in Computer Science, 2018

Implementations of Natural Logics.

Lawrence S. Moss

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

A Monotonicity Calculus and Its Completeness.

Thomas Icard, Lawrence S. Moss, William Tune

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

Natural Logic in AI and Cognitive Science.

Lawrence S. Moss, Michael Wollowski

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

Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence.

David Sprunger, Lawrence S. Moss

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

2016

22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015).

Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2016

2015

On finitary functors and their presentations.

Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat

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.

Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa

Appl. Categorical Struct., 2015

Explaining Watson: Polymath Style.

Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss

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

2014

Eigenvalues and Transduction of Morphic Sequences: Extended Version.

David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss

CoRR, 2014

Tutorials.

Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati

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

Eigenvalues and Transduction of Morphic Sequences.

David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss

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

Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra.

Prasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose

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

Three Etudes on Logical Dynamics and the Program of Natural Logic.

Lawrence S. Moss

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. Michael Dunn, Lawrence S. Moss, Zhenghan Wang

J. Philos. Log., 2013

Well-Pointed Coalgebras

Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa

Log. Methods Comput. Sci., 2013

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang

CoRR, 2013

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions.

Stefan Milius, Lawrence S. Moss, Daniel Schwencke

Log. Methods Comput. Sci., 2013

Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra.

Larry Moss, Jayampathy Ratnayake, Robert Rose

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

A Complete Calculus of Monotone and Antitone Higher-Order Functions.

Thomas Icard, Lawrence S. Moss

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

2012

The Soundness of Internalized Polarity Marking.

Lawrence S. Moss

Stud Logica, 2012

Automatic Sequences and Zip-Specifications.

Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss

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

Well-Pointed Coalgebras (Extended Abstract).

Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa

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

On Finitary Functors and Their Presentations.

Jirí Adámek, Stefan Milius, Lawrence S. Moss

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

A Complete Logical System for the Equality of Recursive Terms for Sets.

Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney

Proceedings of the Logic and Program Semantics, 2012

2011

Syllogistic Logic with Comparative Adjectives.

Lawrence S. Moss

J. Log. Lang. Inf., 2011

Connections of coalgebra and semantic modeling.

Lawrence S. Moss

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

Power-Set Functors and Saturated Trees.

Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa

Proceedings of the Computer Science Logic, 2011

2010

A Note on Expressive Coalgebraic Logics for Finitary Set Functors.

Lawrence S. Moss

J. Log. Comput., 2010

Syllogistic Logics with Verbs.

Lawrence S. Moss

J. Log. Comput., 2010

CIA Structures and the Semantics of Recursion.

Stefan Milius, Lawrence S. Moss, Daniel Schwencke

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

Logics for Two Fragments beyond the Syllogistic Boundary.

Lawrence S. Moss

Proceedings of the Fields of Logic and Computation, 2010

2009

Logics for the Relational Syllogistic.

Ian Pratt-Hartmann, Lawrence S. Moss

Rev. Symb. Log., 2009

Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial.

Hans van Ditmarsch, Lawrence S. Moss

J. Philos. Log., 2009

Intersecting Adjectives in Syllogistic Logic.

Lawrence S. Moss

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

Natural Logic and Semantics.

Lawrence S. Moss

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].

Stefan Milius, Lawrence S. Moss

Theor. Comput. Sci., 2008

Confusion of memory.

Lawrence S. Moss

Inf. Process. Lett., 2008

2007

Topology and Epistemic Logic.

Rohit Parikh, Lawrence S. Moss, Chris Steinsvold

Proceedings of the Handbook of Spatial Logics, 2007

Finite Models Constructed from Canonical Formulars.

Lawrence S. Moss

J. Philos. Log., 2007

Applications of modal logic in linguistics.

Lawrence S. Moss, Hans-Jörg Tiede

Proceedings of the Handbook of Modal Logic., 2007

2006

The category-theoretic solution of recursive program schemes.

Stefan Milius, Lawrence S. Moss

Theor. Comput. Sci., 2006

Final coalgebras for functors on measurable spaces.

Lawrence S. Moss, Ignacio D. Viglizzo

Inf. Comput., 2006

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

Lawrence S. Moss

Bull. EATCS, 2006

Uniform Functors on Sets.

Lawrence S. Moss

Proceedings of the Algebra, Meaning, and Computation, 2006

Recursive Program Schemes: Past, Present, and Future.

Lawrence S. Moss

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.

Lawrence S. Moss

SIGACT News, 2005

The Undecidability of Iterated Modal Relativization.

Joseph S. Miller, Lawrence S. Moss

Stud Logica, 2005

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

Lawrence S. Moss

Math. Struct. Comput. Sci., 2005

Quantum logic as motivated by quantum computing.

J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang

J. Symb. Log., 2005

2004

Logics for Epistemic Programs.

Alexandru Baltag, Lawrence S. Moss

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.

Lawrence S. Moss, Hans-Jörg Tiede

SIGACT News, 2004

Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories.

Lawrence S. Moss, Ignacio D. Viglizzo

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

2003

Recursion and corecursion have the same equational logic.

Lawrence S. Moss

Theor. Comput. Sci., 2003

2002

Preface.

Lawrence S. Moss

Proceedings of the Coalgebraic Methods in Computer Science, 2002

2001

Parametric corecursion.

Lawrence S. Moss

Theor. Comput. Sci., 2001

Foreword : Coalgebraic Methods in Computer Science 1998.

Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten

Theor. Comput. Sci., 2001

Preface.

Lawrence S. Moss, Richard T. Oehrle

Proceedings of the joint meeting of the 6th Conference on Formal Grammar (FG) and the 7th Conference on Mathematics of Language (MOL), 2001

Simple Equational Specifications of Rational Arithmetic.

Lawrence S. Moss

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

2000

Exploring Logical Dynamics, Johan van Benthem.

Lawrence S. Moss

J. Log. Lang. Inf., 2000

The Johnson Graphs Satisfy a Distance Extension Property.

Andrew Dabrowski, Lawrence S. Moss

Comb., 2000

1999

Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 (1999) 277-317.

Lawrence S. Moss

Ann. Pure Appl. Log., 1999

Coalgebraic Logic.

Lawrence S. Moss

Ann. Pure Appl. Log., 1999

1998

The Logic of Recursive Equations.

Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney

J. Symb. Log., 1998

Modal Correspondence for Models.

Jon Barwise, Lawrence S. Moss

J. Philos. Log., 1998

Preface.

Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

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

Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki

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

1997

On the Foundations of Corecursion.

Lawrence S. Moss, Norman Danner

Log. J. IGPL, 1997

Situation Theory.

Jerry Seligman, Lawrence S. Moss

Proceedings of the Handbook of Logic and Language., 1997

1996

Topological Reasoning and the Logic of Knowledge.

Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh

Ann. Pure Appl. Log., 1996

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

Jon Barwise, Lawrence S. Moss

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

1995

Dynamic Interpretations of Constraint-Based Grammar Formalisms.

Lawrence S. Moss, David E. Johnson

J. Log. Lang. Inf., 1995

Power Set Recursion.

Lawrence S. Moss

Ann. Pure Appl. Log., 1995

1993

Modal Logic and Algebraic Specifications.

Lawrence S. Moss, Satish R. Thatte

Theor. Comput. Sci., 1993

Some Formal Properties of Stratified Feature Grammars.

David E. Johnson, Lawrence S. Moss

Ann. Math. Artif. Intell., 1993

A Unification-Based Parser for Relational Grammar.

David E. Johnson, Adam Meyers, Lawrence S. Moss

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

1992

Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability.

Lawrence S. Moss, José Meseguer, Joseph A. Goguen

Theor. Comput. Sci., 1992

Distanced graphs.

Lawrence S. Moss

Discret. Math., 1992

Topological Reasoning and The Logic of Knowledge.

Lawrence S. Moss, Rohit Parikh

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

1991

Non-Well-Founded Sets Modeled as Ideal Fixed Points

Michael W. Mislove, Lawrence S. Moss, Frank J. Oles

Inf. Comput., July, 1991

Books received.

Janusz Czelakowski, Lawrence S. Moss

Stud Logica, 1991

1989

Generalization of Final Algebra Semantics by Relativization.

Lawrence S. Moss, Satish R. Thatte

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

Non-Well-Founded Sets Obtained from Ideal Fixed Points

Michael W. Mislove, Lawrence S. Moss, Frank J. Oles

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

Algebraic Operational Semantics and Occam.

Yuri Gurevich, Lawrence S. Moss

Proceedings of the CSL '89, 1989

1988

Optimal semantics of data type extensions.

Lawrence S. Moss, Satish R. Thatte

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