• 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

  • 1995

    Priorities in default logic revisited

    Antoniou, G., 1995, Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings. Gori, M. & Soda, G. (eds.). Springer Verlag, p. 152-162 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 992).

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

    3 Citations (Scopus)
  • 1993

    Abstract properties for the choice provability relation in nonmonotonic logics

    Antoniou, G., 1 Jan 1993, Advances in Artificial Intelligence - 3rd Congress of the Italian Association for Artificial Intelligence, AI*IA 1993, Proceedings. Torasso, P. (ed.). Springer Verlag, p. 35-40 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 728 LNAI).

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

  • A process model for default logic and its realization in logic programming

    Antoniou, G. & Langetepe, E., Oct 1993, Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings. Filgueiras, M. & Damas, L. (eds.). Springer Verlag, p. 213-225 13 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

  • Computing extensions of default logic - Preliminary report

    Antoniou, G., Langetepe, E. & Sperschneider, V., 1993, Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. Voronkov, A. (ed.). Springer Verlag, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 698 LNAI).

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

  • 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)