Chandrabrose Aravindan (aravindan)

Contributions à 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.