Lawrence S. Moss

138 papers A* 8B 21C 4Misc 2Journal 72Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	KnowTeX: Visualizing Mathematical Dependencies. CoRR Elif Üsküplü, Lawrence S. Moss, Valeria de Paiva
2025	B	`conf`	A Complete Inference System for Probabilistic Infinite Trace Equivalence. CSL Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova
2025	J	`jnl`	Fractals from Regular Behaviours. Log. Methods Comput. Sci. Todd Schmid, Victoria Noquez, Lawrence S. Moss
2025	J	`jnl`	Math Natural Language Inference: this should be easy! CoRR Valeria de Paiva, Qiyue Gao, Hai Hu, Pavel Kovalev, Yikang Liu, Lawrence S. Moss, Zhiheng Qian
2025	B	`conf`	Terminal Coalgebras for Finitary Functors. CALCO Jirí Adámek, Stefan Milius, Lawrence S. Moss
2024	J	`jnl`	Presenting the Sierpinski Gasket in Various Categories of Metric Spaces. Appl. Categorical Struct. Jayampathy Ratnayake, Annanthakrishna Manokaran, Romaine Jayewardene, Victoria Noquez, Lawrence S. Moss
2024	A*	`conf`	What Do Hebbian Learners Learn? Reduction Axioms for Iterated Hebbian Learning. AAAI Caleb Schultz Kisby, Saúl A. Blanco, Lawrence S. Moss
2023	J	`jnl`	A Simple Logic of Concepts. J. Philos. Log. Thomas F. Icard III, Lawrence S. Moss
2023	B	`conf`	Algebra of Self-Replication. MFPS Lawrence S. Moss
2023	J	`jnl`	Curing the SICK and Other NLI Maladies. Comput. Linguistics Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva
2023	J	`jnl`	Extracting Mathematical Concepts with Large Language Models. CoRR Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss
2023	B	`conf`	Fractals from Regular Behaviours. CALCO Todd Schmid, Victoria Noquez, Lawrence S. Moss
2023	J	`jnl`	Fractals from Regular Behaviours. CoRR Todd Schmid, Victoria Noquez, Lawrence S. Moss
2023	B	`conf`	On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). CALCO Jirí Adámek, Stefan Milius, Lawrence S. Moss
2023	J	`jnl`	On Kripke, Vietoris and Hausdorff Polynomial Functors. CoRR Jirí Adámek, Stefan Milius, Lawrence S. Moss
2022	J	`jnl`	25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. J. Log. Lang. Inf. Lawrence S. Moss, Ruy J. G. B. de Queiroz
2022	J	`jnl`	A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting. CoRR Lawrence S. Moss, Thomas F. Icard III
2022	—	`conf`	Corecursive Algebras in Nature. CMCS Lawrence S. Moss, Victoria Noquez
2022	J	`jnl`	Logics for Epistemic Actions: Completeness, Decidability, Expressivity. CoRR Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
2022	Misc	`conf`	Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications. ISAIM Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield
2022	Misc	`conf`	The Logic of Hebbian Learning. FLAIRS Caleb Kisby, Saúl A. Blanco, Lawrence S. Moss
2021	J	`jnl`	An Initial Algebra Theorem Without Iteration. CoRR Jirí Adámek, Stefan Milius, Lawrence S. Moss
2021	J	`jnl`	Exploring the Landscape of Relational Syllogistic Logics. Rev. Symb. Log. Alex Kruckman, Lawrence S. Moss
2021	B	`conf`	Initial Algebras Without Iteration ((Co)algebraic pearls). CALCO Jirí Adámek, Stefan Milius, Lawrence S. Moss
2021	—	`conf`	NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning. *SEM Zeming Chen, Qiyue Gao, Lawrence S. Moss
2021	J	`jnl`	NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning. CoRR Zeming Chen, Qiyue Gao, Lawrence S. Moss
2021	—	`conf`	The Sierpinski Carpet as a Final Coalgebra. ACT Victoria Noquez, Lawrence S. Moss
2020	A*	`conf`	Logics for Sizes with Union or Intersection. AAAI Caleb Kisby, Saúl A. Blanco, Alex Kruckman, Lawrence S. Moss
2020	—	`conf`	OCNLI: Original Chinese Natural Language Inference. EMNLP (Findings) Hai Hu, Kyle Richardson, Liang Xu, Lu Li, Sandra Kübler, Lawrence S. Moss
2020	J	`jnl`	OCNLI: Original Chinese Natural Language Inference. CoRR Hai Hu, Kyle Richardson, Liang Xu, Lu Li, Sandra Kübler, Lawrence S. Moss
2020	B	`conf`	On Well-Founded and Recursive Coalgebras. FoSSaCS Jirí Adámek, Stefan Milius, Lawrence S. Moss
2020	A*	`conf`	Probing Natural Language Inference Models through Semantic Fragments. AAAI Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal
2020	J	`jnl`	Syllogistic Logic with Cardinality comparisons, on Infinite Sets. Rev. Symb. Log. Lawrence S. Moss, Selçuk Topal
2019	J	`jnl`	25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). Log. J. IGPL Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz
2019	J	`jnl`	MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity. CoRR Hai Hu, Qi Chen, Kyle Richardson, Atreyee Mukherjee, Lawrence S. Moss, Sandra Kübler
2019	J	`jnl`	On Well-Founded and Recursive Coalgebras. CoRR Jirí Adámek, Stefan Milius, Lawrence S. Moss
2019	J	`jnl`	Probing Natural Language Inference Models through Semantic Fragments. CoRR Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal
2019	B	`ed.`	Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019. TARK Lawrence S. Moss
2019	J	`jnl`	Syllogistic logic with "Most". Math. Struct. Comput. Sci. Jörg Endrullis, Lawrence S. Moss
2018	J	`jnl`	Exploring the Landscape of Relational Syllogistic Logics. CoRR Alex Kruckman, Lawrence S. Moss
2018	J	`jnl`	Fixed points of functors. J. Log. Algebraic Methods Program. Jirí Adámek, Stefan Milius, Lawrence S. Moss
2018	—	`conf`	Implementations of Natural Logics. ARQNL@IJCAR Lawrence S. Moss
2018	C	`ed.`	Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings WoLLIC Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez
2018	—	`conf`	Long-Term Values in Markov Decision Processes, (Co)Algebraically. CMCS Frank M. V. Feys, Helle Hvid Hansen, Lawrence S. Moss
2018	—	`conf`	Reasoning About the Sizes of Sets: Progress, Problems, and Prospects. Bridging@IJCAI/ECAI Lawrence S. Moss, Charlotte Raty
2017	—	`conf`	A Monotonicity Calculus and Its Completeness. MOL Thomas Icard, Lawrence S. Moss, William Tune
2017	—	`conf`	Natural Logic in AI and Cognitive Science. MAICS Lawrence S. Moss, Michael Wollowski
2017	B	`conf`	Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. CALCO David Sprunger, Lawrence S. Moss
2016	J	`jnl`	22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz
2015	B	`ed.`	6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Nijmegen, The Netherlands, June 24-26, 2015 CALCO Lawrence S. Moss, Pawel Sobocinski
2015	A*	`conf`	Explaining Watson: Polymath Style. AAAI Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss
2015	C	`ed.`	Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings WoLLIC Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira
2015	J	`jnl`	On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday. Appl. Categorical Struct. Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2015	J	`jnl`	On finitary functors and their presentations. J. Comput. Syst. Sci. Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat
2015	C	`conf`	Syllogistic Logic with "Most". WoLLIC Jörg Endrullis, Lawrence S. Moss
2015	—	`ed.`	Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015 NLCS@ICALP/LICS Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva
2014	C	`conf`	Eigenvalues and Transduction of Morphic Sequences. Developments in Language Theory David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
2014	J	`jnl`	Eigenvalues and Transduction of Morphic Sequences: Extended Version. CoRR David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
2014	—	`conf`	Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra. Horizons of the Mind Prasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose
2014	—	`ch.`	Three Etudes on Logical Dynamics and the Program of Natural Logic. Johan van Benthem on Logic and Information Dynamics Lawrence S. Moss
2014	A*	`conf`	Tutorials. KR Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
2013	—	`conf`	A Complete Calculus of Monotone and Antitone Higher-Order Functions. TACL Thomas Icard, Lawrence S. Moss
2013	J	`jnl`	Abstract GSOS Rules and a Modular Treatment of Recursive Definitions. Log. Methods Comput. Sci. Stefan Milius, Lawrence S. Moss, Daniel Schwencke
2013	J	`jnl`	Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing. J. Philos. Log. J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
2013	J	`jnl`	The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing CoRR J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
2013	J	`jnl`	Well-Pointed Coalgebras Log. Methods Comput. Sci. Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2012	—	`conf`	A Complete Logical System for the Equality of Recursive Terms for Sets. Logic and Program Semantics Lawrence S. Moss, Erik Wennstrom, Glen T. Whitney
2012	B	`ed.`	Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012 Advances in Modal Logic Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss
2012	J	`jnl`	Automatic Sequences and Zip-Specifications CoRR Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
2012	A*	`conf`	Automatic Sequences and Zip-Specifications. LICS Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
2012	—	`conf`	On Finitary Functors and Their Presentations. CMCS Jirí Adámek, Stefan Milius, Lawrence S. Moss
2012	J	`jnl`	The Soundness of Internalized Polarity Marking. Stud Logica Lawrence S. Moss
2012	B	`conf`	Well-Pointed Coalgebras (Extended Abstract). FoSSaCS Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2011	B	`conf`	Connections of coalgebra and semantic modeling. TARK Lawrence S. Moss
2011	B	`conf`	Power-Set Functors and Saturated Trees. CSL Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa
2011	J	`jnl`	Syllogistic Logic with Comparative Adjectives. J. Log. Lang. Inf. Lawrence S. Moss
2010	J	`jnl`	A Note on Expressive Coalgebraic Logics for Finitary Set Functors. J. Log. Comput. Lawrence S. Moss
2010	B	`conf`	CIA Structures and the Semantics of Recursion. FoSSaCS Stefan Milius, Lawrence S. Moss, Daniel Schwencke
2010	—	`conf`	Logics for Two Fragments beyond the Syllogistic Boundary. Fields of Logic and Computation Lawrence S. Moss
2010	J	`jnl`	Syllogistic Logics with Verbs. J. Log. Comput. Lawrence S. Moss
2009	—	`conf`	Intersecting Adjectives in Syllogistic Logic. MOL Lawrence S. Moss
2009	J	`jnl`	Logics for the Relational Syllogistic. Rev. Symb. Log. Ian Pratt-Hartmann, Lawrence S. Moss
2009	—	`conf`	Natural Logic and Semantics. Amsterdam Colloquium on Logic, Language and Meaning Lawrence S. Moss
2009	J	`jnl`	Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial. J. Philos. Log. Hans van Ditmarsch, Lawrence S. Moss
2009	J	`jnl`	The Category Theoretic Solution of Recursive Program Schemes CoRR Stefan Milius, Lawrence S. Moss
2008	J	`jnl`	Confusion of memory. Inf. Process. Lett. Lawrence S. Moss
2008	J	`jnl`	Corrigendum to: "The category theoretic solution of recursive program schemes" [TCS 366 (2006) 3-59]. Theor. Comput. Sci. Stefan Milius, Lawrence S. Moss
2008	J	`jnl`	Logics for the Relational Syllogistic CoRR Ian Pratt-Hartmann, Lawrence S. Moss
2007	—	`ch.`	Applications of modal logic in linguistics. Handbook of Modal Logic Lawrence S. Moss, Hans-Jörg Tiede
2007	J	`jnl`	Finite Models Constructed from Canonical Formulars. J. Philos. Log. Lawrence S. Moss
2007	—	`ch.`	Topology and Epistemic Logic. Handbook of Spatial Logics Rohit Parikh, Lawrence S. Moss, Chris Steinsvold
2006	J	`jnl`	Final coalgebras for functors on measurable spaces. Inf. Comput. Lawrence S. Moss, Ignacio D. Viglizzo
2006	J	`jnl`	Recursion Theorems and Self-Replication Via Text Register Machine Programs. Bull. EATCS Lawrence S. Moss
2006	—	`conf`	Recursive Program Schemes: Past, Present, and Future. AMAST Lawrence S. Moss
2006	J	`jnl`	The category-theoretic solution of recursive program schemes. Theor. Comput. Sci. Stefan Milius, Lawrence S. Moss
2006	—	`conf`	Uniform Functors on Sets. Essays Dedicated to Joseph A. Goguen Lawrence S. Moss
2005	J	`jnl`	Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science. Math. Struct. Comput. Sci. Lawrence S. Moss
2005	J	`jnl`	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 Lawrence S. Moss
2005	J	`jnl`	Quantum logic as motivated by quantum computing. J. Symb. Log. J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang
2005	B	`conf`	The Category Theoretic Solution of Recursive Program Schemes. CALCO Stefan Milius, Lawrence S. Moss
2005	J	`jnl`	The Undecidability of Iterated Modal Relativization. Stud Logica Joseph S. Miller, Lawrence S. Moss
2004	—	`conf`	Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories. CMCS Lawrence S. Moss, Ignacio D. Viglizzo
2004	J	`jnl`	Logics for Epistemic Programs. Synth. Alexandru Baltag, Lawrence S. Moss
2004	—	`ed.`	Proceedings of the joint meeting of the 6th Conference on Formal Grammar (FG) and the 7th Conference on Mathematics of Language (MOL), FGMOL 2001, Helsinki, Finland, August 10-12, 2001 FGMOL Lawrence S. Moss, Richard T. Oehrle
2004	J	`jnl`	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 Lawrence S. Moss, Hans-Jörg Tiede
2003	J	`jnl`	Recursion and corecursion have the same equational logic. Theor. Comput. Sci. Lawrence S. Moss
2002	—	`ed.`	Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002 CMCS Lawrence S. Moss
2002	—	`conf`	Preface. CMCS Lawrence S. Moss
2001	J	`jnl`	Parametric corecursion. Theor. Comput. Sci. Lawrence S. Moss
2001	—	`conf`	Preface. FGMOL Lawrence S. Moss, Richard T. Oehrle
2001	J	`jnl`	Simple Equational Specifications of Rational Arithmetic. Discret. Math. Theor. Comput. Sci. Lawrence S. Moss
2000	J	`jnl`	Exploring Logical Dynamics, Johan van Benthem. J. Log. Lang. Inf. Lawrence S. Moss
2000	J	`jnl`	The Johnson Graphs Satisfy a Distance Extension Property. Comb. Andrew Dabrowski, Lawrence S. Moss
1999	J	`jnl`	Coalgebraic Logic. Ann. Pure Appl. Log. Lawrence S. Moss
1999	J	`jnl`	Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 (1999) 277-317. Ann. Pure Appl. Log. Lawrence S. Moss
1999	B	`conf`	Recursion and Corecursion Have the Same Equational Logic. MFPS Lawrence S. Moss
1998	J	`jnl`	Modal Correspondence for Models. J. Philos. Log. Jon Barwise, Lawrence S. Moss
1998	B	`conf`	The Logic of Public Announcements and Common Knowledge and Private Suspicions. TARK Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki
1998	J	`jnl`	The Logic of Recursive Equations. J. Symb. Log. Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney
1997	J	`jnl`	On the Foundations of Corecursion. Log. J. IGPL Lawrence S. Moss, Norman Danner
1997	—	`ch.`	Situation Theory. Handbook of Logic and Language Jerry Seligman, Lawrence S. Moss
1996	J	`jnl`	Topological Reasoning and the Logic of Knowledge. Ann. Pure Appl. Log. Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh
1996	—	`book`	Vicious circles - on the mathematics of non-wellfounded phenomena. Jon Barwise, Lawrence S. Moss
1995	J	`jnl`	Dynamic Interpretations of Constraint-Based Grammar Formalisms. J. Log. Lang. Inf. Lawrence S. Moss, David E. Johnson
1995	J	`jnl`	Power Set Recursion. Ann. Pure Appl. Log. Lawrence S. Moss
1993	A*	`conf`	A Unification-Based Parser for Relational Grammar. ACL David E. Johnson, Adam Meyers, Lawrence S. Moss
1993	J	`jnl`	Modal Logic and Algebraic Specifications. Theor. Comput. Sci. Lawrence S. Moss, Satish R. Thatte
1993	J	`jnl`	Some Formal Properties of Stratified Feature Grammars. Ann. Math. Artif. Intell. David E. Johnson, Lawrence S. Moss
1992	J	`jnl`	Distanced graphs. Discret. Math. Lawrence S. Moss
1992	J	`jnl`	Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. Lawrence S. Moss, José Meseguer, Joseph A. Goguen
1992	B	`conf`	Topological Reasoning and The Logic of Knowledge. TARK Lawrence S. Moss, Rohit Parikh
1991	J	`jnl`	Books received. Stud Logica Janusz Czelakowski, Lawrence S. Moss
1991	J	`jnl`	Non-Well-Founded Sets Modeled as Ideal Fixed Points Inf. Comput. Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
1989	B	`conf`	Algebraic Operational Semantics and Occam. CSL Yuri Gurevich, Lawrence S. Moss
1989	B	`conf`	Generalization of Final Algebra Semantics by Relativization. Mathematical Foundations of Programming Semantics Lawrence S. Moss, Satish R. Thatte
1989	A*	`conf`	Non-Well-Founded Sets Obtained from Ideal Fixed Points LICS Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
1988	—	`conf`	Optimal semantics of data type extensions. Algebraic Logic and Universal Algebra in Computer Science Lawrence S. Moss, Satish R. Thatte
1987	—	`conf`	Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science Lawrence S. Moss, José Meseguer, Joseph A. Goguen