| 2000 |
|---|
| 13 | | Chandrabose Aravindan,
Peter Baumgartner:
Theorem Proving Techniques for View Deletion in Databases.
J. Symb. Comput. 29(2): 119-147 (2000) |
| 1997 |
|---|
| 12 | | Chandrabose Aravindan,
Peter Baumgartner:
A Rational and Efficient Algorithm for View Deletion in Databases.
ILPS 1997: 165-179 |
| 11 | | Chandrabose Aravindan,
Jürgen Dix,
Ilkka Niemelä:
Dislop: Towards a Disjunctive Logic Programming System.
LPNMR 1997: 342-353 |
| 10 | | Chandrabose Aravindan:
Fifth European Workshop on Logics in Artificial Intelligence (JELIA '96), Evora, Portugal, 30 September-3 October 1996.
AI Commun. 10(1): 63-65 (1997) |
| 9 | | Chandrabose Aravindan,
Jürgen Dix,
Ilkka Niemelä:
DisLoP: A Research Project on Disjunctive Logic Programming.
AI Commun. 10(3-4): 151-165 (1997) |
| 1996 |
|---|
| 8 | | Chandrabose Aravindan:
An Abductive Framework for Negation in Disjunctive Logic Programming.
JELIA 1996: 252-267 |
| 7 | | Chandrabose Aravindan,
Peter Baumgartner,
Jürgen Dix,
Ulrich Furbach,
Gerd Neugebauer,
Ilkka Niemelä,
Dorothea Schäfer,
Frieder Stolzenburg:
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
JICSLP 1996: 546 |
| 6 | | Chandrabose Aravindan:
DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover.
KI 1996: 19-23 |
| 1995 |
|---|
| 5 | | Chandrabose Aravindan,
Phan Minh Dung:
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs.
J. Log. Program. 24(3): 201-217 (1995) |
| 4 | | Phan Minh Dung,
Chandrabose Aravindan:
Knowledge base dynamics, Abduction and Databases updates.
Journal of Applied Non-Classical Logics 5(1): (1995) |
| 1994 |
|---|
| 3 | | Chandrabose Aravindan,
Phan Minh Dung:
Belief Dynamics, Abduction, and Database.
JELIA 1994: 66-85 |
| 2 | | Chandrabose Aravindan,
Phan Minh Dung:
Partial Deduction of Logic Programs wrt Well-Founded Semantics.
New Generation Comput. 13(1): 45-74 (1994) |
| 1992 |
|---|
| 1 | | Chandrabose Aravindan,
Phan Minh Dung:
Partial Deduction of Logic Programs wrt Well-Founded Semantics.
ALP 1992: 384-402 |
