DOI10.1016/S0743-1066(99)00003-5zbMath0945.68027MaRDI QIDQ4943434
Danny De Schreye, Marc Denecker, Sofie Verbaeten
Publication date: 16 March 2000 Published in: The Journal of Logic Programming (Search for Journal in Brave)
zbMATH Keywords
knowledge representation; normal open logic programming
Mathematics Subject Classification ID
68T30: Knowledge representation
68N17: Logic programming