Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Introduction to artificial intelligence
Introduction to artificial intelligence
Artificial Intelligence - Special volume on natural language processing
Natural language understanding (2nd ed.)
Natural language understanding (2nd ed.)
Labelled abduction and relevance reasoning
Nonstandard queries and nonstandard answers
On the Representation of Context
Journal of Logic, Language and Information
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Logical Grammars Based on Constraint Handling Rules
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Deductive Parsing of Visual Languages
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Natural Language Communication with Computers
A New Meta-complexity Theorem for Bottom-Up Logic Programs
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
CHRv: A Flexible Query Language
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Compiling Constraint Handling Rules into Prolog with Attributed Variables
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Logic Grammars for Diagnosis and Repair
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Structural disambiguation with constraint propagation
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Chart parsing and constraint programming
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
A Hybrid Approach to Improving Automatic Speech Recognition Via NLP
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Theory and Practice of Logic Programming
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Chr(prism)-based probabilistic logic learning
Theory and Practice of Logic Programming
Diagram interpretation and e-learning systems
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Semantic property grammars for knowledge extraction from biomedical text
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
An abductive treatment of long distance dependencies in CHR
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
Gradience, constructions and constraint systems
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
Informing datalog through language intelligence --- a personal perspective
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Compiling CHR to parallel hardware
Proceedings of the 14th symposium on Principles and practice of declarative programming
On second language tutoring through womb grammars
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advances in computational intelligence - Volume Part I
| Hi-index | 0.00 |
A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena. The formalism extends previous logic programming based grammars with a form of context-sensitive rules and the possibility to include extra-grammatical hypotheses in both head and body of grammar rules. Among the applications are straightforward implementations of Assumption Grammars and abduction under integrity constraints for language analysis. CHR grammars appear as a powerful tool for specification and implementation of language processors and may be proposed as a new standard for bottom-up grammars in logic programming.