scientific article
From MaRDI portal
Publication:3493312
zbMath0709.68090MaRDI QIDQ3493312
Bob Givan, Tanveer Fatima, David Allen McAllester
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Artificial intelligence (68T99) Classical first-order logic (03B10)
Related Items (4)
Bi-rewriting, a term rewriting technique for monotonic order relations ⋮ Natural language syntax and first-order inference ⋮ The KL-ONE family ⋮ Prototypes in a hybrid language with primitive descriptions
This page was built for publication:
