default search action
Grigoris Antoniou
Person information
- affiliation: University of Huddersfield, UK
- affiliation (former): Foundation for Research & Technology - Hellas, Greece
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j100]Pavlos Peppas, Mary-Anne Williams, Grigoris Antoniou:
Revision operators with compact representations. Artif. Intell. 329: 104080 (2024) - [j99]Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou:
Querying large-scale knowledge graphs using Qualitative Spatial Reasoning. Expert Syst. Appl. 258: 125115 (2024) - [c179]Matthew Oyeleye, Tianhua Chen, Pan Su, Grigoris Antoniou:
Exploiting Machine Learning and LSTM for Human Activity Recognition: Using Physiological and Biological Sensor Data from Actigraph. ICIT 2024: 1-8 - 2023
- [j98]Emmanuel Papadakis, George Baryannis, Sotiris Batsakis, Marios Adamou, Zhisheng Huang, Grigoris Antoniou:
ADHD-KG: a knowledge graph of attention deficit hyperactivity disorder. Health Inf. Sci. Syst. 11(1): 52 (2023) - [c178]Sotirios Batsakis, Emmanuel Papadakis, Ilias Tachmazidis, Tianhua Chen, Grigoris Antoniou, Marios Adamou:
Neuro Intel: A System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder (ADHD) Using Artificial Intelligence. ISCC 2023: 1-6 - [c177]Grigoris Antoniou, Sotiris Batsakis:
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions. RuleML+RR (Companion) 2023 - [c176]Matthew Oyeleye, Tianhua Chen, Pan Su, Grigoris Antoniou:
Towards the Use of Machine Learning Classifiers for Human Activity Recognition Using Accelerometer and Heart Rate Data from ActiGraph. UKCI 2023: 195-208 - [e17]Grigoris Antoniou, Vadim Ermolayev, Vitaliy Kobets, Vira Liubchenko, Heinrich C. Mayr, Aleksander Spivakovsky, Vitaliy Yakovyna, Grygoriy Zholtkevych:
Information and Communication Technologies in Education, Research, and Industrial Applications - 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings. Communications in Computer and Information Science 1980, Springer 2023, ISBN 978-3-031-48324-0 [contents] - 2022
- [j97]Sotirios Batsakis, Marios Adamou, Ilias Tachmazidis, Sarah Jones, Sofya Titarenko, Grigoris Antoniou, Thanasis Kehagias:
Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning. Digit. 2(2): 224-243 (2022) - [j96]Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis:
Explainable Reasoning with Legal Big Data: A Layered Framework. FLAP 9(4): 1155-1170 (2022) - [j95]Grigoris Antoniou, Emmanuel Papadakis, George Baryannis:
Mental Health Diagnosis: A Case for Explainable Artificial Intelligence. Int. J. Artif. Intell. Tools 31(3): 2241003:1-2241003:7 (2022) - [c175]Siyue Song, Tianhua Chen, Grigoris Antoniou:
Improve the trustwortiness of medical text interpretations. BHI 2022: 1-7 - 2021
- [j94]Tianhua Chen, Grigoris Antoniou, Marios Adamou, Ilias Tachmazidis, Pan Su:
Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning. Appl. Artif. Intell. 35(9): 657-669 (2021) - [j93]Tianhua Chen, Changjing Shang, Pan Su, Elpida Keravnou-Papailiou, Yitian Zhao, Grigoris Antoniou, Qiang Shen:
A Decision Tree-Initialised Neuro-fuzzy Approach for Clinical Decision Support. Artif. Intell. Medicine 111: 101986 (2021) - [j92]Tianhua Chen, Elpida Keravnou-Papailiou, Grigoris Antoniou:
Medical analytics for healthcare intelligence - Recent advances and future directions. Artif. Intell. Medicine 112: 102009 (2021) - [j91]Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis:
Large-scale Legal Reasoning with Rules and Databases. FLAP 8(4): 911-940 (2021) - [j90]Ilias Tachmazidis, Tianhua Chen, Marios Adamou, Grigoris Antoniou:
A hybrid AI approach for supporting clinical diagnosis of attention deficit hyperactivity disorder (ADHD) in adults. Health Inf. Sci. Syst. 9(1): 1 (2021) - [c174]Sean A. Knox, Tianhua Chen, Pan Su, Grigoris Antoniou:
A Parallel Machine Learning Framework for Detecting Alzheimer's Disease. BI 2021: 423-432 - [c173]Siyue Song, Tianhua Chen, Grigoris Antoniou:
ANFIS Models for Heart Disease Prediction. ICIAI 2021: 32-35 - [c172]Sotirios Batsakis, Grigoris Antoniou:
Reasoning over Bayesian Networks using Semantic Artificial Neural Networks. IISA 2021: 1-4 - [c171]Sotiris Batsakis, Marios Adamou, Ilias Tachmazidis, Grigoris Antoniou, Thanasis Kehagias:
Data-Driven Decision Support for Autism Diagnosis using Machine Learning. MEDES 2021: 30-34 - [c170]Tianhua Chen, Changjing Shang, Pan Su, Yinghua Shen, Mufti Mahmud, Raymond Moodley, Grigoris Antoniou, Qiang Shen:
Assessing Significance of Cognitive Assessments for Diagnosing Alzheimer's Disease with Fuzzy-Rough Feature Selection. UKCI 2021: 450-462 - 2020
- [j89]Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro Javier García, Grigoris Antoniou:
Maximising goals achievement through abstract argumentation frameworks: An optimal approach. Expert Syst. Appl. 141 (2020) - [j88]Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng:
Rethinking Defeasible Reasoning: A Scalable Approach. Theory Pract. Log. Program. 20(4): 552-586 (2020) - [j87]George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis:
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Theory Pract. Log. Program. 20(5): 687-702 (2020) - [c169]Sotirios Batsakis, Ilias Tachmazidis, George Baryannis, Grigoris Antoniou:
Semantic Artificial Neural Networks. ESWC (Satellite Events) 2020: 39-44 - [e16]Raúl García-Castro, John Davies, Grigoris Antoniou, Carolina Fortuna:
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. CEUR Workshop Proceedings 2615, CEUR-WS.org 2020 [contents] - [e15]Enhong Chen, Grigoris Antoniou:
2020 IEEE International Conference on Knowledge Graph, ICKG 2020, Online, August 9-11, 2020. IEEE 2020, ISBN 978-1-7281-8156-1 [contents] - [e14]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:
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. CEUR Workshop Proceedings 2722, CEUR-WS.org 2020 [contents] - [i12]Michael J. Maher, Ilias Tachmazidis, Grigoris Antoniou, Stephen J. Wade, Long Cheng:
Rethinking Defeasible Reasoning: A Scalable Approach. CoRR abs/2001.00406 (2020) - [i11]George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis:
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. CoRR abs/2008.01519 (2020)
2010 – 2019
- 2019
- [j86]George Baryannis, Samir Dani, Grigoris Antoniou:
Predicting supply chain risks using machine learning: The trade-off between performance and interpretability. Future Gener. Comput. Syst. 101: 993-1004 (2019) - [j85]George Baryannis, Sahar Validi, Samir Dani, Grigoris Antoniou:
Supply chain risk management and artificial intelligence: state of the art and future research directions. Int. J. Prod. Res. 57(7): 2179-2202 (2019) - [j84]Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou:
Large scale distributed spatio-temporal reasoning using real-world knowledge graphs. Knowl. Based Syst. 163: 214-226 (2019) - [c168]Michalis Georgiou, Ilias Tachmazidis, Grigoris Antoniou:
Hypercat JSON-LD: A Semantically Enriched Catalogue Format for IoT. WIMS 2019: 13:1-13:12 - 2018
- [j83]Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou:
A survey of large-scale reasoning on the Web of data. Knowl. Eng. Rev. 33: e21 (2018) - [j82]George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai:
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Theory Pract. Log. Program. 18(3-4): 355-371 (2018) - [c167]Bakhtiar Amen, Grigoris Antoniou:
A Theoretical Study of Anomaly Detection in Big Data Distributed Static and Stream Analytics. HPCC/SmartCity/DSS 2018: 1177-1182 - [c166]Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou:
Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX 2018: 31-40 - [c165]Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke:
Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub. SSN@ISWC 2018: 64-71 - [c164]Marios Adamou, Grigoris Antoniou, Elissavet Greasidou, Vincenzo Lagani, Paulos Charonyktakis, Ioannis Tsamardinos:
Mining Free-Text Medical Notes for Suicide Risk Assessment. SETN 2018: 47:1-47:8 - [c163]Bakhtiar Amen, Grigoris Antoniou:
Collective Anomaly Detection Using Big Data Distributed Stream Analytics. SKG 2018: 188-195 - [c162]Tianhua Chen, Changjing Shang, Pan Su, Grigoris Antoniou, Qiang Shen:
Effective Diagnosis of Diabetes with a Decision Tree-Initialised Neuro-fuzzy Approach. UKCI 2018: 227-239 - [e13]Grigoris Antoniou, Grygoriy Zholtkevych:
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. CEUR Workshop Proceedings 2122, CEUR-WS.org 2018 [contents] - [r4]Grigoris Antoniou, Dimitris Plexousakis:
Semantic Web. Encyclopedia of Database Systems (2nd ed.) 2018 - [i10]George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai:
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. CoRR abs/1804.07088 (2018) - 2017
- [j81]Grigoris Antoniou, Antonis Bikakis:
Editorial. Int. J. Artif. Intell. Tools 26(3): 1702003:1-1702003:2 (2017) - [j80]Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou:
Representing Time and Space for the Semantic Web. Int. J. Artif. Intell. Tools 26(3): 1750015:1-1750015:30 (2017) - [j79]Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou:
Design and evaluation of small-large outer joins in cloud computing environments. J. Parallel Distributed Comput. 110: 2-15 (2017) - [j78]Sotiris Batsakis, Euripides G. M. Petrakis, Ilias Tachmazidis, Grigoris Antoniou:
Temporal representation and reasoning in OWL 2. Semantic Web 8(6): 981-1000 (2017) - [c161]Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke:
A Hypercat-Enabled Semantic Internet of Things Data Hub. ESWC (2) 2017: 125-137 - [c160]Ilias Tachmazidis, John Davies, Sotiris Batsakis, Alistair Duke, Grigoris Antoniou, Sandra Stincic Clarke:
A Semantically Enriched Hypercat-enabled Internet of Things Data Hub. ISWC (Posters, Demos & Industry Tracks) 2017 - [i9]Ilias Tachmazidis, Sotiris Batsakis, John Davies, Alistair Duke, Mauro Vallati, Grigoris Antoniou, Sandra Stincic Clarke:
A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report. CoRR abs/1703.00391 (2017) - 2016
- [c159]Ilias Tachmazidis, John Davies, Sotiris Batsakis, Grigoris Antoniou, Alistair Duke, Sandra Stincic Clarke:
Hypercat RDF: Semantic Enrichment for IoT. JIST 2016: 273-286 - [c158]Matthew Mantle, Sotirios Batsakis, Grigoris Antoniou:
Large Scale Reasoning Using Allen's Interval Algebra. MICAI (2) 2016: 29-41 - [c157]Charalampos Doulaverakis, Vassilis Koutkias, Grigoris Antoniou, Ioannis Kompatsiaris:
Applying SPARQL-Based Inference and Ontologies for Modelling and Execution of Clinical Practice Guidelines: A Case Study on Hypertension Management. KR4HC/ProHealth@HEC 2016: 90-107 - [c156]George Baryannis, Przemyslaw Woznowski, Grigoris Antoniou:
Rule-Based Real-Time ADL Recognition in a Smart Home Environment. RuleML 2016: 325-340 - [e12]Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu:
Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10055, Springer 2016, ISBN 978-3-319-50111-6 [contents] - 2015
- [j77]Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou:
Extended RDF: Computability and complexity issues. Ann. Math. Artif. Intell. 75(3-4): 267-334 (2015) - [j76]Fouad Zablith, Grigoris Antoniou, Mathieu d'Aquin, Giorgos Flouris, Haridimos Kondylakis, Enrico Motta, Dimitris Plexousakis, Marta Sabou:
Ontology evolution: a process-centric survey. Knowl. Eng. Rev. 30(1): 45-75 (2015) - [c155]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation. AAAI 2015: 1475-1481 - [c154]Stephen Bonner, Andrew Stephen McGough, Ibad Kureshi, John Brennan, Georgios Theodoropoulos, Laura Moss, David Corsar, Grigoris Antoniou:
Data quality assessment and anomaly detection via map/reduce and linked data: A case study in the medical domain. IEEE BigData 2015: 737-746 - [c153]Sotiris Batsakis, Ilias Tachmazidis, Grigoris Antoniou:
Representing Time for the Semantic Web. MIWAI 2015: 3-15 - [c152]Shuo Liang, Violeta Holmes, Grigoris Antoniou, Joshua Higgins:
iCurate: A Research Data Management System. MIWAI 2015: 39-47 - 2014
- [j75]Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis:
Why-provenance information for RDF, rules, and negation. Ann. Math. Artif. Intell. 70(3): 221-277 (2014) - [j74]Kewen Wang, Zhe Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou:
Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics. Comput. Intell. 30(2): 205-232 (2014) - [j73]Vadim Ermolayev, Sotiris Batsakis, Natalya Keberle, Olga Tatarintseva, Grigoris Antoniou:
Ontologies of Time: Review and Trends. Int. J. Comput. Sci. Appl. 11(3): 57-115 (2014) - [j72]Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber:
Efficient Computation of the Well-Founded Semantics over Big Data. Theory Pract. Log. Program. 14(4-5): 445-459 (2014) - [c151]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Reasoning over Spatial Orientation Relations Using Rules. ADBIS (2) 2014: 123-134 - [c150]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Integrated Representation of Temporal Intervals and Durations for the Semantic Web. ADBIS (2) 2014: 147-158 - [c149]Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou:
Rational Elimination of DL-Lite TBox Axioms. Description Logics 2014: 746-756 - [c148]Ilias Tachmazidis, Long Cheng, Spyros Kotoulas, Grigoris Antoniou, Tomas E. Ward:
Massively Parallel Reasoning under the Well-Founded Semantics Using X10. ICTAI 2014: 162-169 - [c147]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Integrated Representation of Spatial Topological and Size Relations for the Semantic Web. MIWAI 2014: 208-219 - [c146]Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis:
Large-Scale Reasoning with (Semantic) Data. WIMS 2014: 1:1-1:3 - [c145]Sotiris Batsakis, Grigoris Antoniou, Ilias Tachmazidis:
Representing and Reasoning over Topological Relations in OWL. WIMS 2014: 29:1-29:10 - [i8]Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber:
Efficient Computation of the Well-Founded Semantics over Big Data. CoRR abs/1405.2590 (2014) - [i7]Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotiris Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report. CoRR abs/1411.2800 (2014) - 2013
- [j71]Márcio Moretto Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou:
Minimal change: Relevance and recovery revisited. Artif. Intell. 201: 59-80 (2013) - [j70]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis:
A framework for modular ERDF ontologies. Ann. Math. Artif. Intell. 67(3-4): 189-249 (2013) - [j69]Giorgos Flouris, George Konstantinidis, Grigoris Antoniou, Vassilis Christophides:
Formal foundations for RDF/S KB evolution. Knowl. Inf. Syst. 35(1): 153-191 (2013) - [c144]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Justifications for Logic Programming. LPNMR 2013: 530-542 - [c143]Ilias Tachmazidis, Grigoris Antoniou:
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization. RuleML 2013: 188-202 - [c142]Grigoris Antoniou, Jeff Z. Pan, Ilias Tachmazidis:
Large-Scale Complex Reasoning with Semantics: Approaches and Challenges. WISE Workshops 2013: 1-10 - 2012
- [b6]Grigoris Antoniou, Paul Groth, Frank van Harmelen, Rinke Hoekstra:
A Semantic Web Primer, 3rd Edition. MIT Press 2012, ISBN 978-0-262-01828-9, pp. I-XVI, 1-270 - [c141]Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey:
Large-scale Parallel Stratified Defeasible Reasoning. ECAI 2012: 738-743 - [c140]Grigoris Antoniou:
Formal Foundations for RDF Evolution and Repair. ICTERI 2012: 12 - [c139]Maria Koutraki, Vasilis Efthymiou, Grigoris Antoniou:
S-CRETA: Smart Classroom Real-Time Assistance. ISAmI 2012: 67-74 - [c138]Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas:
Towards Parallel Nonmonotonic Reasoning with Billions of Facts. KR 2012 - [c137]Grigoris Antoniou, Thomas Eiter, Kewen Wang:
Forgetting for Defeasible Logic. LPAR 2012: 77-91 - [c136]Vassilis Papakonstantinou, Maria Michou, Irini Fundulaki, Giorgos Flouris, Grigoris Antoniou:
Access control for RDF graphs using abstract models. SACMAT 2012: 103-112 - [c135]Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas:
Scalable Nonmonotonic Reasoning over RDF Data Using MapReduce. SSWS+HPCSW@ISWC 2012: 75-90 - [c134]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Provenance for SPARQL Queries. ISWC (1) 2012: 625-640 - [e11]Raul Garcia-Castro, Dieter Fensel, Grigoris Antoniou:
The Semantic Web: ESWC 2011 Workshops - ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7117, Springer 2012, ISBN 978-3-642-25952-4 [contents] - [i6]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Provenance for SPARQL queries. CoRR abs/1209.0378 (2012) - [i5]Grigoris Antoniou, Óscar Corcho, Karl Aberer, Elena Simperl, Rudi Studer:
Semantic Data Management (Dagstuhl Seminar 12171). Dagstuhl Reports 2(4): 39-65 (2012) - 2011
- [j68]Irini Genitsaridi, Antonis Bikakis, Grigoris Antoniou:
DEAL: A Distributed Authorization Language for Ambient Intelligence. Int. J. Ambient Comput. Intell. 3(4): 9-24 (2011) - [j67]Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou:
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web. Int. J. Semantic Web Inf. Syst. 7(1): 18-43 (2011) - [j66]Antonis Bikakis, Grigoris Antoniou, Panayiotis Hassapis:
Strategies for contextual reasoning with conflicts in ambient intelligence. Knowl. Inf. Syst. 27(1): 45-84 (2011) - [j65]Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou:
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system. Knowl. Based Syst. 24(3): 406-419 (2011) - [j64]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
MWeb: A principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. 12(2): 17:1-17:46 (2011) - [j63]Antonis Bikakis, Grigoris Antoniou:
Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Trans. Syst. Man Cybern. Part A 41(4): 705-716 (2011) - [j62]Grigoris Antoniou, Mathieu d'Aquin, Jeff Z. Pan:
Semantic Web dynamics. J. Web Semant. 9(3): 245-246 (2011) - [c133]Chrysi Filippaki, Grigoris Antoniou, Ioannis Tsamardinos:
Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition. AmI 2011: 51-60 - [c132]Max Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou:
Evolution of Ontologies using ASP. ICLP (Technical Communications) 2011: 16-27 - [c131]Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades:
Reasoning and Proofing Services for Semantic Web Agents. IJCAI 2011: 2662-2667 - [c130]Antonis Bikakis, Grigoris Antoniou:
Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. LPNMR 2011: 193-198 - [c129]Grigoris Antoniou:
Rule-Based Activity Recognition in Ambient Intelligence. RuleML Europe 2011: 1 - [c128]Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades:
Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers. RuleML Europe 2011: 29-43 - [c127]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Modularity in the Rule Interchange Format. RuleML Europe 2011: 313-328 - [e10]Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan:
The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6643, Springer 2011, ISBN 978-3-642-21033-4 [contents] - [e9]Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan:
The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6644, Springer 2011, ISBN 978-3-642-21063-1 [contents] - [i4]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Extended RDF as a Semantic Foundation of Rule Markup Languages. CoRR abs/1111.0055 (2011) - 2010
- [j61]Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou:
The ramification problem in temporal databases: Concurrent execution. Int. J. Intell. Syst. 25(4): 287-325 (2010) - [j60]Antonis Bikakis, Grigoris Antoniou:
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Trans. Knowl. Data Eng. 22(11): 1492-1506 (2010) - [j59]David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher:
An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1): 6:1-6:27 (2010) - [c126]Grigoris Antoniou, Antonis Bikakis, Constantinos Papatheodorou:
Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. ADBIS 2010: 1-12 - [c125]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Implementing Simple Modular ERDF ontologies. ECAI 2010: 1083-1084 - [c124]Giorgos Flouris, Irini Fundulaki, Maria Michou, Grigoris Antoniou:
Controlling Access to RDF Graphs. FIS 2010: 107-117 - [c123]Constantinos Papatheodorou, Grigoris Antoniou, Antonis Bikakis:
On the Deployment of Contextual Reasoning in Ambient Intelligence Environments. Intelligent Environments 2010: 13-18 - [c122]Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis:
Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. KR 2010 - [c121]Antonis Bikakis, Grigoris Antoniou:
Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications. OTM Workshops 2010: 89 - [c120]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Embeddings of Simple Modular Extended RDF. RR 2010: 204-212 - [c119]Antonis Bikakis, Grigoris Antoniou:
Rule-Based Contextual Reasoning in Ambient Intelligence. RuleML 2010: 74-88 - [c118]Theodore Patkos, Ioannis Chrysakis, Antonis Bikakis, Dimitris Plexousakis, Grigoris Antoniou:
A Reasoning Framework for Ambient Intelligence. SETN 2010: 213-222 - [c117]Yannis Tzitzikas, Yannis Marketakis, Grigoris Antoniou:
Task-Based Dependency Management for the Preservation of Digital Objects Using Rules. SETN 2010: 265-274 - [e8]Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache:
The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6088, Springer 2010, ISBN 978-3-642-13485-2 [contents] - [e7]Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache:
The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6089, Springer 2010, ISBN 978-3-642-13488-3 [contents]
2000 – 2009
- 2009
- [j58]Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst. Appl. 36(2): 4125-4134 (2009) - [j57]Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Myron Papadakis, Katerina Boutsika:
A Tool for Addressing the Ramification Problem in Temporal Databases. Int. J. Artif. Intell. Tools 18(4): 589-601 (2009) - [j56]Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis:
Design and challenges of a semantics-based framework for context-aware services. Int. J. Reason. based Intell. Syst. 1(1/2): 18-30 (2009) - [j55]Manolis Kritsotakis, Maria Michou, Emmanouil Nikoloudakis, Antonis Bikakis, Theodore Patkos, Grigoris Antoniou, Dimitris Plexousakis:
Design and implementation of a semantics-based Contextual Navigation Guide for Indoor Environments. J. Ambient Intell. Smart Environ. 1(3): 261-285 (2009) - [j54]Giorgos Flouris, Mathieu d'Aquin, Grigoris Antoniou, Jeff Z. Pan, Dimitris Plexousakis:
Special Issue on Ontology Dynamics. J. Log. Comput. 19(5): 717-719 (2009) - [c116]Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou:
Uniform Interpolation for ALC\mathcal{ALC} Revisited. Australasian Conference on Artificial Intelligence 2009: 528-537 - [c115]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:
AlertMe: A Semantics-Based Context-Aware Notification System. COMPSAC (2) 2009: 200-205 - [c114]Antonis Bikakis, Grigoris Antoniou, Panayiotis Hassapis:
Alternative Strategies for Conflict Resolution in Multi-Context Systems. AIAI 2009: 31-40 - [c113]Antonis Bikakis, Grigoris Antoniou:
Contextual Argumentation in Ambient Intelligence. LPNMR 2009: 30-43 - [c112]Nikos Armenatzoglou, Yannis Marketakis, Lito Kriara, Elias Apostolopoulos, Vicky Papavasiliou, Dimitris Kampas, Alexandros Kapravelos, Eythimis Kartsonakis, Giorgos Linardakis, Sofia Nikitaki, Antonis Bikakis, Grigoris Antoniou:
FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services. OTM Workshops 2009: 108-117 - [c111]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226 - [c110]Márcio Moretto Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, Jeff Z. Pan:
Contraction on the Semantic Web: On the Role of Relevance and Recovery. IWOD@ISWC 2009 - [c109]Kewen Wang, Zhe Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou:
Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies. ISWC 2009: 666-681 - [p3]Grigoris Antoniou, Frank van Harmelen:
Web Ontology Language: OWL. Handbook on Ontologies 2009: 91-110 - [e6]Mathieu d'Aquin, Grigoris Antoniou:
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. CEUR Workshop Proceedings 519, CEUR-WS.org 2009 [contents] - [r3]Grigoris Antoniou, Dimitris Plexousakis:
Semantic Web. Encyclopedia of Database Systems 2009: 2579-2583 - 2008
- [b5]Grigoris Antoniou, Frank van Harmelen:
A Semantic Web Primer, 2nd Edition. Cooperative information systems, MIT Press 2008, ISBN 978-0-262-01242-3, pp. I-XXI, 1-264 - [j53]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:
Proof explanation for a nonmonotonic Semantic Web rules language. Data Knowl. Eng. 64(3): 662-687 (2008) - [j52]Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou:
Deploying defeasible logic rule bases for the semantic web. Data Knowl. Eng. 66(1): 116-146 (2008) - [j51]Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou, Anna Seridou:
Visual Modeling of Defeasible Logic Rules with Dr-VisMO. Int. J. Artif. Intell. Tools 17(5): 903-924 (2008) - [j50]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Extended RDF as a Semantic Foundation of Rule Markup Languages. J. Artif. Intell. Res. 32: 37-94 (2008) - [j49]Giorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, Grigoris Antoniou:
Ontology change: classification and survey. Knowl. Eng. Rev. 23(2): 117-152 (2008) - [c108]Antonis Bikakis, Grigoris Antoniou:
Distributed Reasoning with Conflicts in a Multi-Context Framework. AAAI 2008: 1778-1779 - [c107]Manolis Kritsotakis, Maria Michou, Emmanouil Nikoloudakis, Antonis Bikakis, Theodore Patkos, Grigoris Antoniou, Dimitris Plexousakis:
C-NGINE: A Contextual Navigation Guide for Indoor Environments. AmI 2008: 258-275 - [c106]Antonis Bikakis, Grigoris Antoniou:
Distributed Defeasible Contextual Reasoning in Ambient Computing. AmI 2008: 308-325 - [c105]George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides:
A Formal Approach for RDF/S Ontology Evolution. ECAI 2008: 70-74 - [c104]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Computability and Complexity Issues of Extended RDF. ECAI 2008: 733-734 - [c103]Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou:
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. Web Intelligence/IAT Workshops 2008: 626-629 - [c102]Jingzhi Guo, Zhuo Hu, Grigoris Antoniou, Chi-Kit Chan:
Answering an Inquiry from Heterogeneous Contexts. ICEBE 2008: 113-120 - [c101]Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou:
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. ISMIS 2008: 381-388 - [c100]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
A Principled Framework for Modular Web Rule Bases and Its Semantics. KR 2008: 390-400 - [c99]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
On the Computability and Complexity Issues of Extended RDF. PRICAI 2008: 5-16 - [c98]Antonis Bikakis, Grigoris Antoniou:
Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. RR 2008: 234-235 - [c97]Antonis Bikakis, Grigoris Antoniou:
Local and Distributed Defeasible Reasoning in Multi-Context Systems. RuleML 2008: 135-149 - [c96]Ioannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades:
Visualization of Proofs in Defeasible Logic. RuleML 2008: 197-210 - [c95]Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
A system for modal and deontic defeasible reasoning. SAC 2008: 2261-2265 - [c94]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:
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. SETN 2008: 26-37 - [c93]Antonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou:
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. SETN 2008: 345-351 - 2007
- [j48]Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, Antonis Bikakis:
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. Data Knowl. Eng. 63(2): 362-380 (2007) - [j47]Grigoris Antoniou, Antonis Bikakis, Anna Karamolegou, Nikos Papachristodoulou, Manolis Stratakis:
A context-aware meeting alert using semantic web and rule technology. Int. J. Metadata Semant. Ontologies 2(3): 147-156 (2007) - [j46]Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, Nick Bassiliades:
DR-BROKERING: A semantic brokering system. Knowl. Based Syst. 20(1): 61-72 (2007) - [j45]Grigoris Antoniou, Antonis Bikakis:
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Trans. Knowl. Data Eng. 19(2): 233-245 (2007) - [c92]Nikos Dimaresis, Grigoris Antoniou:
Implementing Modal Extensions of Defeasible Logic for the Semantic Web. AAAI 2007: 1848-1849 - [c91]Antonis Bikakis, Theodore Patkos, Grigoris Antoniou, Dimitris Plexousakis:
A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence. AmI Workshops 2007: 14-23 - [c90]Antonis Bikakis, Grigoris Antoniou:
Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting. AmI Workshops 2007: 24-33 - [c89]Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence 2007: 609-613 - [c88]Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis:
Distributed AI for Ambient Intelligence: Issues and Approaches. AmI 2007: 159-176 - [c87]Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou:
Visual Stratification of Defeasible Logic Rule Bases. ICTAI (2) 2007: 238-245 - [c86]Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis:
The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. ICTAI (2) 2007: 274-278 - [c85]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:
Proof Explanation for the Semantic Web Using Defeasible Logic. KSEM 2007: 186-197 - [c84]George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides:
On RDF/S Ontology Evolution. SWDB-ODBIS 2007: 21-42 - [c83]Nick Bassiliades, Grigoris Antoniou, Guido Governatori:
Proof Explanation in the DR-DEVICE System. RR 2007: 249-258 - [c82]Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou:
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. RR 2007: 367-369 - [c81]Theodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis:
A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges. UIC 2007: 839-848 - [p2]Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla:
Rule-based Policy Specification. Secure Data Management in Decentralized Systems 2007: 169-216 - [e5]Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf:
Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures. Lecture Notes in Computer Science 4636, Springer 2007, ISBN 978-3-540-74613-3 [contents] - [r2]Grigoris Antoniou, Kewen Wang:
Default logic. The Many Valued and Nonmonotonic Turn in Logic 2007: 517-555 - 2006
- [j44]Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis:
The ramification problem in temporal databases: Changing beliefs about the past. Data Knowl. Eng. 59(2): 397-434 (2006) - [j43]Grigoris Antoniou:
Defeasible reasoning: A discussion of some intuitions. Int. J. Intell. Syst. 21(6): 545-558 (2006) - [j42]Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas:
A Defeasible Logic Reasoner for the Semantic Web. Int. J. Semantic Web Inf. Syst. 2(1): 1-41 (2006) - [j41]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6(6): 703-735 (2006) - [c80]Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou:
Visualizing Defeasible Logic Rules for the Semantic Web. ASWC 2006: 278-292 - [c79]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner:
Supporting Open and Closed World Reasoning on the Web. PPSWR 2006: 149-163 - [c78]Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
Evolving Ontology Evolution. SOFSEM 2006: 14-29 - [c77]Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
On Generalizing the AGM Postulates. STAIRS 2006: 132-143 - [c76]Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
A Classification of Ontology Change. SWAP 2006 - [e4]Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis:
Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings. Lecture Notes in Computer Science 3955, Springer 2006, ISBN 3-540-34117-X [contents] - 2005
- [j40]Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou:
Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3): 181-206 (2005) - [j39]Grigoris Antoniou, Harold Boley:
Preface. J. Web Semant. 3(1): 3-4 (2005) - [c75]Antonis Bikakis, Grigoris Antoniou:
DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. AAAI 2005: 1594-1595 - [c74]Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
Updating DLs Using the AGM Theory: A Preliminary Study. Description Logics 2005 - [c73]Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori:
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. EEE 2005: 44-49 - [c72]Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades:
DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering. EEE 2005: 414-417 - [c71]Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades:
A Deductive Semantic Brokering System. KES (2) 2005: 746-752 - [c70]Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis P. Vlahavas:
A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web. Panhellenic Conference on Informatics 2005: 404-414 - [c69]Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar:
Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171 - [c68]Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou:
A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. RuleML 2005: 172-186 - [c67]Grigoris Antoniou, Enrico Franconi, Frank van Harmelen:
Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21 - [c66]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Stable Model Theory for Extended RDF Ontologies. ISWC 2005: 21-36 - [c65]Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
On Applying the AGM Theory to DLs and OWL. ISWC 2005: 216-231 - [r1]Grigoris Antoniou, Vassilis Christophides, Dimitris Plexousakis:
Semantic Web Fundamentals. Encyclopedia of Information Science and Technology (V) 2005: 2464-2468 - [i3]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Embedding Defeasible Logic into Logic Programming. CoRR abs/cs/0511055 (2005) - 2004
- [b4]Grigoris Antoniou, Frank van Harmelen:
A semantic web primer. MIT Press 2004, ISBN 978-0-262-01210-2, pp. I-XX, 1-238 - [j38]Grigoris Antoniou:
Defeasible logic with dynamic priorities. Int. J. Intell. Syst. 19(5): 463-472 (2004) - [j37]Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades:
A Semantic Brokering System for the Tourism Domain. J. Inf. Technol. Tour. 7(3-4): 183-200 (2004) - [j36]Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004) - [c64]Grigoris Antoniou, Antonis Bikakis, Gerd Wagner:
A Defeasible Logic Programming System for the Web. ICTAI 2004: 756-757 - [c63]Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
Generalizing the AGM postulates: preliminary results and applications. NMR 2004: 171-179 - [c62]Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas:
DR-DEVICE: A Defeasible Logic System for the Semantic Web. PPSWR 2004: 134-148 - [c61]Grigoris Antoniou, Antonis Bikakis, Gerd Wagner:
A System for Nonmonotonic Rules on the Web. RuleML 2004: 23-36 - [c60]Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas:
A Defeasible Logic Reasoner for the Semantic Web. RuleML 2004: 49-64 - [c59]Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou:
Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181 - [c58]Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades:
A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report. RuleML 2004: 205-214 - [c57]Grigoris Antoniou:
A Discussion of Some Intuitions of Defeasible Reasoning. SETN 2004: 311-320 - [c56]Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley:
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence 2004: 628-631 - [p1]Grigoris Antoniou, Frank van Harmelen:
Web Ontology Language: OWL. Handbook on Ontologies 2004: 67-92 - [e3]Grigoris Antoniou, Harold Boley:
Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. Lecture Notes in Computer Science 3323, Springer 2004, ISBN 3-540-23842-5 [contents] - 2003
- [j35]Grigoris Antoniou:
Nonmonotonic Rules for the Semantic Web. Künstliche Intell. 17(3): 16- (2003) - [c55]Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou:
On a Unifying Framework for Comparing Knowledge Representation Schemes. KRDB 2003 - [c54]Grigoris Antoniou, Gerd Wagner:
Rules and Defeasible Reasoning on the Semantic Web. RuleML 2003: 111-120 - 2002
- [j34]Grigoris Antoniou:
On the dynamics of default reasoning. Int. J. Intell. Syst. 17(12): 1143-1155 (2002) - [c53]Grigoris Antoniou:
Defeasible Logic with Dynamic Priorities. ECAI 2002: 521-525 - [c52]Grigoris Antoniou, Michael J. Maher:
Embedding Defeasible Logic into Logic Programs. ICLP 2002: 393-404 - [c51]Grigoris Antoniou:
Defeasible logic with dynamic priorities. NMR 2002: 84-90 - [c50]Grigoris Antoniou:
A Nonmonotonic Rule System using Ontologies. RuleML 2002 - [c49]Grigoris Antoniou, M. Arief:
Executable declarative business rules and their use in electronic commerce. SAC 2002: 6-10 - [c48]Grigoris Antoniou:
Nonmonotonic Rule Systems on Top of Ontology Layers. ISWC 2002: 394-398 - 2001
- [j33]Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller:
Efficient Defeasible Reasoning Systems. Int. J. Artif. Intell. Tools 10(4): 483-501 (2001) - [j32]Grigoris Antoniou, M. Arief:
Executable declarative business rules and their use in electronic commerce. Intell. Syst. Account. Finance Manag. 10(4): 211-223 (2001) - [j31]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001) - [c47]Grigoris Antoniou, David Billington:
Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence 2001: 13-24 - 2000
- [j30]Grigoris Antoniou, Athanasios Kehagias:
A note on the refinement of ontologies. Int. J. Intell. Syst. 15(7): 623-632 (2000) - [j29]Grigoris Antoniou, Cara MacNish:
Conservative extension concepts for nonmonotonic knowledge bases. Int. J. Intell. Syst. 15(9): 859-877 (2000) - [j28]Grigoris Antoniou, Michael J. Maher, David Billington:
Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42(1): 47-57 (2000) - [c46]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410 - [c45]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock:
A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463 - [c44]Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller:
Efficient defeasible reasoning systems. ICTAI 2000: 384-392 - [c43]Grigoris Antoniou, M. Arief:
Modelling business rules using defeasible logic. IRMA Conference 2000: 1020-1022 - [c42]Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37 - [i2]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A flexible framework for defeasible logics. CoRR cs.AI/0003013 (2000) - [i1]Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic. CoRR cs.LO/0003082 (2000)
1990 – 1999
- 1999
- [j27]Grigoris Antoniou:
A tutorial on default logics. ACM Comput. Surv. 31(4): 337-359 (1999) - [j26]Grigoris Antoniou, Neil V. Murray:
Logical Methods for Computational Intelligence (Guest Editorial). Inf. Sci. 116(1): 1-2 (1999) - [j25]Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar:
Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999) - [j24]Grigoris Antoniou:
Splitting Finite Default Theories: A Comparison of Two Approaches. J. Log. Lang. Inf. 8(2): 205-216 (1999) - [j23]Robert Plant, Grigoris Antoniou:
Special issue on verification and validation. Knowl. Based Syst. 12(1-2): 1-2 (1999) - [c41]Grigoris Antoniou:
On the Dynamics of Default Reasoning. ESCQARU 1999: 1-10 - [c40]Grigoris Antoniou, David Billington, Michael J. Maher:
On the Analysis of Regulations using Defeasible Rules. HICSS 1999 - [c39]Grigoris Antoniou, Aditya Ghose:
What Is Default Reasoning Good For? Applications Revisited. HICSS 1999 - [c38]Grigoris Antoniou, Fumihiro Maruyama, Ryusuke Masuoka, Hironobu Kitajima:
Issues in Intelligent Information Integration. IMSA 1999: 345-349 - [c37]David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher:
Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112 - [c36]Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori:
A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356 - 1998
- [j22]Grigoris Antoniou, Frank van Harmelen, Robert Plant, Jan Vanthienen:
Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. AI Mag. 19(3): 123-126 (1998) - [j21]Grigoris Antoniou, Volker Sperschneider:
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. Artif. Intell. Rev. 12(6): 431-443 (1998) - [j20]Grigoris Antoniou:
Stratification for default logic variants. Int. J. Intell. Syst. 13(9): 785-799 (1998) - [j19]Grigoris Antoniou:
The Role of Nonmonotonic Representations in Requirements Engineering. Int. J. Softw. Eng. Knowl. Eng. 8(3): 385-399 (1998) - [j18]Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon:
Studying properties of classes of default logics. J. Exp. Theor. Artif. Intell. 10(4): 495-505 (1998) - [j17]Grigoris Antoniou:
A note on the cumulativity of justified default logic. J. Exp. Theor. Artif. Intell. 10(4): 507-509 (1998) - [j16]Grigoris Antoniou:
A tutorial on default reasoning. Knowl. Eng. Rev. 13(3): 225-246 (1998) - [c35]Michael J. Maher, Grigoris Antoniou, David Billington:
A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998: 215-226 - [c34]Grigoris Antoniou, David Billington, Michael J. Maher:
Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174 - [c33]Grigoris Antoniou, Mary-Anne Williams:
Revising default theories. ICTAI 1998: 423-430 - [c32]Grigoris Antoniou, Oliver Jack:
Testing production system programs. ISSRE 1998: 214-221 - [c31]Mary-Anne Williams, Grigoris Antoniou:
A Strategy for Revising Default Theory Extensions. KR 1998: 24-35 - [e2]Grigoris Antoniou, John K. Slaney:
Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers. Lecture Notes in Computer Science 1502, Springer 1998, ISBN 3-540-65138-1 [contents] - [e1]Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski:
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. Lecture Notes in Computer Science 1359, Springer 1998, ISBN 3-540-64413-X [contents] - 1997
- [b3]Grigoris Antoniou, Mary-Anne Williams:
Nonmonotonic reasoning. MIT Press 1997, ISBN 978-0-262-01157-0, pp. I-XII, 1-285 - [j15]Grigoris Antoniou:
Verification and correctness issues for nonmonotonic knowledge bases. Int. J. Intell. Syst. 12(10): 725-738 (1997) - [j14]Grigoris Antoniou, Mary-Anne Williams:
Reasoning with Incomplete and Changing Information: The CIN Project. Inf. Sci. 99(1-2): 83-99 (1997) - [j13]Grigoris Antoniou, Elmar Langetepe:
A Correct Logic Programming Computation of Default Logic Extensions. J. Autom. Reason. 18(1): 25-46 (1997) - [j12]Grigoris Antoniou, Neil V. Murray:
Logical methods for computational intelligence. Knowl. Eng. Rev. 12(4): 407-409 (1997) - [j11]Grigoris Antoniou:
A new methodology for teaching default reasoning. ACM SIGCSE Bull. 29(2): 35-38 (1997) - [c30]Grigoris Antoniou:
A Comparison of Two Approaches to Splitting Default Theories. AAAI/IAAI 1997: 424-429 - [c29]Jörg Ernst, Grigoris Antoniou:
Stratification for Variants of Default Logic. AAAI/IAAI 1997: 830 - [c28]Cara MacNish, Grigoris Antoniou:
Specification Morphisms for Nonmonotonic Knowledge Systems. Australian Joint Conference on Artificial Intelligence 1997: 246-254 - [c27]Grigoris Antoniou:
Representation Results for Default Logics. Australian Joint Conference on Artificial Intelligence 1997: 255-264 - [c26]Grigoris Antoniou:
Stratification: The Computational Base of a System for Default Reasoning. ICTAI 1997: 165- - [c25]Emilia Bellucci, Grigoris Antoniou, John Zeleznikow:
Intelligent Computer Tools for Supporting Human Negotiation: System and Research. PACIS 1997: 18 - 1996
- [j10]Grigoris Antoniou:
Operational Characterization of Extensions in Some Logics for Default Reasoning. Inf. Sci. 89(3): 261-273 (1996) - [j9]Grigoris Antoniou:
Integrity and rule checking in nonmonotonic knowledge bases. Knowl. Based Syst. 9(5): 301-306 (1996) - [c24]Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou:
Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 1996: 1381 - [c23]Grigoris Antoniou:
A Comparative Survey of Default Logic Variants. FAPR 1996: 15-28 - [c22]Grigoris Antoniou, Mary-Anne Williams:
Default Reasoning and Belief Revision in the CIN Project. FAPR 1996: 691-693 - [c21]Grigoris Antoniou, Mary-Anne Williams:
CIN: an intelligent information management toolkit. IFIP World Conference on IT Tools 1996: 395-401 - [c20]Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams:
A System for Computing Constrained Default Logic Extensions. JELIA 1996: 237-250 - [c19]Grigoris Antoniou, Mary-Anne Williams:
Some approaches to reasoning with incomplete and changing information. PRICAI Workshops 1996: 9-44 - [c18]Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo:
Exten: A System for Computing Default Logic Extensions. PRICAI 1996: 471-482 - [c17]Grigoris Antoniou, Cara MacNish, Norman Y. Foo:
Conservative Expansion Concepts for Default Theories. PRICAI 1996: 522-533 - [c16]Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon:
Studying Properties of Classes of Default Logics - Preliminary Report. PRICAI 1996: 558-569 - 1995
- [c15]Grigoris Antoniou:
Priorities in Default Logic Revisited. AI*IA 1995: 152-162 - [c14]Grigoris Antoniou:
Verification and Correctness Issues for Nonmonotonic Knowledge Bases. EUROVAV 1995: 141-153 - 1994
- [j8]Grigoris Antoniou, Volker Sperschneider:
Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. Artif. Intell. Rev. 8(1): 3-16 (1994) - [j7]Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider:
New Proofs in Default Logic Theory. Ann. Math. Artif. Intell. 12(3-4): 215-229 (1994) - [j6]Grigoris Antoniou:
The Verification of Modules. Formal Aspects Comput. 6(2): 223-244 (1994) - [j5]Grigoris Antoniou, Elmar Langetepe:
Applying SLD-resolution to a class of non-Horn logic programs. Bull. IGPL 2(2): 229-241 (1994) - [j4]Grigoris Antoniou:
Logic Programming and Default Logic. Int. J. Artif. Intell. Tools 3(3): 367-374 (1994) - [j3]Grigoris Antoniou:
Modularity and Correctness for Logic Programs and Knowledge Bases. Int. J. Softw. Eng. Knowl. Eng. 4(2): 257-275 (1994) - [j2]Grigoris Antoniou, Ipke Wachsmuth:
Structuring and modules for knowledge bases: motivation for a new model. Knowl. Based Syst. 7(1): 49-51 (1994) - [c13]Grigoris Antoniou, Elmar Langetepe:
Soundness and Completeness of a Logic Programming Approach to Default Logic. AAAI 1994: 934-939 - 1993
- [c12]Grigoris Antoniou:
Abstract properties for the choice provability relation in nonmonotonic logics. AI*IA 1993: 35-40 - [c11]Grigoris Antoniou:
Version Space Algorithms on Hierarchies with Exceptions. EPIA 1993: 136-149 - [c10]Grigoris Antoniou, Elmar Langetepe:
A Process Model for Default Logic and Its Realization in Logic Programming. EPIA 1993: 213-225 - [c9]Grigoris Antoniou, Volker Sperschneider:
On the Verification of Modular Logical Knowledge Bases. EUROVAV 1993: 117-128 - [c8]Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider:
Computing Extensions of Default Logic - Preliminary Report. LPAR 1993: 19-27 - [c7]Grigoris Antoniou, Volker Sperschneider:
Computing Extensions of Nonmonotonic Logics. SCAI 1993: 20-29 - [c6]Grigoris Antoniou:
Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. SEKE 1993: 183-190 - 1992
- [c5]Grigoris Antoniou:
Logical Approaches to Structured Knowledge Bases. AIMSA 1992: 47-56 - [c4]Grigoris Antoniou, Volker Sperschneider:
Modularity for Logic Programs. ALPUK 1992: 97-107 - [c3]Grigoris Antoniou:
Modularity for Logical Knowledge Bases. SEKE 1992: 87-93 - 1991
- [b2]Volker Sperschneider, Grigoris Antoniou:
Logic - a foundation for computer science. International Computer Science Series, Addison-Wesley 1991, ISBN 978-0-201-56514-0, pp. I-XII, 1-495
1980 – 1989
- 1989
- [b1]Grigoris Antoniou:
Über die Verifikation modularer Programme. University of Osnabrück, Germany, 1989 - [j1]Grigoris Antoniou:
Bericht über den Workshop "Verifikation, Konstruktion und Synthese von Programmen". Künstliche Intell. 3(3): 23-24 (1989) - [c2]Grigoris Antoniou, Volker Sperschneider:
On the Verification of Modules. CSL 1989: 16-35 - 1983
- [c1]Grigoris Antoniou, Hans Jürgen Ohlbach:
TERMINATOR. IJCAI 1983: 916-919
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint