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

Research activity per year

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

Search results

  • 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)
  • Representing and reasoning over topological relations in OWL

    Batsakis, S., Antoniou, G. & Tachmazidis, I., 2014, 4th International Conference on Web Intelligence, Mining and Semantics, WIMS 2014. Association for Computing Machinery (ACM)

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

    Open Access
    1 Citation (Scopus)
  • Representing time for the semantic web

    Batsakis, S., Tachmazidis, I. & Antoniou, G., 2015, Multi-disciplinary Trends in Artificial Intelligence - 9th International Workshop, MIWAI 2015, Proceedings. Springer Verlag, Vol. 9426. p. 3-15 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9426).

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

    1 Citation (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)
  • Revising Nonmonotonic Theories: The Case of Defeasible Logic

    Billington, D., Antoniou, G., Governatori, G. & Maher, M., 1 Sep 1999, KI-1999: Advances in Artificial Intelligence - 23rd Annual German Conference on Artificial Intelligence Bonn, Germany, September 13–15, 1999 Proceedings. Burgard, W., Cremers, A. B. & Cristaller, T. (eds.). 1st ed. Berlin: Springer Verlag, Vol. LNCS/LNAI 1701. p. 101-112 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1701 LNCS/LNAI).

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

    19 Citations (Scopus)
  • Rule-Based Contextual Reasoning in Ambient Intelligence

    Bikakis, A. & Antoniou, G., 6 Oct 2010, Semantic Web Rules: International Symposium, RuleML 2010, Proceedings. Dean, M., Hall, J., Rotolo, A. & Tabet, S. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 6403 LNCS. p. 74-88 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6403 LNCS).

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

    19 Citations (Scopus)
  • Rule-based real-time ADL recognition in a smart home environment

    Baryannis, G., Woznowski, P. & Antoniou, G., 28 Jun 2016, Rule Technologies: Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings. Springer Verlag, Vol. 9718. p. 325-340 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9718).

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

    10 Citations (Scopus)
  • S-CRETA: Smart Classroom Real-Time Assistance

    Maria, K., Vasilis, E. & Grigoris, A., 14 Mar 2012, Ambient Intelligence - Software and Applications: 3rd International Symposium on Ambient Intelligence (ISAmI 2012). Novais, P., Hallenborg, K., Tapia, D. I. & Corchado Rodríguez, J. M. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 153 AINSC. p. 67-74 8 p. (Advances in Intelligent and Soft Computing; vol. 153 AINSC).

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

    14 Citations (Scopus)
  • Semantic Artificial Neural Networks

    Batsakis, S., Tachmazidis, I., Baryannis, G. & Antoniou, G., 11 Nov 2020, The Semantic Web: ESWC 2020 Satellite Events. Harth, A., Presutti, V., Troncy, R., Acosta, M., Polleres, A., Fernández, J. D., Parreira, J. X., Hartig, O., Hose, K. & Cochez, M. (eds.). Cham: Springer, Cham, Vol. LNCS 12124. p. 39-44 6 p. (Lecture Notes in Computer Science; vol. LNCS 12124).

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

    Open Access
    File
    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

  • 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

    1 Citation (Scopus)
  • Stable Model Theory for Extended RDF Ontologies

    Analyti, A., Antoniou, G., Damásio, C. V. & Wagner, G., 4 Nov 2005, The Semantic Web, ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings. Gil, Y., Motta, E., Benjamins, V. R. & Musen, M. (eds.). 1st ed. Berlin: Springer Verlag, p. 21-36 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
    16 Citations (Scopus)
  • 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

  • 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)
  • 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)
  • Task-Based Dependency Management for the Preservation of Digital Objects Using Rules

    Tzitzikas, Y., Marketakis, Y. & Antoniou, G., 23 Apr 2010, Artificial Intelligence: Theories, Models and Applications: 6th Hellenic Conference on AI, SETN 2010, Proceedings. Konstantopoulos, S., Perantonis, S., Karkaletsis, V., Spyropoulos, C. D. & Vouros, G. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 6040 LNAI/LNCS. p. 265-274 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6040 LNAI/LNCS).

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

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

  • The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework

    Wagner, G., Antoniou, G., Tabet, S. & Boley, H., 20 Sep 2004, Proceedings - IEEE/WIC/ACM International Conference on Web Intelligence, WI 2004. Zhong, N., Tirri, H., Yao, Y., Zhou, L., Liu, J. & Cercone, N. (eds.). IEEE, p. 628-631 4 p. 1410883

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

    28 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

    4 Citations (Scopus)
  • The Ramification Problem in Temporal Databases: A Solution Implemented in SQL

    Papadakis, N., Plexousakis, D., Antoniou, G., Daskalakis, M. & Christodoulou, Y., 8 May 2008, Foundations of Intelligent Systems: 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings. An, A., Matwin, S., Ras, Z. W. & Slezak, D. (eds.). 1st ed. Berlin: Springer Verlag, Vol. LNCS/LNAI 4994. p. 381-388 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4994 LNCS/LNAI).

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

    3 Citations (Scopus)
  • The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

    Papadakis, N., Antoniou, G. & Plexousakis, D., 29 Oct 2007, Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007. IEEE, Vol. 2. p. 274-278 5 p. 4410391. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2).

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

    2 Citations (Scopus)
  • Towards Parallel Nonmonotonic Reasoning with Billions of Facts

    Tachmazidis, I., Antoniou, G., Flouris, G. & Kotoulas, S., 17 May 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. AAAI press, p. 638-642 5 p.

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

    Open Access
    12 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)
  • Updating Description Logics using the AGM Theory

    Flouris, G., Plexousakis, D. & Antoniou, G., 22 May 2005, Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning. Commonsense Reasoning, 8 p.

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

    Open Access
    8 Citations (Scopus)
  • Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition

    Filippaki, C., Antoniou, G. & Tsamardinos, I., 7 Nov 2011, Ambient Intelligence: Second International Joint Conference, AmI 2011, Proceedings. Keyson, D. V., Maher, M. L., Streitz, N., Cheok, A., Augusto, J. C., Wichert, R., Englebienne, G., Aghajan, H. & Kröse, B. J. A. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, Vol. 7040 LNCS. p. 51-60 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7040 LNCS).

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

    13 Citations (Scopus)
  • Using Hadoop to implement a semantic method of assessing the quality of research medical datasets

    Bonner, S., Kureshi, I., Antoniou, G., Corsair, D., Moss, L. & Tachmazidis, I., 4 Aug 2014, Proceedings of the 3rd ASE International Conference on Big Data Science and Computing, BIGDATASCIENCE 2014. Association for Computing Machinery (ACM), Vol. 04-07-August-2014. 2644163

    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)
  • Visualization of Proofs in Defeasible Logic

    Avguleas, I., Gkirtzou, K., Triantafilou, S., Bikakis, A., Antoniou, G., Kontopoulos, E. & Bassiliades, N., 8 Oct 2008, Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. Bassiliades, N., Governatori, G. & Paschke, A. (eds.). 1st ed. Berlin: Springer Verlag, Vol. LNCS 5321. p. 197-210 14 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

    2 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

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