Lawrence S. Moss

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 42

Top Venues

CoRR

CALCO

AAAI

Log. J. IGPL

Publications

Jayampathy Ratnayake, Annanthakrishna Manokaran, Romaine Jayewardene, Victoria Noquez, Lawrence S. Moss
Presenting the Sierpinski Gasket in Various Categories of Metric Spaces. Appl. Categorical Struct. 32 (4) (2024)
Caleb Schultz Kisby, Saúl A. Blanco, Lawrence S. Moss
What Do Hebbian Learners Learn? Reduction Axioms for Iterated Hebbian Learning. AAAI (2024)
Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva
Curing the SICK and Other NLI Maladies. Comput. Linguistics 49 (1) (2023)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). CALCO (2023)
Lawrence S. Moss
Algebra of Self-Replication. CoRR (2023)
Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss
Extracting Mathematical Concepts with Large Language Models. CoRR (2023)
Thomas F. Icard III, Lawrence S. Moss
A Simple Logic of Concepts. J. Philos. Log. 52 (3) (2023)
Todd Schmid, Victoria Noquez, Lawrence S. Moss
Fractals from Regular Behaviours. CoRR (2023)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Kripke, Vietoris and Hausdorff Polynomial Functors. CoRR (2023)
Todd Schmid, Victoria Noquez, Lawrence S. Moss
Fractals from Regular Behaviours. CALCO (2023)
Lawrence S. Moss, Thomas F. Icard III
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting. CoRR (2022)
Caleb Kisby, Saúl Blanco, Lawrence S. Moss
The Logic of Hebbian Learning. FLAIRS (2022)
Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield
Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications. ISAIM (2022)
Lawrence S. Moss, Victoria Noquez
Corecursive Algebras in Nature. CMCS (2022)
Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
Logics for Epistemic Actions: Completeness, Decidability, Expressivity. CoRR (2022)
Lawrence S. Moss, Ruy J. G. B. de Queiroz
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. J. Log. Lang. Inf. 31 (4) (2022)
Victoria Noquez, Lawrence S. Moss
The Sierpinski Carpet as a Final Coalgebra. ACT (2021)
Alex Kruckman, Lawrence S. Moss
Exploring the Landscape of Relational Syllogistic Logics. Rev. Symb. Log. 14 (3) (2021)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
Initial Algebras Without Iteration ((Co)algebraic pearls). CALCO (2021)
Zeming Chen, Qiyue Gao, Lawrence S. Moss
NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning. *SEM (2021)
Zeming Chen, Qiyue Gao, Lawrence S. Moss
NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning. CoRR (2021)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
An Initial Algebra Theorem Without Iteration. CoRR (2021)
Caleb Kisby, Saúl Blanco, Alex Kruckman, Lawrence S. Moss
Logics for Sizes with Union or Intersection. AAAI (2020)
Hai Hu, Kyle Richardson, Liang Xu, Lu Li, Sandra Kübler, Lawrence S. Moss
OCNLI: Original Chinese Natural Language Inference. CoRR (2020)
Lawrence S. Moss, Selçuk Topal
Syllogistic Logic with Cardinality comparisons, on Infinite Sets. Rev. Symb. Log. 13 (1) (2020)
Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal
Probing Natural Language Inference Models through Semantic Fragments. AAAI (2020)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Well-Founded and Recursive Coalgebras. FoSSaCS (2020)
Hai Hu, Kyle Richardson, Liang Xu, Lu Li, Sandra Kübler, Lawrence S. Moss
OCNLI: Original Chinese Natural Language Inference. EMNLP (Findings) (2020)
Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). Log. J. IGPL 27 (5) (2019)
Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal
Probing Natural Language Inference Models through Semantic Fragments. CoRR (2019)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Well-Founded and Recursive Coalgebras. CoRR (2019)
Jörg Endrullis, Lawrence S. Moss
Syllogistic logic with "Most". Math. Struct. Comput. Sci. 29 (6) (2019)
Hai Hu, Qi Chen, Kyle Richardson, Atreyee Mukherjee, Lawrence S. Moss, Sandra Kübler
MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity. CoRR (2019)
Alex Kruckman, Lawrence S. Moss
Exploring the Landscape of Relational Syllogistic Logics. CoRR (2018)
Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss
Long-Term Values in Markov Decision Processes, (Co)Algebraically. CMCS (2018)
Lawrence S. Moss
Implementations of Natural Logics. ARQNL@IJCAR (2018)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
Fixed points of functors. J. Log. Algebraic Methods Program. 95 (2018)
Lawrence S. Moss, Charlotte Raty
Reasoning About the Sizes of Sets: Progress, Problems, and Prospects. Bridging@IJCAI/ECAI (2018)
Lawrence S. Moss, Michael Wollowski
Natural Logic in AI and Cognitive Science. MAICS (2017)
David Sprunger, Lawrence S. Moss
Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. CALCO (2017)
Thomas Icard, Lawrence S. Moss, William Tune
A Monotonicity Calculus and Its Completeness. MOL (2017)
Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL 24 (5) (2016)
Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday. Appl. Categorical Struct. 23 (4) (2015)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat
On finitary functors and their presentations. J. Comput. Syst. Sci. 81 (5) (2015)
Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss
Explaining Watson: Polymath Style. AAAI (2015)
Jörg Endrullis, Lawrence S. Moss
Syllogistic Logic with "Most". WoLLIC (2015)
Prasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra. Horizons of the Mind (2014)
David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
Eigenvalues and Transduction of Morphic Sequences: Extended Version. CoRR (2014)
Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
Tutorials. KR (2014)
David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
Eigenvalues and Transduction of Morphic Sequences. Developments in Language Theory (2014)
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions. Log. Methods Comput. Sci. 9 (3) (2013)
J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing CoRR (2013)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Well-Pointed Coalgebras Log. Methods Comput. Sci. 9 (3) (2013)
Thomas Icard, Lawrence S. Moss
A Complete Calculus of Monotone and Antitone Higher-Order Functions. TACL (2013)
J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing. J. Philos. Log. 42 (3) (2013)
Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney
A Complete Logical System for the Equality of Recursive Terms for Sets. Logic and Program Semantics (2012)
Lawrence S. Moss
The Soundness of Internalized Polarity Marking. Stud Logica 100 (4) (2012)
Jirí Adámek, Stefan Milius, Lawrence S. Moss
On Finitary Functors and Their Presentations. CMCS (2012)
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
Automatic Sequences and Zip-Specifications CoRR (2012)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Well-Pointed Coalgebras (Extended Abstract). FoSSaCS (2012)
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
Automatic Sequences and Zip-Specifications. LICS (2012)
Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
Power-Set Functors and Saturated Trees. CSL (2011)
Lawrence S. Moss
Connections of coalgebra and semantic modeling. TARK (2011)
Lawrence S. Moss
Syllogistic Logic with Comparative Adjectives. J. Log. Lang. Inf. 20 (3) (2011)
Lawrence S. Moss
Syllogistic Logics with Verbs. J. Log. Comput. 20 (4) (2010)
Lawrence S. Moss
Logics for Two Fragments beyond the Syllogistic Boundary. Fields of Logic and Computation (2010)
Lawrence S. Moss
A Note on Expressive Coalgebraic Logics for Finitary Set Functors. J. Log. Comput. 20 (5) (2010)
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
CIA Structures and the Semantics of Recursion. FoSSaCS (2010)
Lawrence S. Moss
Natural Logic and Semantics. Amsterdam Colloquium on Logic, Language and Meaning (2009)
Stefan Milius, Lawrence S. Moss
The Category Theoretic Solution of Recursive Program Schemes CoRR (2009)
Hans van Ditmarsch, Lawrence S. Moss
Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial. J. Philos. Log. 38 (6) (2009)
Lawrence S. Moss
Intersecting Adjectives in Syllogistic Logic. MOL (2009)
Ian Pratt-Hartmann, Lawrence S. Moss
Logics for the Relational Syllogistic. Rev. Symb. Log. 2 (4) (2009)
Ian Pratt-Hartmann, Lawrence S. Moss
Logics for the Relational Syllogistic CoRR (2008)
Lawrence S. Moss
Confusion of memory. Inf. Process. Lett. 107 (3-4) (2008)
Stefan Milius, Lawrence S. Moss
Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59]. Theor. Comput. Sci. 403 (2-3) (2008)
Lawrence S. Moss
Finite Models Constructed from Canonical Formulars. J. Philos. Log. 36 (6) (2007)
Lawrence S. Moss, Ignacio D. Viglizzo
Final coalgebras for functors on measurable spaces. Inf. Comput. 204 (4) (2006)
Stefan Milius, Lawrence S. Moss
The category-theoretic solution of recursive program schemes. Theor. Comput. Sci. 366 (1-2) (2006)
Lawrence S. Moss
Recursive Program Schemes: Past, Present, and Future. AMAST (2006)
Lawrence S. Moss
Recursion Theorems and Self-Replication Via Text Register Machine Programs. Bull. EATCS 89 (2006)
Lawrence S. Moss
Uniform Functors on Sets. Essays Dedicated to Joseph A. Goguen (2006)
Joseph S. Miller, Lawrence S. Moss
The Undecidability of Iterated Modal Relativization. Stud Logica 79 (3) (2005)
Lawrence S. Moss
Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science. Math. Struct. Comput. Sci. 15 (3) (2005)
Stefan Milius, Lawrence S. Moss
The Category Theoretic Solution of Recursive Program Schemes. CALCO (2005)
J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang
Quantum logic as motivated by quantum computing. J. Symb. Log. 70 (2) (2005)
Lawrence S. Moss
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 36 (1) (2005)
Alexandru Baltag, Lawrence S. Moss
Logics for Epistemic Programs. Synth. 139 (2) (2004)
Lawrence S. Moss, Ignacio D. Viglizzo
Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories. CMCS (2004)
Lawrence S. Moss, Hans-Jörg Tiede
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 35 (1) (2004)
Lawrence S. Moss
Recursion and corecursion have the same equational logic. Theor. Comput. Sci. 294 (1/2) (2003)
Lawrence S. Moss
Preface. CMCS (2002)
Lawrence S. Moss, Richard T. Oehrle
Preface. Electron. Notes Theor. Comput. Sci. 53 (2001)
Lawrence S. Moss
Simple Equational Specifications of Rational Arithmetic. Discret. Math. Theor. Comput. Sci. 4 (2) (2001)
Lawrence S. Moss
Parametric corecursion. Theor. Comput. Sci. 260 (1-2) (2001)
Andrew Dabrowski, Lawrence S. Moss
The Johnson Graphs Satisfy a Distance Extension Property. Comb. 20 (2) (2000)
Lawrence S. Moss
Exploring Logical Dynamics, Johan van Benthem. J. Log. Lang. Inf. 9 (2) (2000)
Lawrence S. Moss
Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 (1999) 277-317. Ann. Pure Appl. Log. 99 (1-3) (1999)
Lawrence S. Moss
Recursion and Corecursion Have the Same Equational Logic. MFPS (1999)
Lawrence S. Moss
Coalgebraic Logic. Ann. Pure Appl. Log. 96 (1-3) (1999)

Lawrence S. Moss.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lawrence S. Moss