Shekhar Pradhan

According to our database, Shekhar Pradhan authored at least 11 papers between 1994 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Believability as an Information Quality Dimension.

Shekhar Pradhan

Proceedings of the 2005 International Conference on Information Quality (MIT ICIQ Conference), 2005

2003

Argumentation Databases.

Shekhar Pradhan

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Consistent Partial Model Checking.

Michael Huth, Shekhar Pradhan

Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, 2002

2001

Model-Checking View-Based Partial Specifications.

Michael Huth, Shekhar Pradhan

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Connecting Databases with Argumentation.

Shekhar Pradhan

Proceedings of the Web Knowledge Management and Decision Support, 2001

Contestations and Constraints for Databases.

Shekhar Pradhan

Proceedings of the 14th International Conference on Applications of Prolog, 2001

1996

Using Priorities to Combine Knowledge Bases.

Shekhar Pradhan, Jack Minker

Int. J. Cooperative Inf. Syst., 1996

Semantics of Normal Logic Programs and Contested Information.

Shekhar Pradhan

Proceedings of the Proceedings, 1996

Logic Programs with Contested Information.

Shekhar Pradhan

Proceedings of the Logic Programming, 1996

1995

Combining Databases with Prioritized Information.

Shekhar Pradhan, Jack Minker, V. S. Subrahmanian

J. Intell. Inf. Syst., 1995

1994

Combining Datalog Databases Using Priorities.

Shekhar Pradhan

Proceedings of the Sixth International Conference on Management of Data, 1994