Grammatical unification
type: Item
instance of: scholarly article
title: Grammatical unification
zbMATH Open document ID: 0532.68089
DOI: 10.1016/0020-0190(82)90096-5
author: Jan Maluszyński
author: Jorgen Fischer Nilsson
published in: Information Processing Letters
publication date: 1982-01-01T00:00:00Z
review text: This paper presents a generalization of the concept of unification introduced by \textit{J. A. Robinson} [J. Assoc. Math. 12, 23-41 (1965; Zbl 0139.123)] for resolution logic. Unification is the central procedure for performing manipulation of symbolic structures in resolution theorem proving.
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3845092
zbMATH Keywords: grammatical unification
zbMATH Keywords: context-free grammars
zbMATH Keywords: logic programming
zbMATH Keywords: Horn clause
zbMATH Keywords: Prolog systems
zbMATH Keywords: resolution logic
zbMATH Keywords: manipulation of symbolic structures
MaRDI profile type: Publication
full work available at URL: 0020-0190(82)90096-5
OpenAlex ID: W4250909439
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Natural language communication with computers
cites work: Q4051550
cites work: Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q3864488
cites work: Horn clause computability
Recommended article: The logic of unification in grammar
Recommended article: Unification grammars.
Recommended article: Q3739108
Recommended article: Q4531380
Recommended article: Q3759950
Recommended article: Q3992707
Recommended article: On the semantics of unification grammars
Recommended article: Q4599225
description: scientific article; zbMATH DE number 3845092