dblp.uni-trier.dewww.uni-trier.de

Shekhar Pradhan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2005
11EEShekhar Pradhan: Believability as an Information Quality Dimension. IQ 2005
2004
10EEMichael Huth, Shekhar Pradhan: Consistent Partial Model Checking. Electr. Notes Theor. Comput. Sci. 73: 45-85 (2004)
2003
9EEShekhar Pradhan: Argumentation Databases. ICLP 2003: 178-193
2001
8EEShekhar Pradhan: Contestations and Constraints for Databases. INAP 2001: 11-19
7EEShekhar Pradhan: Connecting Databases with Argumentation. INAP (LNCS Volume) 2001: 170-185
6EEMichael 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-

Coauthor Index

1Michael Huth [6] [10]
2Jack Minker [2] [3]
3V. S. Subrahmanian [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)