Publication:4518430

zbMath0949.68525MaRDI QIDQ4518430

Danny De Schreye, Kristof van Belleghem, Marc Denecker

Publication date: 28 November 2000

Mathematics Subject Classification ID

68P15: Database theory

68T27: Logic in artificial intelligence

68T30: Knowledge representation

03B44: Temporal logic