zbMath0945.03033MaRDI QIDQ4246962
Leendert van der Torre
Publication date: 27 September 2000
zbMATH Keywords
automated reasoning; planning; context; conditional goals; labeled logic
Mathematics Subject Classification ID
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
Related Items