Grigoris Antoniou

328 papers A* 11A 7B 21C 10Misc 13Journal 113Unranked 124

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Dyslexia and AI: Do Language Models Align with Dyslexic Style Guide Criteria? AIED (1) Eleni Ilkou, Thomai Alexiou, Grigoris Antoniou, Olga Viberg
2025	—	`conf`	Medical Information Retrieval in Natural Language Using LLMs for SPARQL Query Generation. IISA Charalampos Doulaverakis, Giannis Vassiliou, Stavroula Chatzinikolaou, Sotiris Batsakis, Nikolaos Papadakis, Grigoris Antoniou
2025	—	`conf`	SPARQL Query Generation Using LLMs for Medical Information Retrieval. ESWC (Satellite Events) Charalampos Doulaverakis, Giannis Vassiliou, Sotiris Batsakis, Nikos Papadakis, Georgia Eirini Trouli, Grigoris Antoniou
2024	—	`conf`	AI-Based Models for Predicting the Risk of Developing Diabetes. IISA Sotiris Batsakis, Bakhtiar Amen, Grigoris Antoniou, Steven Howard, Paul Rhys-Vivian, Gemma Gardner
2024	—	`conf`	AI-Based Suicide Risk Assessment. IISA Pavlos Charonyktakis, Grigoris Antoniou, Marios Adamou, Michael Doyle, Sotiris Batsakis, Ioannis Tsamardinos
2024	J	`jnl`	Benchmarking Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. CoRR Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou
2024	—	`conf`	Exploiting Machine Learning and LSTM for Human Activity Recognition: Using Physiological and Biological Sensor Data from Actigraph. ICIT Matthew Oyeleye, Tianhua Chen, Pan Su, Grigoris Antoniou
2024	—	`conf`	Model Checking with Large Language Models - Initial Experiments and Future Directions. IISA Sotiris Batsakis, Ilias Tachmazidis, Matthew Mantle, Nikolaos Papadakis, Grigoris Antoniou
2024	J	`jnl`	Querying large-scale knowledge graphs using Qualitative Spatial Reasoning. Expert Syst. Appl. Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou
2024	J	`jnl`	Revision operators with compact representations. Artif. Intell. Pavlos Peppas, Mary-Anne Williams, Grigoris Antoniou
2023	J	`jnl`	ADHD-KG: a knowledge graph of attention deficit hyperactivity disorder. Health Inf. Sci. Syst. Emmanuel Papadakis, George Baryannis, Sotiris Batsakis, Marios Adamou, Zhisheng Huang, Grigoris Antoniou
2023	—	`conf`	Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. RuleML+RR (Companion) Grigoris Antoniou, Sotiris Batsakis
2023	Misc	`ed.`	Information and Communication Technologies in Education, Research, and Industrial Applications - 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings ICTERI Grigoris Antoniou, Vadim Ermolayev, Vitaliy Kobets, Vira Liubchenko, Heinrich C. Mayr, Aleksander Spivakovsky, Vitaliy Yakovyna, Grygoriy Zholtkevych
2023	C	`conf`	Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence. ISCC Sotirios Batsakis, Emmanuel Papadakis, Ilias Tachmazidis, Tianhua Chen, Grigoris Antoniou, Marios Adamou
2023	—	`conf`	Towards the Use of Machine Learning Classifiers for Human Activity Recognition Using Accelerometer and Heart Rate Data from ActiGraph. UKCI Matthew Oyeleye, Tianhua Chen, Pan Su, Grigoris Antoniou
2022	J	`jnl`	Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning. Digit. Sotirios Batsakis, Marios Adamou, Ilias Tachmazidis, Sarah Jones, Sofya Titarenko, Grigoris Antoniou, Thanasis Kehagias
2022	J	`jnl`	Explainable Reasoning with Legal Big Data: A Layered Framework. FLAP Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2022	—	`conf`	Improve the trustwortiness of medical text interpretations. BHI Siyue Song, Tianhua Chen, Grigoris Antoniou
2022	J	`jnl`	Mental Health Diagnosis: A Case for Explainable Artificial Intelligence. Int. J. Artif. Intell. Tools Grigoris Antoniou, Emmanuel Papadakis, George Baryannis
2021	J	`jnl`	A Decision Tree-Initialised Neuro-fuzzy Approach for Clinical Decision Support. Artif. Intell. Medicine Tianhua Chen, Changjing Shang, Pan Su, Elpida Keravnou-Papailiou, Yitian Zhao, Grigoris Antoniou, Qiang Shen
2021	—	`conf`	A Parallel Machine Learning Framework for Detecting Alzheimer's Disease. BI Sean A. Knox, Tianhua Chen, Pan Su, Grigoris Antoniou
2021	J	`jnl`	A hybrid AI approach for supporting clinical diagnosis of attention deficit hyperactivity disorder (ADHD) in adults. Health Inf. Sci. Syst. Ilias Tachmazidis, Tianhua Chen, Marios Adamou, Grigoris Antoniou
2021	—	`conf`	ANFIS Models for Heart Disease Prediction. ICIAI Siyue Song, Tianhua Chen, Grigoris Antoniou
2021	—	`conf`	Assessing Significance of Cognitive Assessments for Diagnosing Alzheimer's Disease with Fuzzy-Rough Feature Selection. UKCI Tianhua Chen, Changjing Shang, Pan Su, Yinghua Shen, Mufti Mahmud, Raymond Moodley, Grigoris Antoniou, Qiang Shen
2021	J	`jnl`	Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning. Appl. Artif. Intell. Tianhua Chen, Grigoris Antoniou, Marios Adamou, Ilias Tachmazidis, Pan Su
2021	C	`conf`	Data-Driven Decision Support for Autism Diagnosis using Machine Learning. MEDES Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias
2021	J	`jnl`	Large-scale Legal Reasoning with Rules and Databases. FLAP Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2021	J	`jnl`	Medical analytics for healthcare intelligence - Recent advances and future directions. Artif. Intell. Medicine Tianhua Chen, Elpida Keravnou-Papailiou, Grigoris Antoniou
2021	—	`conf`	Reasoning over Bayesian Networks using Semantic Artificial Neural Networks. IISA Sotirios Batsakis, Grigoris Antoniou
2020	—	`ed.`	2020 IEEE International Conference on Knowledge Graph, ICKG 2020, Online, August 9-11, 2020 ICKG Enhong Chen, Grigoris Antoniou
2020	J	`jnl`	A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. CoRR George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2020	J	`jnl`	A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Theory Pract. Log. Program. George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis
2020	—	`ed.`	Joint Proceedings of Workshops AI4LEGAL2020, NLIWOD, PROFILES 2020, QuWeDa 2020 and SEMIFORM2020 Colocated with the 19th International Semantic Web Conference (ISWC 2020), Virtual Conference, November, 2020. ASLD@ISWC Manolis Koubarakis, Harith Alani, Grigoris Antoniou, Kalina Bontcheva, John G. Breslin, Diego Collarana, Elena Demidova, Stefan Dietze, Simon Gottschalk, Guido Governatori, Aidan Hogan, Freddy Lécué, Elena Montiel-Ponsoda, Axel-Cyrille Ngonga Ngomo, Sofia Pinto, Muhammad Saleem, Raphaël Troncy, Eleni Tsalapati, Ricardo Usbeck, Ruben Verborgh
2020	J	`jnl`	Maximising goals achievement through abstract argumentation frameworks: An optimal approach. Expert Syst. Appl. Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro Javier García, Grigoris Antoniou
2020	—	`ed.`	Proceedings of the International Workshop on Semantic Digital Twins co-located with the 17th Extended Semantic Web Conference, SeDiT@ESWC 2020, Heraklion, Greece, June 3, 2020. SeDiTqESWC Raúl García-Castro, John Davies, Grigoris Antoniou, Carolina Fortuna
2020	J	`jnl`	Rethinking Defeasible Reasoning: A Scalable Approach. CoRR Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng
2020	J	`jnl`	Rethinking Defeasible Reasoning: A Scalable Approach. Theory Pract. Log. Program. Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng
2020	—	`conf`	Semantic Artificial Neural Networks. ESWC (Satellite Events) Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou
2019	—	`conf`	Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT. WIMS Michalis Georgiou, Ilias Tachmazidis, Grigoris Antoniou
2019	J	`jnl`	Large scale distributed spatio-temporal reasoning using real-world knowledge graphs. Knowl. Based Syst. Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou
2019	J	`jnl`	Predicting supply chain risks using machine learning: The trade-off between performance and interpretability. Future Gener. Comput. Syst. George Baryannis, Samir Dani, Grigoris Antoniou
2019	J	`jnl`	Supply chain risk management and artificial intelligence: state of the art and future research directions. Int. J. Prod. Res. George Baryannis, Sahar Validi, Samir Dani, Grigoris Antoniou
2018	—	`conf`	A Theoretical Study of Anomaly Detection in Big Data Distributed Static and Stream Analytics. HPCC/SmartCity/DSS Bakhtiar Amen, Grigoris Antoniou
2018	J	`jnl`	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. CoRR George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018	J	`jnl`	A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Theory Pract. Log. Program. George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai
2018	J	`jnl`	A survey of large-scale reasoning on the Web of data. Knowl. Eng. Rev. Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
2018	—	`conf`	Collective Anomaly Detection Using Big Data Distributed Stream Analytics. SKG Bakhtiar Amen, Grigoris Antoniou
2018	—	`conf`	Effective Diagnosis of Diabetes with a Decision Tree-Initialised Neuro-fuzzy Approach. UKCI Tianhua Chen, Changjing Shang, Pan Su, Grigoris Antoniou, Qiang Shen
2018	C	`conf`	Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
2018	—	`conf`	Mining Free-Text Medical Notes for Suicide Risk Assessment. SETN Marios Adamou, Grigoris Antoniou, Elissavet Greasidou, Vincenzo Lagani, Paulos Charonyktakis, Ioannis Tsamardinos
2018	—	`conf`	Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub. SSN@ISWC Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
2018	—	`ed.`	Proceedings of the PhD Symposium at 14th International Conference on ICT in Education, Research, and Industrial Applications ICTERI 2018 co-located with 14th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2018), Kyiv, Ukraine, May 16, 2018. PhD@ICTERI Grigoris Antoniou, Grygoriy Zholtkevych
2018	—	`ch.`	Semantic Web. Encyclopedia of Database Systems (2nd ed.) Grigoris Antoniou, Dimitris Plexousakis
2017	—	`conf`	A Hypercat-Enabled Semantic Internet of Things Data Hub. ESWC (2) Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017	J	`jnl`	A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. CoRR Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke
2017	—	`conf`	A Semantically Enriched Hypercat-enabled Internet of Things Data Hub. ISWC (Posters, Demos & Industry Tracks) Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke
2017	J	`jnl`	Design and evaluation of small-large outer joins in cloud computing environments. J. Parallel Distributed Comput. Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou
2017	J	`jnl`	Editorial. Int. J. Artif. Intell. Tools Grigoris Antoniou, Antonis Bikakis
2017	J	`jnl`	Representing Time and Space for the Semantic Web. Int. J. Artif. Intell. Tools Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
2017	J	`jnl`	Temporal representation and reasoning in OWL 2. Semantic Web Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou
2016	—	`conf`	Applying SPARQL-Based Inference and Ontologies for Modelling and Execution of Clinical Practice Guidelines: A Case Study on Hypertension Management. KR4HC/ProHealth@HEC Charalampos Doulaverakis, Vassilis Koutkias, Grigoris Antoniou, Ioannis Kompatsiaris
2016	—	`conf`	Hypercat RDF: Semantic Enrichment for IoT. JIST Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke
2016	—	`conf`	Large Scale Reasoning Using Allen's Interval Algebra. MICAI (2) Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou
2016	—	`conf`	Rule-Based Real-Time ADL Recognition in a Smart Home Environment. RuleML George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou
2016	—	`ed.`	Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers JIST Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu
2015	—	`conf`	Data quality assessment and anomaly detection via map/reduce and linked data: A case study in the medical domain. IEEE BigData Stephen Bonner, Andrew Stephen McGough, Ibad Kureshi, John Brennan, Georgios Theodoropoulos, Laura Moss, David Corsar, Grigoris Antoniou
2015	A*	`conf`	Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou
2015	J	`jnl`	Extended RDF: Computability and complexity issues. Ann. Math. Artif. Intell. Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou
2015	J	`jnl`	Ontology evolution: a process-centric survey. Knowl. Eng. Rev. Fouad Zablith, Grigoris Antoniou, Mathieu d'Aquin, Giorgos Flouris, Haridimos Kondylakis, Enrico Motta, Dimitris Plexousakis, Marta Sabou
2015	—	`conf`	Representing Time for the Semantic Web. MIWAI Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou
2015	—	`conf`	iCurate: A Research Data Management System. MIWAI Shuo Liang, Violeta Holmes, Grigoris Antoniou, Joshua Higgins
2014	J	`jnl`	Efficient Computation of the Well-Founded Semantics over Big Data. CoRR Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
2014	J	`jnl`	Efficient Computation of the Well-Founded Semantics over Big Data. Theory Pract. Log. Program. Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
2014	J	`jnl`	Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics. Comput. Intell. Kewen Wang, Zhe Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou
2014	J	`jnl`	Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. CoRR Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou
2014	—	`conf`	Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. MIWAI Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014	—	`conf`	Integrated Representation of Temporal Intervals and Durations for the Semantic Web. ADBIS (2) Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014	—	`conf`	Large-Scale Reasoning with (Semantic) Data. WIMS Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis
2014	B	`conf`	Massively Parallel Reasoning under the Well-Founded Semantics Using X10. ICTAI Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward
2014	J	`jnl`	Ontologies of Time: Review and Trends. Int. J. Comput. Sci. Appl. Vadim Ermolayev, Sotiris Batsakis, Natalya Keberle, Olga Tatarintseva, Grigoris Antoniou
2014	—	`conf`	Rational Elimination of DL-Lite TBox Axioms. Description Logics Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou
2014	—	`conf`	Reasoning over Spatial Orientation Relations Using Rules. ADBIS (2) Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014	—	`conf`	Representing and Reasoning over Topological Relations in OWL. WIMS Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis
2014	J	`jnl`	Why-provenance information for RDF, rules, and negation. Ann. Math. Artif. Intell. Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis
2013	J	`jnl`	A framework for modular ERDF ontologies. Ann. Math. Artif. Intell. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis
2013	—	`conf`	Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization. RuleML Ilias Tachmazidis, Grigoris Antoniou
2013	J	`jnl`	Formal foundations for RDF/S KB evolution. Knowl. Inf. Syst. Giorgos Flouris, George Konstantinidis, Grigoris Antoniou, Vassilis Christophides
2013	B	`conf`	Justifications for Logic Programming. LPNMR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2013	—	`conf`	Large-Scale Complex Reasoning with Semantics: Approaches and Challenges. WISE Workshops Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis
2013	J	`jnl`	Minimal change: Relevance and recovery revisited. Artif. Intell. Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou
2012	—	`book`	A Semantic Web Primer, 3rd Edition. Grigoris Antoniou, Paul Groth, Frank van Harmelen, Rinke Hoekstra
2012	C	`conf`	Access control for RDF graphs using abstract models. SACMAT Vassilis Papakonstantinou, Maria Michou, Irini Fundulaki, Giorgos Flouris, Grigoris Antoniou
2012	B	`conf`	Forgetting for Defeasible Logic. LPAR Grigoris Antoniou, Thomas Eiter, Kewen Wang
2012	Misc	`conf`	Formal Foundations for RDF Evolution and Repair. ICTERI Grigoris Antoniou
2012	A	`conf`	Large-scale Parallel Stratified Defeasible Reasoning. ECAI Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey
2012	—	`conf`	Provenance for SPARQL Queries. ISWC (1) Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2012	J	`jnl`	Provenance for SPARQL queries CoRR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2012	—	`conf`	S-CRETA: Smart Classroom Real-Time Assistance. ISAmI Maria Koutraki, Vasilis Efthymiou, Grigoris Antoniou
2012	—	`conf`	Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce. SSWS+HPCSW@ISWC Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
2012	J	`jnl`	Semantic Data Management (Dagstuhl Seminar 12171). Dagstuhl Reports Grigoris Antoniou, Óscar Corcho, Karl Aberer, Elena Simperl, Rudi Studer
2012	—	`ed.`	The Semantic Web: ESWC 2011 Workshops - ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers ESWC Workshops Raul Garcia-Castro, Dieter Fensel, Grigoris Antoniou
2012	A*	`conf`	Towards Parallel Nonmonotonic Reasoning with Billions of Facts. KR Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
2011	J	`jnl`	A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web. Int. J. Semantic Web Inf. Syst. Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2011	J	`jnl`	Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Trans. Syst. Man Cybern. Part A Antonis Bikakis, Grigoris Antoniou
2011	J	`jnl`	DEAL: A Distributed Authorization Language for Ambient Intelligence. Int. J. Ambient Comput. Intell. Irini Genitsaridi, Antonis Bikakis, Grigoris Antoniou
2011	—	`conf`	Evolution of Ontologies using ASP. ICLP (Technical Communications) Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou
2011	J	`jnl`	Extended RDF as a Semantic Foundation of Rule Markup Languages CoRR Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2011	—	`conf`	Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. RuleML Europe Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades
2011	J	`jnl`	MWeb: A principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
2011	—	`conf`	Modularity in the Rule Interchange Format. RuleML Europe Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2011	B	`conf`	Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. LPNMR Antonis Bikakis, Grigoris Antoniou
2011	A*	`conf`	Reasoning and Proofing Services for Semantic Web Agents. IJCAI Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades
2011	—	`conf`	Rule-Based Activity Recognition in Ambient Intelligence. RuleML Europe Grigoris Antoniou
2011	J	`jnl`	Semantic Web dynamics. J. Web Semant. Grigoris Antoniou, Mathieu d'Aquin, Jeff Z. Pan
2011	J	`jnl`	Strategies for contextual reasoning with conflicts in ambient intelligence. Knowl. Inf. Syst. Antonis Bikakis, Grigoris Antoniou, Panayiotis Hassapis
2011	—	`ed.`	The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II ESWC (2) Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan
2011	—	`ed.`	The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I ESWC (1) Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan
2011	—	`conf`	Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition. AmI Chrysi Filippaki, Grigoris Antoniou, Ioannis Tsamardinos
2011	J	`jnl`	Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system. Knowl. Based Syst. Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2010	—	`conf`	A Reasoning Framework for Ambient Intelligence. SETN Theodore Patkos, Ioannis Chrysakis, Antonis Bikakis, Dimitris Plexousakis, Grigoris Antoniou
2010	J	`jnl`	An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
2010	—	`conf`	Controlling Access to RDF Graphs. FIS Giorgos Flouris, Irini Fundulaki, Maria Michou, Grigoris Antoniou
2010	—	`conf`	Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications. OTM Workshops Antonis Bikakis, Grigoris Antoniou
2010	J	`jnl`	Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Trans. Knowl. Data Eng. Antonis Bikakis, Grigoris Antoniou
2010	—	`conf`	Embeddings of Simple Modular Extended RDF. RR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2010	A	`conf`	Implementing Simple Modular ERDF ontologies. ECAI Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2010	B	`conf`	On the Deployment of Contextual Reasoning in Ambient Intelligence Environments. Intelligent Environments Constantinos Papatheodorou, Grigoris Antoniou, Antonis Bikakis
2010	A*	`conf`	Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. KR Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis
2010	C	`conf`	Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. ADBIS Grigoris Antoniou, Antonis Bikakis, Constantinos Papatheodorou
2010	—	`conf`	Rule-Based Contextual Reasoning in Ambient Intelligence. RuleML Antonis Bikakis, Grigoris Antoniou
2010	—	`conf`	Task-Based Dependency Management for the Preservation of Digital Objects Using Rules. SETN Yannis Tzitzikas, Yannis Marketakis, Grigoris Antoniou
2010	—	`ed.`	The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part I ESWC (1) Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
2010	—	`ed.`	The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II ESWC (2) Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache
2010	J	`jnl`	The ramification problem in temporal databases: Concurrent execution. Int. J. Intell. Syst. Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou
2009	—	`conf`	A Formal Theory for Modular ERDF Ontologies. RR Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
2009	J	`jnl`	A Tool for Addressing the Ramification Problem in Temporal Databases. Int. J. Artif. Intell. Tools Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Myron Papadakis, Katerina Boutsika
2009	J	`jnl`	A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst. Appl. Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2009	—	`conf`	AlertMe: A Semantics-Based Context-Aware Notification System. COMPSAC (2) 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	Misc	`conf`	Alternative Strategies for Conflict Resolution in Multi-Context Systems. AIAI Antonis Bikakis, Grigoris Antoniou, Panayiotis Hassapis
2009	Misc	`conf`	Concept and Role Forgetting in ISWC Kewen Wang, Zhe Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou
2009	B	`conf`	Contextual Argumentation in Ambient Intelligence. LPNMR Antonis Bikakis, Grigoris Antoniou
2009	—	`conf`	Contraction on the Semantic Web: On the Role of Relevance and Recovery. IWOD@ISWC Márcio Moretto Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, Jeff Z. Pan
2009	J	`jnl`	Design and challenges of a semantics-based framework for context-aware services. Int. J. Reason. based Intell. Syst. Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis
2009	J	`jnl`	Design and implementation of a semantics-based Contextual Navigation Guide for Indoor Environments. J. Ambient Intell. Smart Environ. Manolis Kritsotakis, Maria Michou, Emmanouil Nikoloudakis, Antonis Bikakis, Theodore Patkos, Grigoris Antoniou, Dimitris Plexousakis
2009	—	`conf`	FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services. OTM Workshops Nikos Armenatzoglou, Yannis Marketakis, Lito Kriara, Elias Apostolopoulos, Vicky Papavasiliou, Dimitris Kampas, Alexandros Kapravelos, Eythimis Kartsonakis, Giorgos Linardakis, Sofia Nikitaki, Antonis Bikakis, Grigoris Antoniou
2009	—	`ed.`	Proceedings of the 3rd International Workshop on Ontology Dynamics, (IWOD 2009) , collocated with the 8th International Semantic Web Conference ( ISWC-2009 ), Washington DC, USA, October 26, 2009. IWOD@ISWC Mathieu d'Aquin, Grigoris Antoniou
2009	—	`ch.`	Semantic Web. Encyclopedia of Database Systems Grigoris Antoniou, Dimitris Plexousakis
2009	J	`jnl`	Special Issue on Ontology Dynamics. J. Log. Comput. Giorgos Flouris, Mathieu d'Aquin, Grigoris Antoniou, Jeff Z. Pan, Dimitris Plexousakis
2009	—	`conf`	Uniform Interpolation for Australasian Conference on Artificial Intelligence Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou
2009	—	`ch.`	Web Ontology Language: OWL. Handbook on Ontologies Grigoris Antoniou, Frank van Harmelen
2008	A	`conf`	A Formal Approach for RDF/S Ontology Evolution. ECAI George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides
2008	—	`conf`	A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. SETN Grigoris Antoniou, Antonis Bikakis, Polyvios Damianakis, Mixalhs Foukarakis, Giorgos Iacovidis, Marianna Karmazi, Haridimos Kondylakis, Antreas Makridakis, Giorgos Nikiforos, George Papadourakis, Manolis Papoutsakis, Aggeliki Psyharaki, Giorgos Stratakis, Panagiotis Tourlakis, Petros Tsialiamanis, Giorgos Vasiliadis, Gerd Wagner, Dimitris Velegrakis
2008	A*	`conf`	A Principled Framework for Modular Web Rule Bases and Its Semantics. KR Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
2008	—	`book`	A Semantic Web Primer, 2nd Edition. Grigoris Antoniou, Frank van Harmelen
2008	Misc	`conf`	A system for modal and deontic defeasible reasoning. SAC Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2008	—	`conf`	Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. RR Antonis Bikakis, Grigoris Antoniou
2008	—	`conf`	Answering an Inquiry from Heterogeneous Contexts. ICEBE Jingzhi Guo, Zhuo Hu, Grigoris Antoniou, Chi-Kit Chan
2008	—	`conf`	C-NGINE: A Contextual Navigation Guide for Indoor Environments. AmI Manolis Kritsotakis, Maria Michou, Emmanouil Nikoloudakis, Antonis Bikakis, Theodore Patkos, Grigoris Antoniou, Dimitris Plexousakis
2008	A	`conf`	Computability and Complexity Issues of Extended RDF. ECAI Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2008	J	`jnl`	Deploying defeasible logic rule bases for the semantic web. Data Knowl. Eng. Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2008	—	`conf`	Distributed Defeasible Contextual Reasoning in Ambient Computing. AmI Antonis Bikakis, Grigoris Antoniou
2008	A*	`conf`	Distributed Reasoning with Conflicts in a Multi-Context Framework. AAAI Antonis Bikakis, Grigoris Antoniou
2008	J	`jnl`	Extended RDF as a Semantic Foundation of Rule Markup Languages. J. Artif. Intell. Res. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2008	—	`conf`	Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. Web Intelligence/IAT Workshops Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2008	—	`conf`	Local and Distributed Defeasible Reasoning in Multi-Context Systems. RuleML Antonis Bikakis, Grigoris Antoniou
2008	B	`conf`	On the Computability and Complexity Issues of Extended RDF. PRICAI Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2008	J	`jnl`	Ontology change: classification and survey. Knowl. Eng. Rev. Giorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, Grigoris Antoniou
2008	J	`jnl`	Proof explanation for a nonmonotonic Semantic Web rules language. Data Knowl. Eng. 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
2008	—	`conf`	The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. SETN Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou
2008	C	`conf`	The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. ISMIS Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou
2008	J	`jnl`	Visual Modeling of Defeasible Logic Rules with Dr-VisMO. Int. J. Artif. Intell. Tools Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou, Anna Seridou
2008	—	`conf`	Visualization of Proofs in Defeasible Logic. RuleML Ioannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades
2007	C	`conf`	A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges. UIC Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis
2007	—	`conf`	A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence. AmI Workshops Antonis Bikakis, Theodore Patkos, Grigoris Antoniou, Dimitris Plexousakis
2007	—	`conf`	A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2007	—	`conf`	A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. RR Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2007	J	`jnl`	A context-aware meeting alert using semantic web and rule technology. Int. J. Metadata Semant. Ontologies Grigoris Antoniou, Antonis Bikakis, Anna Karamolegou, Nikos Papachristodoulou, Manolis Stratakis
2007	J	`jnl`	DR-BROKERING: A semantic brokering system. Knowl. Based Syst. Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, Nick Bassiliades
2007	J	`jnl`	DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. Data Knowl. Eng. Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, Antonis Bikakis
2007	J	`jnl`	DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Trans. Knowl. Data Eng. Grigoris Antoniou, Antonis Bikakis
2007	—	`ch.`	Default logic. The Many Valued and Nonmonotonic Turn in Logic Grigoris Antoniou, Kewen Wang
2007	—	`conf`	Distributed AI for Ambient Intelligence: Issues and Approaches. AmI Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis
2007	—	`conf`	Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting. AmI Workshops Antonis Bikakis, Grigoris Antoniou
2007	A*	`conf`	Implementing Modal Extensions of Defeasible Logic for the Semantic Web. AAAI Nikos Dimaresis, Grigoris Antoniou
2007	—	`conf`	On RDF/S Ontology Evolution. SWDB-ODBIS George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides
2007	C	`conf`	Proof Explanation for the Semantic Web Using Defeasible Logic. KSEM 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	—	`conf`	Proof Explanation in the DR-DEVICE System. RR Nick Bassiliades, Grigoris Antoniou, Guido Governatori
2007	—	`ed.`	Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures Reasoning Web Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf
2007	—	`ch.`	Rule-based Policy Specification. Secure Data Management in Decentralized Systems Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla
2007	—	`conf`	The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. ICTAI (2) Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis
2007	—	`conf`	Visual Stratification of Defeasible Logic Rule Bases. ICTAI (2) Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2006	—	`conf`	A Classification of Ontology Change. SWAP Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2006	J	`jnl`	A Defeasible Logic Reasoner for the Semantic Web. Int. J. Semantic Web Inf. Syst. Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas
2006	—	`ed.`	Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings SETN Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis
2006	J	`jnl`	Defeasible reasoning: A discussion of some intuitions. Int. J. Intell. Syst. Grigoris Antoniou
2006	J	`jnl`	Embedding defeasible logic into logic programming. Theory Pract. Log. Program. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2006	B	`conf`	Evolving Ontology Evolution. SOFSEM Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2006	—	`conf`	On Generalizing the AGM Postulates. STAIRS Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2006	—	`conf`	Supporting Open and Closed World Reasoning on the Web. PPSWR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner
2006	J	`jnl`	The ramification problem in temporal databases: Changing beliefs about the past. Data Knowl. Eng. Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis
2006	—	`conf`	Visualizing Defeasible Logic Rules for the Semantic Web. ASWC Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2005	—	`conf`	A Deductive Semantic Brokering System. KES (2) Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades
2005	—	`conf`	A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web. Panhellenic Conference on Informatics Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis P. Vlahavas
2005	—	`conf`	A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. RuleML Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou
2005	—	`conf`	DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering. EEE Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades
2005	—	`conf`	DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. EEE Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori
2005	A*	`conf`	DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. AAAI Antonis Bikakis, Grigoris Antoniou
2005	J	`jnl`	Embedding Defeasible Logic into Logic Programming CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2005	—	`conf`	Introduction to Semantic Web Ontology Languages. Reasoning Web Grigoris Antoniou, Enrico Franconi, Frank van Harmelen
2005	—	`conf`	Merging and Aligning Ontologies in dl-Programs. RuleML Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar
2005	Misc	`conf`	On Applying the AGM Theory to DLs and OWL. ISWC Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2005	J	`jnl`	Preface. J. Web Semant. Grigoris Antoniou, Harold Boley
2005	—	`ch.`	Semantic Web Fundamentals. Encyclopedia of Information Science and Technology (V) Grigoris Antoniou, Vassilis Christophides, Dimitris Plexousakis
2005	Misc	`conf`	Stable Model Theory for Extended RDF Ontologies. ISWC Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2005	J	`jnl`	Towards a general web rule language. Int. J. Web Eng. Technol. Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou
2005	—	`conf`	Updating DLs Using the AGM Theory: A Preliminary Study. Description Logics Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2004	B	`conf`	A Defeasible Logic Programming System for the Web. ICTAI Grigoris Antoniou, Antonis Bikakis, Gerd Wagner
2004	—	`conf`	A Defeasible Logic Reasoner for the Semantic Web. RuleML Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas
2004	—	`conf`	A Discussion of Some Intuitions of Defeasible Reasoning. SETN Grigoris Antoniou
2004	J	`jnl`	A Semantic Brokering System for the Tourism Domain. J. Inf. Technol. Tour. Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades
2004	—	`conf`	A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report. RuleML Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades
2004	—	`conf`	A System for Nonmonotonic Rules on the Web. RuleML Grigoris Antoniou, Antonis Bikakis, Gerd Wagner
2004	—	`book`	A semantic web primer. Grigoris Antoniou, Frank van Harmelen
2004	J	`jnl`	Argumentation Semantics for Defeasible Logic. J. Log. Comput. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2004	—	`conf`	Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou
2004	—	`conf`	DR-DEVICE: A Defeasible Logic System for the Semantic Web. PPSWR Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas
2004	J	`jnl`	Defeasible logic with dynamic priorities. Int. J. Intell. Syst. Grigoris Antoniou
2004	—	`conf`	Generalizing the AGM postulates: preliminary results and applications. NMR Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2004	—	`ed.`	Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings RuleML Grigoris Antoniou, Harold Boley
2004	—	`conf`	The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley
2004	—	`ch.`	Web Ontology Language: OWL. Handbook on Ontologies Grigoris Antoniou, Frank van Harmelen
2003	J	`jnl`	Nonmonotonic Rules for the Semantic Web. Künstliche Intell. Grigoris Antoniou
2003	—	`conf`	On a Unifying Framework for Comparing Knowledge Representation Schemes. KRDB Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou
2003	—	`conf`	Rules and Defeasible Reasoning on the Semantic Web. RuleML Grigoris Antoniou, Gerd Wagner
2002	—	`conf`	A Nonmonotonic Rule System using Ontologies. RuleML Grigoris Antoniou
2002	A	`conf`	Defeasible Logic with Dynamic Priorities. ECAI Grigoris Antoniou
2002	—	`conf`	Defeasible logic with dynamic priorities. NMR Grigoris Antoniou
2002	B	`conf`	Embedding Defeasible Logic into Logic Programs. ICLP Grigoris Antoniou, Michael J. Maher
2002	Misc	`conf`	Executable declarative business rules and their use in electronic commerce. SAC Grigoris Antoniou, M. Arief
2002	Misc	`conf`	Nonmonotonic Rule Systems on Top of Ontology Layers. ISWC Grigoris Antoniou
2002	J	`jnl`	On the dynamics of default reasoning. Int. J. Intell. Syst. Grigoris Antoniou
2001	J	`jnl`	Efficient Defeasible Reasoning Systems. Int. J. Artif. Intell. Tools Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2001	J	`jnl`	Executable declarative business rules and their use in electronic commerce. Intell. Syst. Account. Finance Manag. Grigoris Antoniou, M. Arief
2001	—	`conf`	Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence Grigoris Antoniou, David Billington
2001	J	`jnl`	Representation results for defeasible logic. ACM Trans. Comput. Log. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	A	`conf`	A Family of Defeasible Reasoning Logics and its Implementation. ECAI Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
2000	—	`conf`	A Flexible Framework for Defeasible Logics. AAAI/IAAI Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	J	`jnl`	A flexible framework for defeasible logics CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000	J	`jnl`	A note on the refinement of ontologies. Int. J. Intell. Syst. Grigoris Antoniou, Athanasios Kehagias
2000	B	`conf`	Argumentation Semantics for Defeasible Logics. PRICAI Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2000	J	`jnl`	Conservative extension concepts for nonmonotonic knowledge bases. Int. J. Intell. Syst. Grigoris Antoniou, Cara MacNish
2000	J	`jnl`	Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. Grigoris Antoniou, Michael J. Maher, David Billington
2000	B	`conf`	Efficient defeasible reasoning systems. ICTAI Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2000	—	`conf`	Modelling business rules using defeasible logic. IRMA Conference Grigoris Antoniou, M. Arief
2000	J	`jnl`	Representation results for defeasible logic CoRR Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
1999	B	`conf`	A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
1999	J	`jnl`	A tutorial on default logics. ACM Comput. Surv. Grigoris Antoniou
1999	J	`jnl`	Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar
1999	—	`conf`	Issues in Intelligent Information Integration. IMSA Grigoris Antoniou, Fumihiro Maruyama, Ryusuke Masuoka, Hironobu Kitajima
1999	J	`jnl`	Logical Methods for Computational Intelligence (Guest Editorial). Inf. Sci. Grigoris Antoniou, Neil V. Murray
1999	—	`conf`	On the Analysis of Regulations using Defeasible Rules. HICSS Grigoris Antoniou, David Billington, Michael J. Maher
1999	—	`conf`	On the Dynamics of Default Reasoning. ESCQARU Grigoris Antoniou
1999	Misc	`conf`	Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
1999	J	`jnl`	Special issue on verification and validation. Knowl. Based Syst. Robert Plant, Grigoris Antoniou
1999	J	`jnl`	Splitting Finite Default Theories: A Comparison of Two Approaches. J. Log. Lang. Inf. Grigoris Antoniou
1999	—	`conf`	What Is Default Reasoning Good For? Applications Revisited. HICSS Grigoris Antoniou, Aditya Ghose
1998	A*	`conf`	A Strategy for Revising Default Theory Extensions. KR Mary-Anne Williams, Grigoris Antoniou
1998	—	`conf`	A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence Michael J. Maher, Grigoris Antoniou, David Billington
1998	J	`jnl`	A note on the cumulativity of justified default logic. J. Exp. Theor. Artif. Intell. Grigoris Antoniou
1998	J	`jnl`	A tutorial on default reasoning. Knowl. Eng. Rev. Grigoris Antoniou
1998	—	`ed.`	Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers Australian Joint Conference on Artificial Intelligence Grigoris Antoniou, John K. Slaney
1998	—	`ed.`	Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers PRICAI Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski
1998	—	`conf`	Normal Forms for Defeasible Logic. IJCSLP Grigoris Antoniou, David Billington, Michael J. Maher
1998	J	`jnl`	Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. Artif. Intell. Rev. Grigoris Antoniou, Volker Sperschneider
1998	B	`conf`	Revising default theories. ICTAI Grigoris Antoniou, Mary-Anne Williams
1998	J	`jnl`	Stratification for default logic variants. Int. J. Intell. Syst. Grigoris Antoniou
1998	J	`jnl`	Studying properties of classes of default logics. J. Exp. Theor. Artif. Intell. Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon
1998	A	`conf`	Testing production system programs. ISSRE Grigoris Antoniou, Oliver Jack
1998	J	`jnl`	The Role of Nonmonotonic Representations in Requirements Engineering. Int. J. Softw. Eng. Knowl. Eng. Grigoris Antoniou
1998	J	`jnl`	Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. AI Mag. Grigoris Antoniou, Frank van Harmelen, Robert Plant, Jan Vanthienen
1997	—	`conf`	A Comparison of Two Approaches to Splitting Default Theories. AAAI/IAAI Grigoris Antoniou
1997	J	`jnl`	A Correct Logic Programming Computation of Default Logic Extensions. J. Autom. Reason. Grigoris Antoniou, Elmar Langetepe
1997	J	`jnl`	A new methodology for teaching default reasoning. ACM SIGCSE Bull. Grigoris Antoniou
1997	—	`conf`	Intelligent Computer Tools for Supporting Human Negotiation: System and Research. PACIS Emilia Bellucci, Grigoris Antoniou, John Zeleznikow
1997	J	`jnl`	Logical methods for computational intelligence. Knowl. Eng. Rev. Grigoris Antoniou, Neil V. Murray
1997	—	`book`	Nonmonotonic reasoning. Grigoris Antoniou, Mary-Anne Williams
1997	J	`jnl`	Reasoning with Incomplete and Changing Information: The CIN Project. Inf. Sci. Grigoris Antoniou, Mary-Anne Williams
1997	—	`conf`	Representation Results for Default Logics. Australian Joint Conference on Artificial Intelligence Grigoris Antoniou
1997	—	`conf`	Specification Morphisms for Nonmonotonic Knowledge Systems. Australian Joint Conference on Artificial Intelligence Cara MacNish, Grigoris Antoniou
1997	—	`conf`	Stratification for Variants of Default Logic. AAAI/IAAI Jörg Ernst, Grigoris Antoniou
1997	B	`conf`	Stratification: The Computational Base of a System for Default Reasoning. ICTAI Grigoris Antoniou
1997	J	`jnl`	Verification and correctness issues for nonmonotonic knowledge bases. Int. J. Intell. Syst. Grigoris Antoniou
1996	—	`conf`	A Comparative Survey of Default Logic Variants. FAPR Grigoris Antoniou
1996	B	`conf`	A System for Computing Constrained Default Logic Extensions. JELIA Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams
1996	—	`conf`	CIN: an intelligent information management toolkit. IFIP World Conference on IT Tools Grigoris Antoniou, Mary-Anne Williams
1996	—	`conf`	Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou
1996	B	`conf`	Conservative Expansion Concepts for Default Theories. PRICAI Grigoris Antoniou, Cara MacNish, Norman Y. Foo
1996	—	`conf`	Default Reasoning and Belief Revision in the CIN Project. FAPR Grigoris Antoniou, Mary-Anne Williams
1996	B	`conf`	Exten: A System for Computing Default Logic Extensions. PRICAI Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo
1996	J	`jnl`	Integrity and rule checking in nonmonotonic knowledge bases. Knowl. Based Syst. Grigoris Antoniou
1996	J	`jnl`	Operational Characterization of Extensions in Some Logics for Default Reasoning. Inf. Sci. Grigoris Antoniou
1996	—	`conf`	Some approaches to reasoning with incomplete and changing information. PRICAI Workshops Grigoris Antoniou, Mary-Anne Williams
1996	B	`conf`	Studying Properties of Classes of Default Logics - Preliminary Report. PRICAI Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon
1995	—	`conf`	Priorities in Default Logic Revisited. AI*IA Grigoris Antoniou
1995	—	`conf`	Verification and Correctness Issues for Nonmonotonic Knowledge Bases. EUROVAV Grigoris Antoniou
1994	J	`jnl`	Applying SLD-resolution to a class of non-Horn logic programs. Bull. IGPL Grigoris Antoniou, Elmar Langetepe
1994	J	`jnl`	Logic Programming and Default Logic. Int. J. Artif. Intell. Tools Grigoris Antoniou
1994	J	`jnl`	Modularity and Correctness for Logic Programs and Knowledge Bases. Int. J. Softw. Eng. Knowl. Eng. Grigoris Antoniou
1994	J	`jnl`	New Proofs in Default Logic Theory. Ann. Math. Artif. Intell. Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
1994	J	`jnl`	Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. Artif. Intell. Rev. Grigoris Antoniou, Volker Sperschneider
1994	A*	`conf`	Soundness and Completeness of a Logic Programming Approach to Default Logic. AAAI Grigoris Antoniou, Elmar Langetepe
1994	J	`jnl`	Structuring and modules for knowledge bases: motivation for a new model. Knowl. Based Syst. Grigoris Antoniou, Ipke Wachsmuth
1994	J	`jnl`	The Verification of Modules. Formal Aspects Comput. Grigoris Antoniou
1993	Misc	`conf`	A Process Model for Default Logic and Its Realization in Logic Programming. EPIA Grigoris Antoniou, Elmar Langetepe
1993	—	`conf`	Abstract properties for the choice provability relation in nonmonotonic logics. AI*IA Grigoris Antoniou
1993	B	`conf`	Computing Extensions of Default Logic - Preliminary Report. LPAR Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
1993	—	`conf`	Computing Extensions of Nonmonotonic Logics. SCAI Grigoris Antoniou, Volker Sperschneider
1993	C	`conf`	Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. SEKE Grigoris Antoniou
1993	—	`conf`	On the Verification of Modular Logical Knowledge Bases. EUROVAV Grigoris Antoniou, Volker Sperschneider
1993	Misc	`conf`	Version Space Algorithms on Hierarchies with Exceptions. EPIA Grigoris Antoniou
1992	Misc	`conf`	Logical Approaches to Structured Knowledge Bases. AIMSA Grigoris Antoniou
1992	—	`conf`	Modularity for Logic Programs. ALPUK Grigoris Antoniou, Volker Sperschneider
1992	C	`conf`	Modularity for Logical Knowledge Bases. SEKE Grigoris Antoniou
1991	—	`book`	Logic - a foundation for computer science. Volker Sperschneider, Grigoris Antoniou
1989	J	`jnl`	Bericht über den Workshop "Verifikation, Konstruktion und Synthese von Programmen". Künstliche Intell. Grigoris Antoniou
1989	B	`conf`	On the Verification of Modules. CSL Grigoris Antoniou, Volker Sperschneider
1989	—	`—`	Über die Verifikation modularer Programme. Grigoris Antoniou
1983	A*	`conf`	TERMINATOR. IJCAI Grigoris Antoniou, Hans Jürgen Ohlbach