TERMINATOR. - Grigoris Antoniou; Hans Jürgen Ohlbach (IJCAI, 1983)

On the Verification of Modules. - Grigoris Antoniou; Volker Sperschneider (CSL, 1989)

Bericht über den Workshop "Verifikation, Konstruktion und Synthese von Programmen". - Grigoris Antoniou (Künstliche Intell., 1989)

Über die Verifikation modularer Programme. - Grigoris Antoniou (1989)

Logic - a foundation for computer science. - Volker Sperschneider; Grigoris Antoniou (Addison-Wesley, 1991)

Logical Approaches to Structured Knowledge Bases. - Grigoris Antoniou (AIMSA, 1992)

Modularity for Logic Programs. - Grigoris Antoniou; Volker Sperschneider (ALPUK, 1992)

Modularity for Logical Knowledge Bases. - Grigoris Antoniou (SEKE, 1992)

Abstract properties for the choice provability relation in nonmonotonic logics. - Grigoris Antoniou (AI*IA, 1993)

Version Space Algorithms on Hierarchies with Exceptions. - Grigoris Antoniou (EPIA, 1993)

A Process Model for Default Logic and Its Realization in Logic Programming. - Grigoris Antoniou; Elmar Langetepe (EPIA, 1993)

On the Verification of Modular Logical Knowledge Bases. - Grigoris Antoniou; Volker Sperschneider (EUROVAV, 1993)

Computing Extensions of Default Logic - Preliminary Report. - Grigoris Antoniou; Elmar Langetepe; Volker Sperschneider (LPAR, 1993)

Computing Extensions of Nonmonotonic Logics. - Grigoris Antoniou; Volker Sperschneider (SCAI, 1993)

Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. - Grigoris Antoniou (SEKE, 1993)

Soundness and Completeness of a Logic Programming Approach to Default Logic. - Grigoris Antoniou; Elmar Langetepe (AAAI, 1994)

Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. - Grigoris Antoniou; Volker Sperschneider (Artif. Intell. Rev., 1994)

New Proofs in Default Logic Theory. - Grigoris Antoniou; Elmar Langetepe; Volker Sperschneider (Ann. Math. Artif. Intell., 1994)

The Verification of Modules. - Grigoris Antoniou (Formal Aspects Comput., 1994)

Applying SLD-resolution to a class of non-Horn logic programs. - Grigoris Antoniou; Elmar Langetepe (Bull. IGPL, 1994)

Logic Programming and Default Logic. - Grigoris Antoniou (Int. J. Artif. Intell. Tools, 1994)

Modularity and Correctness for Logic Programs and Knowledge Bases. - Grigoris Antoniou (Int. J. Softw. Eng. Knowl. Eng., 1994)

Structuring and modules for knowledge bases: motivation for a new model. - Grigoris Antoniou; Ipke Wachsmuth (Knowl. Based Syst., 1994)

Priorities in Default Logic Revisited. - Grigoris Antoniou (AI*IA, 1995)

Computing Default Logic Extensions: An Implementation. - Allen P. Courtney; Norman Y. Foo; Grigoris Antoniou (AAAI/IAAI, Vol. 2, 1996)

A Comparative Survey of Default Logic Variants. - Grigoris Antoniou (FAPR, 1996)

Default Reasoning and Belief Revision in the CIN Project. - Grigoris Antoniou; Mary-Anne Williams (FAPR, 1996)

CIN: an intelligent information management toolkit. - Grigoris Antoniou; Mary-Anne Williams (IFIP World Conference on IT Tools, 1996)

A System for Computing Constrained Default Logic Extensions. - Grigoris Antoniou; Allen P. Courtney; Jörg Ernst; Mary-Anne Williams (JELIA, 1996)

Conservative Expansion Concepts for Default Theories. - Grigoris Antoniou; Cara MacNish; Norman Y. Foo (PRICAI, 1996)

Studying Properties of Classes of Default Logics - Preliminary Report. - Grigoris Antoniou; Tyrone O'Neill; Joe Thurbon (PRICAI, 1996)

Some approaches to reasoning with incomplete and changing information. - Grigoris Antoniou; Mary-Anne Williams (PRICAI Workshops, 1996)

Exten: A System for Computing Default Logic Extensions. - Allen P. Courtney; Grigoris Antoniou; Norman Y. Foo (PRICAI, 1996)

Operational Characterization of Extensions in Some Logics for Default Reasoning. - Grigoris Antoniou (Inf. Sci., 1996)

Integrity and rule checking in nonmonotonic knowledge bases. - Grigoris Antoniou (Knowl. Based Syst., 1996)

Nonmonotonic reasoning. - Grigoris Antoniou; Mary-Anne Williams (MIT Press, 1997)

A Comparison of Two Approaches to Splitting Default Theories. - Grigoris Antoniou (AAAI/IAAI, 1997)

Stratification for Variants of Default Logic. - Jörg Ernst; Grigoris Antoniou (AAAI/IAAI, 1997)

Representation Results for Default Logics. - Grigoris Antoniou (Australian Joint Conference on Artificial Intelligence, 1997)

Specification Morphisms for Nonmonotonic Knowledge Systems. - Cara MacNish; Grigoris Antoniou (Australian Joint Conference on Artificial Intelligence, 1997)

Stratification: The Computational Base of a System for Default Reasoning. - Grigoris Antoniou (ICTAI, 1997)

Intelligent Computer Tools for Supporting Human Negotiation: System and Research. - Emilia Bellucci; Grigoris Antoniou; John Zeleznikow (PACIS, 1997)

Verification and correctness issues for nonmonotonic knowledge bases. - Grigoris Antoniou (Int. J. Intell. Syst., 1997)

Reasoning with Incomplete and Changing Information: The CIN Project. - Grigoris Antoniou; Mary-Anne Williams (Inf. Sci., 1997)

A Correct Logic Programming Computation of Default Logic Extensions. - Grigoris Antoniou; Elmar Langetepe (J. Autom. Reason., 1997)

Logical methods for computational intelligence. - Grigoris Antoniou; Neil V. Murray (Knowl. Eng. Rev., 1997)

A new methodology for teaching default reasoning. - Grigoris Antoniou (ACM SIGCSE Bull., 1997)

A Study of Provability in Defeasible Logic. - Michael J. Maher; Grigoris Antoniou; David Billington (Australian Joint Conference on Artificial Intelligence, 1998)

Normal Forms for Defeasible Logic. - Grigoris Antoniou; David Billington; Michael J. Maher (IJCSLP, 1998)

Revising default theories. - Grigoris Antoniou; Mary-Anne Williams (ICTAI, 1998)

Testing production system programs. - Grigoris Antoniou; Oliver Jack (ISSRE, 1998)

A Strategy for Revising Default Theory Extensions. - Mary-Anne Williams; Grigoris Antoniou (KR, 1998)

Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. - Grigoris Antoniou; Frank van Harmelen; Robert Plant; Jan Vanthienen (AI Mag., 1998)

Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. - Grigoris Antoniou; Volker Sperschneider (Artif. Intell. Rev., 1998)

Stratification for default logic variants. - Grigoris Antoniou (Int. J. Intell. Syst., 1998)

The Role of Nonmonotonic Representations in Requirements Engineering. - Grigoris Antoniou (Int. J. Softw. Eng. Knowl. Eng., 1998)

A note on the cumulativity of justified default logic. - Grigoris Antoniou (J. Exp. Theor. Artif. Intell., 1998)

Studying properties of classes of default logics. - Grigoris Antoniou; Tyrone O'Neill; Joe Thurbon (J. Exp. Theor. Artif. Intell., 1998)

A tutorial on default reasoning. - Grigoris Antoniou (Knowl. Eng. Rev., 1998)

On the Analysis of Regulations using Defeasible Rules. - Grigoris Antoniou; David Billington; Michael J. Maher (HICSS, 1999)

What Is Default Reasoning Good For? Applications Revisited. - Grigoris Antoniou; Aditya Ghose (HICSS, 1999)

Issues in Intelligent Information Integration. - Grigoris Antoniou; Fumihiro Maruyama; Ryusuke Masuoka; Hironobu Kitajima (IMSA, 1999)

Revising Nonmonotonic Theories: The Case of Defeasible Logic. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (KI, 1999)

A Comparison of Sceptical NAF-Free Logic Programming Approaches. - Grigoris Antoniou; Michael J. Maher; David Billington; Guido Governatori (LPNMR, 1999)

A tutorial on default logics. - Grigoris Antoniou (ACM Comput. Surv., 1999)

Logical Methods for Computational Intelligence (Guest Editorial). - Grigoris Antoniou; Neil V. Murray (Inf. Sci., 1999)

Connections Between Default Reasoning and Partial Constraint Satisfaction. - Aditya Ghose; Grigoris Antoniou; Randy Goebel; Abdul Sattar 001 (Inf. Sci., 1999)

Splitting Finite Default Theories: A Comparison of Two Approaches. - Grigoris Antoniou (J. Log. Lang. Inf., 1999)

Special issue on verification and validation. - Robert Plant; Grigoris Antoniou (Knowl. Based Syst., 1999)

A Flexible Framework for Defeasible Logics. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (AAAI/IAAI, 2000)

A Family of Defeasible Reasoning Logics and its Implementation. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher; Andrew Rock (ECAI, 2000)

Modelling business rules using defeasible logic. - Grigoris Antoniou; M. Arief (IRMA Conference, 2000)

Argumentation Semantics for Defeasible Logics. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (PRICAI, 2000)

A note on the refinement of ontologies. - Grigoris Antoniou; Athanasios Kehagias (Int. J. Intell. Syst., 2000)

Conservative extension concepts for nonmonotonic knowledge bases. - Grigoris Antoniou; Cara MacNish (Int. J. Intell. Syst., 2000)

Defeasible Logic versus Logic Programming without Negation as Failure. - Grigoris Antoniou; Michael J. Maher; David Billington (J. Log. Program., 2000)

Relating Defeasible and Default Logic. - Grigoris Antoniou; David Billington (Australian Joint Conference on Artificial Intelligence, 2001)

Efficient Defeasible Reasoning Systems. - Michael J. Maher; Andrew Rock; Grigoris Antoniou; David Billington; Tristan Miller (Int. J. Artif. Intell. Tools, 2001)

Executable declarative business rules and their use in electronic commerce. - Grigoris Antoniou; M. Arief (Intell. Syst. Account. Finance Manag., 2001)

Representation results for defeasible logic. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2001)

Embedding Defeasible Logic into Logic Programs. - Grigoris Antoniou; Michael J. Maher (ICLP, 2002)

A Nonmonotonic Rule System using Ontologies. - Grigoris Antoniou (RuleML, 2002)

Nonmonotonic Rule Systems on Top of Ontology Layers. - Grigoris Antoniou (ISWC, 2002)

On the dynamics of default reasoning. - Grigoris Antoniou (Int. J. Intell. Syst., 2002)

On a Unifying Framework for Comparing Knowledge Representation Schemes. - Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou (KRDB, 2003)

Rules and Defeasible Reasoning on the Semantic Web. - Grigoris Antoniou; Gerd Wagner 001 (RuleML, 2003)

Nonmonotonic Rules for the Semantic Web. - Grigoris Antoniou (Künstliche Intell., 2003)

A semantic web primer. - Grigoris Antoniou; Frank van Harmelen (MIT Press, 2004)

Web Ontology Language: OWL. - Grigoris Antoniou; Frank van Harmelen (Handbook on Ontologies, 2004)

A Defeasible Logic Programming System for the Web. - Grigoris Antoniou; Antonis Bikakis; Gerd Wagner 001 (ICTAI, 2004)

Generalizing the AGM postulates: preliminary results and applications. - Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou (NMR, 2004)

DR-DEVICE: A Defeasible Logic System for the Semantic Web. - Nick Bassiliades; Grigoris Antoniou; Ioannis P. Vlahavas (PPSWR, 2004)

A System for Nonmonotonic Rules on the Web. - Grigoris Antoniou; Antonis Bikakis; Gerd Wagner 001 (RuleML, 2004)

A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report. - Thomas Skylogiannis; Grigoris Antoniou; Nick Bassiliades (RuleML, 2004)

Combining Description Logic and Defeasible Logic for the Semantic Web. - Kewen Wang 001; David Billington; Jeff Blee; Grigoris Antoniou (RuleML, 2004)

A Discussion of Some Intuitions of Defeasible Reasoning. - Grigoris Antoniou (SETN, 2004)

The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. - Gerd Wagner 001; Grigoris Antoniou; Said Tabet; Harold Boley (Web Intelligence, 2004)

Defeasible logic with dynamic priorities. - Grigoris Antoniou (Int. J. Intell. Syst., 2004)

A Semantic Brokering System for the Tourism Domain. - Grigoris Antoniou; Thomas Skylogiannis; Antonis Bikakis; Nick Bassiliades (J. Inf. Technol. Tour., 2004)

Argumentation Semantics for Defeasible Logic. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (J. Log. Comput., 2004)

Semantic Web Fundamentals. - Grigoris Antoniou; Vassilis Christophides; Dimitris Plexousakis (Encyclopedia of Information Science and Technology (V), 2005)

DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. - Antonis Bikakis; Grigoris Antoniou (AAAI, 2005)

Updating DLs Using the AGM Theory: A Preliminary Study. - Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou (Description Logics, 2005)

DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering. - Grigoris Antoniou; Thomas Skylogiannis; Antonis Bikakis; Nick Bassiliades (EEE, 2005)

DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. - Thomas Skylogiannis; Grigoris Antoniou; Nick Bassiliades; Guido Governatori (EEE, 2005)

A Deductive Semantic Brokering System. - Grigoris Antoniou; Thomas Skylogiannis; Antonis Bikakis; Nick Bassiliades (KES (2), 2005)

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web. - Nick Bassiliades; Efstratios Kontopoulos; Grigoris Antoniou; Ioannis P. Vlahavas (Panhellenic Conference on Informatics, 2005)

A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. - Nick Bassiliades; Efstratios Kontopoulos; Grigoris Antoniou (RuleML, 2005)

Merging and Aligning Ontologies in dl-Programs. - Kewen Wang 001; Grigoris Antoniou; Rodney W. Topor; Abdul Sattar 001 (RuleML, 2005)

Introduction to Semantic Web Ontology Languages. - Grigoris Antoniou; Enrico Franconi; Frank van Harmelen (Reasoning Web, 2005)

Stable Model Theory for Extended RDF Ontologies. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner 001 (ISWC, 2005)

On Applying the AGM Theory to DLs and OWL. - Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou (ISWC, 2005)

Towards a general web rule language. - Gerd Wagner 001; Carlos Viegas Damásio; Grigoris Antoniou (Int. J. Web Eng. Technol., 2005)

Preface. - Grigoris Antoniou; Harold Boley (J. Web Semant., 2005)

Visualizing Defeasible Logic Rules for the Semantic Web. - Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou (ASWC, 2006)

Supporting Open and Closed World Reasoning on the Web. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner 001 (PPSWR, 2006)

Evolving Ontology Evolution. - Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou (SOFSEM, 2006)

On Generalizing the AGM Postulates. - Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou (STAIRS, 2006)

A Classification of Ontology Change. - Giorgos Flouris; Dimitris Plexousakis; Grigoris Antoniou (SWAP, 2006)

The ramification problem in temporal databases: Changing beliefs about the past. - Nikos Papadakis; Grigoris Antoniou; Dimitris Plexousakis (Data Knowl. Eng., 2006)

Defeasible reasoning: A discussion of some intuitions. - Grigoris Antoniou (Int. J. Intell. Syst., 2006)

A Defeasible Logic Reasoner for the Semantic Web. - Nick Bassiliades; Grigoris Antoniou; Ioannis P. Vlahavas (Int. J. Semantic Web Inf. Syst., 2006)

Embedding defeasible logic into logic programming. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (Theory Pract. Log. Program., 2006)

Implementing Modal Extensions of Defeasible Logic for the Semantic Web. - Nikos Dimaresis; Grigoris Antoniou (AAAI, 2007)

Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting. - Antonis Bikakis; Grigoris Antoniou (AmI Workshops, 2007)

A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence. - Antonis Bikakis; Theodore Patkos; Grigoris Antoniou; Dimitris Plexousakis (AmI Workshops, 2007)

Distributed AI for Ambient Intelligence: Issues and Approaches. - Theodore Patkos; Antonis Bikakis; Grigoris Antoniou; Maria Papadopouli; Dimitris Plexousakis (AmI, 2007)

Visual Stratification of Defeasible Logic Rule Bases. - Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou (ICTAI (2), 2007)

The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. - Nikos Papadakis; Grigoris Antoniou; Dimitris Plexousakis (ICTAI (2), 2007)

Proof Explanation for the Semantic Web Using Defeasible Logic. - Grigoris Antoniou; Antonis Bikakis; Nikos Dimaresis; Manolis Genetzakis; Giannis Georgalis; Guido Governatori; Efie Karouzaki; Nikolaos Kazepis; Dimitris Kosmadakis; Manolis Kritsotakis; Giannis Lilis; Antonis Papadogiannakis; et al. (KSEM, 2007)

On RDF/S Ontology Evolution. - George Konstantinidis 001; Giorgos Flouris; Grigoris Antoniou; Vassilis Christophides (SWDB-ODBIS, 2007)

Proof Explanation in the DR-DEVICE System. - Nick Bassiliades; Grigoris Antoniou; Guido Governatori (RR, 2007)

A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. - Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou (RR, 2007)

A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges. - Theodore Patkos; Antonis Bikakis; Grigoris Antoniou; Maria Papadopouli; Dimitris Plexousakis (UIC, 2007)

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. - Thomas Skylogiannis; Grigoris Antoniou; Nick Bassiliades; Guido Governatori; Antonis Bikakis (Data Knowl. Eng., 2007)

A context-aware meeting alert using semantic web and rule technology. - Grigoris Antoniou; Antonis Bikakis; Anna Karamolegou; Nikos Papachristodoulou; Manolis Stratakis (Int. J. Metadata Semant. Ontologies, 2007)

DR-BROKERING: A semantic brokering system. - Grigoris Antoniou; Thomas Skylogiannis; Antonis Bikakis; Martin Doerr; Nick Bassiliades (Knowl. Based Syst., 2007)

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. - Grigoris Antoniou; Antonis Bikakis (IEEE Trans. Knowl. Data Eng., 2007)

Rule-based Policy Specification. - Grigoris Antoniou; Matteo Baldoni; Piero A. Bonatti; Wolfgang Nejdl; Daniel Olmedilla (Secure Data Management in Decentralized Systems, 2007)

Default logic. - Grigoris Antoniou; Kewen Wang 001 (The Many Valued and Nonmonotonic Turn in Logic, 2007)

A Semantic Web Primer, 2nd Edition. - Grigoris Antoniou; Frank van Harmelen (MIT Press, 2008)

Distributed Reasoning with Conflicts in a Multi-Context Framework. - Antonis Bikakis; Grigoris Antoniou (AAAI, 2008)

Distributed Defeasible Contextual Reasoning in Ambient Computing. - Antonis Bikakis; Grigoris Antoniou (AmI, 2008)

C-NGINE: A Contextual Navigation Guide for Indoor Environments. - Manolis Kritsotakis; Maria Michou; Emmanouil Nikoloudakis; Antonis Bikakis; Theodore Patkos; Grigoris Antoniou; Dimitris Plexousakis (AmI, 2008)

Computability and Complexity Issues of Extended RDF. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner 001 (ECAI, 2008)

A Formal Approach for RDF/S Ontology Evolution. - George Konstantinidis 001; Giorgos Flouris; Grigoris Antoniou; Vassilis Christophides (ECAI, 2008)

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. - Efstratios Kontopoulos; Nick Bassiliades; Guido Governatori; Grigoris Antoniou (Web Intelligence/IAT Workshops, 2008)

Answering an Inquiry from Heterogeneous Contexts. - Jingzhi Guo; Zhuo Hu; Grigoris Antoniou; Chi-Kit Chan (ICEBE, 2008)

The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. - Nikos Papadakis; Dimitris Plexousakis; Grigoris Antoniou; Manolis Daskalakis; Yannis Christodoulou (ISMIS, 2008)

A Principled Framework for Modular Web Rule Bases and Its Semantics. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio (KR, 2008)

Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. - Antonis Bikakis; Grigoris Antoniou (RR, 2008)

Visualization of Proofs in Defeasible Logic. - Ioannis Avguleas; Katerina Gkirtzou; Sofia Triantafilou; Antonis Bikakis; Grigoris Antoniou; Efstratios Kontopoulos; Nick Bassiliades (RuleML, 2008)

Local and Distributed Defeasible Reasoning in Multi-Context Systems. - Antonis Bikakis; Grigoris Antoniou (RuleML, 2008)

A system for modal and deontic defeasible reasoning. - Grigoris Antoniou; Nikos Dimaresis; Guido Governatori (SAC, 2008)

A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. - Grigoris Antoniou; Antonis Bikakis; Polyvios Damianakis; Mixalhs Foukarakis; Giorgos Iacovidis; Marianna Karmazi; Haridimos Kondylakis; Antreas Makridakis; Giorgos Nikiforos; George Papadourakis; Manolis Papoutsakis; Aggeliki Psyharaki; et al. (SETN, 2008)

The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. - Antonis Bikakis; Constantinos Papatheodorou; Grigoris Antoniou (SETN, 2008)

Proof explanation for a nonmonotonic Semantic Web rules language. - Grigoris Antoniou; Antonis Bikakis; Nikos Dimaresis; Manolis Genetzakis; Giannis Georgalis; Guido Governatori; Efie Karouzaki; Nikolaos Kazepis; Dimitris Kosmadakis; Manolis Kritsotakis; Giannis Lilis; Antonis Papadogiannakis; et al. (Data Knowl. Eng., 2008)

Deploying defeasible logic rule bases for the semantic web. - Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou (Data Knowl. Eng., 2008)

Visual Modeling of Defeasible Logic Rules with Dr-VisMO. - Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou; Anna Seridou (Int. J. Artif. Intell. Tools, 2008)

Extended RDF as a Semantic Foundation of Rule Markup Languages. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner 001 (J. Artif. Intell. Res., 2008)

Ontology change: classification and survey. - Giorgos Flouris; Dimitris Manakanatas; Haridimos Kondylakis; Dimitris Plexousakis; Grigoris Antoniou (Knowl. Eng. Rev., 2008)

Uniform Interpolation for ALC mathcal{ALC} Revisited. - Zhe Wang 001; Kewen Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (Australasian Conference on Artificial Intelligence, 2009)

AlertMe: A Semantics-Based Context-Aware Notification System. - Asterios Leonidis; George Baryannis; Xenofon Fafoutis; Maria Korozi; Niki Gazoni; Michail Dimitriou; Maria Koutsogiannaki; Aikaterini Boutsika; Myron Papadakis; Haridimos Papagiannakis; George Tesseris; Emmanouil Voskakis; et al. (COMPSAC (2), 2009)

Alternative Strategies for Conflict Resolution in Multi-Context Systems. - Antonis Bikakis; Grigoris Antoniou; Panayiotis Hassapis (AIAI, 2009)

Contextual Argumentation in Ambient Intelligence. - Antonis Bikakis; Grigoris Antoniou (LPNMR, 2009)

FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services. - Nikos Armenatzoglou; Yannis Marketakis; Lito Kriara; Elias Apostolopoulos; Vicky Papavasiliou; Dimitris Kampas; Alexandros Kapravelos; Eythimis Kartsonakis; Giorgos Linardakis; Sofia Nikitaki; Antonis Bikakis; Grigoris Antoniou (OTM Workshops, 2009)

A Formal Theory for Modular ERDF Ontologies. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio (RR, 2009)

Contraction on the Semantic Web: On the Role of Relevance and Recovery. - Márcio Moretto Ribeiro; Renata Wassermann; Grigoris Antoniou; Giorgos Flouris; Jeff Z. Pan (IWOD@ISWC, 2009)

Concept and Role Forgetting in ALC{ mathcal {ALC}} Ontologies. - Kewen Wang 001; Zhe Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (ISWC, 2009)

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. - Grigoris Antoniou; Nikos Dimaresis; Guido Governatori (Expert Syst. Appl., 2009)

A Tool for Addressing the Ramification Problem in Temporal Databases. - Nikos Papadakis; Dimitris Plexousakis; Grigoris Antoniou; Myron Papadakis; Katerina Boutsika (Int. J. Artif. Intell. Tools, 2009)

Design and challenges of a semantics-based framework for context-aware services. - Theodore Patkos; Antonis Bikakis; Grigoris Antoniou; Maria Papadopouli; Dimitris Plexousakis (Int. J. Reason. based Intell. Syst., 2009)

Design and implementation of a semantics-based Contextual Navigation Guide for Indoor Environments. - Manolis Kritsotakis; Maria Michou; Emmanouil Nikoloudakis; Antonis Bikakis; Theodore Patkos; Grigoris Antoniou; Dimitris Plexousakis (J. Ambient Intell. Smart Environ., 2009)

Special Issue on Ontology Dynamics. - Giorgos Flouris; Mathieu d'Aquin; Grigoris Antoniou; Jeff Z. Pan; Dimitris Plexousakis (J. Log. Comput., 2009)

Semantic Web. - Grigoris Antoniou; Dimitris Plexousakis (Encyclopedia of Database Systems, 2009)

Web Ontology Language: OWL. - Grigoris Antoniou; Frank van Harmelen (Handbook on Ontologies, 2009)

Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. - Grigoris Antoniou; Antonis Bikakis; Constantinos Papatheodorou (ADBIS, 2010)

Implementing Simple Modular ERDF ontologies. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (ECAI, 2010)

Controlling Access to RDF Graphs. - Giorgos Flouris; Irini Fundulaki; Maria Michou; Grigoris Antoniou (FIS, 2010)

On the Deployment of Contextual Reasoning in Ambient Intelligence Environments. - Constantinos Papatheodorou; Grigoris Antoniou; Antonis Bikakis (Intelligent Environments, 2010)

Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. - Grigoris Antoniou; Constantinos Papatheodorou; Antonis Bikakis (KR, 2010)

Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications. - Antonis Bikakis; Grigoris Antoniou (OTM Workshops, 2010)

Embeddings of Simple Modular Extended RDF. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (RR, 2010)

Rule-Based Contextual Reasoning in Ambient Intelligence. - Antonis Bikakis; Grigoris Antoniou (RuleML, 2010)

A Reasoning Framework for Ambient Intelligence. - Theodore Patkos; Ioannis Chrysakis; Antonis Bikakis; Dimitris Plexousakis; Grigoris Antoniou (SETN, 2010)

Task-Based Dependency Management for the Preservation of Digital Objects Using Rules. - Yannis Tzitzikas; Yannis Marketakis; Grigoris Antoniou (SETN, 2010)

The ramification problem in temporal databases: Concurrent execution. - Nikos Papadakis; Dimitris Plexousakis; Grigoris Antoniou (Int. J. Intell. Syst., 2010)

Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. - Antonis Bikakis; Grigoris Antoniou (IEEE Trans. Knowl. Data Eng., 2010)

An inclusion theorem for defeasible logics. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2010)

Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition. - Chrysi Filippaki; Grigoris Antoniou; Ioannis Tsamardinos (AmI, 2011)

Evolution of Ontologies using ASP. - Max Ostrowski; Giorgos Flouris; Torsten Schaub; Grigoris Antoniou (ICLP (Technical Communications), 2011)

Reasoning and Proofing Services for Semantic Web Agents. - Kalliopi Kravari; Constantinos Papatheodorou; Grigoris Antoniou; Nick Bassiliades (IJCAI, 2011)

Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. - Antonis Bikakis; Grigoris Antoniou (LPNMR, 2011)

Rule-Based Activity Recognition in Ambient Intelligence. - Grigoris Antoniou (RuleML Europe, 2011)

Modularity in the Rule Interchange Format. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (RuleML Europe, 2011)

Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. - Kalliopi Kravari; Constantinos Papatheodorou; Grigoris Antoniou; Nick Bassiliades (RuleML Europe, 2011)

DEAL: A Distributed Authorization Language for Ambient Intelligence. - Irini Genitsaridi; Antonis Bikakis; Grigoris Antoniou (Int. J. Ambient Comput. Intell., 2011)

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web. - Efstratios Kontopoulos; Nick Bassiliades; Guido Governatori; Grigoris Antoniou (Int. J. Semantic Web Inf. Syst., 2011)

Strategies for contextual reasoning with conflicts in ambient intelligence. - Antonis Bikakis; Grigoris Antoniou; Panayiotis Hassapis (Knowl. Inf. Syst., 2011)

Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system. - Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou (Knowl. Based Syst., 2011)

MWeb: A principled framework for modular web rule bases and its semantics. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio (ACM Trans. Comput. Log., 2011)

Contextual Defeasible Logic and Its Application to Ambient Intelligence. - Antonis Bikakis; Grigoris Antoniou (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Semantic Web dynamics. - Grigoris Antoniou; Mathieu d'Aquin; Jeff Z. Pan (J. Web Semant., 2011)

A Semantic Web Primer, 3rd Edition. - Grigoris Antoniou; Paul Groth; Frank van Harmelen; Rinke Hoekstra (MIT Press, 2012)

Large-scale Parallel Stratified Defeasible Reasoning. - Ilias Tachmazidis; Grigoris Antoniou; Giorgos Flouris; Spyros Kotoulas; Lee McCluskey (ECAI, 2012)

Formal Foundations for RDF Evolution and Repair. - Grigoris Antoniou (ICTERI, 2012)

S-CRETA: Smart Classroom Real-Time Assistance. - Maria Koutraki; Vasilis Efthymiou; Grigoris Antoniou (ISAmI, 2012)

Towards Parallel Nonmonotonic Reasoning with Billions of Facts. - Ilias Tachmazidis; Grigoris Antoniou; Giorgos Flouris; Spyros Kotoulas (KR, 2012)

Forgetting for Defeasible Logic. - Grigoris Antoniou; Thomas Eiter; Kewen Wang 001 (LPAR, 2012)

Access control for RDF graphs using abstract models. - Vassilis Papakonstantinou; Maria Michou; Irini Fundulaki; Giorgos Flouris; Grigoris Antoniou (SACMAT, 2012)

Provenance for SPARQL Queries. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (ISWC (1), 2012)

Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce. - Ilias Tachmazidis; Grigoris Antoniou; Giorgos Flouris; Spyros Kotoulas (SSWS+HPCSW@ISWC, 2012)

Semantic Data Management (Dagstuhl Seminar 12171). - Grigoris Antoniou; Óscar Corcho; Karl Aberer; Elena Simperl; Rudi Studer (Dagstuhl Reports, 2012)

Justifications for Logic Programming. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (LPNMR, 2013)

Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization. - Ilias Tachmazidis; Grigoris Antoniou (RuleML, 2013)

Large-Scale Complex Reasoning with Semantics: Approaches and Challenges. - Grigoris Antoniou; Jeff Z. Pan; Ilias Tachmazidis (WISE Workshops, 2013)

Minimal change: Relevance and recovery revisited. - Márcio Moretto Ribeiro; Renata Wassermann; Giorgos Flouris; Grigoris Antoniou (Artif. Intell., 2013)

A framework for modular ERDF ontologies. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Ioannis Pachoulakis (Ann. Math. Artif. Intell., 2013)

Formal foundations for RDF/S KB evolution. - Giorgos Flouris; George Konstantinidis 001; Grigoris Antoniou; Vassilis Christophides (Knowl. Inf. Syst., 2013)

Reasoning over Spatial Orientation Relations Using Rules. - Sotiris Batsakis; Grigoris Antoniou; Ilias Tachmazidis (ADBIS (2), 2014)

Integrated Representation of Temporal Intervals and Durations for the Semantic Web. - Sotiris Batsakis; Grigoris Antoniou; Ilias Tachmazidis (ADBIS (2), 2014)

Rational Elimination of DL-Lite TBox Axioms. - Zhiqiang Zhuang; Zhe Wang 001; Kewen Wang 001; Grigoris Antoniou (Description Logics, 2014)

Massively Parallel Reasoning under the Well-Founded Semantics Using X10. - Ilias Tachmazidis; Long Cheng 003; Spyros Kotoulas; Grigoris Antoniou; Tomas E. Ward (ICTAI, 2014)

Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. - Sotiris Batsakis; Grigoris Antoniou; Ilias Tachmazidis (MIWAI, 2014)

Large-Scale Reasoning with (Semantic) Data. - Grigoris Antoniou; Sotiris Batsakis; Ilias Tachmazidis (WIMS, 2014)

Representing and Reasoning over Topological Relations in OWL. - Sotiris Batsakis; Grigoris Antoniou; Ilias Tachmazidis (WIMS, 2014)

Why-provenance information for RDF, rules, and negation. - Anastasia Analyti; Carlos Viegas Damásio; Grigoris Antoniou; Ioannis Pachoulakis (Ann. Math. Artif. Intell., 2014)

Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics. - Kewen Wang 001; Zhe Wang 001; Rodney W. Topor; Jeff Z. Pan; Grigoris Antoniou (Comput. Intell., 2014)

Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. - Federico Cerutti 001; Ilias Tachmazidis; Mauro Vallati; Sotiris Batsakis; Massimiliano Giacomin; Grigoris Antoniou (CoRR, 2014)

Ontologies of Time: Review and Trends. - Vadim Ermolayev; Sotiris Batsakis; Natalya Keberle; Olga Tatarintseva; Grigoris Antoniou (Int. J. Comput. Sci. Appl., 2014)

Efficient Computation of the Well-Founded Semantics over Big Data. - Ilias Tachmazidis; Grigoris Antoniou; Wolfgang Faber 001 (Theory Pract. Log. Program., 2014)

Exploiting Parallelism for Hard Problems in Abstract Argumentation. - Federico Cerutti 001; Ilias Tachmazidis; Mauro Vallati; Sotirios Batsakis; Massimiliano Giacomin; Grigoris Antoniou (AAAI, 2015)

Data quality assessment and anomaly detection via map/reduce and linked data: A case study in the medical domain. - Stephen Bonner; Andrew Stephen McGough; Ibad Kureshi; John Brennan; Georgios Theodoropoulos 001; Laura Moss; David Corsar; Grigoris Antoniou (IEEE BigData, 2015)

Representing Time for the Semantic Web. - Sotiris Batsakis; Ilias Tachmazidis; Grigoris Antoniou (MIWAI, 2015)

iCurate: A Research Data Management System. - Shuo Liang; Violeta Holmes; Grigoris Antoniou; Joshua Higgins (MIWAI, 2015)

Extended RDF: Computability and complexity issues. - Anastasia Analyti; Carlos Viegas Damásio; Grigoris Antoniou (Ann. Math. Artif. Intell., 2015)

Ontology evolution: a process-centric survey. - Fouad Zablith; Grigoris Antoniou; Mathieu d'Aquin; Giorgos Flouris; Haridimos Kondylakis; Enrico Motta; Dimitris Plexousakis; Marta Sabou (Knowl. Eng. Rev., 2015)

Hypercat RDF: Semantic Enrichment for IoT. - Ilias Tachmazidis; John Davies; Sotiris Batsakis; Grigoris Antoniou; Alistair Duke; Sandra Stincic Clarke (JIST, 2016)

Large Scale Reasoning Using Allen's Interval Algebra. - Matthew Mantle; Sotirios Batsakis; Grigoris Antoniou (MICAI (2), 2016)

Applying SPARQL-Based Inference and Ontologies for Modelling and Execution of Clinical Practice Guidelines: A Case Study on Hypertension Management. - Charalampos Doulaverakis; Vassilis Koutkias; Grigoris Antoniou; Ioannis Kompatsiaris (KR4HC/ProHealth@HEC, 2016)

Rule-Based Real-Time ADL Recognition in a Smart Home Environment. - George Baryannis; Przemyslaw Woznowski; Grigoris Antoniou (RuleML, 2016)

A Hypercat-Enabled Semantic Internet of Things Data Hub. - Ilias Tachmazidis; Sotiris Batsakis; John Davies; Alistair Duke; Mauro Vallati; Grigoris Antoniou; Sandra Stincic Clarke (ESWC (2), 2017)

A Semantically Enriched Hypercat-enabled Internet of Things Data Hub. - Ilias Tachmazidis; John Davies; Sotiris Batsakis; Alistair Duke; Grigoris Antoniou; Sandra Stincic Clarke (ISWC (Posters, Demos & Industry Tracks), 2017)

A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. - Ilias Tachmazidis; Sotiris Batsakis; John Davies; Alistair Duke; Mauro Vallati; Grigoris Antoniou; Sandra Stincic Clarke (CoRR, 2017)

Editorial. - Grigoris Antoniou; Antonis Bikakis (Int. J. Artif. Intell. Tools, 2017)

Representing Time and Space for the Semantic Web. - Sotiris Batsakis; Ilias Tachmazidis; Grigoris Antoniou (Int. J. Artif. Intell. Tools, 2017)

Design and evaluation of small-large outer joins in cloud computing environments. - Long Cheng 003; Ilias Tachmazidis; Spyros Kotoulas; Grigoris Antoniou (J. Parallel Distributed Comput., 2017)

Temporal representation and reasoning in OWL 2. - Sotiris Batsakis; Euripides G. M. Petrakis; Ilias Tachmazidis; Grigoris Antoniou (Semantic Web, 2017)

A Theoretical Study of Anomaly Detection in Big Data Distributed Static and Stream Analytics. - Bakhtiar Amen; Grigoris Antoniou (HPCC/SmartCity/DSS, 2018)

Legal Representation and Reasoning in Practice: A Critical Comparison. - Sotiris Batsakis; George Baryannis; Guido Governatori; Ilias Tachmazidis; Grigoris Antoniou (JURIX, 2018)

Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub. - Ilias Tachmazidis; Sotiris Batsakis; John Davies; Alistair Duke; Grigoris Antoniou; Sandra Stincic Clarke (SSN@ISWC, 2018)

Mining Free-Text Medical Notes for Suicide Risk Assessment. - Marios Adamou; Grigoris Antoniou; Elissavet Greasidou; Vincenzo Lagani; Paulos Charonyktakis; Ioannis Tsamardinos (SETN, 2018)

Collective Anomaly Detection Using Big Data Distributed Stream Analytics. - Bakhtiar Amen; Grigoris Antoniou (SKG, 2018)

Effective Diagnosis of Diabetes with a Decision Tree-Initialised Neuro-fuzzy Approach. - Tianhua Chen; Changjing Shang; Pan Su 001; Grigoris Antoniou; Qiang Shen 001 (UKCI, 2018)

A survey of large-scale reasoning on the Web of data. - Grigoris Antoniou; Sotiris Batsakis; Raghava Mutharaju; Jeff Z. Pan; Guilin Qi; Ilias Tachmazidis; Jacopo Urbani; Zhangquan Zhou (Knowl. Eng. Rev., 2018)

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. - George Baryannis; Ilias Tachmazidis; Sotiris Batsakis; Grigoris Antoniou; Mario Alviano; Timos Sellis; Pei-Wei Tsai (Theory Pract. Log. Program., 2018)

Semantic Web. - Grigoris Antoniou; Dimitris Plexousakis (Encyclopedia of Database Systems (2nd ed.), 2018)

Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT. - Michalis Georgiou; Ilias Tachmazidis; Grigoris Antoniou (WIMS, 2019)

Predicting supply chain risks using machine learning: The trade-off between performance and interpretability. - George Baryannis; Samir Dani; Grigoris Antoniou (Future Gener. Comput. Syst., 2019)

Supply chain risk management and artificial intelligence: state of the art and future research directions. - George Baryannis; Sahar Validi; Samir Dani; Grigoris Antoniou (Int. J. Prod. Res., 2019)

Large scale distributed spatio-temporal reasoning using real-world knowledge graphs. - Matthew Mantle; Sotirios Batsakis; Grigoris Antoniou (Knowl. Based Syst., 2019)

Semantic Artificial Neural Networks. - Sotirios Batsakis; Ilias Tachmazidis; George Baryannis; Grigoris Antoniou (ESWC (Satellite Events), 2020)

Maximising goals achievement through abstract argumentation frameworks: An optimal approach. - Andrea Cohen; Sebastian Gottifredi; Mauro Vallati; Alejandro Javier García; Grigoris Antoniou (Expert Syst. Appl., 2020)

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. - George Baryannis; Ilias Tachmazidis; Sotiris Batsakis; Grigoris Antoniou; Mario Alviano; Emmanuel Papadakis 002 (Theory Pract. Log. Program., 2020)

Rethinking Defeasible Reasoning: A Scalable Approach. - Michael J. Maher; Ilias Tachmazidis; Grigoris Antoniou; Stephen J. Wade; Long Cheng 003 (Theory Pract. Log. Program., 2020)

A Parallel Machine Learning Framework for Detecting Alzheimer's Disease. - Sean A. Knox; Tianhua Chen; Pan Su 001; Grigoris Antoniou (BI, 2021)

ANFIS Models for Heart Disease Prediction. - Siyue Song; Tianhua Chen; Grigoris Antoniou (ICIAI, 2021)

Reasoning over Bayesian Networks using Semantic Artificial Neural Networks. - Sotirios Batsakis; Grigoris Antoniou (IISA, 2021)

Data-Driven Decision Support for Autism Diagnosis using Machine Learning. - Sotiris Batsakis; Marios Adamou; Ilias Tachmazidis; Grigoris Antoniou; Thanasis Kehagias (MEDES, 2021)

Assessing Significance of Cognitive Assessments for Diagnosing Alzheimer's Disease with Fuzzy-Rough Feature Selection. - Tianhua Chen; Changjing Shang; Pan Su 001; Yinghua Shen; Mufti Mahmud; Raymond Moodley; Grigoris Antoniou; Qiang Shen 001 (UKCI, 2021)

Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning. - Tianhua Chen; Grigoris Antoniou; Marios Adamou; Ilias Tachmazidis; Pan Su 001 (Appl. Artif. Intell., 2021)

Medical analytics for healthcare intelligence - Recent advances and future directions. - Tianhua Chen; Elpida Keravnou-Papailiou; Grigoris Antoniou (Artif. Intell. Medicine, 2021)

A Decision Tree-Initialised Neuro-fuzzy Approach for Clinical Decision Support. - Tianhua Chen; Changjing Shang; Pan Su 001; Elpida Keravnou-Papailiou; Yitian Zhao; Grigoris Antoniou; Qiang Shen 001 (Artif. Intell. Medicine, 2021)

Large-scale Legal Reasoning with Rules and Databases. - Grigoris Antoniou; George Baryannis; Sotiris Batsakis; Guido Governatori; Mohammad Badiul Islam; Qing Liu 001; Livio Robaldo; Giovanni Siragusa; Ilias Tachmazidis (FLAP, 2021)

A hybrid AI approach for supporting clinical diagnosis of attention deficit hyperactivity disorder (ADHD) in adults. - Ilias Tachmazidis; Tianhua Chen; Marios Adamou; Grigoris Antoniou (Health Inf. Sci. Syst., 2021)

Improve the trustwortiness of medical text interpretations. - Siyue Song; Tianhua Chen; Grigoris Antoniou (BHI, 2022)

Explainable Reasoning with Legal Big Data: A Layered Framework. - Grigoris Antoniou; Katie Atkinson; George Baryannis; Sotiris Batsakis; Luigo Di Caro; Guido Governatori; Livio Robaldo; Giovanni Siragusa; Ilias Tachmazidis (FLAP, 2022)

Mental Health Diagnosis: A Case for Explainable Artificial Intelligence. - Grigoris Antoniou; Emmanuel Papadakis 002; George Baryannis (Int. J. Artif. Intell. Tools, 2022)

Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning. - Sotirios Batsakis; Marios Adamou; Ilias Tachmazidis; Sarah Jones; Sofya Titarenko; Grigoris Antoniou; Thanasis Kehagias (Digit., 2022)

Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence. - Sotirios Batsakis; Emmanuel Papadakis 002; Ilias Tachmazidis; Tianhua Chen; Grigoris Antoniou; Marios Adamou (ISCC, 2023)

Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. - Grigoris Antoniou; Sotiris Batsakis (RuleML+RR (Companion), 2023)

Towards the Use of Machine Learning Classifiers for Human Activity Recognition Using Accelerometer and Heart Rate Data from ActiGraph. - Matthew Oyeleye; Tianhua Chen; Pan Su 001; Grigoris Antoniou (UKCI, 2023)

ADHD-KG: a knowledge graph of attention deficit hyperactivity disorder. - Emmanuel Papadakis 002; George Baryannis; Sotiris Batsakis; Marios Adamou; Zhisheng Huang; Grigoris Antoniou (Health Inf. Sci. Syst., 2023)

Exploiting Machine Learning and LSTM for Human Activity Recognition: Using Physiological and Biological Sensor Data from Actigraph. - Matthew Oyeleye; Tianhua Chen; Pan Su 001; Grigoris Antoniou (ICIT, 2024)

AI-Based Models for Predicting the Risk of Developing Diabetes. - Sotiris Batsakis; Bakhtiar Amen; Grigoris Antoniou; Steven Howard; Paul Rhys-Vivian; Gemma Gardner (IISA, 2024)

Model Checking with Large Language Models - Initial Experiments and Future Directions. - Sotiris Batsakis; Ilias Tachmazidis; Matthew Mantle; Nikolaos Papadakis; Grigoris Antoniou (IISA, 2024)

AI-Based Suicide Risk Assessment. - Pavlos Charonyktakis; Grigoris Antoniou; Marios Adamou; Michael Doyle; Sotiris Batsakis; Ioannis Tsamardinos (IISA, 2024)

Revision operators with compact representations. - Pavlos Peppas; Mary-Anne Williams; Grigoris Antoniou (Artif. Intell., 2024)

Benchmarking Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. - Ilias Tachmazidis; Sotiris Batsakis; Grigoris Antoniou (CoRR, 2024)

Querying large-scale knowledge graphs using Qualitative Spatial Reasoning. - Matthew Mantle; Sotirios Batsakis; Grigoris Antoniou (Expert Syst. Appl., 2024)

Dyslexia and AI: Do Language Models Align with Dyslexic Style Guide Criteria? - Eleni Ilkou; Thomai Alexiou; Grigoris Antoniou; Olga Viberg (AIED (1), 2025)