• 1855 Citations
  • 21 h-Index
1990 …2020

Research output per year

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

Research Output

Filter
Conference contribution
2020

Semantic Artificial Neural Networks

Batsakis, S., Tachmazidis, I., Baryannis, G. & Antoniou, G., 22 Apr 2020, (Accepted/In press) The Semantic Web: ESWC 2020 Satellite Events. Springer, Cham, 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2019

Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT

Georgiou, M., Tachmazidis, I. & Antoniou, G., 26 Jun 2019, Proceedings of the 9th International Conference on Web Intelligence, Mining and Semantics, WIMS 2019. Association for Computing Machinery (ACM), 12 p. 13. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Effective Diagnosis of Diabetes with a Decision Tree-initialised Neuro-Fuzzy Approach

Chen, T., Shang, C., Su, P., Antoniou, G. & Shen, Q., 12 Aug 2018, Advances in Computational Intelligence Systems: Contributions Presented at the 18th UK Workshop on Computational Intelligence. Lotfi, A., Bouchachia, H., Gegov, A., Langensiepen, C. & McGinnity, M. (eds.). Springer, Cham, p. 227-239 13 p. (Advances in Intelligent Systems and Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2 Citations (Scopus)

Legal Reasoning and Big Data: Opportunities and Challenges

Antoniou, G., Baryannis, G., Batsakis, S., Governatori, G., Robaldo, L., Siragusa, G. & Tachmazidis, I., 30 Aug 2018, Proceedings of the MIREL 2018 workshop on MIning and REasoning with Legal texts. EasyChair, p. 1-15 15 p. 470

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Legal Representation and Reasoning in Practice: A Critical Comparison

Batsakis, S., Baryannis, G., Governatori, G., Tachmazidis, I. & Antoniou, G., 2018, Legal Knowledge and Information - JURIX 2018: 31st Annual Conference. Palmirani, M. (ed.). IOS Press, p. 31-40 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 313).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
3 Citations (Scopus)

Mining Free-Text Medical Notes for Suicide Risk Assessment

Adamou, M., Antoniou, G., Greasidou, E., Lagani, V., Charonyktakis, P. & Tsamardinos, I., 9 Jul 2018, Proceedings - 10th Hellenic Conference on Artificial Intelligence, SETN 2018. New York, New York, USA: Association for Computing Machinery (ACM), 8 p. 47

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

A Hypercat-Enabled Semantic Internet of Things Data Hub

Tachmazidis, I., Batsakis, S., Davies, J., Duke, A., Vallati, M., Antoniou, G. & Clarke, S. S., 2017, The Semantic Web - 14th International Conference, ESWC 2017, Proceedings. Springer Verlag, Vol. 10250 LNCS. p. 125-137 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10250 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Applying SPARQL-based inference and ontologies for modelling and execution of clinical practice guidelines: A case study on hypertension management

Doulaverakis, C., Koutkias, V., Antoniou, G. & Kompatsiaris, I., 1 Jan 2017, Knowledge Representation for Health Care - HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Revised Selected Papers. Springer Verlag, p. 90-107 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10096 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Large Scale Reasoning Using Allen's Interval Algebra

Mantle, M., Batsakis, S. & Antoniou, G., 2 Aug 2017, Advances in Soft Computing: 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23–28, 2016, Proceedings, Part II. Pichardo-Lagunas, O. & Miranda-Jiménez, S. (eds.). Springer, Cham, p. 29-41 13 p. (Lecture Notes in Computer Science; vol. 10062).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
1 Citation (Scopus)
2016

Hypercat RDF: Semantic enrichment for IoT

Tachmazidis, I., Davies, J., Batsakis, S., Antoniou, G., Duke, A. & Clarke, S. S., 2016, Semantic Technology - 6th Joint International Conference, JIST 2016, Revised Selected Papers. Springer Verlag, Vol. 10055 LNCS. p. 273-286 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10055 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 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 contribution

7 Citations (Scopus)
2015

Data quality assessment and anomaly detection via map/reduce and linked data: A case study in the medical domain

Bonner, S., McGough, A. S., Kureshi, I., Brennan, J., Theodoropoulos, G., Moss, L., Corsar, D. & Antoniou, G., 22 Dec 2015, Proceedings - 2015 IEEE International Conference on Big Data, IEEE Big Data 2015. Institute of Electrical and Electronics Engineers Inc., p. 737-746 10 p. 7363818

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Exploiting parallelism for hard problems in abstract argumentation

Cerutti, F., Tachmazidis, I., Vallati, M., Batsakis, S., Giacomin, M. & Antoniou, G., 1 Jun 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, Vol. 2. p. 1475-1481 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

ICurate: A Research Data Management System

Liang, S., Holmes, V., Antoniou, G. & Higgins, J., 29 Nov 2015, Multi-disciplinary Trends in Artificial Intelligence: 9th International Workshop, MIWAI 2015, Proceedings. Bikakis, A. & Zheng, X. (eds.). Springer Verlag, p. 39-47 9 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 contribution

Open Access
1 Citation (Scopus)

Integrated Representation of Temporal Intervals and Durations for the Semantic Web

Batsakis, S., Antoniou, G. & Tachmazidis, I., 2015, New Trends in Database and Inf. Systems II - Selected Papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014, Proc. II. Springer Verlag, Vol. 312. p. 147-158 12 p. (Advances in Intelligent Systems and Computing; vol. 312).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Reasoning over Spatial Orientation Relations Using Rules

Batsakis, S., Antoniou, G. & Tachmazidis, I., 2015, New Trends in Database and Inf. Systems II - Selected Papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014, Proc. II. Springer Verlag, Vol. 312. p. 123-134 12 p. (Advances in Intelligent Systems and Computing; vol. 312).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (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 contribution

1 Citation (Scopus)
2014

Large-scale complex reasoning with semantics: Approaches and challenges

Antoniou, G., Pan, J. Z. & Tachmazidis, I., 2014, Web Information Systems Engineering - WISE 2013 Workshops - WISE 2013 International Workshops Big WebData, MBC, PCS, STeH, QUAT, SCEH,and STSC, Revised Selected Papers. Springer Verlag, Vol. 8182. p. 1-10 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8182).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Large-scale reasoning with (semantic) data

Antoniou, G., Batsakis, S. & 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 contribution

Massively Parallel Reasoning under the Well-Founded Semantics Using X10

Tachmazidis, I., Cheng, L., Kotoulas, S., Antoniou, G. & Ward, T. E., 12 Dec 2014, Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. IEEE Computer Society, Vol. 2014-December. p. 162-169 8 p. 6984469

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (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 contribution

Open Access
1 Citation (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 contribution

2013

Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization

Tachmazidis, I. & Antoniou, G., Jul 2013, Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Proceedings. Springer Verlag, p. 188-202 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8035).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Justifications for logic programming

Viegas Damásio, C., Analyti, A. & Antoniou, G., 22 Oct 2013, Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. (ed.). p. 530-542 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)
2012

Large-scale Parallel Stratified Defeasible Reasoning

McCluskey, L., Antoniou, G., Tachmazidis, I., Flouris, G. & Kotoulas, S., Jan 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration. IOS Press, p. 738-743 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 242).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
16 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 contribution

Open Access
3 Citations (Scopus)
2010

A reasoning framework for Ambient Intelligence

Patkos, T., Chrysakis, I., Bikakis, A., Plexousakis, D. & Antoniou, G., 23 Apr 2010, Artificial Intelligence: Theories, Models and Applications - 6th Hellenic Conference on AI, SETN 2010, Proceedings. p. 213-222 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6040 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)

Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications

Bikakis, A. & Antoniou, G., 2010, On the Move to Meaningful Internet Systems: OTM 2010 Workshops - Confederated International Workshops and Posters: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Meersman, R., Herrero, P. & Dillon, T. (eds.). Springer Verlag, p. 89 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6428 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2009

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 contribution

7 Citations (Scopus)
2008

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 contribution

6 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 contribution

6 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 contribution

3 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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

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 contribution

1 Citation (Scopus)