Chandrabrose Aravindan (aravindan)

Contributions to Philosophie.ch

Bibliography

Aravindan, Chandrabrose. 1996. “An Abductive Framework for Negation in Disjunctive Logic Programming.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 252–267. Berlin: Springer.
Aravindan, Chandrabrose and Dung, Phan Minh. 1994a. “Belief Dynamics, Abduction, and Databases.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 66–85. Lecture Notes in Computer Science. Berlin: Springer.
Aravindan, Chandrabrose and Dung, Phan Minh. 1994b. “Partial Deduction of Logic Programs wrt Well-Founded Semantics.” New Generation Computing 13: 45–74.
Aravindan, Chandrabrose and Dung, Phan Minh. 1995. “On the Correctness of the Fold/Unford Transformations of Normal and Extended Logic Programs.” Journal of Logic Programming 24(3): 201–218.