Publication:4518430
From MaRDI portal
zbMath0949.68525MaRDI QIDQ4518430
Danny De Schreye, Kristof van Belleghem, Marc Denecker
Publication date: 28 November 2000
68P15: Database theory
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B44: Temporal logic