An Attribute Grammar Interpreter as a Knowledge Engineering Tool. - George K. Papakonstantinou; C. Moraitis; T. Panayiotopoulos (Angew. Inform., 1986)

An Extension of the Certainty Factor Model in First Order Predicate Calculus. - T. Panayiotopoulos; George K. Papakonstantinou (Comput. J., 1992)

AGP: A Parallel Processor for Knowledge and Software Engineering. - George K. Papakonstantinou; T. Panayiotopoulos; G. Dimitriou (Comput. J., 1992)

A full theorem-prover under uncertainty. - George K. Papakonstantinou; T. Panayiotopoulos (J. Intell. Robotic Syst., 1993)