Grigoris Antoniou

View Scopus Profile

Grigoris Antoniou

Prof

 https://orcid.org/0000-0003-3673-6602

Accepting PhD Students

PhD projects

Click on the Fingerprint icon below to learn more about the research topics, expertise and interests of this academic.

Calculated based on number of publications stored in Pure and citations from Scopus
1990 …2023

Research activity per year

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

Search results

  • 1996

    Studying properties of classes of default logics - Preliminary report

    Antoniou, G., O’Neill, T. & Thurbon, J., 1996, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Foo, N. & Goebel, R. (eds.). Springer Verlag, p. 558-569 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1114).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)
  • 1995

    On the verification of modular logical knowledge bases

    Antoniou, G. & Sperschneider, V., 1 Jul 1995, In: Expert Systems with Applications. 8, 3, p. 351-357 7 p.

    Research output: Contribution to journal › Article › peer-review

    2 Citations (Scopus)

  • 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 proceeding › Conference contribution › peer-review

    3 Citations (Scopus)
  • 1994

    Applying SLD-Resolution to a Class of Non-Horn Logic Programs

    Antoniou, G. & Langetepe, E., 1 Sep 1994, In: Logic Journal of the IGPL. 2, 2, p. 229-241 13 p.

    Research output: Contribution to journal › Article › peer-review

    3 Citations (Scopus)

  • New proofs in default logic theory

    Antoniou, G., Langetepe, E. & Sperschneider, V., 1 Dec 1994, In: Annals of Mathematics and Artificial Intelligence. 12, 3-4, p. 215-229 15 p.

    Research output: Contribution to journal › Article › peer-review

    2 Citations (Scopus)

  • Operational concepts of nonmonotonic logics part 1: Default logic

    Antoniou, G. & Sperschneider, V., 1 Jan 1994, In: Artificial Intelligence Review. 8, 1, p. 3-16 14 p.

    Research output: Contribution to journal › Article › peer-review

    19 Citations (Scopus)

  • Structuring and modules for knowledge bases: motivation for a new model

    Antoniou, G. & Wachsmuth, I., 1 Mar 1994, In: Knowledge-Based Systems. 7, 1, p. 49-51 3 p.

    Research output: Contribution to journal › Article › peer-review

    5 Citations (Scopus)

  • The verification of modules

    Antoniou, G., 1 Mar 1994, In: Formal Aspects of Computing. 6, 2, p. 223-244 22 p.

    Research output: Contribution to journal › Article › peer-review

  • 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    1 Citation (Scopus)