Papers and Monographs

Computer Science

• Iluju Kiringa [2002]. Specifying Event Logics for Active Databases . The KR 8th International Workshop on Knowledge Representation Meets Databases (KRDB'02), Toulouse, April 2002, p. 79-91.
• Iluju Kiringa and Ray Reiter [2002]. Specifying Semantics of Active Databases in the Situation Calculus (Extended Abstract). Submitted.
• Iluju Kiringa [2001]. Simulation of Advanced Transaction Models Using GOLOG. Proceedings of the 8th Biennial Workshop on Data Bases and Programming Languages (DBPL'01), Rome, September 2001. Volume 2397 of Springer Lecture Notes in Computer Science, p. 318-341, Springer, 2002.
• Iluju Kiringa [2001]. Towards a Theory of Advanced Transaction Models in the Situation Calculus (Extended Abstract). Proceedings of the VLDB 8th International Workshop on Knowledge Representation Meets Databases (KRDB'01), Rome, September 2001, p. 97-106.
• Iluju Kiringa [2001]. A Theory of Advanced Transaction Models in the Situation Calculus. Short paper, LICS'01. Boston, June 01.
• Iluju Kiringa [1996]. Epistemic Concepts in the Golog Language for Actions. Master Thesis in Computer Science, University of Bonn, Germany, 100p. Monograph in German.

Philosophy^*

• Iluju Kiringa [1992-9]. "Following a Rule": Wittgenstein's Notion of Rule in the "Philosophical Investigations. Monograph in German, 250p.
• Iluju Kiringa [1992]. Question-Theoretical Systems of J. Hintikka and L. Aqvist: Presentation and Comparison. Master Thesis in Philosophy, University of Bonn, Germany. Monograph in German.
• Iluju Kiringa [1986]. W.V. Quine's Philosophy of Logic. Monograph in French.