zbMath0949.68574MaRDI QIDQ4518416
Patrick Doherty, Witold Łukaszewicz
Publication date: 28 November 2000
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation
Related Items