A fundamental problem in knowledge representation is how to revise knowledge when new, contradictory information is obtained. This paper formulates some desirable principles of knowledge revision,â€¦ (More)

We describe MAGIC, an experimental system for generating multimedia briefings about the clinical status of post-bypass patients entering a cardiac ICU. MAGIC is a distributed system whose componentsâ€¦ (More)

An anytime family of propositional reasoners is a sequenceR0;R1; : : : of inference relations such that each Ri is sound, tractable, and makes more inferences than Ri 1, and each theory has aâ€¦ (More)

Creating high-quality multimedia presentations requires much skill, time, and effort. This is particularly true when temporal media, such as speech and animation, are involved. We describe the designâ€¦ (More)

OOLP integrates the superior modeling capabilities of object-oriented paradigm in the declarative framework of logic programming. Method in-vocation in OOLP is given a precise model theoreticâ€¦ (More)

Many reasoning problems in Knowledge Representation can be reduced to the satisfiability problem of propositional logic. Since Cook proved that satisfiability is NP-Complete, several classes ofâ€¦ (More)

CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementations, CNF-BCPâ€¦ (More)