On the semantics of rule-based expert systems with uncertainty

Authors:
M. Kifer;A. Li
Affiliations:
SUNY at Stony Brook, NY;SUNY at Stony Brook, NY
Venue:
Lecture notes in computer science on ICDT '88
Year:
1988

Citing 0
Cited 24

A logic for object-oriented logic programming

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Amalgamating knowledge bases

ACM Transactions on Database Systems (TODS)
ProbView: a flexible probabilistic database system

ACM Transactions on Database Systems (TODS)
Querying partially sound and complete data sources

PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Probabilistic object bases

ACM Transactions on Database Systems (TODS)
Probabilistic Knowledge Bases

IEEE Transactions on Knowledge and Data Engineering
Semantics, Consistency, and Query Processing of Empirical Deductive Databases

IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty

IEEE Transactions on Knowledge and Data Engineering
The Well-Founded Semantics in Normal Logic Programs with Uncertainty

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Active integrity constraints

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Aggregate operators in probabilistic databases

Journal of the ACM (JACM)
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Belief Logic Programming

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Query Answering in Belief Logic Programming

SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Annals of Mathematics and Artificial Intelligence
Middleware for pervasive spaces: balancing privacy and utility

Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
A semantic approach for building pervasive spaces

Proceedings of the 6th Middleware Doctoral Symposium
Belief Logic Programming with Cyclic Dependencies

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Middleware for pervasive spaces: balancing privacy and utility

Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
Declarative semantics of production rules for integrity maintenance

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Aggregated Fuzzy Answer Set Programming

Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the main features of updates in databases. Recent results on updates are briefly described and used to raise various questions. It is argued that well-accepted query properties like safety and determinism should not be strictly enforced ...