Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
From MaRDI portal
Publication:1143818
DOI10.1016/0004-3702(80)90003-XzbMath0442.68088OpenAlexW2161160885MaRDI QIDQ1143818
Fernando C. N. Pereira, David H. D. Warren
Publication date: 1980
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(80)90003-x
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99)
Related Items (32)
BUP: A bottom-up parser embedded in Prolog ⋮ Finite-state abstractions on Arabic morphology ⋮ Evolution of rule-based programs ⋮ Modeling rule-based systems by stochastic programmed production systems ⋮ Correct translation of data parallel assignment onto array processors ⋮ AID: an alternative implementation of DCGs ⋮ Logic programming with solution preferences ⋮ Automating the semantic component ⋮ A deductive clustering approach ⋮ Fibred semantics for feature-based grammar logic ⋮ Polymorphic syntax definition ⋮ Computing abstract decorations of parse forests using dynamic programming and algebraic power series ⋮ Head-Driven Statistical Models for Natural Language Parsing ⋮ Fifty Years of Prolog and Beyond ⋮ XMG 2: Describing Description Languages ⋮ Linear-space recognition for grammars with contexts ⋮ Unnamed Item ⋮ A generalized approach to metaprogramming in logic grammars ⋮ Parsing and generation with static discontinuity grammars ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control ⋮ A New Method for Dependent Parsing ⋮ Proof methods of declarative properties of definite programs ⋮ Parsing as non-Horn deduction ⋮ Logic-based genetic programming with definite clause translation grammars ⋮ A parallel parsing system for natural language analysis ⋮ A structured temporal logic language: XYZ/SE ⋮ Database semantics for natural language ⋮ Executable Relational Specifications of Polymorphic Type Systems Using Prolog ⋮ Abductive Logic Grammars ⋮ GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES ⋮ Grammatical unification ⋮ Towards a programming language based on the notion of two-level grammar
Uses Software
Cites Work
This page was built for publication: Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
