scientific article; zbMATH DE number 4064538

MaRDI QIDQ3798294zbMATH OpenFDO

Authors Michael Kifer, Ai Li

Publication date 1988

zbMATH Keywords

expert systemsquantitative logic programmingquery optimizationreasoning with uncertaintyrule-based systems with uncertaintysemantics

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Artificial intelligence (68T99)

Recommendations

• Evidential support logic programming
• scientific article; zbMATH DE number 4084980
• scientific article; zbMATH DE number 53618
• scientific article; zbMATH DE number 3980534
• A conceptual model for inexact reasoning in rule-based systems

Cited in

(28)

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Paraconsistent disjunctive deductive databases
• Probabilistic logic programming
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Uncertain deductive databases: a hybrid approach
• Specialisation calculus and communication
• The non-definedness notion in expert systems
• Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• A new approach to hybrid probabilistic logic programs
• Fast reasoning in a rule-based system with uncertainty
• Reasoning with uncertainty in deductive databases and logic programs
• scientific article; zbMATH DE number 4172430 (Why is no real title available?)
• A Survey of First-Order Probabilistic Models
• Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
• Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
• scientific article; zbMATH DE number 4084980 (Why is no real title available?)
• On the Role of Ambiguity and Incompleteness in the Design of Decision Tables and Rule-Based Systems
• Semantics and Consistency of Rule based Expert Systems
• A core language for fuzzy answer set programming
• On-line algorithms for satisfiability problems with uncertainty
• On-line algorithms for satisfiability problems with uncertainty
• Annotated nonmonotonic rule systems
• A theory of nonmonotonic inheritance based on annotated logic
• A logic for reasoning with inconsistency
• A top-\(k\) query answering procedure for fuzzy logic programming
• Aggregated fuzzy answer set programming
• Tabulation proof procedures for fuzzy linguistic logic programming

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