Moss, Lawrence S.
- OCNLI: Original Chinese Natural Language Inference
2020/10/12 by Hai Hu, Kyle Richardson, Hu, Hai +9 · 9 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling
- NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning
2021/05/29 by Zeming Chen, Qiyue Gao, Chen, Zeming +3 · 4 citations
Computer Science · #Advanced Text Analysis Techniques #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity
2019/10/19 by Hai Hu, Hu, Hai, Qi Chen +9 · 3 citations
Computer Science · #Advanced Graph Neural Networks #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- On Well-Founded and Recursive Coalgebras
2019/10/21 by Adámek, Jiří, Milius, Stefan, Moss, Lawrence S. · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Probing Natural Language Inference Models through Semantic Fragments
2019/09/16 by Richardson, Kyle, Hu, Hai, Moss, Lawrence S. +1 · 2 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Logics for Epistemic Actions: Completeness, Decidability, Expressivity
2022/03/13 by Alexandru Baltag, Baltag, Alexandru, Lawrence S. Moss +3 · 1 citation
Computer Science · #03B42 #68T27 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #I.2.4 #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems