• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1990 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 1993

    Version space algorithms on hierarchies with exceptions

    Antoniou, G., 1 Jan 1993, Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings. Filgueiras, M. & Damas, L. (eds.). Springer Verlag, p. 136-149 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 727 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)
  • 1992

    Modularity for logical knowledge bases

    Antoniou, G., 1 Dec 1992, Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering. IEEE, p. 87-93 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • 1990

    On the verification of modules

    Antoniou, G. & Sperschneider, V., 1 Jan 1990, CSL 1989 - 3rd Workshop on Computer Science Logic, Proceedings. Kleine Buning, H., Richter, M. M. & Borger, E. (eds.). Springer Verlag, p. 16-35 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 440 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)