Publication:4708953
From MaRDI portal
zbMath1014.68872MaRDI QIDQ4708953
Thomas Eiter, Nicola Leone, Wolfgang Faber, Gerald Pfeifer, Axel Polleres
Publication date: 20 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240541.htm
68T27: Logic in artificial intelligence
68U99: Computing methodologies and applications
68N17: Logic programming
Related Items