Who we are

Inference Engine



1. Theodore Scaltsas. "Representation of Philosophical Argumentation". In The Digital Phoenix: How Computers are Changing Philosophy, ed. T. Bynum & J. Moor. Blackwell Press, pp. 79-92, 1998.
2. Theodore Scaltsas. "Digital Philosophical Reasoning". In Computers and the Humanities. Anthony Kenny, T.J. Coppock, eds. Published by the British Academy, London, 1999.

3.Theodore Scaltsas. Argument Analysis of Aristotle's On Generation and Corruption, published by Project Archelogos, 1998, at:

4.Theodore Scaltsas, Vassilis Karasmanis. "Argument-Analysis as Interpretation". In Ancient Greek Philosophy Today. M. Dragona Monachou, G. Roussopoulos, eds. Published by the Fédération Internationale des Societés Philosophiques (FISP), Athens, pp. 389-409, 1997.

5. Dov M. Gabbay. Labelled Deductive Systems; principles and applications. Oxford University Press, 1996.

6. Dov M. Gabbay, Laura Giordano, Alberto Martelli, and Nicola Olivetti. "A language for handling hypothetical updates and inconsistency". Journal of the IGPL, 4(3), pp 385-416, 1996.

7. Dov M. Gabbay. Fibring Logics, Oxford University Press, Oxford, 1999.

8. S.Hild and A.Poulovassilis. "Implementing Hyperlog, a graph-based database language". Journal of Visual Languages and Computing, 7, pp 267-289, 1996.

9. L. Xu and A. Poulovassilis. "A method for integrating deductive databases". Proc. 15th British National Conference on Databases, London, July 1997. Springer-Verlag LNCS 1271, pp 215-231, 1997.