Vivid knowledge and tractable reasoning

Authors:
David W. Etherington;Alex Borgida;Ronald J. Brachman;Henry Kautz
Affiliations:
AT&T Bell Laboratories, Murray Hill, NJ;Department of Computer Science, Rutgers University, New Brunswick, NJ;AT&T Bell Laboratories, Murray Hill, NJ;AT&T Bell Laboratories, Murray Hill, NJ
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 10
Cited 3

A calculus for inheritance in monotonic semantic nets

Proceedings of the Second International Symposium on Methodologies for intelligent systems
A four-valued semantics for terminological logics

Artificial Intelligence
CLASSIC: a structural data model for objects

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Efficient management of transitive relationships in large data and knowledge bases

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Hierarchical knowledge bases and efficient disjunctive reasoning

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Hard problems for simple default logics

Proceedings of the first international conference on Principles of knowledge representation and reasoning
On semantic issues connected with incomplete information databases

ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning

ACM Transactions on Database Systems (TODS)
Reasoning with Incomplete Information

Reasoning with Incomplete Information
On Indefinite Databases and the Closed World Assumption

Proceedings of the 6th Conference on Automated Deduction

Negation and proof by contradiction in access-limited logic

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Common sense retrieval

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
A Critical Examination Of Model Preference Defaults

Fundamenta Informaticae

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 ...