#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1988

2017

- This year (2)
- Last 5 years (6)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Badrinath Jayakumar, Rajshekhar Sunderraman
- JOWO@IJCAI
- 2015

The well-founded model for any general deductive database computed using the paraconsistent relational model, based on four-valued logic, does not support inference rules such as disjunctive syllogism. In order to support disjunctive syllogism, we utilize the generalization of the relational model to quasi-classic (QC) logic, whose inference power is much… (More)

- B Jayakumar, A C Ammini, +4 authors M M Ahuja
- Indian pediatrics
- 1988

- Badrinath Jayakumar, Rajshekhar Sunderraman
- Annals of Mathematics and Artificial Intelligence
- 2017

The well-founded model for any general deductive database computed using the paraconsistent relational model, based on four-valued logic, does not support inference rules such as disjunctive syllogism. In order to support disjunctive syllogism, we utilize the generalization of the relational model to quasi-classic (QC) logic, whose inference power is much… (More)

- Badrinath Jayakumar, Rajshekhar Sunderraman
- MICAI
- 2015

- Badrinath Jayakumar, Rajshekhar Sunderraman
- MIWAI
- 2015

- Badrinath Jayakumar, Rajshekhar Sunderraman
- 2015 IEEE/WIC/ACM International Conference on Web…
- 2015

Inconsistencies in real world knowledge bases are very common because the knowledge bases are usually authored at multiple places on the Web. These inconsistencies are even carried over to local closed world reasoning (LCWR) where the knowledge base consists of open world assumption (OWA) predicates (concepts or roles) and closed world assumption (CWA)… (More)

Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such systems because classical logic is explosive. Recently, progress has been made towards semantics that deal with logical inconsistency. However, such semantics was never analyzed in the aspect of… (More)

- ‹
- 1
- ›