Searching for authors named "Chandrabose Aravindan" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
An Abductive Framework for Negation in Disjunctive Logic Programming
- …An abductive framework for negation in disjunctive logic programming Chandrabose Aravindan 9…
- Cited by 12 (3 self) – Add To MetaCart
-
A Rational and Efficient Algorithm for View Deletion in Databases
- …A Rational and Efficient Algorithm for View Deletion in Databases Chandrabose Aravindan…
- Cited by 12 (4 self) – Add To MetaCart
-
DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover
- … Aravindan 16/96 Fachberichte INFORMATIK Universit at Koblenz-Landau Institut f ur Informatik, Rheinau 1, D…
- Cited by 1 (1 self) – Add To MetaCart
-
Theorem Proving Techniques for View Deletion in Databases
- … y CHANDRABOSE ARAVINDAN AND PETER BAUMGARTNER z Fachbereich Informatik, Universitat Koblenz…
- Cited by 10 (3 self) – Add To MetaCart
-
DisLoP: A Research Project on Disjunctive Logic Programming
- …DisLoP: A Research Project on Disjunctive Logic Programming Chandrabose Aravindan and Jurgen Dix…
- Cited by 16 (3 self) – Add To MetaCart
-
DisLoP: Towards a Disjunctive Logic Programming System
- …DisLoP: Towards a Disjunctive Logic Programming System ? Chandrabose Aravindan and J#rgen Dix…
- Cited by 6 (1 self) – Add To MetaCart
-
Knowledge base dynamics, Abduction, and Database Updates
- …Knowledge base dynamics, Abduction, and Database Updates Chandrabose ARAVINDAN 1 and Phan Minh…
- Add To MetaCart
-
On The Correctness Of Unfold/fold Transformation Of Normal And Extended Logic Programs
- … ARAVINDAN AND Phan Minh DUNG 1 We show that the framework for unfold/fold transformation of logic programs…
- Cited by 26 (1 self) – Add To MetaCart
Showing 1 through 8.
