scientific article; zbMATH DE number 4026795

zbMATH Open0631.68009MaRDI QIDQ3768366FDOQ3768366

V. S. Subrahmanian, Howard A. Blair

Publication date: 1987

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

zbMATH Keywords

semanticsinconsistencyclausestwo-valued logicvery large knowledge bases

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (14)

• A theory of nonmonotonic inheritance based on annotated logic
• Case-free programs: An abstraction of definite horn programs
• Title not available (Why is that?)
• Annotated nonmonotonic rule systems
• Relational Methods in Computer Science
• Title not available (Why is that?)
• Probabilistic logic programming
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Parma—bridging the performance gap between imperative and logic programming
• A paraconsistent logic programming approach for querying inconsistent databases
• Relevant logic programming
• Paraconsistent intelligent systems of computer logics
• A logic for reasoning with inconsistency
• Answering queries from context-sensitive probabilistic knowledge bases

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Paraconsistent Stable Semantics for Extended Disjunctive Programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Paraconsistent declarative semantics for extended logic programs 👍 👎

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 Q3768366)