Knowledge systems: Principles and practice
IBM Journal of Research and Development
Parsing and compiling using Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Restricting logic grammars with government-binding theory
Computational Linguistics
A view of the origins and development of Prolog
Communications of the ACM
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Increasing the efficiency of Prolog Lexical databases with N-gram Boolean cubes
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Design of LMT: a prolog-based machine translation system
Computational Linguistics
Computer-assisted microanalysis of parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Describing Prolog by its interpretation and compilation
Communications of the ACM
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Saving traces for Ada debugging
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Relating sentences and semantic networks with procedural logic
Communications of the ACM
Spelling verification in prolog
ACM SIGPLAN Notices
Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Information Extraction: Towards Scalable, Adaptable Systems
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
How to define a language using PROLOG
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
The Fifth Generation grail: A survey of related research
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
ACM '79 Proceedings of the 1979 annual conference
A phrase-structured grammatical framework for transportable natural language processing
Computational Linguistics
Review of "The logic of typed feature structures" by Bob Carpenter. Cambridge University Press 1992.
Computational Linguistics
Computational Linguistics
Review of "Logic for problem solving" by Robert Kowalski. Elsevier North Holland 1979.
Computational Linguistics
Translating Spanish into logic through logic
Computational Linguistics
Computational Linguistics
An efficient easily adaptable system for interpreting natural language queries
Computational Linguistics
Treating coordination in logic grammars
Computational Linguistics
Parsing with logical variables
ANLC '83 Proceedings of the first conference on Applied natural language processing
Computational Linguistics - Special issue on tense and aspect
Programming in logic with constraints for natural language processing
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Montagovian Definite Clause Grammar
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
L'idee de grammaire avec le contexte naturel
EACL '83 Proceedings of the first conference on European chapter of the Association for Computational Linguistics
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Using focus to generate complex and simple sentences
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Using λ-calculus to represent meanings in logic grammars
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Comparing two grammar-based generation algorithms: a case study
ACL '92 Proceedings of the 30th annual meeting on Association for Computational Linguistics
Parsing free word order languages in Prolog
COLING '80 Proceedings of the 8th conference on Computational linguistics
Using the same system for analyzing and synthesizing sentences
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
INTERFACILE: linguistic coverage and query reformulation
COLING '86 Proceedings of the 11th coference on Computational linguistics
DCKR: knowledge representation in prolog and its application to natural language processing
COLING '86 Proceedings of the 11th coference on Computational linguistics
Sensitive parsing: error analysis and explanation in an intelligent language tutoring system
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
LangLAB: a natural language analysis system
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Toward computational description of written Polish: Warsaw University, Poland
ACM SIGART Bulletin
History of programming languages---II
Theory and Practice of Logic Programming
Automatic Translation in Two Phases: Recognition and Interpretation
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Last steps towards an ultimate Prolog
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A PROLOG implementation of lexical functional grammar
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Informing datalog through language intelligence --- a personal perspective
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Hi-index | 0.05 |