Publication:4530457

zbMath0997.03008MaRDI QIDQ4530457

Torsten Schaub, Stefan Brüning

Publication date: 13 November 2002

zbMATH Keywords

default logic; automated theorem proving; default reasoning; query-answering; connection calculus

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

03B35: Mechanization of proofs and logical operations