scientific article; zbMATH DE number 4114596

zbMath0681.03012MaRDI QIDQ4729762

Gerhard Jäger

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

non-monotonic reasoningclosed world assumptioncircumscriptioninductive definition

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Inductive definability (03D70)

Related Items

A transformation of propositional Prolog programs into classical logic ⋮ Hard problems for simple default logics ⋮ Abstract minimality and circumscription