Publication:3998506
From MaRDI portal
zbMath0707.68097MaRDI QIDQ3998506
Publication date: 23 January 1993
first order logic; meaning representation; infological language; intelligent information retrieval systems
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68P20: Information storage and retrieval of data
Related Items