| |
| 2005 | ||
|---|---|---|
| 11 | EE | Shekhar Pradhan: Believability as an Information Quality Dimension. IQ 2005 |
| 2004 | ||
| 10 | EE | Michael Huth, Shekhar Pradhan: Consistent Partial Model Checking. Electr. Notes Theor. Comput. Sci. 73: 45-85 (2004) |
| 2003 | ||
| 9 | EE | Shekhar Pradhan: Argumentation Databases. ICLP 2003: 178-193 |
| 2001 | ||
| 8 | EE | Shekhar Pradhan: Contestations and Constraints for Databases. INAP 2001: 11-19 |
| 7 | EE | Shekhar Pradhan: Connecting Databases with Argumentation. INAP (LNCS Volume) 2001: 170-185 |
| 6 | EE | Michael Huth, Shekhar Pradhan: Model-Checking View-Based Partial Specifications. Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 1996 | ||
| 5 | Shekhar Pradhan: Logic Programs with Contested Information. JICSLP 1996: 423-437 | |
| 4 | Shekhar Pradhan: Semantics of Normal Logic Programs and Contested Information. LICS 1996: 406-415 | |
| 3 | Shekhar Pradhan, Jack Minker: Using Priorities to Combine Knowledge Bases. Int. J. Cooperative Inf. Syst. 5(2&3): 333- (1996) | |
| 1995 | ||
| 2 | Shekhar Pradhan, Jack Minker, V. S. Subrahmanian: Combining Databases with Prioritized Information. J. Intell. Inf. Syst. 4(3): 231-260 (1995) | |
| 1994 | ||
| 1 | Shekhar Pradhan: Combining Datalog Databases Using Priorities. COMAD 1994: 0- | |
| 1 | Michael Huth | [6] [10] |
| 2 | Jack Minker | [2] [3] |
| 3 | V. S. Subrahmanian | [2] |