scientific article; zbMATH DE number 1301757

From MaRDI portal

Publication:4246972

Jump to:navigation, search

zbMath0928.03028MaRDI QIDQ4246972

Torsten Schaub, T. Linke

Publication date: 16 June 1999

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

zbMATH Keywords

extensions default logic default reasoning query-answering compilation phase

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (2)

A new default theories compilation for MSP-entailment ⋮ Alternative foundations for Reiter's default logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4246972&oldid=18143161"