2006 |
15 | | Rajiv Bagai:
Paraconsistent database query languages.
Computational Intelligence 2006: 251-256 |
2004 |
14 | | Rajiv Bagai:
Detecting infinite SLD-derivations in definite logic programs.
Neural Networks and Computational Intelligence 2004: 79-83 |
2003 |
13 | | Rajiv Bagai:
Paraconsistent Domain-relational Calculus.
Neural Networks and Computational Intelligence 2003: 25-29 |
2002 |
12 | EE | Rajiv Bagai,
Shellene J. Kelley:
Paraconsistency in Object-Oriented Databases.
Soft-Ware 2002: 141-150 |
2000 |
11 | EE | Rajiv Bagai:
Tuple Relational Calculus for Paraconsistent Databases.
IBERAMIA-SBIA 2000: 409-416 |
10 | EE | Nicholas Q. Trân,
Rajiv Bagai:
Efficient Representation and Algebraic Manipulation of Infinite Relations in Paraconsistent Databases.
Inf. Syst. 25(8): 491-502 (2000) |
1999 |
9 | EE | Nicholas Q. Trân,
Rajiv Bagai:
Infinite Relations in Paraconsistent Databases.
ADBIS 1999: 275-287 |
1996 |
8 | | Rajiv Bagai,
Rajshekhar Sunderraman:
Bottom-Up Computation of the Fitting Model for General Deductive Databases.
J. Intell. Inf. Syst. 6(1): 59-75 (1996) |
1995 |
7 | EE | Rajiv Bagai,
Mehmet A. Orgun:
A temporal paraconsistent relational algebra for incomplete and inconsistent information.
ACM Southeast Regional Conference 1995: 240-248 |
6 | | Rajiv Bagai,
Rajshekhar Sunderraman:
An Algebraic Construction of the Well-Founded Model.
AMAST 1995: 518-530 |
5 | | Rajshekhar Sunderraman,
Rajiv Bagai:
Uncertainty and Inconsistency in Relational Databases.
COMAD 1995: 206-220 |
1994 |
4 | | Rajiv Bagai,
Rajshekhar Sunderraman:
Algebraic Computation of the Well-Founded Model for General Deductive Databases.
BNCOD 1994: 90-104 |
3 | EE | Suad Alagic,
Rajshekhar Sunderraman,
Rajiv Bagai:
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.
ECOOP 1994: 236-259 |
1993 |
2 | | Rajiv Bagai,
Vasant Shanbhogue,
Jan M. Zytkow,
Shang-Ching Chou:
Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.
ICCI 1993: 354-358 |
1 | | Rajiv Bagai,
Vasant Shanbhogue,
Jan M. Zytkow,
Shang-Ching Chou:
Automatic Theorem Generation in Plane Geometry.
ISMIS 1993: 415-424 |