scientific article; zbMATH DE number 2079046
From MaRDI portal
Publication:4474859
zbMath1044.68812MaRDI QIDQ4474859
Publication date: 21 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items
Reasoning with stratified default theories ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ A system for computing constrained default logic extensions ⋮ Logic programming with infinite sets
This page was built for publication:
