A Resource Sensitive Interpretation of Lexical Functional Grammar
Journal of Logic, Language and Information
The combinatory morphemic lexicon
Computational Linguistics
Combinators for Paraconsistent Attitudes
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Sharing Resource-Sensitive Knowledge Using Combinator Logics
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Incremental processing and acceptability
Computational Linguistics
Geometry of lexico-syntactic interaction
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
A note on categorial grammar, disharmony and permutation
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Querying temporal databases using controlled natural language
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms
Journal of Logic, Language and Information
Exploring the potentials of combining photo annotating tasks with instant messaging fun
Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Generating referring quantified expressions
INLG '00 Proceedings of the first international conference on Natural language generation - Volume 14
Lambek calculus is NP-complete
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
Alternative Logics: a book review: SIGACT news logic column 18
ACM SIGACT News
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Hybrid Tableaux for the Difference Modality
Electronic Notes in Theoretical Computer Science (ENTCS)
Solving logic puzzles: from robust processing to precise semantics
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
Research on Language and Computation
Inducing probabilistic CCG grammars from logical form with higher-order unification
EMNLP '10 Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing
Controlled English ontology-based data access
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality
Journal of Logic, Language and Information
The calculus of responsibility and commitment
Ludics, dialogue and interaction
Learning dependency-based compositional semantics
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1
Covert movement in logical grammar
Logic and grammar
Event semantics and abstract categorial grammar
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
The categorial logic of vacuous components in natural language
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Constraint Based Syntax of Modifiers
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Bootstrapping semantic parsers from conversations
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Lexical generalization in CCG grammar induction for semantic parsing
EMNLP '11 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Fundamenta Informaticae - Logic, Language, Information and Computation
Controlling extraction in abstract categorial grammars
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Integration of gesture and verbal language: a formal semantics approach
GW'11 Proceedings of the 9th international conference on Gesture and Sign Language in Human-Computer Interaction and Embodied Communication
Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic Recursion
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Learning dependency-based compositional semantics
Computational Linguistics
Displacement logic for anaphora
Journal of Computer and System Sciences
Studia Logica
| Hi-index | 0.00 |