Annals of Mathematics and Artificial Intelligence
Implicit Epistemic Aspects of Constructive Logic
Journal of Logic, Language and Information
A Modal Logic for Non-Deterministic Discourse Processing
Journal of Logic, Language and Information
Syntactic Calculus with Dependent Types
Journal of Logic, Language and Information
Review of type-logical semantics
ACM SIGACT News
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Contextual Dependence and the Epistemic Foundations of Dynamic Semantics
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
A constructive approach to state description semantics
Journal of Applied Logic
Journal of Functional Programming
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Dialogue Systems as Proof Editors
Journal of Logic, Language and Information
XML and multilingual document authoring: convergent trends
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Extended dependency structures and their formal interpretation
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
GraSp: grammar learning from unlabelled speech corpora
COLING-02 proceedings of the 6th conference on Natural language learning - Volume 20
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Theorem Prover with Dependent Types for Reasoning about Actions
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Ludics and Its Applications to Natural Language Semantics
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Information and Computation
A multilingual natural-language interface to regular expressions
FSMNLP '09 Proceedings of the International Workshop on Finite State Methods in Natural Language Processing
New Directions in Type-Theoretic Grammars
Journal of Logic, Language and Information
PGF: A Portable Run-time Format for Type-theoretical Grammars
Journal of Logic, Language and Information
A presuppositional analysis of definite descriptions in proof theory
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Tools for multilingual grammar-based translation on the web
ACLDemos '10 Proceedings of the ACL 2010 System Demonstrations
Two kinds of procedural semantics for privative modification
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Ludics, dialogue and interaction
Copredication, quantification and frames
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Contextual analysis of word meanings in type-theoretical semantics
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Translating between language and logic: what is easy and what is difficult
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Negative inquisitiveness and alternatives-based negation
AC'11 Proceedings of the 18th Amsterdam colloquim conference on Logic, Language and Meaning
Toward the formulation of presupposition by illative combinatory logic
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Dot-types and their implementation
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Controlling extraction in abstract categorial grammars
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Formalizing Context in Intuitionistic Type Theory
Fundamenta Informaticae
Formal foundations for situation awareness based on dependent type theory
Information Fusion
On generating coherent multilingual descriptions of museum objects from semantic web ontologies
INLG '12 Proceedings of the Seventh International Natural Language Generation Conference
| Hi-index | 0.00 |