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

This page was built for person: Chandrabose Aravindan