Publication:4013802
From MaRDI portal
zbMath0757.03012MaRDI QIDQ4013802
No author found.
Publication date: 27 September 1992
NP-complete; finite model property; PSPACE-complete; first-order logic fragments describing feature structure languages; natural language structures; Schönfinkel-Bernays decidable class of formulae
68T27: Logic in artificial intelligence
03B65: Logic of natural languages
03B25: Decidability of theories and sets of sentences
03D15: Complexity of computation (including implicit computational complexity)
68T50: Natural language processing
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items