zbMath0865.68112MaRDI QIDQ4332412
Luís Moniz Pereira, José Júlio Alferes, Teodor C. Przymusinski
Publication date: 21 April 1997
zbMATH Keywords
belief revision; non-monotonic reasoning; logic programming; autoepistemic logic of beliefs
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68N17: Logic programming
Related Items