Shekhar Pradhan

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Fri May 24 11:18:13 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page