Basic simple type theory
Proof finding algorithms for implicational logics
Theoretical Computer Science - Special issue on proof-search in type-theoretic languages
A short introduction to intuitionistic logic
A short introduction to intuitionistic logic
Balanced Formulas, BCK-Minimal Formulas and Their Proofs
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms
Journal of Logic, Language and Information
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Polynomial Identification in the Limit of Substitutable Context-free Languages
The Journal of Machine Learning Research
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
Distributional learning of some context-free languages with a minimally adequate teacher
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Towards general algorithms for grammatical inference
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
Using Contextual Representations to Efficiently Learn Context-Free Languages
The Journal of Machine Learning Research
Polynomial time learning of some multiple context-free languages with a minimally adequate teacher
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Distributional learning of simple context-free tree grammars
ALT'11 Proceedings of the 22nd international conference on Algorithmic learning theory
Integration of the dual approaches in the distributional learning of context-free grammars
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Hi-index | 0.00 |
Recent studies on grammatical inference have demonstrated the benefits of the learning strategy called "distributional learning" for context-free and multiple context-free languages. This paper gives a comprehensive view of distributional learning of "context-free" formalisms (roughly in the sense of Courcelle 1987) in terms of abstract categorial grammars, in which existing "context-free" formalisms can be encoded.