scientific article; zbMATH DE number 550000

zbMATH Open0789.68133MaRDI QIDQ4287520FDOQ4287520

Authors: Cees Witteveen 

Publication date: 12 April 1994

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1163571
• scientific article; zbMATH DE number 140420
• Logic Programming and Nonmonotonic Reasoning

zbMATH Keywords

truth maintenancepartial semanticswell-founded modelpartial interpretations2-valued stable model semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Cited In (2)

• Title not available (Why is that?)
• Propositional truth maintenance systems: Classification and complexity analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287520)