scientific article; zbMATH DE number 4084980

MaRDI QIDQ3814770zbMATH OpenFDO

Authors Y. Sakakibara

Publication date 1988

zbMATH Keywords

expert systemsLogic programs with uncertaintiesnegation as failuresemantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1942457
• scientific article; zbMATH DE number 4064538
• scientific article; zbMATH DE number 1923157
• Modal Logic and Negation as Failure
• Mathematical Foundations of Computer Science 2003

Cited in

(10)

• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• Knowledge of uncertain worlds: programming with logical constraints
• Uncertainty reasoning of two models based on linguistic truth-valued lattice-valued first-order logic system \(L_{v(n\times 2)}F(X)\)
• scientific article; zbMATH DE number 4160105 (Why is no real title available?)
• scientific article; zbMATH DE number 4064538 (Why is no real title available?)
• scientific article; zbMATH DE number 1942457 (Why is no real title available?)
• Knowledge of uncertain worlds: programming with logical constraints
• A framework for reasoning under uncertainty based on non-deterministic distance semantics
• Mathematical Foundations of Computer Science 2003
• Uncertain logics, variables and systems

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