Steps toward artificial intelligence
Computers & thought
A Human Oriented Logic for Automatic Theorem-Proving
Journal of the ACM (JACM)
Communications of the ACM
Thinking Computer: Mind inside Matter
Thinking Computer: Mind inside Matter
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Micro-Planner Reference Manual
Micro-Planner Reference Manual
The FRL Manual
Assimilation of New Information by a Natural Language Understanding System
Assimilation of New Information by a Natural Language Understanding System
Understanding Simple Picture Programs
Understanding Simple Picture Programs
Hypothesis Formation and Evaluation in Medical Diagnosis
Hypothesis Formation and Evaluation in Medical Diagnosis
Reasoning from Incomplete Knowledge in a Procedural Deduction System
Reasoning from Incomplete Knowledge in a Procedural Deduction System
Qualitative Knowledge, Causal Reasoning, and the Localization of Failures
Qualitative Knowledge, Causal Reasoning, and the Localization of Failures
Flexibility and Efficiency in a Computer Program for Designing Circuits
Flexibility and Efficiency in a Computer Program for Designing Circuits
Truth Maintenance Systems for Problem Solving
Truth Maintenance Systems for Problem Solving
Dependency Directed Reasoning for Complex Program Understanding
Dependency Directed Reasoning for Complex Program Understanding
Causal and Teleological Reasoning In Circuit Recognition
Causal and Teleological Reasoning In Circuit Recognition
A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS
A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS
Chess as problem solving: the development of a tactics analyzer.
Chess as problem solving: the development of a tactics analyzer.
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
Towards a self-extending parser
ACL '79 Proceedings of the 17th annual meeting on Association for Computational Linguistics
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Uncertainty management in a distributed knowledge based system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Artificial Intelligence Review
| Hi-index | 0.00 |
This article presents an overview of research in an area loosely called belief revision. Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the environment or acquisition of new information. In addition, belief revision research includes the study of methods for representing models of environments as collections of beliefs and the development of formal theories of belief. The bulk of the article consists of a descriptor-indexed bibliography of research addressing these topics. Our intention is that this bibliography serve both to introduce the interested researcher to this literature, and to capture the current state of the field. Towards this purpose, we begin with an overview of belief revision research.