scientific article; zbMATH DE number 4026795

MaRDI QIDQ3768366zbMATH OpenFDO

Authors V. S. Subrahmanian, Howard A. Blair

Publication date 1987

zbMATH Keywords

semanticsinconsistencyclausestwo-valued logicvery large knowledge bases

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

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

Cited in

(16)

• A theory of nonmonotonic inheritance based on annotated logic
• scientific article; zbMATH DE number 4128792 (Why is no real title available?)
• Case-free programs: An abstraction of definite horn programs
• Annotated nonmonotonic rule systems
• scientific article; zbMATH DE number 554480 (Why is no real title available?)
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 4160109 (Why is no real title available?)
• 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
• Relevant logic programming
• A paraconsistent logic programming approach for querying inconsistent databases
• 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)