scientific article; zbMATH DE number 1269576

zbMATH Open0936.03028MaRDI QIDQ4236375

Torsten Schaub

Publication date: 14 September 1999

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

zbMATH Keywords

semanticsdefault reasoningcontextdefault logicscontextual default logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (4)

A three-valued approach to default logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Prolog technology for default reasoning: proof theory and compilation techniques

This page was built for publication: