Grigoris Antoniou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
72
Venues
33
Active years
1983–2025
Best venue rank
A*
Where they publish
- A*AAAI9 papers
- BICTAI7 papers
- AECAI6 papers
- BPRICAI6 papers
- BLPNMR4 papers
- A*KR4 papers
- CADBIS3 papers
- BICLP3 papers
- BLPAR2 papers
- A*IJCAI2 papers
- MulticonferenceSAC2 papers
- NationalEPIA2 papers
- CSEKE2 papers
- AAIED1 paper
- CISCC1 paper
- CMEDES1 paper
- CHPCC1 paper
- CJURIX1 paper
- BWISE1 paper
- NationalICTERI1 paper
- CSACMAT1 paper
- BCOMPSAC1 paper
- CISMIS1 paper
- CKSEM1 paper
- CUIC1 paper
- BSOFSEM1 paper
- BKES1 paper
- CECSQARU1 paper
- NationalKI1 paper
- AISSRE1 paper
- BJELIA1 paper
- NationalAIMSA1 paper
- BCSL1 paper
Papers
72 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AIED | Dyslexia and AI: Do Language Models Align with Dyslexic Style Guide Criteria? | Eleni Ilkou, Thomai Alexiou, Grigoris Antoniou, Olga Viberg |
| 2023 | ISCC | Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence. | Sotirios Batsakis, Emmanuel Papadakis, Ilias Tachmazidis, Tianhua Chen, Grigoris Antoniou, Marios Adamou |
| 2021 | MEDES | Data-Driven Decision Support for Autism Diagnosis using Machine Learning. | Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias |
| 2018 | HPCC | A Theoretical Study of Anomaly Detection in Big Data Distributed Static and Stream Analytics. | Bakhtiar Amen, Grigoris Antoniou |
| 2018 | JURIX | Legal Representation and Reasoning in Practice: A Critical Comparison. | Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou |
| 2015 | AAAI | Exploiting Parallelism for Hard Problems in Abstract Argumentation. | Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou |
| 2014 | ADBIS | Reasoning over Spatial Orientation Relations Using Rules. | Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis |
| 2014 | ADBIS | Integrated Representation of Temporal Intervals and Durations for the Semantic Web. | Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis |
| 2014 | ICTAI | Massively Parallel Reasoning under the Well-Founded Semantics Using X10. | Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward |
| 2013 | LPNMR | Justifications for Logic Programming. | Carlos Viegas Damsio, Anastasia Analyti, Grigoris Antoniou |
| 2013 | WISE | Large-Scale Complex Reasoning with Semantics: Approaches and Challenges. | Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis |
| 2012 | ECAI | Large-scale Parallel Stratified Defeasible Reasoning. | Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey |
| 2012 | ICTERI | Formal Foundations for RDF Evolution and Repair. | Grigoris Antoniou |
| 2012 | KR | Towards Parallel Nonmonotonic Reasoning with Billions of Facts. | Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas |
| 2012 | LPAR | Forgetting for Defeasible Logic. | Grigoris Antoniou, Thomas Eiter, Kewen Wang |
| 2012 | SACMAT | Access control for RDF graphs using abstract models. | Vassilis Papakonstantinou, Maria Michou, Irini Fundulaki, Giorgos Flouris, Grigoris Antoniou |
| 2011 | ICLP | Evolution of Ontologies using ASP. | Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou |
| 2011 | IJCAI | Reasoning and Proofing Services for Semantic Web Agents. | Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades |
| 2011 | LPNMR | Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. | Antonis Bikakis, Grigoris Antoniou |
| 2010 | ADBIS | Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. | Grigoris Antoniou, Antonis Bikakis, Constantinos Papatheodorou |
| 2010 | ECAI | Implementing Simple Modular ERDF ontologies. | Carlos Viegas Damsio, Anastasia Analyti, Grigoris Antoniou |
| 2010 | KR | Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. | Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis |
| 2009 | COMPSAC | 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, Antonis Bikakis, Grigoris Antoniou |
| 2009 | LPNMR | Contextual Argumentation in Ambient Intelligence. | Antonis Bikakis, Grigoris Antoniou |
| 2008 | AAAI | Distributed Reasoning with Conflicts in a Multi-Context Framework. | Antonis Bikakis, Grigoris Antoniou |
| 2008 | ECAI | Computability and Complexity Issues of Extended RDF. | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damsio, Gerd Wagner |
| 2008 | ECAI | A Formal Approach for RDF/S Ontology Evolution. | George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides |
| 2008 | ISMIS | The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. | Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou |
| 2008 | KR | A Principled Framework for Modular Web Rule Bases and Its Semantics. | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damsio |
| 2008 | PRICAI | On the Computability and Complexity Issues of Extended RDF. | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damsio, Gerd Wagner |
| 2008 | SAC | A system for modal and deontic defeasible reasoning. | Grigoris Antoniou, Nikos Dimaresis, Guido Governatori |
| 2007 | AAAI | Implementing Modal Extensions of Defeasible Logic for the Semantic Web. | Nikos Dimaresis, Grigoris Antoniou |
| 2007 | ICTAI | Visual Stratification of Defeasible Logic Rule Bases. | Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou |
| 2007 | ICTAI | The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. | Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis |
| 2007 | KSEM | 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, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis |
| 2007 | UIC | A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges. | Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis |
| 2006 | SOFSEM | Evolving Ontology Evolution. | Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou |
| 2005 | AAAI | DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. | Antonis Bikakis, Grigoris Antoniou |
| 2005 | KES | A Deductive Semantic Brokering System. | Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades |
| 2004 | ICTAI | A Defeasible Logic Programming System for the Web. | Grigoris Antoniou, Antonis Bikakis, Gerd Wagner |
| 2002 | ECAI | Defeasible Logic with Dynamic Priorities. | Grigoris Antoniou |
| 2002 | ICLP | Embedding Defeasible Logic into Logic Programs. | Grigoris Antoniou, Michael J. Maher |
| 2002 | SAC | Executable declarative business rules and their use in electronic commerce. | Grigoris Antoniou, M. Arief |
| 2000 | AAAI | A Flexible Framework for Defeasible Logics. | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
| 2000 | ECAI | A Family of Defeasible Reasoning Logics and its Implementation. | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock |
| 2000 | ICTAI | Efficient defeasible reasoning systems. | Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller |
| 2000 | PRICAI | Argumentation Semantics for Defeasible Logics. | Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington |
| 1999 | ECSQARU | On the Dynamics of Default Reasoning. | Grigoris Antoniou |
| 1999 | KI | Revising Nonmonotonic Theories: The Case of Defeasible Logic. | David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher |
| 1999 | LPNMR | A Comparison of Sceptical NAF-Free Logic Programming Approaches. | Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori |
| 1998 | ICLP | Normal Forms for Defeasible Logic. | Grigoris Antoniou, David Billington, Michael J. Maher |
| 1998 | ICTAI | Revising default theories. | Grigoris Antoniou, Mary-Anne Williams |
| 1998 | ISSRE | Testing production system programs. | Grigoris Antoniou, Oliver Jack |
| 1998 | KR | A Strategy for Revising Default Theory Extensions. | Mary-Anne Williams, Grigoris Antoniou |
| 1997 | AAAI | A Comparison of Two Approaches to Splitting Default Theories. | Grigoris Antoniou |
| 1997 | AAAI | Stratification for Variants of Default Logic. | Jrg Ernst, Grigoris Antoniou |
| 1997 | ICTAI | Stratification: The Computational Base of a System for Default Reasoning. | Grigoris Antoniou |
| 1996 | AAAI | Computing Default Logic Extensions: An Implementation. | Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou |
| 1996 | JELIA | A System for Computing Constrained Default Logic Extensions. | Grigoris Antoniou, Allen P. Courtney, Jrg Ernst, Mary-Anne Williams |
| 1996 | PRICAI | Conservative Expansion Concepts for Default Theories. | Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
| 1996 | PRICAI | Studying Properties of Classes of Default Logics - Preliminary Report. | Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon |
| 1996 | PRICAI | Some approaches to reasoning with incomplete and changing information. | Grigoris Antoniou, Mary-Anne Williams |
| 1996 | PRICAI | Exten: A System for Computing Default Logic Extensions. | Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo |
| 1994 | AAAI | Soundness and Completeness of a Logic Programming Approach to Default Logic. | Grigoris Antoniou, Elmar Langetepe |
| 1993 | EPIA | Version Space Algorithms on Hierarchies with Exceptions. | Grigoris Antoniou |
| 1993 | EPIA | A Process Model for Default Logic and Its Realization in Logic Programming. | Grigoris Antoniou, Elmar Langetepe |
| 1993 | LPAR | Computing Extensions of Default Logic - Preliminary Report. | Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider |
| 1993 | SEKE | Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. | Grigoris Antoniou |
| 1992 | AIMSA | Logical Approaches to Structured Knowledge Bases. | Grigoris Antoniou |
| 1992 | SEKE | Modularity for Logical Knowledge Bases. | Grigoris Antoniou |
| 1989 | CSL | On the Verification of Modules. | Grigoris Antoniou, Volker Sperschneider |
| 1983 | IJCAI | TERMINATOR. | Grigoris Antoniou, Hans Jrgen Ohlbach |