Searching for authors named "Mukesh Dalal" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Anytime Families of Tractable Propositional Reasoners
- …Anytime Families of Tractable Propositional Reasoners Mukesh Dalal Columbia University Department…
- Cited by 11 (4 self) – Add To MetaCart
-
Semantics of an Efficient Propositional Reasoner : Preliminary Report
- …Semantics of an Efficient Propositional Reasoner : Preliminary Report Mukesh Dalal y Columbia…
- Cited by 2 (2 self) – Add To MetaCart
-
Semantics of an Anytime Family of Reasoners
- …Semantics of an Anytime Family of Reasoners Mukesh Dalal 1 Abstract. An anytime family…
- Cited by 15 (1 self) – Add To MetaCart
-
Investigations Into a Theory of Knowledge Base Revision
- …, August 1988. Mukesh Dalal y Rutgers University Computer Science Department New Brunswick, New Jersey…
- Cited by 188 (0 self) – Add To MetaCart
-
Tractable Deduction in Knowledge Representation Systems
- …, Massachusetts, October 1992. Mukesh Dalal Rutgers University Computer Science Department New Brunswick, NJ…
- Cited by 4 (2 self) – Add To MetaCart
-
"Your Time is Up": Approximate Query Answering in Deductive Databases
- …, Boston, Massachusetts. Tomasz Imielinski Mukesh Dalal y Rutgers University Department of Computer…
- Add To MetaCart
-
Tractable Reasoning In Knowledge Representation Systems
- …TRACTABLE REASONING IN KNOWLEDGE REPRESENTATION SYSTEMS BY MUKESH DALAL A dissertation submitted…
- Cited by 6 (4 self) – Add To MetaCart
-
OOLP: A Translation Approach to Object-Oriented Logic Programming Deductive and Object-Oriented Databases
- …, December 1989. Mukesh Dalal y and Dipayan Gangopadhyay z y Dept. of Computer Science, Rutgers…
- Cited by 16 (0 self) – Add To MetaCart
-
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
- …Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP Rahul Roy-Chowdhury and Mukesh…
- Cited by 1 (0 self) – Add To MetaCart
-
Tractable Approximate Deduction using Limited Vocabularies
- … Conference on Artificial Intelligence (AI '92), pages 206--212, Vancouver, British Columbia, May 1992. Mukesh…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
