Get started
Author

Shekhar Pradhan

Observed names: Pradhan, S, Pradhan, Shekhar, S. Pradhan, SHEKHAR PRADHAN
ORCID: 0000-0003-3212-5847
Observed ORCID: 0000-0003-3212-5847
OpenAlex ID: A5028383887
Consistent Partial Model Checking
2004 · Michael Huth, Shekhar Pradhan · Electronic Notes in Theoretical Computer Science · 18
Combining databases with prioritized information
1995 · Shekhar Pradhan, Jack Minker, et al. · Journal of Intelligent Information Systems · 14
Using Priorities to Combine Knowledge Bases
1996 · SHEKHAR PRADHAN, JACK MINKER · International Journal of Cooperative Information Systems · 12
Model-Checking View-Based Partial Specifications
2001 · Michael Huth, Shekhar Pradhan · Electronic Notes in Theoretical Computer Science · 11
PDF
Lifting assertion and consistency checkers from single to multiple viewpoints
2002 · Huth, Michael, Pradhan, Shekhar · 8
Believability as an Information Quality Dimension.
2005 · Shekhar Pradhan · ICIQ · 5
Combining Datalog Databases Using Priorities.
1994 · Shekhar Pradhan, Jack Minker · International conference on Datalog in Academia and Industry · 5
Connecting Databases with Argumentation
2003 · Shekhar Pradhan · Lecture notes in computer science · 4
Reasoning with Conflicting Information in Artificial Intelligence and Database Theory
2001 · Shekhar Pradhan · University Libraries (University of Maryland) · 4
PDF
Semantics of normal logic programs and contested information
2002 · S. Pradhan · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 3
Argumentation Databases
2003 · Shekhar Pradhan · Lecture notes in computer science
Abstraction and refinement for model checking inconsistent systems
2001 · Huth, M, Pradhan, S · Spiral (Imperial College London)
Contestations and Constraints for Databases.
2001 · Shekhar Pradhan · International Conference on Applications of Declarative Programming and Knowledge Management
Works count: 15
Citation count: 84
H-index: 5
I10-index: 4
Year
Topic
Type