An abductive framework for negation in disjunctive logic programming

von Aravindan, Chandrabose
Veröffentlicht in Niemelä, Ilkka Implementing circumscription using a tableau method (1996)

DisLoP: a disjunctive logic programming system based on PROTEIN theorem prover

von Aravindan, Chandrabose
Veröffentlicht in Dix, Jürgen Knowledge representation with logic programs (1996)

A rational and efficient algorithm for view deletion in databases

von Aravindan, Chandrabose
Veröffentlicht in Ebert, Jürgen GUPRO (1997)

DisLoP: a research project on disjunctive lobic programming

von Aravindan, Chandrabose
Veröffentlicht 1997