scientific article; zbMATH DE number 4026795

zbMATH Open0631.68009MaRDI QIDQ3768366FDOQ3768366

Authors: V. S. Subrahmanian, Howard A. Blair 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 4128792
• scientific article; zbMATH DE number 970716
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• scientific article; zbMATH DE number 1269574
• Paraconsistent declarative semantics for extended logic programs

zbMATH Keywords

semanticsinconsistencyclausestwo-valued logicvery large knowledge bases

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (16)

• 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?)
• 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
• Paraconsistency and word puzzles

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)