Dalal, Mukesh

3 publications

AAAI 1997 Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP Rahul Roy-Chowdhury, Mukesh Dalal

AAAI 1992 Efficient Propositional Constraint Propagation Mukesh Dalal

AAAI 1988 Investigations into a Theory of Knowledge Base Revision Mukesh Dalal