Pages that link to "Item:Q4286213"
From MaRDI portal
The following pages link to A Hypothetical Reasoning Algorithm for Linguistic Analysis (Q4286213):
Displaying 4 items.
- A `natural logic' inference system using the Lambek calculus (Q851198) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank (Q3225465) (← links)
- A Lambek Automaton (Q3424117) (← links)