scientific article; zbMATH DE number 980413

From MaRDI portal

Publication:4333375

Jump to:navigation, search

zbMath0862.03017MaRDI QIDQ4333375

Grigoris Antoniou, Volker Sperschneider

Publication date: 19 February 1997

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

zbMATH Keywords

autoepistemic logic default logic fixed-point equations cumulative default logic operational interpretations Prolog implementations

Mathematics Subject Classification ID

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

Related Items (1)

New proofs in default logic theory

This page was built for publication:

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