• 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

  • 2009

    A Formal Theory for Modular ERDF Ontologies

    Analyti, A., Antoniou, G. & Damásio, C. V., 15 Oct 2009, Web Reasoning and Rule Systems: Third International Conference, RR 2009, Proceedings. Polleres, A. & Swift, T. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5837 LNCS. p. 212-226 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5837 LNCS).

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

    5 Citations (Scopus)
  • AlertMe: A Semantics-Based Context-Aware Notification System

    Leonidis, A., Baryannis, G., Fafoutis, X., Korozi, M., Gazoni, N., Dimitriou, M., Koutsogiannaki, M., Boutsika, A., Papadakis, M., Papagiannakis, H., Tesseris, G., Voskakis, E., Bikakis, A. & Antoniou, G., 22 Sep 2009, 33rd Annual IEEE International Computer Software and Applications Conference, 2009. COMPSAC '09. IEEE, p. 200-205 6 p. 5254125

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

    8 Citations (Scopus)
  • Concept and Role Forgetting in ALC Ontologies

    Wang, K., Wang, Z., Topor, R., Pan, J. Z. & Antoniou, G., 8 Oct 2009, The Semantic Web, ISWC 2009 : 8th International Semantic Web Conference, ISWC 2009, Proceedings. Bernstein, A., Karger, D. R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E. & Thirunarayan, K. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5823 LNCS. p. 666-681 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5823 LNCS).

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

    Open Access
    34 Citations (Scopus)
  • Contextual Argumentation in Ambient Intelligence

    Bikakis, A. & Antoniou, G., 7 Sep 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5753 LNAI/LNCS. p. 30-43 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI/LNCS).

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

    8 Citations (Scopus)
  • Exploiting Semantics for Indoor Navigation and User-Tracking

    Nikoloudakis, E., Kritsotakis, M., Bikakis, A., Patkos, T., Antoniou, G. & Plexousakis, D., 10 Nov 2009, UIC-ATC 2009: Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC'09 and ATC'09 Conferences. Werner, B. (ed.). IEEE, p. 149-154 6 p. 5319249

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

  • FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services

    Armenatzoglou, N., Marketakis, Y., Kriara, L., Apostolopoulos, E., Papavasiliou, V., Kampas, D., Kapravelos, A., Kartsonakis, E., Linardakis, G., Nikitaki, S., Bikakis, A. & Antoniou, G., 26 Oct 2009, On the Move to Meaningful Internet Systems: OTM 2009 Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, COMBEK 2009. Meersman, R., Herrero, P. & Dillon, T. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5872 LNCS. p. 108-117 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5872 LNCS).

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

    6 Citations (Scopus)
  • Uniform Interpolation for ALC Revisited

    Wang, Z., Wang, K., Topor, R., Pan, J. Z. & Antoniou, G., 9 Nov 2009, AI 2009: Advances in Artificial Intelligence - 22nd Australasian Joint Conference, Proceedings. Nicholson, A. & Li, X. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 5866 LNCS/LNAI. p. 528-537 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5866 LNCS/LNAI).

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

    5 Citations (Scopus)
  • 2008

    A Formal Approach for RDF/S Ontology Evolution

    Konstantinidis, G., Flouris, G., Antoniou, G. & Christophides, V., 1 Jun 2008, ECAI 2008: 18th European Conference on Artificial Intelligence . Ghallab, M., Spyropoulos, C. D., Fakotakis, N. & Avouris, N. (eds.). IOS Press, Vol. 178. p. 70-74 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 178).

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

    Open Access
    18 Citations (Scopus)
  • Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing

    Bikakis, A. & Antoniou, G., 17 Nov 2008, Web Reasoning and Rule Systems: Second International Conference, RR 2008. Calvanese, D. & Lausen, G. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5341 LNCS. p. 234-235 2 p. (Lecture Notes in Computer Science; vol. 5341 LNCS).

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

  • A Multi-agent Environment for Serving Proof Explanations in the Semantic Web

    Antoniou, G., Bikakis, A., Damianakis, P., Foukarakis, M., Iacovidis, G., Karmazi, M., Kondylakis, H., Makridakis, A., Nikiforos, G., Papadourakis, G., Papoutsakis, M., Psyharaki, A., Stratakis, G., Tourlakis, P., Tsialiamanis, P., Vasileiadis, G., Wagner, G. & Velegrakis, D., 19 Sep 2008, Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. Darzentas, J., Vouros, G. A., Vosinakis, S. & Arnellos, A. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5138 LNCS/LNAI. p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5138 LNCS/LNAI).

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

  • Answering an Inquiry from Heterogeneous Contexts

    Guo, J., Hu, Z., Antoniou, G. & Chan, C. K., 2 Dec 2008, IEEE International Conference on e-Business Engineering, ICEBE'08 - Workshops: AiR'08, EM2I'08, SOAIC'08, SOKM'08, BIMA'08, DKEEE'08. Werner, B. (ed.). IEEE, p. 113-120 8 p. 4690607

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

    3 Citations (Scopus)
  • A semantics-based user model for the support of personalized, context-aware navigational services

    Michou, M., Bikakis, A., Patkos, T., Antoniou, G. & Plexousakis, D., 1 Dec 2008, Proceedings - 1st International Workshop on Ontologies in Interactive Systems, ONTORACT 2008. p. 41-50 10 p. 4756194

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

    6 Citations (Scopus)
  • A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence

    Bikakis, A., Patkos, T., Antoniou, G. & Plexousakis, D., 4 Aug 2008, Constructing Ambient Intelligence: AmI 2007 Workshops, Revised Papers. Mühlhäuser, M., Ferscha, A. & Aitenbichler, E. (eds.). Springer-Verlag Berlin Heidelberg, Vol. CCIS 11. p. 14-23 10 p. (Communications in Computer and Information Science; vol. CCIS 11).

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

    71 Citations (Scopus)
  • C-NGINE: A Contextual Navigation Guide for Indoor Environments

    Kritsotakis, M., Michou, M., Nikoloudakis, E., Bikakis, A., Patkos, T., Antoniou, G. & Plexousakis, D., 3 Dec 2008, Ambient Intelligence: European Conference, AmI 2008, Proceedings. Aarts, E., Crowley, J. L., Ruyter, B. D., Gerhäuser, H., Pflaum, A., Schmidt, J. & Wichert, R. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5355 LNCS. p. 258-275 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5355 LNCS).

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

    5 Citations (Scopus)
  • Distributed Defeasible Contextual Reasoning in Ambient Computing

    Bikakis, A. & Antoniou, G., 3 Dec 2008, Ambient Intelligence: European Conference, AmI 2008, Proceedings. Aarts, E., Crowley, J. L., de Ruyter, B., Gerhäuser, H., Pflaum, A., Schmidt, J. & Wichert, R. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5355 LNCS. p. 308-325 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5355 LNCS).

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

    22 Citations (Scopus)
  • Distributed reasoning with conflicts in a multi-context framework

    Bikakis, A. & Antoniou, G., 23 Dec 2008, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (2008). Vol. 3. p. 1778-1779 2 p.

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

    6 Citations (Scopus)
  • Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting

    Bikakis, A. & Antoniou, G., 4 Aug 2008, Constructing Ambient Intelligence : AmI 2007 Workshops, Revised Papers. Muhlhauser, M., Ferscha, A. & Aitenbichler, E. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 11 CCIS. p. 24-33 10 p. (Communications in Computer and Information Science; vol. 11 CCIS).

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

    6 Citations (Scopus)
  • Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

    Kontopoulos, E., Bassiliades, N., Governatori, G. & Antoniou, G., 9 Dec 2008, Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops: WI-IAT Workshops 2008. Li, Y., Pasi, G., Zhang, C., Cercone, N. & Cao, L. (eds.). IEEE, p. 626-629 4 p. 4740857

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

    6 Citations (Scopus)
  • Local and Distributed Defeasible Reasoning in Multi-Context Systems

    Bikakis, A. & Antoniou, G., 17 Nov 2008, Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Proceedings. Bassiliades, N., Governatori, G. & Paschke, A. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5321 LNCS. p. 135-149 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5321 LNCS).

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

    10 Citations (Scopus)
  • On RDF/S ontology evolution

    Konstantinidis, G., Flouris, G., Antoniou, G. & Christophides, V., 14 Jul 2008, Semantic Web, Ontologies and Databases: VLDB Workshop, SWDB-ODBIS 2007, Revised Selected Papers. Christophides, V., Collard, M. & Gutierrez, C. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5005 LNCS. p. 21-42 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5005 LNCS).

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

    4 Citations (Scopus)
  • On the Computability and Complexity Issues of Extended RDF

    Analyti, A., Antoniou, G., Damásio, C. V. & Wagner, G., 24 Nov 2008, PRICAI 2008: Trends in Artificial Intelligence - 10th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Ho, T-B. & Zhou, Z-H. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 5351 LNCS/LNAI. p. 5-16 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5351 LNCS/LNAI).

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

    5 Citations (Scopus)
  • The DR-Prolog tool suite for defeasible reasoning and proof explanation in the Semantic Web

    Bikakis, A., Papatheodorou, C. & Antoniou, G., 10 Nov 2008, Artificial Intelligence: Theories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings. p. 345-351 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5138 LNAI).

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

    3 Citations (Scopus)
  • Visualizing Defeasible Logic Rules for the Semantic Web

    Kontopoulos, E., Bassiliades, N. & Antoniou, G., 10 Oct 2008, The Semantic Web - ASWC 2006 : First Asian Semantic Web Conference, Proceedings. Mizoguchi, R., Shi, Z. & Giunchiglia, F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4185 LNCS. p. 278-292 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4185 LNCS).

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

    7 Citations (Scopus)
  • 2007

    A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges

    Patkos, T., Bikakis, A., Antoniou, G., Papadopouli, M. & Plexousakis, D., 29 Jun 2007, Ubiquitous Intelligence and Computing: 4th International Conference, UIC 2007, Proceedings. Indulska, J., Ma, J., Yang, L. T., Ungerer, T. & Cao, J. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4611 LNCS. p. 839-848 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4611 LNCS).

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

    18 Citations (Scopus)
  • A System for Modal and Deontic Defeasible Reasoning

    Antoniou, G., Dimaresis, N. & Governatori, G., 16 Nov 2007, AI 2007: Advances in Artificial Intelligence - 20th Australian Joint Conference on Artificial Intelligence, Proceedings. Orgun, M. A. & Thornton, J. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4830 LNCS/LNAI. p. 609-613 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4830 LNCS/LNAI).

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

    5 Citations (Scopus)
  • A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data

    Kontopoulos, E., Bassiliades, N. & Antoniou, G., 11 Jul 2007, Web Reasoning and Rule Systems: First International Conference, RR 2007, Proceedings. Marchiori, M., Pan, J. Z. & de Sainte Marie, C. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4524 LNCS. p. 367-369 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4524 LNCS).

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

  • Distributed AI for Ambient Intelligence: Issues and Approaches

    Patkos, T., Bikakis, A., Antoniou, G., Papadopouli, M. & Plexousakis, D., 1 Jan 2007, Ambient Intelligence: European Conference, AmI 2007, Proceedings. Schiele, B., Dey, A. K., Gellersen, H., de Ruyter, B., Tscheligi, M., Wichert, R., Aarts, E. & Buchmann, A. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4794 LNCS. p. 159-176 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4794 LNCS).

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

    7 Citations (Scopus)
  • Proof Explanation for the Semantic Web Using Defeasible Logic

    Antoniou, G., Bikakis, A., Dimaresis, N., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R. & Zeginis, D., 14 Dec 2007, Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Proceedings. Zhang, Z. & Siekmann, J. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4798 LNCS/LNAI. p. 186-197 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4798 LNCS/LNAI).

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

    1 Citation (Scopus)
  • Proof Explanation in the DR-DEVICE System

    Bassiliades, N., Antoniou, G. & Governatori, G., 11 Jul 2007, Web Reasoning and Rule Systems: First International Conference, RR 2007, Proceedings. Marchiori, M., Pan, J. Z. & de Sainte Marie, C. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 4524 LNCS. p. 249-258 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4524 LNCS).

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

    7 Citations (Scopus)
  • Visual Stratification of Defeasible Logic Rule Bases

    Kontopoulos, E., Bassiliades, N. & Antoniou, G., 29 Oct 2007, Proceedings of 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. IEEE, Vol. 2. p. 238-245 8 p. 4410386. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2).

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

    2 Citations (Scopus)
  • 2006

    Evolving Ontology Evolution

    Flouris, G., Plexousakis, D. & Antoniou, G., 2006, SOFSEM 2006: Theory and Practice of Computer Science - 32nd Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Wiedermann, J., Tel, G., Pokorný, J., Bieliková, M. & Štuller, J. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 3831 LNCS. p. 14-29 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3831 LNCS).

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

    32 Citations (Scopus)
  • Supporting Open and Closed World Reasoning on the Web

    Damásio, C. V., Analyti, A., Antoniou, G. & Wagner, G., 2006, Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Revised Selected Papers. Alferes, J. J., Bailey, J., May, W. & Schwertel, U. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 4187 LNCS. p. 149-163 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4187 LNCS).

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

    23 Citations (Scopus)
  • 2005

    On Applying the AGM Theory to DLs and OWL

    Flouris, G., Plexousakis, D. & Antoniou, G., 4 Nov 2005, The Semantic Web, ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Proceedings. Gill, Y., Motta, E., Benjamins, V. R. & Musen, M. A. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 3729 LNCS. p. 216-231 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3729 LNCS).

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

    Open Access
    51 Citations (Scopus)
  • 1998

    A study of provability in defeasible logic

    Maher, M. J., Antoniou, G. & Billington, D., 13 Nov 1998, Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artificial Intelligence, AI 1998, Selected Papers. Antoniou, G. & Slaney, J. (eds.). Springer Verlag, p. 215-226 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1502).

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

    12 Citations (Scopus)
  • Revising default theories

    Antoniou, G. & Williams, M. A., 1 Dec 1998, Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE, p. 423-430 8 p.

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

    2 Citations (Scopus)
  • Some approaches to reasoning with incomplete and changing information

    Antoniou, G. & Williams, M. A., 1998, Learning and Reasoning with Complex Representations - PRICAI 1996 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Selected Papers. Truszczyński, M., Antoniou, G. & Ghose, A. K. (eds.). Springer Verlag, p. 9-44 36 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1359).

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

  • Testing production system programs

    Antoniou, G. & Jack, O., 1 Dec 1998, Proceedings Ninth International Symposium on Software Reliability Engineering. IEEE, p. 214-221 8 p. (Proceedings of the International Symposium on Software Reliability Engineering, ISSRE).

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

  • 1997

    Representation results for default logics

    Antoniou, G., 1997, Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Sattar, A. (ed.). Springer Verlag, p. 255-264 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1342).

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

    1 Citation (Scopus)
  • Specification morphisms for nonmonotonic knowledge systems

    Macnish, C. K. & Antoniou, G., 1997, Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Sattar, A. (ed.). Springer Verlag, p. 246-254 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1342).

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

  • Stratification: The computational base of a system for default reasoning

    Antoniou, G., 1 Dec 1997, Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence. IEEE, p. 165-171 7 p.

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

  • 1996

    A comparative survey of default logic variants

    Antoniou, G., Jan 1996, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Gabbay, D. M. & Ohlbach, H. J. (eds.). Springer Verlag, p. 15-28 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1085).

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

    1 Citation (Scopus)
  • A system for computing constrained default logic extensions

    Antoniou, G., Courtney, A. P., Ernsttand, J. & Williams, M. A., Oct 1996, Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Alferes, J. J., Pereira, L. M. & Orlowska, E. (eds.). Springer Verlag, p. 237-250 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1126).

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

    4 Citations (Scopus)
  • Conservative expansion concepts for default theories

    Antoniou, G., Macnish, C. K. & Foo, N. Y., 1996, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Foo, N. & Goebel, R. (eds.). Springer Verlag, p. 522-533 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 proceedingConference contributionpeer-review

    1 Citation (Scopus)
  • Default reasoning and belief revision in the CIN project

    Antoniou, G. & Williams, M. A., Jun 1996, Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings. Gabbay, D. M. & Ohlbach, H. J. (eds.). Springer Verlag, p. 691-693 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1085).

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

  • Exten: A system for computing default logic extensions

    Courtney, A. P., Antoniou, G. & Foo, N. Y., 1996, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Foo, N. & Goebel, R. (eds.). Springer Verlag, p. 471-482 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 proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • 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 proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • 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