Mukesh Dalal

AIJ Journal 1998 Journal Article

Generating multimedia briefings: coordinating language and illustration

• Kathleen R. McKeown
• Steven K. Feiner
• Mukesh Dalal
• Shih-Fu Chang

Communication can be more effective when several media (such as text, speech, or graphics) are integrated and coordinated to present information. This changes the nature of media-specific generation (e. g. , language or graphics generation), which must take into account the multimedia context in which it occurs. This paper presents work on coordinating and integrating speech, text, static and animated three-dimensional graphics, and stored images, as part of several systems we have developed at Columbia University. A particular focus of our work has been on the generation of presentations that brief a user on information of interest

ECAI Conference 1996 Conference Paper

An Almost Quadratic Class of Satisfiability Problems

• Mukesh Dalal

ECAI Conference 1996 Conference Paper

Semantics of an Anytime Family of Reasoners

• Mukesh Dalal

AAAI Conference 1992 Conference Paper

Efficient Propositional Constraint Propagation

• Mukesh Dalal

We present an efficient method for inferring facts from a propositional knowledge base, which is not required to be in conjunctive normal form. This logically-incomplete method, called propositional fact propagation, is more powerful and efficient than some forms of boolean constraint propagation. Hence, it can be used for tractable deductive reasoning in many AI applications, including various truth maintenance systems. We also use propositional fact propagation to define a weak logical entailment relation that is more powerful and efficient than some others presented in the literature. Among other applications, this new entailment relation can be used for efficiently answering queries posed to a knowledge base, and for modeling beliefs held by a resource-limited agent.

ECAI Conference 1992 Conference Paper

Tractable Instances of Some Hard Deduction Problems

• Mukesh Dalal

AAAI Conference 1988 Conference Paper

Investigations into a Theory of Knowledge Base Revision: Preliminary Report

• Mukesh Dalal

. 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, and investigates a new theory of knowledge revision that realizes these principles. This theory of revision can be explained at the knowledge level, in purely model-theoretic terms. A syntactic characterization of the proposed approach is also presented. We illustrate its application through examples and compare it with several other approaches.