Publication:4800170
From MaRDI portal
zbMath1010.68793MaRDI QIDQ4800170
Thomas Eiter, Nicola Leone, Wolfgang Faber, Gerald Pfeifer, Axel Polleres
Publication date: 21 May 2003
68U99: Computing methodologies and applications
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68N17: Logic programming