scientific article

zbMath0757.03012MaRDI QIDQ4013802

No author found.

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

NP-completefinite model propertyPSPACE-completefirst-order logic fragments describing feature structure languagesnatural language structuresSchönfinkel-Bernays decidable class of formulae

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Natural language processing (68T50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

A complete and recursive feature theory