An evidence-based framework for a theory of inheritance

Authors:
T. Krishnaprasad;Michael Kifer
Affiliations:
Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY;Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 8
Cited 1

Semantical considerations on nonmonotonic logic

Artificial Intelligence
The mathematics of inheritance systems

The mathematics of inheritance systems
A calculus for inheritance in monotonic semantic nets

Proceedings of the Second International Symposium on Methodologies for intelligent systems
Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
RI: A logic for reasoning with inconsistency

Proceedings of the Fourth Annual Symposium on Logic in computer science
Bilattices and the semantics of logic programming

Journal of Logic Programming
On the Semantics of Rule-Based Expert Systems with Uncertainty

ICDT '88 Proceedings of the 2nd International Conference on Database Theory

Defeasible inheritance with doubt index and its axiomatic characterization

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...