Special-purpose, but domain-independent, inference mechanisms
Selected and updated papers from the proceedings of the 1982 European conference on Progress in artificial intelligence
Computational Linguistics
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Understanding Natural Language
Understanding Natural Language
Making Exhaustive Search Programs Deterministic
Proceedings of the Third International Conference on Logic Programming
Compiling OR-parallelism into AND-parallelism
Proceedings of the Third International Conference on Logic Programming
Design of a Prolog-Based Machine Translation System
Proceedings of the Third International Conference on Logic Programming
Functional Unification Grammar: a formalism for machine translation
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Computational Linguistics
Systemic classification and its efficiency
Computational Linguistics
Unification encodings of grammatical notations
Computational Linguistics
Interpretation of a Mizar-Like Logic in First-Order Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Review of "Functional grammar and the computer" by John H. Connolly and Simon C. Dik. Foris 1989.
Computational Linguistics
Robust grammatical analysis for spoken dialogue systems
Natural Language Engineering
Experiments in reusability of grammatical resources
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Expressing generalizations in unification-based grammar formalisms
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
A new view on the process of translation
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
ProFIT: prolog with features, inheritance and templates
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Rapid development of morphological descriptions for full language processing systems
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Inclusion, disjointness and choice: the logic of linguistic classification
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Gemini: a natural language system for spoken-language understanding
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
Partial descriptions and systemic grammar
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
A tool for collecting domain dependent sortal constraints from corpora
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
Reversible delayed lexical choice in a bidirectional framework
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
Information-based Case Grammar
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 2
Ellipsis resolution with underspecified scope
ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
Indexing methods for efficient parsing
NAACLstudent '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology: Proceedings of the HLT-NAACL 2003 student research workshop - Volume 3
Unification-based semantic interpretation in the BBN Spoken Language System
HLT '89 Proceedings of the workshop on Speech and Natural Language
Gemini: a natural language system for spoken-language understanding
HLT '93 Proceedings of the workshop on Human Language Technology
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool
Fundamenta Informaticae
| Hi-index | 0.00 |