Pages that link to "Item:Q1143818"
From MaRDI portal
The following pages link to Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks (Q1143818):
Displaying 32 items.
- A parallel parsing system for natural language analysis (Q580997) (← links)
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Parsing as non-Horn deduction (Q688151) (← links)
- Grammatical unification (Q789185) (← links)
- Towards a programming language based on the notion of two-level grammar (Q795514) (← links)
- A generalized approach to metaprogramming in logic grammars (Q922715) (← links)
- Parsing and generation with static discontinuity grammars (Q922717) (← links)
- BUP: A bottom-up parser embedded in Prolog (Q1075783) (← links)
- Modeling rule-based systems by stochastic programmed production systems (Q1083875) (← links)
- AID: an alternative implementation of DCGs (Q1090468) (← links)
- Automating the semantic component (Q1108051) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- Computing abstract decorations of parse forests using dynamic programming and algebraic power series (Q1129128) (← links)
- Finite-state abstractions on Arabic morphology (Q1329226) (← links)
- Correct translation of data parallel assignment onto array processors (Q1336950) (← links)
- Linear-space recognition for grammars with contexts (Q1704576) (← links)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- A structured temporal logic language: XYZ/SE (Q2277863) (← links)
- Logic programming with solution preferences (Q2378282) (← links)
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266) (← links)
- XMG 2: Describing Description Languages (Q2964010) (← links)
- A New Method for Dependent Parsing (Q3000590) (← links)
- Head-Driven Statistical Models for Natural Language Parsing (Q3225404) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
- A deductive clustering approach (Q4297222) (← links)
- (Q5020651) (← links)
- GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES (Q5249009) (← links)
- Logic-based genetic programming with definite clause translation grammars (Q5952496) (← links)
- Database semantics for natural language (Q5958106) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
