Chandrabose Aravindan

Available identifiers

zbMath Open aravindan.chandraboseMaRDI QIDQ167056

List of research outcomes

Publication	Date of Publication	Type
An abductive framework for negation in disjunctive logic programming	2019-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q4537430	2002-06-30	Paper
Theorem proving techniques for view deletion in databases	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4940932	2000-09-26	Paper
On the correctness of unfold/fold transformation of normal and extended logic programs	1997-07-20	Paper
Knowledge base dynamics, abduction, and database updates	1995-06-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chandrabose Aravindan