scientific article
From MaRDI portal
Publication:3126169
zbMath0867.03002MaRDI QIDQ3126169
Witold Łukaszewicz, Patrick Doherty, Andrzej Szałas
Publication date: 13 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
logic programscircumscriptionsecond-order formulasbounded fixpoint formulasfixpoint calculusgeneralization of Ackermann's lemmasemi-Horn formulas
Logic in artificial intelligence (68T27) Logic programming (68N17) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
General domain circumscription and its first-order reduction ⋮ Annotation theories over finite graphs
This page was built for publication:
