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.
* For these, (large) Word, WordPerfect, or Latex files are available
on request.