scientific article

zbMath0652.68109MaRDI QIDQ3798294

Ai Li, Michael Kifer

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticsexpert systemsquery optimizationreasoning with uncertaintyquantitative logic programmingrule-based systems with uncertainty

Mathematics Subject Classification ID

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

Related Items

A new approach to hybrid probabilistic logic programs, Tabulation proof procedures for fuzzy linguistic logic programming, The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference, A core language for fuzzy answer set programming, On-line algorithms for satisfiability problems with uncertainty, Paraconsistent disjunctive deductive databases, On-line algorithms for satisfiability problems with uncertainty, Annotated nonmonotonic rule systems, A Survey of First-Order Probabilistic Models, 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, Probabilistic logic programming, Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty, Aggregated fuzzy answer set programming, Approximate well-founded semantics, query answering and generalized normal logic programs over lattices, A semantical framework for supporting subjective and conditional probabilities in deductive databases