Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Grigoris Antoniou
@article{DBLP:journals/hisas/PapadakisBBAHA23, author = {Emmanuel Papadakis and George Baryannis and Sotiris Batsakis and Marios Adamou and Zhisheng Huang and Grigoris Antoniou}, title = {{ADHD-KG:} a knowledge graph of attention deficit hyperactivity disorder}, journal = {Health Inf. Sci. Syst.}, volume = {11}, number = {1}, pages = {52}, year = {2023}, url = {https://doi.org/10.1007/s13755-023-00253-8}, doi = {10.1007/S13755-023-00253-8}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/hisas/PapadakisBBAHA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscc/BatsakisPTCAA23, author = {Sotirios Batsakis and Emmanuel Papadakis and Ilias Tachmazidis and Tianhua Chen and Grigoris Antoniou and Marios Adamou}, title = {Neuro Intel: {A} System for Clinical Diagnosis of Attention Deficit Hyperactivity Disorder {(ADHD)} Using Artificial Intelligence}, booktitle = {{IEEE} Symposium on Computers and Communications, {ISCC} 2023, Gammarth, Tunisia, July 9-12, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ISCC58397.2023.10218313}, doi = {10.1109/ISCC58397.2023.10218313}, timestamp = {Thu, 14 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscc/BatsakisPTCAA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/AntoniouB23, author = {Grigoris Antoniou and Sotiris Batsakis}, editor = {Jan Vanthienen and Tom{\'{a}}s Kliegr and Paul Fodor and Davide Lanti and D{\"{o}}rthe Arndt and Egor V. Kostylev and Theodoros Mitsikas and Ahmet Soylu}, title = {Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions}, booktitle = {Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School {(RW} 2023) and 15th DecisionCAMP 2023 as part of Declarative {AI} 2023, Oslo, Norway, 18 - 20 September, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3485}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3485/paper7687.pdf}, timestamp = {Wed, 20 Sep 2023 16:32:49 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/AntoniouB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ukci/OyeleyeCSA23, author = {Matthew Oyeleye and Tianhua Chen and Pan Su and Grigoris Antoniou}, editor = {Nitin Naik and Paul Jenkins and Paul Grace and Longzhi Yang and Shaligram Prajapat}, title = {Towards the Use of Machine Learning Classifiers for Human Activity Recognition Using Accelerometer and Heart Rate Data from ActiGraph}, booktitle = {Advances in Computational Intelligence Systems - Contributions Presented at the 22nd {UK} Workshop on Computational Intelligence {(UKCI} 2023), September 6-8, 2023, Birmingham, {UK}}, series = {Advances in Intelligent Systems and Computing}, volume = {1453}, pages = {195--208}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-47508-5\_16}, doi = {10.1007/978-3-031-47508-5\_16}, timestamp = {Tue, 13 Feb 2024 17:01:25 +0100}, biburl = {https://dblp.org/rec/conf/ukci/OyeleyeCSA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icteri/2023, editor = {Grigoris Antoniou and Vadim Ermolayev and Vitaliy Kobets and Vira Liubchenko and Heinrich C. Mayr and Aleksander Spivakovsky and Vitaliy Yakovyna and Grygoriy Zholtkevych}, title = {Information and Communication Technologies in Education, Research, and Industrial Applications - 18th International Conference, {ICTERI} 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1980}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-48325-7}, doi = {10.1007/978-3-031-48325-7}, isbn = {978-3-031-48324-0}, timestamp = {Thu, 18 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icteri/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/digital/BatsakisATJTAK22, author = {Sotirios Batsakis and Marios Adamou and Ilias Tachmazidis and Sarah Jones and Sofya Titarenko and Grigoris Antoniou and Thanasis Kehagias}, title = {Data-Driven Decision Support for Adult Autism Diagnosis Using Machine Learning}, journal = {Digit.}, volume = {2}, number = {2}, pages = {224--243}, year = {2022}, url = {https://doi.org/10.3390/digital2020014}, doi = {10.3390/DIGITAL2020014}, timestamp = {Mon, 09 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/digital/BatsakisATJTAK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AntoniouABBCGRS22, author = {Grigoris Antoniou and Katie Atkinson and George Baryannis and Sotiris Batsakis and Luigo Di Caro and Guido Governatori and Livio Robaldo and Giovanni Siragusa and Ilias Tachmazidis}, title = {Explainable Reasoning with Legal Big Data: {A} Layered Framework}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {1155--1170}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AntoniouABBCGRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/AntoniouPB22, author = {Grigoris Antoniou and Emmanuel Papadakis and George Baryannis}, title = {Mental Health Diagnosis: {A} Case for Explainable Artificial Intelligence}, journal = {Int. J. Artif. Intell. Tools}, volume = {31}, number = {3}, pages = {2241003:1--2241003:7}, year = {2022}, url = {https://doi.org/10.1142/S0218213022410032}, doi = {10.1142/S0218213022410032}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/AntoniouPB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bhi/SongCA22, author = {Siyue Song and Tianhua Chen and Grigoris Antoniou}, title = {Improve the trustwortiness of medical text interpretations}, booktitle = {{IEEE-EMBS} International Conference on Biomedical and Health Informatics, {BHI} 2022, Ioannina, Greece, September 27-30, 2022}, pages = {1--7}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/BHI56158.2022.9926894}, doi = {10.1109/BHI56158.2022.9926894}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bhi/SongCA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aai/ChenAATS21, author = {Tianhua Chen and Grigoris Antoniou and Marios Adamou and Ilias Tachmazidis and Pan Su}, title = {Automatic Diagnosis of Attention Deficit Hyperactivity Disorder Using Machine Learning}, journal = {Appl. Artif. Intell.}, volume = {35}, number = {9}, pages = {657--669}, year = {2021}, url = {https://doi.org/10.1080/08839514.2021.1933761}, doi = {10.1080/08839514.2021.1933761}, timestamp = {Thu, 25 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aai/ChenAATS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/artmed/ChenSSKZAS21, author = {Tianhua Chen and Changjing Shang and Pan Su and Elpida Keravnou{-}Papailiou and Yitian Zhao and Grigoris Antoniou and Qiang Shen}, title = {A Decision Tree-Initialised Neuro-fuzzy Approach for Clinical Decision Support}, journal = {Artif. Intell. Medicine}, volume = {111}, pages = {101986}, year = {2021}, url = {https://doi.org/10.1016/j.artmed.2020.101986}, doi = {10.1016/J.ARTMED.2020.101986}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/artmed/ChenSSKZAS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/artmed/ChenKA21, author = {Tianhua Chen and Elpida Keravnou{-}Papailiou and Grigoris Antoniou}, title = {Medical analytics for healthcare intelligence - Recent advances and future directions}, journal = {Artif. Intell. Medicine}, volume = {112}, pages = {102009}, year = {2021}, url = {https://doi.org/10.1016/j.artmed.2021.102009}, doi = {10.1016/J.ARTMED.2021.102009}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/artmed/ChenKA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AntoniouBBGILRS21, author = {Grigoris Antoniou and George Baryannis and Sotiris Batsakis and Guido Governatori and Mohammad Badiul Islam and Qing Liu and Livio Robaldo and Giovanni Siragusa and Ilias Tachmazidis}, title = {Large-scale Legal Reasoning with Rules and Databases}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {911--940}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AntoniouBBGILRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/hisas/TachmazidisCAA21, author = {Ilias Tachmazidis and Tianhua Chen and Marios Adamou and Grigoris Antoniou}, title = {A hybrid {AI} approach for supporting clinical diagnosis of attention deficit hyperactivity disorder {(ADHD)} in adults}, journal = {Health Inf. Sci. Syst.}, volume = {9}, number = {1}, pages = {1}, year = {2021}, url = {https://doi.org/10.1007/s13755-020-00123-7}, doi = {10.1007/S13755-020-00123-7}, timestamp = {Mon, 26 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/hisas/TachmazidisCAA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/brain/KnoxCSA21, author = {Sean A. Knox and Tianhua Chen and Pan Su and Grigoris Antoniou}, editor = {Mufti Mahmud and M. Shamim Kaiser and Stefano Vassanelli and Qionghai Dai and Ning Zhong}, title = {A Parallel Machine Learning Framework for Detecting Alzheimer's Disease}, booktitle = {Brain Informatics - 14th International Conference, {BI} 2021, Virtual Event, September 17-19, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12960}, pages = {423--432}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-86993-9\_38}, doi = {10.1007/978-3-030-86993-9\_38}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/brain/KnoxCSA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iciai/SongCA21, author = {Siyue Song and Tianhua Chen and Grigoris Antoniou}, title = {{ANFIS} Models for Heart Disease Prediction}, booktitle = {{ICIAI} 2021: 2021 the 5th International Conference on Innovation in Artificial Intelligence, Xiamen, China, March 5-8, 2021}, pages = {32--35}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3461353.3461354}, doi = {10.1145/3461353.3461354}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iciai/SongCA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iisa/BatsakisA21, author = {Sotirios Batsakis and Grigoris Antoniou}, editor = {Nikolaos G. Bourbakis and George A. Tsihrintzis and Maria Virvou}, title = {Reasoning over Bayesian Networks using Semantic Artificial Neural Networks}, booktitle = {12th International Conference on Information, Intelligence, Systems {\&} Applications, {IISA} 2021, Chania Crete, Greece, July 12-14, 2021}, pages = {1--4}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/IISA52424.2021.9555501}, doi = {10.1109/IISA52424.2021.9555501}, timestamp = {Wed, 13 Oct 2021 15:47:28 +0200}, biburl = {https://dblp.org/rec/conf/iisa/BatsakisA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/medes/BatsakisATAK21, author = {Sotiris Batsakis and Marios Adamou and Ilias Tachmazidis and Grigoris Antoniou and Thanasis Kehagias}, editor = {Richard Chbeir and Yannis Manolopoulos and Ladjel Bellatreche and Djamal Benslimane and Mirjana Ivanovic and Zakaria Maamar}, title = {Data-Driven Decision Support for Autism Diagnosis using Machine Learning}, booktitle = {{MEDES} '21: Proceedings of the 13th International Conference on Management of Digital EcoSystems, Virtual Event, Tunisia, November 1 - 3, 2021}, pages = {30--34}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3444757.3485101}, doi = {10.1145/3444757.3485101}, timestamp = {Thu, 11 Nov 2021 08:15:12 +0100}, biburl = {https://dblp.org/rec/conf/medes/BatsakisATAK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ukci/ChenSSSMMAS21, author = {Tianhua Chen and Changjing Shang and Pan Su and Yinghua Shen and Mufti Mahmud and Raymond Moodley and Grigoris Antoniou and Qiang Shen}, editor = {Thomas Jansen and Richard Jensen and Neil Mac Parthal{\'{a}}in and Chih{-}Min Lin}, title = {Assessing Significance of Cognitive Assessments for Diagnosing Alzheimer's Disease with Fuzzy-Rough Feature Selection}, booktitle = {Advances in Computational Intelligence Systems - Contributions Presented at the 20th {UK} Workshop on Computational Intelligence, September 8-10, 2021, Aberystwyth, Wales, {UK}}, series = {Advances in Intelligent Systems and Computing}, volume = {1409}, pages = {450--462}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-87094-2\_40}, doi = {10.1007/978-3-030-87094-2\_40}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ukci/ChenSSSMMAS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/CohenGVGA20, author = {Andrea Cohen and Sebastian Gottifredi and Mauro Vallati and Alejandro Javier Garc{\'{\i}}a and Grigoris Antoniou}, title = {Maximising goals achievement through abstract argumentation frameworks: An optimal approach}, journal = {Expert Syst. Appl.}, volume = {141}, year = {2020}, url = {https://doi.org/10.1016/j.eswa.2019.112930}, doi = {10.1016/J.ESWA.2019.112930}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/CohenGVGA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/MaherTAWC20, author = {Michael J. Maher and Ilias Tachmazidis and Grigoris Antoniou and Stephen J. Wade and Long Cheng}, title = {Rethinking Defeasible Reasoning: {A} Scalable Approach}, journal = {Theory Pract. Log. Program.}, volume = {20}, number = {4}, pages = {552--586}, year = {2020}, url = {https://doi.org/10.1017/S1471068420000010}, doi = {10.1017/S1471068420000010}, timestamp = {Wed, 06 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/MaherTAWC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/BaryannisTBAA020, author = {George Baryannis and Ilias Tachmazidis and Sotiris Batsakis and Grigoris Antoniou and Mario Alviano and Emmanuel Papadakis}, title = {A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming}, journal = {Theory Pract. Log. Program.}, volume = {20}, number = {5}, pages = {687--702}, year = {2020}, url = {https://doi.org/10.1017/S1471068420000198}, doi = {10.1017/S1471068420000198}, timestamp = {Tue, 01 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/BaryannisTBAA020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/BatsakisTBA20, author = {Sotirios Batsakis and Ilias Tachmazidis and George Baryannis and Grigoris Antoniou}, editor = {Andreas Harth and Valentina Presutti and Rapha{\"{e}}l Troncy and Maribel Acosta and Axel Polleres and Javier D. Fern{\'{a}}ndez and Josiane Xavier Parreira and Olaf Hartig and Katja Hose and Michael Cochez}, title = {Semantic Artificial Neural Networks}, booktitle = {The Semantic Web: {ESWC} 2020 Satellite Events - {ESWC} 2020 Satellite Events, Heraklion, Crete, Greece, May 31 - June 4, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12124}, pages = {39--44}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-62327-2\_7}, doi = {10.1007/978-3-030-62327-2\_7}, timestamp = {Thu, 22 Jul 2021 18:53:43 +0200}, biburl = {https://dblp.org/rec/conf/esws/BatsakisTBA20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2020sedit, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro and John Davies and Grigoris Antoniou and Carolina Fortuna}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {2615}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2615}, urn = {urn:nbn:de:0074-2615-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esws/2020sedit.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icbk/2020, editor = {Enhong Chen and Grigoris Antoniou}, title = {2020 {IEEE} International Conference on Knowledge Graph, {ICKG} 2020, Online, August 9-11, 2020}, publisher = {{IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/xpl/conhome/9186569/proceeding}, isbn = {978-1-7281-8156-1}, timestamp = {Tue, 13 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icbk/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/semweb/2020asld, editor = {Manolis Koubarakis and Harith Alani and Grigoris Antoniou and Kalina Bontcheva and John G. Breslin and Diego Collarana and Elena Demidova and Stefan Dietze and Simon Gottschalk and Guido Governatori and Aidan Hogan and Freddy L{\'{e}}cu{\'{e}} and Elena Montiel{-}Ponsoda and Axel{-}Cyrille Ngonga Ngomo and Sofia Pinto and Muhammad Saleem and Rapha{\"{e}}l Troncy and Eleni Tsalapati and Ricardo Usbeck and Ruben Verborgh}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {2722}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2722}, urn = {urn:nbn:de:0074-2722-0}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/2020asld.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-00406, author = {Michael J. Maher and Ilias Tachmazidis and Grigoris Antoniou and Stephen J. Wade and Long Cheng}, title = {Rethinking Defeasible Reasoning: {A} Scalable Approach}, journal = {CoRR}, volume = {abs/2001.00406}, year = {2020}, url = {http://arxiv.org/abs/2001.00406}, eprinttype = {arXiv}, eprint = {2001.00406}, timestamp = {Wed, 06 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-00406.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2008-01519, author = {George Baryannis and Ilias Tachmazidis and Sotiris Batsakis and Grigoris Antoniou and Mario Alviano and Emmanuel Papadakis}, title = {A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming}, journal = {CoRR}, volume = {abs/2008.01519}, year = {2020}, url = {https://arxiv.org/abs/2008.01519}, eprinttype = {arXiv}, eprint = {2008.01519}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-01519.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fgcs/BaryannisDA19, author = {George Baryannis and Samir Dani and Grigoris Antoniou}, title = {Predicting supply chain risks using machine learning: The trade-off between performance and interpretability}, journal = {Future Gener. Comput. Syst.}, volume = {101}, pages = {993--1004}, year = {2019}, url = {https://doi.org/10.1016/j.future.2019.07.059}, doi = {10.1016/J.FUTURE.2019.07.059}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fgcs/BaryannisDA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpr/BaryannisVDA19, author = {George Baryannis and Sahar Validi and Samir Dani and Grigoris Antoniou}, title = {Supply chain risk management and artificial intelligence: state of the art and future research directions}, journal = {Int. J. Prod. Res.}, volume = {57}, number = {7}, pages = {2179--2202}, year = {2019}, url = {https://doi.org/10.1080/00207543.2018.1530476}, doi = {10.1080/00207543.2018.1530476}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpr/BaryannisVDA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/MantleBA19, author = {Matthew Mantle and Sotirios Batsakis and Grigoris Antoniou}, title = {Large scale distributed spatio-temporal reasoning using real-world knowledge graphs}, journal = {Knowl. Based Syst.}, volume = {163}, pages = {214--226}, year = {2019}, url = {https://doi.org/10.1016/j.knosys.2018.08.035}, doi = {10.1016/J.KNOSYS.2018.08.035}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kbs/MantleBA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wims/GeorgiouTA19, author = {Michalis Georgiou and Ilias Tachmazidis and Grigoris Antoniou}, editor = {Rajendra Akerkar and Jason J. Jung}, title = {Hypercat {JSON-LD:} {A} Semantically Enriched Catalogue Format for IoT}, booktitle = {Proceedings of the 9th International Conference on Web Intelligence, Mining and Semantics, {WIMS} 2019, Seoul, Republic of Korea, June 26-28, 2019}, pages = {13:1--13:12}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3326467.3326477}, doi = {10.1145/3326467.3326477}, timestamp = {Tue, 28 May 2019 14:26:44 +0200}, biburl = {https://dblp.org/rec/conf/wims/GeorgiouTA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/AntoniouBMPQTUZ18, author = {Grigoris Antoniou and Sotiris Batsakis and Raghava Mutharaju and Jeff Z. Pan and Guilin Qi and Ilias Tachmazidis and Jacopo Urbani and Zhangquan Zhou}, title = {A survey of large-scale reasoning on the Web of data}, journal = {Knowl. Eng. Rev.}, volume = {33}, pages = {e21}, year = {2018}, url = {https://doi.org/10.1017/S0269888918000255}, doi = {10.1017/S0269888918000255}, timestamp = {Thu, 27 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/AntoniouBMPQTUZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/BaryannisTBA18, author = {George Baryannis and Ilias Tachmazidis and Sotiris Batsakis and Grigoris Antoniou and Mario Alviano and Timos Sellis and Pei{-}Wei Tsai}, title = {A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming}, journal = {Theory Pract. Log. Program.}, volume = {18}, number = {3-4}, pages = {355--371}, year = {2018}, url = {https://doi.org/10.1017/S147106841800011X}, doi = {10.1017/S147106841800011X}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/BaryannisTBA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpcc/AmenG18, author = {Bakhtiar Amen and Grigoris Antoniou}, title = {A Theoretical Study of Anomaly Detection in Big Data Distributed Static and Stream Analytics}, booktitle = {20th {IEEE} International Conference on High Performance Computing and Communications; 16th {IEEE} International Conference on Smart City; 4th {IEEE} International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018, Exeter, United Kingdom, June 28-30, 2018}, pages = {1177--1182}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/HPCC/SmartCity/DSS.2018.00198}, doi = {10.1109/HPCC/SMARTCITY/DSS.2018.00198}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hpcc/AmenG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/BatsakisBGTA18, author = {Sotiris Batsakis and George Baryannis and Guido Governatori and Ilias Tachmazidis and Grigoris Antoniou}, editor = {Monica Palmirani}, title = {Legal Representation and Reasoning in Practice: {A} Critical Comparison}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2018: The Thirty-first Annual Conference, Groningen, The Netherlands, 12-14 December 2018}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {313}, pages = {31--40}, publisher = {{IOS} Press}, year = {2018}, url = {https://doi.org/10.3233/978-1-61499-935-5-31}, doi = {10.3233/978-1-61499-935-5-31}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/BatsakisBGTA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/TachmazidisBDDA18, author = {Ilias Tachmazidis and Sotiris Batsakis and John Davies and Alistair Duke and Grigoris Antoniou and Sandra Stincic Clarke}, editor = {Maxime Lefran{\c{c}}ois and Ra{\'{u}}l Garc{\'{\i}}a{-}Castro and Amelie Gyrard and Kerry Taylor}, title = {Optimizing a Semantically Enriched Hypercat-enabled Internet of Things Data Hub}, booktitle = {Proceedings of the 9th International Semantic Sensor Networks Workshop co-located with 17th International Semantic Web Conference, SSN@ISWC 2018, Monterey, CA, United States, October 9, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2213}, pages = {64--71}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2213/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:09 +0100}, biburl = {https://dblp.org/rec/conf/semweb/TachmazidisBDDA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setn/AdamouAGLCT18, author = {Marios Adamou and Grigoris Antoniou and Elissavet Greasidou and Vincenzo Lagani and Paulos Charonyktakis and Ioannis Tsamardinos}, title = {Mining Free-Text Medical Notes for Suicide Risk Assessment}, booktitle = {Proceedings of the 10th Hellenic Conference on Artificial Intelligence, {SETN} 2018, Patras, Greece, July 09-12, 2018}, pages = {47:1--47:8}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3200947.3201020}, doi = {10.1145/3200947.3201020}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/setn/AdamouAGLCT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/skg/AmenA18, author = {Bakhtiar Amen and Grigoris Antoniou}, title = {Collective Anomaly Detection Using Big Data Distributed Stream Analytics}, booktitle = {14th International Conference on Semantics, Knowledge and Grids, {SKG} 2018, Guangzhou, China, September 12-14, 2018}, pages = {188--195}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/SKG.2018.00035}, doi = {10.1109/SKG.2018.00035}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/skg/AmenA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ukci/ChenSSAS18, author = {Tianhua Chen and Changjing Shang and Pan Su and Grigoris Antoniou and Qiang Shen}, editor = {Ahmad Lotfi and Hamid Bouchachia and Alexander E. Gegov and Caroline S. Langensiepen and T. Martin McGinnity}, title = {Effective Diagnosis of Diabetes with a Decision Tree-Initialised Neuro-fuzzy Approach}, booktitle = {Advances in Computational Intelligence Systems - Contributions Presented at the 18th {UK} Workshop on Computational Intelligence, September 5-7, 2018, Nottingham, {UK}}, series = {Advances in Intelligent Systems and Computing}, volume = {840}, pages = {227--239}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-97982-3\_19}, doi = {10.1007/978-3-319-97982-3\_19}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ukci/ChenSSAS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icteri/2018p, editor = {Grigoris Antoniou and Grygoriy Zholtkevych}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {2122}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2122}, urn = {urn:nbn:de:0074-2122-0}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icteri/2018p.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/AntoniouP18, author = {Grigoris Antoniou and Dimitris Plexousakis}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Semantic Web}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_1320}, doi = {10.1007/978-1-4614-8265-9\_1320}, timestamp = {Thu, 14 Feb 2019 09:43:36 +0100}, biburl = {https://dblp.org/rec/reference/db/AntoniouP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-07088, author = {George Baryannis and Ilias Tachmazidis and Sotiris Batsakis and Grigoris Antoniou and Mario Alviano and Timos Sellis and Pei{-}Wei Tsai}, title = {A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming}, journal = {CoRR}, volume = {abs/1804.07088}, year = {2018}, url = {http://arxiv.org/abs/1804.07088}, eprinttype = {arXiv}, eprint = {1804.07088}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-07088.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/AntoniouB17, author = {Grigoris Antoniou and Antonis Bikakis}, title = {Editorial}, journal = {Int. J. Artif. Intell. Tools}, volume = {26}, number = {3}, pages = {1702003:1--1702003:2}, year = {2017}, url = {https://doi.org/10.1142/S0218213017020031}, doi = {10.1142/S0218213017020031}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/AntoniouB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/BatsakisTA17, author = {Sotiris Batsakis and Ilias Tachmazidis and Grigoris Antoniou}, title = {Representing Time and Space for the Semantic Web}, journal = {Int. J. Artif. Intell. Tools}, volume = {26}, number = {3}, pages = {1750015:1--1750015:30}, year = {2017}, url = {https://doi.org/10.1142/S0218213017600156}, doi = {10.1142/S0218213017600156}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/BatsakisTA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jpdc/ChengTKA17, author = {Long Cheng and Ilias Tachmazidis and Spyros Kotoulas and Grigoris Antoniou}, title = {Design and evaluation of small-large outer joins in cloud computing environments}, journal = {J. Parallel Distributed Comput.}, volume = {110}, pages = {2--15}, year = {2017}, url = {https://doi.org/10.1016/j.jpdc.2017.02.007}, doi = {10.1016/J.JPDC.2017.02.007}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jpdc/ChengTKA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/semweb/BatsakisPTA17, author = {Sotiris Batsakis and Euripides G. M. Petrakis and Ilias Tachmazidis and Grigoris Antoniou}, title = {Temporal representation and reasoning in {OWL} 2}, journal = {Semantic Web}, volume = {8}, number = {6}, pages = {981--1000}, year = {2017}, url = {https://doi.org/10.3233/SW-160248}, doi = {10.3233/SW-160248}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/semweb/BatsakisPTA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/TachmazidisBDDV17, author = {Ilias Tachmazidis and Sotiris Batsakis and John Davies and Alistair Duke and Mauro Vallati and Grigoris Antoniou and Sandra Stincic Clarke}, editor = {Eva Blomqvist and Diana Maynard and Aldo Gangemi and Rinke Hoekstra and Pascal Hitzler and Olaf Hartig}, title = {A Hypercat-Enabled Semantic Internet of Things Data Hub}, booktitle = {The Semantic Web - 14th International Conference, {ESWC} 2017, Portoro{\v{z}}, Slovenia, May 28 - June 1, 2017, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10250}, pages = {125--137}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-58451-5\_9}, doi = {10.1007/978-3-319-58451-5\_9}, timestamp = {Sun, 25 Oct 2020 23:08:05 +0100}, biburl = {https://dblp.org/rec/conf/esws/TachmazidisBDDV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/TachmazidisDBDA17, author = {Ilias Tachmazidis and John Davies and Sotiris Batsakis and Alistair Duke and Grigoris Antoniou and Sandra Stincic Clarke}, editor = {Nadeschda Nikitina and Dezhao Song and Achille Fokoue and Peter Haase}, title = {A Semantically Enriched Hypercat-enabled Internet of Things Data Hub}, booktitle = {Proceedings of the {ISWC} 2017 Posters {\&} Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference {(ISWC} 2017), Vienna, Austria, October 23rd - to - 25th, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1963}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1963/paper465.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:06 +0100}, biburl = {https://dblp.org/rec/conf/semweb/TachmazidisDBDA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TachmazidisBDDV17, author = {Ilias Tachmazidis and Sotiris Batsakis and John Davies and Alistair Duke and Mauro Vallati and Grigoris Antoniou and Sandra Stincic Clarke}, title = {A Hypercat-enabled Semantic Internet of Things Data Hub: Technical Report}, journal = {CoRR}, volume = {abs/1703.00391}, year = {2017}, url = {http://arxiv.org/abs/1703.00391}, eprinttype = {arXiv}, eprint = {1703.00391}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TachmazidisBDDV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jist/TachmazidisDBAD16, author = {Ilias Tachmazidis and John Davies and Sotiris Batsakis and Grigoris Antoniou and Alistair Duke and Sandra Stincic Clarke}, editor = {Yuan{-}Fang Li and Wei Hu and Jin Song Dong and Grigoris Antoniou and Zhe Wang and Jun Sun and Yang Liu}, title = {Hypercat {RDF:} Semantic Enrichment for IoT}, booktitle = {Semantic Technology - 6th Joint International Conference, {JIST} 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10055}, pages = {273--286}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-50112-3\_21}, doi = {10.1007/978-3-319-50112-3\_21}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/jist/TachmazidisDBAD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/micai/MantleBA16, author = {Matthew Mantle and Sotirios Batsakis and Grigoris Antoniou}, editor = {Obdulia Pichardo{-}Lagunas and Sabino Miranda{-}Jim{\'{e}}nez}, title = {Large Scale Reasoning Using Allen's Interval Algebra}, booktitle = {Advances in Soft Computing - 15th Mexican International Conference on Artificial Intelligence, {MICAI} 2016, Canc{\'{u}}n, Mexico, October 23-28, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10062}, pages = {29--41}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-62428-0\_3}, doi = {10.1007/978-3-319-62428-0\_3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/micai/MantleBA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mie/DoulaverakisKAK16, author = {Charalampos Doulaverakis and Vassilis Koutkias and Grigoris Antoniou and Ioannis Kompatsiaris}, editor = {David Ria{\~{n}}o and Richard Lenz and Manfred Reichert}, title = {Applying SPARQL-Based Inference and Ontologies for Modelling and Execution of Clinical Practice Guidelines: {A} Case Study on Hypertension Management}, booktitle = {Knowledge Representation for Health Care - {HEC} 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10096}, pages = {90--107}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-55014-5\_6}, doi = {10.1007/978-3-319-55014-5\_6}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mie/DoulaverakisKAK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BaryannisWA16, author = {George Baryannis and Przemyslaw Woznowski and Grigoris Antoniou}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Leopoldo E. Bertossi and Guido Governatori and Paul Fodor and Dumitru Roman}, title = {Rule-Based Real-Time {ADL} Recognition in a Smart Home Environment}, booktitle = {Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9718}, pages = {325--340}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42019-6\_21}, doi = {10.1007/978-3-319-42019-6\_21}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/BaryannisWA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jist/2016, editor = {Yuan{-}Fang Li and Wei Hu and Jin Song Dong and Grigoris Antoniou and Zhe Wang and Jun Sun and Yang Liu}, title = {Semantic Technology - 6th Joint International Conference, {JIST} 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10055}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-50112-3}, doi = {10.1007/978-3-319-50112-3}, isbn = {978-3-319-50111-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jist/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/AnalytiDA15, author = {Anastasia Analyti and Carlos Viegas Dam{\'{a}}sio and Grigoris Antoniou}, title = {Extended {RDF:} Computability and complexity issues}, journal = {Ann. Math. Artif. Intell.}, volume = {75}, number = {3-4}, pages = {267--334}, year = {2015}, url = {https://doi.org/10.1007/s10472-015-9451-0}, doi = {10.1007/S10472-015-9451-0}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/AnalytiDA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/ZablithAdFKMPS15, author = {Fouad Zablith and Grigoris Antoniou and Mathieu d'Aquin and Giorgos Flouris and Haridimos Kondylakis and Enrico Motta and Dimitris Plexousakis and Marta Sabou}, title = {Ontology evolution: a process-centric survey}, journal = {Knowl. Eng. Rev.}, volume = {30}, number = {1}, pages = {45--75}, year = {2015}, url = {https://doi.org/10.1017/S0269888913000349}, doi = {10.1017/S0269888913000349}, timestamp = {Thu, 27 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/ZablithAdFKMPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CeruttiTVBGA15, author = {Federico Cerutti and Ilias Tachmazidis and Mauro Vallati and Sotirios Batsakis and Massimiliano Giacomin and Grigoris Antoniou}, editor = {Blai Bonet and Sven Koenig}, title = {Exploiting Parallelism for Hard Problems in Abstract Argumentation}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {1475--1481}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9395}, doi = {10.1609/AAAI.V29I1.9395}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CeruttiTVBGA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bigdataconf/BonnerMKBTMCA15, author = {Stephen Bonner and Andrew Stephen McGough and Ibad Kureshi and John Brennan and Georgios Theodoropoulos and Laura Moss and David Corsar and Grigoris Antoniou}, title = {Data quality assessment and anomaly detection via map/reduce and linked data: {A} case study in the medical domain}, booktitle = {2015 {IEEE} International Conference on Big Data {(IEEE} BigData 2015), Santa Clara, CA, USA, October 29 - November 1, 2015}, pages = {737--746}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/BigData.2015.7363818}, doi = {10.1109/BIGDATA.2015.7363818}, timestamp = {Fri, 19 Nov 2021 16:08:20 +0100}, biburl = {https://dblp.org/rec/conf/bigdataconf/BonnerMKBTMCA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/miwai/BatsakisTA15, author = {Sotiris Batsakis and Ilias Tachmazidis and Grigoris Antoniou}, editor = {Antonis Bikakis and Xianghan Zheng}, title = {Representing Time for the Semantic Web}, booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 9th International Workshop, {MIWAI} 2015, Fuzhou, China, November 13-15, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9426}, pages = {3--15}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26181-2\_1}, doi = {10.1007/978-3-319-26181-2\_1}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/miwai/BatsakisTA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/miwai/LiangHAH15, author = {Shuo Liang and Violeta Holmes and Grigoris Antoniou and Joshua Higgins}, editor = {Antonis Bikakis and Xianghan Zheng}, title = {iCurate: {A} Research Data Management System}, booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 9th International Workshop, {MIWAI} 2015, Fuzhou, China, November 13-15, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9426}, pages = {39--47}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26181-2\_4}, doi = {10.1007/978-3-319-26181-2\_4}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/miwai/LiangHAH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/AnalytiDAP14, author = {Anastasia Analyti and Carlos Viegas Dam{\'{a}}sio and Grigoris Antoniou and Ioannis Pachoulakis}, title = {Why-provenance information for RDF, rules, and negation}, journal = {Ann. Math. Artif. Intell.}, volume = {70}, number = {3}, pages = {221--277}, year = {2014}, url = {https://doi.org/10.1007/s10472-013-9396-0}, doi = {10.1007/S10472-013-9396-0}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/AnalytiDAP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ci/WangWTPA14, author = {Kewen Wang and Zhe Wang and Rodney W. Topor and Jeff Z. Pan and Grigoris Antoniou}, title = {Eliminating Concepts and Roles from Ontologies in Expressive Descriptive Logics}, journal = {Comput. Intell.}, volume = {30}, number = {2}, pages = {205--232}, year = {2014}, url = {https://doi.org/10.1111/j.1467-8640.2012.00442.x}, doi = {10.1111/J.1467-8640.2012.00442.X}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ci/WangWTPA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcsa/ErmolayevBKTA14, author = {Vadim Ermolayev and Sotiris Batsakis and Natalya Keberle and Olga Tatarintseva and Grigoris Antoniou}, title = {Ontologies of Time: Review and Trends}, journal = {Int. J. Comput. Sci. Appl.}, volume = {11}, number = {3}, pages = {57--115}, year = {2014}, url = {http://www.tmrfindia.org/ijcsa/v11i34.pdf}, timestamp = {Tue, 07 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijcsa/ErmolayevBKTA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/TachmazidisAF14, author = {Ilias Tachmazidis and Grigoris Antoniou and Wolfgang Faber}, title = {Efficient Computation of the Well-Founded Semantics over Big Data}, journal = {Theory Pract. Log. Program.}, volume = {14}, number = {4-5}, pages = {445--459}, year = {2014}, url = {https://doi.org/10.1017/S1471068414000131}, doi = {10.1017/S1471068414000131}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/TachmazidisAF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adbis/BatsakisAT14, author = {Sotiris Batsakis and Grigoris Antoniou and Ilias Tachmazidis}, editor = {Nick Bassiliades and Mirjana Ivanovic and Margita Kon{-}Popovska and Yannis Manolopoulos and Themis Palpanas and Goce Trajcevski and Athena Vakali}, title = {Reasoning over Spatial Orientation Relations Using Rules}, booktitle = {New Trends in Database and Information Systems {II} - Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, {ADBIS} 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings {II}}, series = {Advances in Intelligent Systems and Computing}, volume = {312}, pages = {123--134}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10518-5\_10}, doi = {10.1007/978-3-319-10518-5\_10}, timestamp = {Wed, 14 Nov 2018 10:52:00 +0100}, biburl = {https://dblp.org/rec/conf/adbis/BatsakisAT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adbis/BatsakisAT14a, author = {Sotiris Batsakis and Grigoris Antoniou and Ilias Tachmazidis}, editor = {Nick Bassiliades and Mirjana Ivanovic and Margita Kon{-}Popovska and Yannis Manolopoulos and Themis Palpanas and Goce Trajcevski and Athena Vakali}, title = {Integrated Representation of Temporal Intervals and Durations for the Semantic Web}, booktitle = {New Trends in Database and Information Systems {II} - Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, {ADBIS} 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings {II}}, series = {Advances in Intelligent Systems and Computing}, volume = {312}, pages = {147--158}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10518-5\_12}, doi = {10.1007/978-3-319-10518-5\_12}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adbis/BatsakisAT14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ZhuangWWA14, author = {Zhiqiang Zhuang and Zhe Wang and Kewen Wang and Grigoris Antoniou}, editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus}, title = {Rational Elimination of DL-Lite TBox Axioms}, booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1193}, pages = {746--756}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1193/paper\_40.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/ZhuangWWA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/TachmazidisCKAW14, author = {Ilias Tachmazidis and Long Cheng and Spyros Kotoulas and Grigoris Antoniou and Tomas E. Ward}, title = {Massively Parallel Reasoning under the Well-Founded Semantics Using {X10}}, booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence, {ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014}, pages = {162--169}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ICTAI.2014.33}, doi = {10.1109/ICTAI.2014.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/TachmazidisCKAW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/miwai/BatsakisAT14, author = {Sotiris Batsakis and Grigoris Antoniou and Ilias Tachmazidis}, editor = {M. Narasimha Murty and Xiangjian He and Chillarige Raghavendra Rao and Paul Weng}, title = {Integrated Representation of Spatial Topological and Size Relations for the Semantic Web}, booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, {MIWAI} 2014, Bangalore, India, December 8-10, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8875}, pages = {208--219}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13365-2\_19}, doi = {10.1007/978-3-319-13365-2\_19}, timestamp = {Sun, 02 Oct 2022 16:12:20 +0200}, biburl = {https://dblp.org/rec/conf/miwai/BatsakisAT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wims/AntoniouBT14, author = {Grigoris Antoniou and Sotiris Batsakis and Ilias Tachmazidis}, editor = {Rajendra Akerkar and Nick Bassiliades and John Davies and Vadim Ermolayev}, title = {Large-Scale Reasoning with (Semantic) Data}, booktitle = {4th International Conference on Web Intelligence, Mining and Semantics {(WIMS} 14), {WIMS} '14, Thessaloniki, Greece, June 2-4, 2014}, pages = {1:1--1:3}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2611040.2611041}, doi = {10.1145/2611040.2611041}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wims/AntoniouBT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wims/BatsakisAT14, author = {Sotiris Batsakis and Grigoris Antoniou and Ilias Tachmazidis}, editor = {Rajendra Akerkar and Nick Bassiliades and John Davies and Vadim Ermolayev}, title = {Representing and Reasoning over Topological Relations in {OWL}}, booktitle = {4th International Conference on Web Intelligence, Mining and Semantics {(WIMS} 14), {WIMS} '14, Thessaloniki, Greece, June 2-4, 2014}, pages = {29:1--29:10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2611040.2611049}, doi = {10.1145/2611040.2611049}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wims/BatsakisAT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TachmazidisAF14, author = {Ilias Tachmazidis and Grigoris Antoniou and Wolfgang Faber}, title = {Efficient Computation of the Well-Founded Semantics over Big Data}, journal = {CoRR}, volume = {abs/1405.2590}, year = {2014}, url = {http://arxiv.org/abs/1405.2590}, eprinttype = {arXiv}, eprint = {1405.2590}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TachmazidisAF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CeruttiTVBGA14, author = {Federico Cerutti and Ilias Tachmazidis and Mauro Vallati and Sotiris Batsakis and Massimiliano Giacomin and Grigoris Antoniou}, title = {Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report}, journal = {CoRR}, volume = {abs/1411.2800}, year = {2014}, url = {http://arxiv.org/abs/1411.2800}, eprinttype = {arXiv}, eprint = {1411.2800}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/CeruttiTVBGA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/RibeiroWFA13, author = {M{\'{a}}rcio Moretto Ribeiro and Renata Wassermann and Giorgos Flouris and Grigoris Antoniou}, title = {Minimal change: Relevance and recovery revisited}, journal = {Artif. Intell.}, volume = {201}, pages = {59--80}, year = {2013}, url = {https://doi.org/10.1016/j.artint.2013.06.001}, doi = {10.1016/J.ARTINT.2013.06.001}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/RibeiroWFA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/AnalytiADP13, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio and Ioannis Pachoulakis}, title = {A framework for modular {ERDF} ontologies}, journal = {Ann. Math. Artif. Intell.}, volume = {67}, number = {3-4}, pages = {189--249}, year = {2013}, url = {https://doi.org/10.1007/s10472-013-9350-1}, doi = {10.1007/S10472-013-9350-1}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/AnalytiADP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kais/FlourisKAC13, author = {Giorgos Flouris and George Konstantinidis and Grigoris Antoniou and Vassilis Christophides}, title = {Formal foundations for {RDF/S} {KB} evolution}, journal = {Knowl. Inf. Syst.}, volume = {35}, number = {1}, pages = {153--191}, year = {2013}, url = {https://doi.org/10.1007/s10115-012-0500-2}, doi = {10.1007/S10115-012-0500-2}, timestamp = {Wed, 03 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kais/FlourisKAC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/DamasioAA13, author = {Carlos Viegas Dam{\'{a}}sio and Anastasia Analyti and Grigoris Antoniou}, editor = {Pedro Cabalar and Tran Cao Son}, title = {Justifications for Logic Programming}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8148}, pages = {530--542}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40564-8\_53}, doi = {10.1007/978-3-642-40564-8\_53}, timestamp = {Sun, 02 Jun 2019 21:23:45 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/DamasioAA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/TachmazidisA13, author = {Ilias Tachmazidis and Grigoris Antoniou}, editor = {Leora Morgenstern and Petros S. Stefaneas and Fran{\c{c}}ois L{\'{e}}vy and Adam Z. Wyner and Adrian Paschke}, title = {Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization}, booktitle = {Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8035}, pages = {188--202}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39617-5\_18}, doi = {10.1007/978-3-642-39617-5\_18}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/TachmazidisA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wise/AntoniouPT13, author = {Grigoris Antoniou and Jeff Z. Pan and Ilias Tachmazidis}, editor = {Zhisheng Huang and Chengfei Liu and Jing He and Guangyan Huang}, title = {Large-Scale Complex Reasoning with Semantics: Approaches and Challenges}, booktitle = {Web Information Systems Engineering - {WISE} 2013 Workshops - {WISE} 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and {STSC} 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8182}, pages = {1--10}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-54370-8\_1}, doi = {10.1007/978-3-642-54370-8\_1}, timestamp = {Tue, 29 Dec 2020 18:27:44 +0100}, biburl = {https://dblp.org/rec/conf/wise/AntoniouPT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0036180, author = {Grigoris Antoniou and Paul Groth and Frank van Harmelen and Rinke Hoekstra}, title = {A Semantic Web Primer, 3rd Edition}, publisher = {{MIT} Press}, year = {2012}, isbn = {978-0-262-01828-9}, timestamp = {Tue, 04 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0036180.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/TachmazidisAFKM12, author = {Ilias Tachmazidis and Grigoris Antoniou and Giorgos Flouris and Spyros Kotoulas and Lee McCluskey}, editor = {Luc De Raedt and Christian Bessiere and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}, title = {Large-scale Parallel Stratified Defeasible Reasoning}, booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)} System Demonstrations Track, Montpellier, France, August 27-31 , 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {242}, pages = {738--743}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-098-7-738}, doi = {10.3233/978-1-61499-098-7-738}, timestamp = {Mon, 19 Jun 2023 16:36:09 +0200}, biburl = {https://dblp.org/rec/conf/ecai/TachmazidisAFKM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/Antoniou12, author = {Grigoris Antoniou}, editor = {Vadim Ermolayev and Heinrich C. Mayr and Mykola S. Nikitchenko and Aleksander Spivakovsky and Grygoriy Zholtkevych and Mikhail Zavileysky and Vitaliy Kobets}, title = {Formal Foundations for {RDF} Evolution and Repair}, booktitle = {Proceedings of the 8th International Conference on {ICT} in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {848}, pages = {12}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-Invited-2-p-12.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:15 +0100}, biburl = {https://dblp.org/rec/conf/icteri/Antoniou12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isami/KoutrakiEA12, author = {Maria Koutraki and Vasilis Efthymiou and Grigoris Antoniou}, editor = {Paulo Novais and Kasper Hallenborg and Dante I. Tapia and Juan M. Corchado Rodr{\'{\i}}guez}, title = {{S-CRETA:} Smart Classroom Real-Time Assistance}, booktitle = {Ambient Intelligence - Software and Applications - 3rd International Symposium on Ambient Intelligence, ISAmI 2012, Salamanca, Spain, March 28-30, 2012}, series = {Advances in Intelligent and Soft Computing}, volume = {153}, pages = {67--74}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28783-1\_9}, doi = {10.1007/978-3-642-28783-1\_9}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isami/KoutrakiEA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/TachmazidisAFK12, author = {Ilias Tachmazidis and Grigoris Antoniou and Giorgos Flouris and Spyros Kotoulas}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, title = {Towards Parallel Nonmonotonic Reasoning with Billions of Facts}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012}, publisher = {{AAAI} Press}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4536}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/TachmazidisAFK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/AntoniouEW12, author = {Grigoris Antoniou and Thomas Eiter and Kewen Wang}, editor = {Nikolaj S. Bj{\o}rner and Andrei Voronkov}, title = {Forgetting for Defeasible Logic}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March 11-15, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7180}, pages = {77--91}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28717-6\_9}, doi = {10.1007/978-3-642-28717-6\_9}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AntoniouEW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sacmat/PapakonstantinouMFFA12, author = {Vassilis Papakonstantinou and Maria Michou and Irini Fundulaki and Giorgos Flouris and Grigoris Antoniou}, editor = {Vijay Atluri and Jaideep Vaidya and Axel Kern and Murat Kantarcioglu}, title = {Access control for {RDF} graphs using abstract models}, booktitle = {17th {ACM} Symposium on Access Control Models and Technologies, {SACMAT} '12, Newark, NJ, {USA} - June 20 - 22, 2012}, pages = {103--112}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2295136.2295155}, doi = {10.1145/2295136.2295155}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sacmat/PapakonstantinouMFFA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/TachmazidisAFK12, author = {Ilias Tachmazidis and Grigoris Antoniou and Giorgos Flouris and Spyros Kotoulas}, editor = {Achille Fokoue and Thorsten Liebig and Eric L. Goodman and Jesse Weaver and Jacopo Urbani and David Mizell}, title = {Scalable Nonmonotonic Reasoning over {RDF} Data Using MapReduce}, booktitle = {Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems, Boston, USA, November 11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {943}, pages = {75--90}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-943/SSWS\_HPCSW2012\_paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:05 +0100}, biburl = {https://dblp.org/rec/conf/semweb/TachmazidisAFK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/DamasioAA12, author = {Carlos Viegas Dam{\'{a}}sio and Anastasia Analyti and Grigoris Antoniou}, editor = {Philippe Cudr{\'{e}}{-}Mauroux and Jeff Heflin and Evren Sirin and Tania Tudorache and J{\'{e}}r{\^{o}}me Euzenat and Manfred Hauswirth and Josiane Xavier Parreira and Jim Hendler and Guus Schreiber and Abraham Bernstein and Eva Blomqvist}, title = {Provenance for {SPARQL} Queries}, booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {7649}, pages = {625--640}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35176-1\_39}, doi = {10.1007/978-3-642-35176-1\_39}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/DamasioAA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2011w, editor = {Raul Garcia{-}Castro and Dieter Fensel and Grigoris Antoniou}, title = {The Semantic Web: {ESWC} 2011 Workshops - {ESWC} 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7117}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-25953-1}, doi = {10.1007/978-3-642-25953-1}, isbn = {978-3-642-25952-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/2011w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1209-0378, author = {Carlos Viegas Dam{\'{a}}sio and Anastasia Analyti and Grigoris Antoniou}, title = {Provenance for {SPARQL} queries}, journal = {CoRR}, volume = {abs/1209.0378}, year = {2012}, url = {http://arxiv.org/abs/1209.0378}, eprinttype = {arXiv}, eprint = {1209.0378}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1209-0378.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/AntoniouCASS12, author = {Grigoris Antoniou and {\'{O}}scar Corcho and Karl Aberer and Elena Simperl and Rudi Studer}, title = {Semantic Data Management (Dagstuhl Seminar 12171)}, journal = {Dagstuhl Reports}, volume = {2}, number = {4}, pages = {39--65}, year = {2012}, url = {https://doi.org/10.4230/DagRep.2.4.39}, doi = {10.4230/DAGREP.2.4.39}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AntoniouCASS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijaci/GenitsaridiBA11, author = {Irini Genitsaridi and Antonis Bikakis and Grigoris Antoniou}, title = {{DEAL:} {A} Distributed Authorization Language for Ambient Intelligence}, journal = {Int. J. Ambient Comput. Intell.}, volume = {3}, number = {4}, pages = {9--24}, year = {2011}, url = {https://doi.org/10.4018/jaci.2011100102}, doi = {10.4018/JACI.2011100102}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijaci/GenitsaridiBA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijswis/KontopoulosBGA11, author = {Efstratios Kontopoulos and Nick Bassiliades and Guido Governatori and Grigoris Antoniou}, title = {A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web}, journal = {Int. J. Semantic Web Inf. Syst.}, volume = {7}, number = {1}, pages = {18--43}, year = {2011}, url = {https://doi.org/10.4018/jswis.2011010102}, doi = {10.4018/JSWIS.2011010102}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijswis/KontopoulosBGA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kais/BikakisAH11, author = {Antonis Bikakis and Grigoris Antoniou and Panayiotis Hassapis}, title = {Strategies for contextual reasoning with conflicts in ambient intelligence}, journal = {Knowl. Inf. Syst.}, volume = {27}, number = {1}, pages = {45--84}, year = {2011}, url = {https://doi.org/10.1007/s10115-010-0293-0}, doi = {10.1007/S10115-010-0293-0}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kais/BikakisAH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/KontopoulosBA11, author = {Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou}, title = {Visualizing Semantic Web proofs of defeasible logic in the {DR-DEVICE} system}, journal = {Knowl. Based Syst.}, volume = {24}, number = {3}, pages = {406--419}, year = {2011}, url = {https://doi.org/10.1016/j.knosys.2010.12.001}, doi = {10.1016/J.KNOSYS.2010.12.001}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/KontopoulosBA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/AnalytiAD11, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio}, title = {MWeb: {A} principled framework for modular web rule bases and its semantics}, journal = {{ACM} Trans. Comput. Log.}, volume = {12}, number = {2}, pages = {17:1--17:46}, year = {2011}, url = {https://doi.org/10.1145/1877714.1877723}, doi = {10.1145/1877714.1877723}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/AnalytiAD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/BikakisA11, author = {Antonis Bikakis and Grigoris Antoniou}, title = {Contextual Defeasible Logic and Its Application to Ambient Intelligence}, journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}}, volume = {41}, number = {4}, pages = {705--716}, year = {2011}, url = {https://doi.org/10.1109/TSMCA.2011.2132715}, doi = {10.1109/TSMCA.2011.2132715}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/BikakisA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/AntonioudP11, author = {Grigoris Antoniou and Mathieu d'Aquin and Jeff Z. Pan}, title = {Semantic Web dynamics}, journal = {J. Web Semant.}, volume = {9}, number = {3}, pages = {245--246}, year = {2011}, url = {https://doi.org/10.1016/j.websem.2011.06.008}, doi = {10.1016/J.WEBSEM.2011.06.008}, timestamp = {Tue, 29 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/AntonioudP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ami/FilippakiAT11, author = {Chrysi Filippaki and Grigoris Antoniou and Ioannis Tsamardinos}, editor = {David V. Keyson and Mary Lou Maher and Norbert A. Streitz and Adrian David Cheok and Juan Carlos Augusto and Reiner Wichert and Gwenn Englebienne and Hamid K. Aghajan and Ben J. A. Kr{\"{o}}se}, title = {Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition}, booktitle = {Ambient Intelligence - Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7040}, pages = {51--60}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25167-2\_6}, doi = {10.1007/978-3-642-25167-2\_6}, timestamp = {Sat, 30 Sep 2023 09:34:23 +0200}, biburl = {https://dblp.org/rec/conf/ami/FilippakiAT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/OstrowskiFSA11, author = {Max Ostrowski and Giorgos Flouris and Torsten Schaub and Grigoris Antoniou}, editor = {John P. Gallagher and Michael Gelfond}, title = {Evolution of Ontologies using {ASP}}, booktitle = {Technical Communications of the 27th International Conference on Logic Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}}, series = {LIPIcs}, volume = {11}, pages = {16--27}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2011}, url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.16}, doi = {10.4230/LIPICS.ICLP.2011.16}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/iclp/OstrowskiFSA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KravariPAB11, author = {Kalliopi Kravari and Constantinos Papatheodorou and Grigoris Antoniou and Nick Bassiliades}, editor = {Toby Walsh}, title = {Reasoning and Proofing Services for Semantic Web Agents}, booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}, pages = {2662--2667}, publisher = {{IJCAI/AAAI}}, year = {2011}, url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-443}, doi = {10.5591/978-1-57735-516-8/IJCAI11-443}, timestamp = {Tue, 20 Aug 2019 16:16:04 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KravariPAB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/BikakisA11, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {James P. Delgrande and Wolfgang Faber}, title = {Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6645}, pages = {193--198}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20895-9\_18}, doi = {10.1007/978-3-642-20895-9\_18}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/BikakisA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/Antoniou11, author = {Grigoris Antoniou}, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Rule-Based Activity Recognition in Ambient Intelligence}, booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6826}, pages = {1}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22546-8\_1}, doi = {10.1007/978-3-642-22546-8\_1}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/Antoniou11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/KravariPAB11, author = {Kalliopi Kravari and Constantinos Papatheodorou and Grigoris Antoniou and Nick Bassiliades}, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers}, booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6826}, pages = {29--43}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22546-8\_4}, doi = {10.1007/978-3-642-22546-8\_4}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/KravariPAB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/DamasioAA11, author = {Carlos Viegas Dam{\'{a}}sio and Anastasia Analyti and Grigoris Antoniou}, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Modularity in the Rule Interchange Format}, booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6826}, pages = {313--328}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22546-8\_25}, doi = {10.1007/978-3-642-22546-8\_25}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/DamasioAA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2011-1, editor = {Grigoris Antoniou and Marko Grobelnik and Elena Simperl and Bijan Parsia and Dimitris Plexousakis and Pieter De Leenheer and Jeff Z. Pan}, title = {The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, {ESWC} 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6643}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21034-1}, doi = {10.1007/978-3-642-21034-1}, isbn = {978-3-642-21033-4}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/2011-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2011-2, editor = {Grigoris Antoniou and Marko Grobelnik and Elena Simperl and Bijan Parsia and Dimitris Plexousakis and Pieter De Leenheer and Jeff Z. Pan}, title = {The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, {ESWC} 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6644}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21064-8}, doi = {10.1007/978-3-642-21064-8}, isbn = {978-3-642-21063-1}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/2011-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1111-0055, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio and Gerd Wagner}, title = {Extended {RDF} as a Semantic Foundation of Rule Markup Languages}, journal = {CoRR}, volume = {abs/1111.0055}, year = {2011}, url = {http://arxiv.org/abs/1111.0055}, eprinttype = {arXiv}, eprint = {1111.0055}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1111-0055.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/PapadakisPA10, author = {Nikos Papadakis and Dimitris Plexousakis and Grigoris Antoniou}, title = {The ramification problem in temporal databases: Concurrent execution}, journal = {Int. J. Intell. Syst.}, volume = {25}, number = {4}, pages = {287--325}, year = {2010}, url = {https://doi.org/10.1002/int.20408}, doi = {10.1002/INT.20408}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijis/PapadakisPA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/BikakisA10, author = {Antonis Bikakis and Grigoris Antoniou}, title = {Defeasible Contextual Reasoning with Arguments in Ambient Intelligence}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {22}, number = {11}, pages = {1492--1506}, year = {2010}, url = {https://doi.org/10.1109/TKDE.2010.37}, doi = {10.1109/TKDE.2010.37}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tkde/BikakisA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BillingtonAGM10, author = {David Billington and Grigoris Antoniou and Guido Governatori and Michael J. Maher}, title = {An inclusion theorem for defeasible logics}, journal = {{ACM} Trans. Comput. Log.}, volume = {12}, number = {1}, pages = {6:1--6:27}, year = {2010}, url = {https://doi.org/10.1145/1838552.1838558}, doi = {10.1145/1838552.1838558}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BillingtonAGM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adbis/AntoniouBP10, author = {Grigoris Antoniou and Antonis Bikakis and Constantinos Papatheodorou}, editor = {Barbara Catania and Mirjana Ivanovic and Bernhard Thalheim}, title = {Reasoning with Imperfect Context and Preference Information in Multi-Context Systems}, booktitle = {Advances in Databases and Information Systems - 14th East European Conference, {ADBIS} 2010, Novi Sad, Serbia, September 20-24, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6295}, pages = {1--12}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15576-5\_1}, doi = {10.1007/978-3-642-15576-5\_1}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adbis/AntoniouBP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/DamasioAA10, author = {Carlos Viegas Dam{\'{a}}sio and Anastasia Analyti and Grigoris Antoniou}, editor = {Helder Coelho and Rudi Studer and Michael J. Wooldridge}, title = {Implementing Simple Modular {ERDF} ontologies}, booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {215}, pages = {1083--1084}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-606-5-1083}, doi = {10.3233/978-1-60750-606-5-1083}, timestamp = {Fri, 26 Apr 2019 14:26:43 +0200}, biburl = {https://dblp.org/rec/conf/ecai/DamasioAA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fis/FlourisFMA10, author = {Giorgos Flouris and Irini Fundulaki and Maria Michou and Grigoris Antoniou}, editor = {Arne{-}J{\o}rgen Berre and Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and Kurt Tutschku and Dieter Fensel}, title = {Controlling Access to {RDF} Graphs}, booktitle = {Future Internet - {FIS} 2010 - Third Future Internet Symposium, Berlin, Germany, September 20-22, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6369}, pages = {107--117}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15877-3\_12}, doi = {10.1007/978-3-642-15877-3\_12}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/fis/FlourisFMA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/intenv/PapatheodorouAB10, author = {Constantinos Papatheodorou and Grigoris Antoniou and Antonis Bikakis}, editor = {Vic Callaghan and Achilles Kameas and Simon Egerton and Ichiro Satoh and Michael Weber}, title = {On the Deployment of Contextual Reasoning in Ambient Intelligence Environments}, booktitle = {Sixth International Conference on Intelligent Environments, {IE} 2010, Kuala Lumpur, Malaysia, July 19-21, 2010}, pages = {13--18}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/IE.2010.10}, doi = {10.1109/IE.2010.10}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/intenv/PapatheodorouAB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/AntoniouPB10, author = {Grigoris Antoniou and Constantinos Papatheodorou and Antonis Bikakis}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {Reasoning about Context in Ambient Intelligence Environments: {A} Report from the Field}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1209}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/AntoniouPB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/BikakisA10, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Robert Meersman and Tharam S. Dillon and Pilar Herrero}, title = {Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications}, booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2010 Workshops - Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, {SWWS} and {OTMA.} Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6428}, pages = {89}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16961-8\_23}, doi = {10.1007/978-3-642-16961-8\_23}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/otm/BikakisA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/DamasioAA10, author = {Carlos Viegas Dam{\'{a}}sio and Anastasia Analyti and Grigoris Antoniou}, editor = {Pascal Hitzler and Thomas Lukasiewicz}, title = {Embeddings of Simple Modular Extended {RDF}}, booktitle = {Web Reasoning and Rule Systems - Fourth International Conference, {RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6333}, pages = {204--212}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15918-3\_17}, doi = {10.1007/978-3-642-15918-3\_17}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/DamasioAA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BikakisA10, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Mike Dean and John Hall and Antonino Rotolo and Said Tabet}, title = {Rule-Based Contextual Reasoning in Ambient Intelligence}, booktitle = {Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6403}, pages = {74--88}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16289-3\_8}, doi = {10.1007/978-3-642-16289-3\_8}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/BikakisA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setn/PatkosCBPA10, author = {Theodore Patkos and Ioannis Chrysakis and Antonis Bikakis and Dimitris Plexousakis and Grigoris Antoniou}, editor = {Stasinos Konstantopoulos and Stavros J. Perantonis and Vangelis Karkaletsis and Constantine D. Spyropoulos and George A. Vouros}, title = {A Reasoning Framework for Ambient Intelligence}, booktitle = {Artificial Intelligence: Theories, Models and Applications, 6th Hellenic Conference on AI, {SETN} 2010, Athens, Greece, May 4-7, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6040}, pages = {213--222}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12842-4\_25}, doi = {10.1007/978-3-642-12842-4\_25}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/setn/PatkosCBPA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setn/TzitzikasMA10, author = {Yannis Tzitzikas and Yannis Marketakis and Grigoris Antoniou}, editor = {Stasinos Konstantopoulos and Stavros J. Perantonis and Vangelis Karkaletsis and Constantine D. Spyropoulos and George A. Vouros}, title = {Task-Based Dependency Management for the Preservation of Digital Objects Using Rules}, booktitle = {Artificial Intelligence: Theories, Models and Applications, 6th Hellenic Conference on AI, {SETN} 2010, Athens, Greece, May 4-7, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6040}, pages = {265--274}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12842-4\_30}, doi = {10.1007/978-3-642-12842-4\_30}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setn/TzitzikasMA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2010-1, editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"{o}}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache}, title = {The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, {ESWC} 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6088}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13486-9}, doi = {10.1007/978-3-642-13486-9}, isbn = {978-3-642-13485-2}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/2010-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2010-2, editor = {Lora Aroyo and Grigoris Antoniou and Eero Hyv{\"{o}}nen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache}, title = {The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, {ESWC} 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6089}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13489-0}, doi = {10.1007/978-3-642-13489-0}, isbn = {978-3-642-13488-3}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/2010-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/AntoniouDG09, author = {Grigoris Antoniou and Nikos Dimaresis and Guido Governatori}, title = {A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems}, journal = {Expert Syst. Appl.}, volume = {36}, number = {2}, pages = {4125--4134}, year = {2009}, url = {https://doi.org/10.1016/j.eswa.2008.03.009}, doi = {10.1016/J.ESWA.2008.03.009}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/AntoniouDG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/PapadakisPAPB09, author = {Nikos Papadakis and Dimitris Plexousakis and Grigoris Antoniou and Myron Papadakis and Katerina Boutsika}, title = {A Tool for Addressing the Ramification Problem in Temporal Databases}, journal = {Int. J. Artif. Intell. Tools}, volume = {18}, number = {4}, pages = {589--601}, year = {2009}, url = {https://doi.org/10.1142/S0218213009000287}, doi = {10.1142/S0218213009000287}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/PapadakisPAPB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijris/PatkosBAPP09, author = {Theodore Patkos and Antonis Bikakis and Grigoris Antoniou and Maria Papadopouli and Dimitris Plexousakis}, title = {Design and challenges of a semantics-based framework for context-aware services}, journal = {Int. J. Reason. based Intell. Syst.}, volume = {1}, number = {1/2}, pages = {18--30}, year = {2009}, url = {https://doi.org/10.1504/IJRIS.2009.026714}, doi = {10.1504/IJRIS.2009.026714}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijris/PatkosBAPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jaise/KritsotakisMNBPAP09, author = {Manolis Kritsotakis and Maria Michou and Emmanouil Nikoloudakis and Antonis Bikakis and Theodore Patkos and Grigoris Antoniou and Dimitris Plexousakis}, title = {Design and implementation of a semantics-based Contextual Navigation Guide for Indoor Environments}, journal = {J. Ambient Intell. Smart Environ.}, volume = {1}, number = {3}, pages = {261--285}, year = {2009}, url = {https://doi.org/10.3233/AIS-2009-0033}, doi = {10.3233/AIS-2009-0033}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jaise/KritsotakisMNBPAP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/FlourisdAPP09, author = {Giorgos Flouris and Mathieu d'Aquin and Grigoris Antoniou and Jeff Z. Pan and Dimitris Plexousakis}, title = {Special Issue on Ontology Dynamics}, journal = {J. Log. Comput.}, volume = {19}, number = {5}, pages = {717--719}, year = {2009}, url = {https://doi.org/10.1093/logcom/exn046}, doi = {10.1093/LOGCOM/EXN046}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/FlourisdAPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/WangWTPA09, author = {Zhe Wang and Kewen Wang and Rodney W. Topor and Jeff Z. Pan and Grigoris Antoniou}, editor = {Ann E. Nicholson and Xiaodong Li}, title = {Uniform Interpolation for \emph{ALC}{\textbackslash}mathcal\{ALC\} Revisited}, booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5866}, pages = {528--537}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-10439-8\_53}, doi = {10.1007/978-3-642-10439-8\_53}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ausai/WangWTPA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/LeonidisBFKGDKBPPTVBA09, author = {Asterios Leonidis and George Baryannis and Xenofon Fafoutis and Maria Korozi and Niki Gazoni and Michail Dimitriou and Maria Koutsogiannaki and Aikaterini Boutsika and Myron Papadakis and Haridimos Papagiannakis and George Tesseris and Emmanouil Voskakis and Antonis Bikakis and Grigoris Antoniou}, editor = {Sheikh Iqbal Ahamed and Elisa Bertino and Carl K. Chang and Vladimir Getov and Lin Liu and Ming Hua and Rajesh Subramanyan}, title = {AlertMe: {A} Semantics-Based Context-Aware Notification System}, booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software and Applications Conference, {COMPSAC} 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2}, pages = {200--205}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/COMPSAC.2009.134}, doi = {10.1109/COMPSAC.2009.134}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/LeonidisBFKGDKBPPTVBA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip12/BikakisAH09, author = {Antonis Bikakis and Grigoris Antoniou and Panayiotis Hassapis}, editor = {Lazaros S. Iliadis and Ilias Maglogiannis and Grigorios Tsoumakas and Ioannis P. Vlahavas and Max Bramer}, title = {Alternative Strategies for Conflict Resolution in Multi-Context Systems}, booktitle = {Artificial Intelligence Applications and Innovations III, Proceedings of the 5TH {IFIP} Conference on Artificial Intelligence Applications and Innovations (AIAI'2009), April 23-25, 2009, Thessaloniki, Greece}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {296}, pages = {31--40}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-1-4419-0221-4\_6}, doi = {10.1007/978-1-4419-0221-4\_6}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip12/BikakisAH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/BikakisA09, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {Contextual Argumentation in Ambient Intelligence}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {30--43}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_6}, doi = {10.1007/978-3-642-04238-6\_6}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/BikakisA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/ArmenatzoglouMKAPKKKLNBA09, author = {Nikos Armenatzoglou and Yannis Marketakis and Lito Kriara and Elias Apostolopoulos and Vicky Papavasiliou and Dimitris Kampas and Alexandros Kapravelos and Eythimis Kartsonakis and Giorgos Linardakis and Sofia Nikitaki and Antonis Bikakis and Grigoris Antoniou}, editor = {Robert Meersman and Pilar Herrero and Tharam S. Dillon}, title = {FleXConf: {A} Flexible Conference Assistant Using Context-Aware Notification Services}, booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2009 Workshops, Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, {OTM} Academy, SWWS, SEMELS, Beyond SAWSDL, and {COMBEK} 2009, Vilamoura, Portugal, November 1-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5872}, pages = {108--117}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05290-3\_20}, doi = {10.1007/978-3-642-05290-3\_20}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/otm/ArmenatzoglouMKAPKKKLNBA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/AnalytiAD09, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio}, editor = {Axel Polleres and Terrance Swift}, title = {A Formal Theory for Modular {ERDF} Ontologies}, booktitle = {Web Reasoning and Rule Systems, Third International Conference, {RR} 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5837}, pages = {212--226}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05082-4\_15}, doi = {10.1007/978-3-642-05082-4\_15}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/AnalytiAD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/RibeiroWAFP09, author = {M{\'{a}}rcio Moretto Ribeiro and Renata Wassermann and Grigoris Antoniou and Giorgos Flouris and Jeff Z. Pan}, editor = {Mathieu d'Aquin and Grigoris Antoniou}, title = {Contraction on the Semantic Web: On the Role of Relevance and Recovery}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {519}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-519/ribeiro.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:09 +0100}, biburl = {https://dblp.org/rec/conf/semweb/RibeiroWAFP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/WangWTPA09, author = {Kewen Wang and Zhe Wang and Rodney W. Topor and Jeff Z. Pan and Grigoris Antoniou}, editor = {Abraham Bernstein and David R. Karger and Tom Heath and Lee Feigenbaum and Diana Maynard and Enrico Motta and Krishnaprasad Thirunarayan}, title = {Concept and Role Forgetting in \emph{ALC}\{{\textbackslash}mathcal \{ALC\}\} Ontologies}, booktitle = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference, {ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5823}, pages = {666--681}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04930-9\_42}, doi = {10.1007/978-3-642-04930-9\_42}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/WangWTPA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ihis/AntoniouH09, author = {Grigoris Antoniou and Frank van Harmelen}, editor = {Steffen Staab and Rudi Studer}, title = {Web Ontology Language: {OWL}}, booktitle = {Handbook on Ontologies}, series = {International Handbooks on Information Systems}, pages = {91--110}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-540-92673-3\_4}, doi = {10.1007/978-3-540-92673-3\_4}, timestamp = {Wed, 14 Nov 2018 10:12:16 +0100}, biburl = {https://dblp.org/rec/series/ihis/AntoniouH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/semweb/2009iwod, editor = {Mathieu d'Aquin and Grigoris Antoniou}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {519}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-519}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/2009iwod.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/AntoniouP09, author = {Grigoris Antoniou and Dimitris Plexousakis}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Semantic Web}, booktitle = {Encyclopedia of Database Systems}, pages = {2579--2583}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_1320}, doi = {10.1007/978-0-387-39940-9\_1320}, timestamp = {Sun, 02 Jun 2019 21:10:27 +0200}, biburl = {https://dblp.org/rec/reference/db/AntoniouP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0020259, author = {Grigoris Antoniou and Frank van Harmelen}, title = {A Semantic Web Primer, 2nd Edition}, series = {Cooperative information systems}, publisher = {{MIT} Press}, year = {2008}, isbn = {978-0-262-01242-3}, timestamp = {Tue, 09 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0020259.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/AntoniouBDGGGKKKKLPPTTZ08, author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolaos Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis}, title = {Proof explanation for a nonmonotonic Semantic Web rules language}, journal = {Data Knowl. Eng.}, volume = {64}, number = {3}, pages = {662--687}, year = {2008}, url = {https://doi.org/10.1016/j.datak.2007.10.006}, doi = {10.1016/J.DATAK.2007.10.006}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/AntoniouBDGGGKKKKLPPTTZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/KontopoulosBA08, author = {Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou}, title = {Deploying defeasible logic rule bases for the semantic web}, journal = {Data Knowl. Eng.}, volume = {66}, number = {1}, pages = {116--146}, year = {2008}, url = {https://doi.org/10.1016/j.datak.2008.02.005}, doi = {10.1016/J.DATAK.2008.02.005}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dke/KontopoulosBA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/KontopoulosBAS08, author = {Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou and Anna Seridou}, title = {Visual Modeling of Defeasible Logic Rules with Dr-VisMO}, journal = {Int. J. Artif. Intell. Tools}, volume = {17}, number = {5}, pages = {903--924}, year = {2008}, url = {https://doi.org/10.1142/S0218213008004217}, doi = {10.1142/S0218213008004217}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/KontopoulosBAS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/AnalytiADW08, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio and Gerd Wagner}, title = {Extended {RDF} as a Semantic Foundation of Rule Markup Languages}, journal = {J. Artif. Intell. Res.}, volume = {32}, pages = {37--94}, year = {2008}, url = {https://doi.org/10.1613/jair.2425}, doi = {10.1613/JAIR.2425}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/AnalytiADW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/FlourisMKPA08, author = {Giorgos Flouris and Dimitris Manakanatas and Haridimos Kondylakis and Dimitris Plexousakis and Grigoris Antoniou}, title = {Ontology change: classification and survey}, journal = {Knowl. Eng. Rev.}, volume = {23}, number = {2}, pages = {117--152}, year = {2008}, url = {https://doi.org/10.1017/S0269888908001367}, doi = {10.1017/S0269888908001367}, timestamp = {Thu, 27 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/FlourisMKPA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BikakisA08, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Dieter Fox and Carla P. Gomes}, title = {Distributed Reasoning with Conflicts in a Multi-Context Framework}, booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008}, pages = {1778--1779}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/AAAI/2008/aaai08-279.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BikakisA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ami/KritsotakisMNBPAP08, author = {Manolis Kritsotakis and Maria Michou and Emmanouil Nikoloudakis and Antonis Bikakis and Theodore Patkos and Grigoris Antoniou and Dimitris Plexousakis}, editor = {Emile H. L. Aarts and James L. Crowley and Boris E. R. de Ruyter and Heinz Gerh{\"{a}}user and Alexander Pflaum and Janina Schmidt and Reiner Wichert}, title = {{C-NGINE:} {A} Contextual Navigation Guide for Indoor Environments}, booktitle = {Ambient Intelligence, European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5355}, pages = {258--275}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89617-3\_17}, doi = {10.1007/978-3-540-89617-3\_17}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ami/KritsotakisMNBPAP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ami/BikakisA08, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Emile H. L. Aarts and James L. Crowley and Boris E. R. de Ruyter and Heinz Gerh{\"{a}}user and Alexander Pflaum and Janina Schmidt and Reiner Wichert}, title = {Distributed Defeasible Contextual Reasoning in Ambient Computing}, booktitle = {Ambient Intelligence, European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5355}, pages = {308--325}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89617-3\_20}, doi = {10.1007/978-3-540-89617-3\_20}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ami/BikakisA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/KonstantinidisFAC08, author = {George Konstantinidis and Giorgos Flouris and Grigoris Antoniou and Vassilis Christophides}, editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris}, title = {A Formal Approach for {RDF/S} Ontology Evolution}, booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {178}, pages = {70--74}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-891-5-70}, doi = {10.3233/978-1-58603-891-5-70}, timestamp = {Wed, 03 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/KonstantinidisFAC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/AnalytiADW08, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio and Gerd Wagner}, editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris}, title = {Computability and Complexity Issues of Extended {RDF}}, booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {178}, pages = {733--734}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-891-5-733}, doi = {10.3233/978-1-58603-891-5-733}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/AnalytiADW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/KontopoulosBGA08, author = {Efstratios Kontopoulos and Nick Bassiliades and Guido Governatori and Grigoris Antoniou}, title = {Extending a Defeasible Reasoner with Modal and Deontic Logic Operators}, booktitle = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia}, pages = {626--629}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/WIIAT.2008.164}, doi = {10.1109/WIIAT.2008.164}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/KontopoulosBGA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icebe/GuoHAC08, author = {Jingzhi Guo and Zhuo Hu and Grigoris Antoniou and Chi{-}Kit Chan}, title = {Answering an Inquiry from Heterogeneous Contexts}, booktitle = {2008 {IEEE} International Conference on e-Business Engineering, {ICEBE} 2008, Xi'an, China, October 22-24, 2008}, pages = {113--120}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICEBE.2008.65}, doi = {10.1109/ICEBE.2008.65}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icebe/GuoHAC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/PapadakisPADC08, author = {Nikos Papadakis and Dimitris Plexousakis and Grigoris Antoniou and Manolis Daskalakis and Yannis Christodoulou}, editor = {Aijun An and Stan Matwin and Zbigniew W. Ras and Dominik Slezak}, title = {The Ramification Problem in Temporal Databases: {A} Solution Implemented in {SQL}}, booktitle = {Foundations of Intelligent Systems, 17th International Symposium, {ISMIS} 2008, Toronto, Canada, May 20-23, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4994}, pages = {381--388}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68123-6\_41}, doi = {10.1007/978-3-540-68123-6\_41}, timestamp = {Mon, 28 Aug 2023 21:17:48 +0200}, biburl = {https://dblp.org/rec/conf/ismis/PapadakisPADC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/AnalytiAD08, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio}, editor = {Gerhard Brewka and J{\'{e}}r{\^{o}}me Lang}, title = {A Principled Framework for Modular Web Rule Bases and Its Semantics}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, {KR} 2008, Sydney, Australia, September 16-19, 2008}, pages = {390--400}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/KR/2008/kr08-038.php}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kr/AnalytiAD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/AnalytiADW08, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio and Gerd Wagner}, editor = {Tu Bao Ho and Zhi{-}Hua Zhou}, title = {On the Computability and Complexity Issues of Extended {RDF}}, booktitle = {{PRICAI} 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5351}, pages = {5--16}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89197-0\_5}, doi = {10.1007/978-3-540-89197-0\_5}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/AnalytiADW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BikakisA08, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Diego Calvanese and Georg Lausen}, title = {Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing}, booktitle = {Web Reasoning and Rule Systems, Second International Conference, {RR} 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5341}, pages = {234--235}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88737-9\_21}, doi = {10.1007/978-3-540-88737-9\_21}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/BikakisA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BikakisA08, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Local and Distributed Defeasible Reasoning in Multi-Context Systems}, booktitle = {Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5321}, pages = {135--149}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88808-6\_16}, doi = {10.1007/978-3-540-88808-6\_16}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/BikakisA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/AvguleasGTBAKB08, author = {Ioannis Avguleas and Katerina Gkirtzou and Sofia Triantafilou and Antonis Bikakis and Grigoris Antoniou and Efstratios Kontopoulos and Nick Bassiliades}, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Visualization of Proofs in Defeasible Logic}, booktitle = {Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5321}, pages = {197--210}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88808-6\_21}, doi = {10.1007/978-3-540-88808-6\_21}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/AvguleasGTBAKB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/AntoniouDG08, author = {Grigoris Antoniou and Nikos Dimaresis and Guido Governatori}, editor = {Roger L. Wainwright and Hisham Haddad}, title = {A system for modal and deontic defeasible reasoning}, booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, pages = {2261--2265}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1363686.1364226}, doi = {10.1145/1363686.1364226}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/AntoniouDG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setn/AntoniouBDFIKKMNPPPSTTVWV08, author = {Grigoris Antoniou and Antonis Bikakis and Polyvios Damianakis and Mixalhs Foukarakis and Giorgos Iacovidis and Marianna Karmazi and Haridimos Kondylakis and Antreas Makridakis and Giorgos Nikiforos and George Papadourakis and Manolis Papoutsakis and Aggeliki Psyharaki and Giorgos Stratakis and Panagiotis Tourlakis and Petros Tsialiamanis and Giorgos Vasiliadis and Gerd Wagner and Dimitris Velegrakis}, editor = {John Darzentas and George A. Vouros and Spyros Vosinakis and Argyris Arnellos}, title = {A Multi-agent Environment for Serving Proof Explanations in the Semantic Web}, booktitle = {Artificial Intelligence: Theories, Models and Applications, 5th Hellenic Conference on AI, {SETN} 2008, Syros, Greece, October 2-4, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5138}, pages = {26--37}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87881-0\_4}, doi = {10.1007/978-3-540-87881-0\_4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/setn/AntoniouBDFIKKMNPPPSTTVWV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setn/BikakisPA08, author = {Antonis Bikakis and Constantinos Papatheodorou and Grigoris Antoniou}, editor = {John Darzentas and George A. Vouros and Spyros Vosinakis and Argyris Arnellos}, title = {The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web}, booktitle = {Artificial Intelligence: Theories, Models and Applications, 5th Hellenic Conference on AI, {SETN} 2008, Syros, Greece, October 2-4, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5138}, pages = {345--351}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87881-0\_31}, doi = {10.1007/978-3-540-87881-0\_31}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/setn/BikakisPA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/SkylogiannisABGB07, author = {Thomas Skylogiannis and Grigoris Antoniou and Nick Bassiliades and Guido Governatori and Antonis Bikakis}, title = {{DR-NEGOTIATE} - {A} system for automated agent negotiation with defeasible logic-based strategies}, journal = {Data Knowl. Eng.}, volume = {63}, number = {2}, pages = {362--380}, year = {2007}, url = {https://doi.org/10.1016/j.datak.2007.03.004}, doi = {10.1016/J.DATAK.2007.03.004}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dke/SkylogiannisABGB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmso/AntoniouBKPS07, author = {Grigoris Antoniou and Antonis Bikakis and Anna Karamolegou and Nikos Papachristodoulou and Manolis Stratakis}, title = {A context-aware meeting alert using semantic web and rule technology}, journal = {Int. J. Metadata Semant. Ontologies}, volume = {2}, number = {3}, pages = {147--156}, year = {2007}, url = {https://doi.org/10.1504/IJMSO.2007.017609}, doi = {10.1504/IJMSO.2007.017609}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmso/AntoniouBKPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/AntoniouSBDB07, author = {Grigoris Antoniou and Thomas Skylogiannis and Antonis Bikakis and Martin Doerr and Nick Bassiliades}, title = {{DR-BROKERING:} {A} semantic brokering system}, journal = {Knowl. Based Syst.}, volume = {20}, number = {1}, pages = {61--72}, year = {2007}, url = {https://doi.org/10.1016/j.knosys.2006.07.006}, doi = {10.1016/J.KNOSYS.2006.07.006}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/AntoniouSBDB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/AntoniouB07, author = {Grigoris Antoniou and Antonis Bikakis}, title = {DR-Prolog: {A} System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {19}, number = {2}, pages = {233--245}, year = {2007}, url = {https://doi.org/10.1109/TKDE.2007.29}, doi = {10.1109/TKDE.2007.29}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tkde/AntoniouB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/DimaresisA07, author = {Nikos Dimaresis and Grigoris Antoniou}, title = {Implementing Modal Extensions of Defeasible Logic for the Semantic Web}, booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}, pages = {1848--1849}, publisher = {{AAAI} Press}, year = {2007}, url = {http://www.aaai.org/Library/AAAI/2007/aaai07-299.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/DimaresisA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ami/BikakisPAP07, author = {Antonis Bikakis and Theodore Patkos and Grigoris Antoniou and Dimitris Plexousakis}, editor = {Alois Ferscha and Erwin Aitenbichler}, title = {A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence}, booktitle = {Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers}, series = {Communications in Computer and Information Science}, volume = {11}, pages = {14--23}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85379-4\_3}, doi = {10.1007/978-3-540-85379-4\_3}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ami/BikakisPAP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ami/BikakisA07, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Alois Ferscha and Erwin Aitenbichler}, title = {Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting}, booktitle = {Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers}, series = {Communications in Computer and Information Science}, volume = {11}, pages = {24--33}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85379-4\_4}, doi = {10.1007/978-3-540-85379-4\_4}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ami/BikakisA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/AntoniouDG07, author = {Grigoris Antoniou and Nikos Dimaresis and Guido Governatori}, editor = {Mehmet A. Orgun and John Thornton}, title = {A System for Modal and Deontic Defeasible Reasoning}, booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4830}, pages = {609--613}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76928-6\_62}, doi = {10.1007/978-3-540-76928-6\_62}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/AntoniouDG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eusai/PatkosBAPP07, author = {Theodore Patkos and Antonis Bikakis and Grigoris Antoniou and Maria Papadopouli and Dimitris Plexousakis}, editor = {Bernt Schiele and Anind K. Dey and Hans Gellersen and Boris E. R. de Ruyter and Manfred Tscheligi and Reiner Wichert and Emile H. L. Aarts and Alejandro P. Buchmann}, title = {Distributed {AI} for Ambient Intelligence: Issues and Approaches}, booktitle = {Ambient Intelligence, European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4794}, pages = {159--176}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76652-0\_10}, doi = {10.1007/978-3-540-76652-0\_10}, timestamp = {Sat, 30 Sep 2023 09:40:51 +0200}, biburl = {https://dblp.org/rec/conf/eusai/PatkosBAPP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/KontopoulosBA07, author = {Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou}, title = {Visual Stratification of Defeasible Logic Rule Bases}, booktitle = {19th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 2}, pages = {238--245}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICTAI.2007.39}, doi = {10.1109/ICTAI.2007.39}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/KontopoulosBA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/PapadakisAP07, author = {Nikos Papadakis and Grigoris Antoniou and Dimitris Plexousakis}, title = {The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints}, booktitle = {19th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 2}, pages = {274--278}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICTAI.2007.77}, doi = {10.1109/ICTAI.2007.77}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/PapadakisAP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ksem/AntoniouBDGGGKKKKLPPTTZ07, author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolaos Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis}, editor = {Zili Zhang and J{\"{o}}rg H. Siekmann}, title = {Proof Explanation for the Semantic Web Using Defeasible Logic}, booktitle = {Knowledge Science, Engineering and Management, Second International Conference, {KSEM} 2007, Melbourne, Australia, November 28-30, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4798}, pages = {186--197}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76719-0\_21}, doi = {10.1007/978-3-540-76719-0\_21}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ksem/AntoniouBDGGGKKKKLPPTTZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/odbis/KonstantinidisFAC07, author = {George Konstantinidis and Giorgos Flouris and Grigoris Antoniou and Vassilis Christophides}, editor = {Vassilis Christophides and Martine Collard and Claudio Gutierrez}, title = {On {RDF/S} Ontology Evolution}, booktitle = {Semantic Web, Ontologies and Databases, {VLDB} Workshop, {SWDB-ODBIS} 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5005}, pages = {21--42}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-70960-2\_2}, doi = {10.1007/978-3-540-70960-2\_2}, timestamp = {Thu, 10 Nov 2022 07:36:26 +0100}, biburl = {https://dblp.org/rec/conf/odbis/KonstantinidisFAC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BassiliadesAG07, author = {Nick Bassiliades and Grigoris Antoniou and Guido Governatori}, editor = {Massimo Marchiori and Jeff Z. Pan and Christian de Sainte Marie}, title = {Proof Explanation in the {DR-DEVICE} System}, booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR} 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4524}, pages = {249--258}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72982-2\_19}, doi = {10.1007/978-3-540-72982-2\_19}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/BassiliadesAG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/KontopoulosBA07, author = {Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou}, editor = {Massimo Marchiori and Jeff Z. Pan and Christian de Sainte Marie}, title = {A Visualization Algorithm for Defeasible Logic Rule Bases over {RDF} Data}, booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR} 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4524}, pages = {367--369}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72982-2\_33}, doi = {10.1007/978-3-540-72982-2\_33}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rr/KontopoulosBA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uic/PatkosBAPP07, author = {Theodore Patkos and Antonis Bikakis and Grigoris Antoniou and Maria Papadopouli and Dimitris Plexousakis}, editor = {Jadwiga Indulska and Jianhua Ma and Laurence Tianruo Yang and Theo Ungerer and Jiannong Cao}, title = {A Semantics-Based Framework for Context-Aware Services: Lessons Learned and Challenges}, booktitle = {Ubiquitous Intelligence and Computing, 4th International Conference, {UIC} 2007, Hong Kong, China, July 11-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4611}, pages = {839--848}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73549-6\_82}, doi = {10.1007/978-3-540-73549-6\_82}, timestamp = {Wed, 31 Jan 2024 08:24:33 +0100}, biburl = {https://dblp.org/rec/conf/uic/PatkosBAPP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ais/AntoniouBBNO07, author = {Grigoris Antoniou and Matteo Baldoni and Piero A. Bonatti and Wolfgang Nejdl and Daniel Olmedilla}, editor = {Ting Yu and Sushil Jajodia}, title = {Rule-based Policy Specification}, booktitle = {Secure Data Management in Decentralized Systems}, series = {Advances in Information Security}, volume = {33}, pages = {169--216}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-0-387-27696-0\_6}, doi = {10.1007/978-0-387-27696-0\_6}, timestamp = {Mon, 04 Apr 2022 16:00:08 +0200}, biburl = {https://dblp.org/rec/series/ais/AntoniouBBNO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rweb/2007, editor = {Grigoris Antoniou and Uwe A{\ss}mann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula{-}Lavinia Patranjan and Robert Tolksdorf}, title = {Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {4636}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74615-7}, doi = {10.1007/978-3-540-74615-7}, isbn = {978-3-540-74613-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rweb/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/hhl/AntoniouW07, author = {Grigoris Antoniou and Kewen Wang}, editor = {Dov M. Gabbay and John Woods}, title = {Default logic}, booktitle = {The Many Valued and Nonmonotonic Turn in Logic}, series = {Handbook of the History of Logic}, volume = {8}, pages = {517--555}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/S1874-5857(07)80011-2}, doi = {10.1016/S1874-5857(07)80011-2}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/hhl/AntoniouW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/PapadakisAP06, author = {Nikos Papadakis and Grigoris Antoniou and Dimitris Plexousakis}, title = {The ramification problem in temporal databases: Changing beliefs about the past}, journal = {Data Knowl. Eng.}, volume = {59}, number = {2}, pages = {397--434}, year = {2006}, url = {https://doi.org/10.1016/j.datak.2005.09.003}, doi = {10.1016/J.DATAK.2005.09.003}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dke/PapadakisAP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/Antoniou06, author = {Grigoris Antoniou}, title = {Defeasible reasoning: {A} discussion of some intuitions}, journal = {Int. J. Intell. Syst.}, volume = {21}, number = {6}, pages = {545--558}, year = {2006}, url = {https://doi.org/10.1002/int.20147}, doi = {10.1002/INT.20147}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijis/Antoniou06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijswis/BassiliadesAV06, author = {Nick Bassiliades and Grigoris Antoniou and Ioannis P. Vlahavas}, title = {A Defeasible Logic Reasoner for the Semantic Web}, journal = {Int. J. Semantic Web Inf. Syst.}, volume = {2}, number = {1}, pages = {1--41}, year = {2006}, url = {https://doi.org/10.4018/jswis.2006010101}, doi = {10.4018/JSWIS.2006010101}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijswis/BassiliadesAV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AntoniouBGM06, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Embedding defeasible logic into logic programming}, journal = {Theory Pract. Log. Program.}, volume = {6}, number = {6}, pages = {703--735}, year = {2006}, url = {https://doi.org/10.1017/S1471068406002778}, doi = {10.1017/S1471068406002778}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/AntoniouBGM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aswc/KontopoulosBA06, author = {Efstratios Kontopoulos and Nick Bassiliades and Grigoris Antoniou}, editor = {Riichiro Mizoguchi and Zhongzhi Shi and Fausto Giunchiglia}, title = {Visualizing Defeasible Logic Rules for the Semantic Web}, booktitle = {The Semantic Web - {ASWC} 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4185}, pages = {278--292}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11836025\_28}, doi = {10.1007/11836025\_28}, timestamp = {Mon, 28 Aug 2023 21:17:42 +0200}, biburl = {https://dblp.org/rec/conf/aswc/KontopoulosBA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppswr/DamasioAAW06, author = {Carlos Viegas Dam{\'{a}}sio and Anastasia Analyti and Grigoris Antoniou and Gerd Wagner}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and James Bailey and Wolfgang May and Uta Schwertel}, title = {Supporting Open and Closed World Reasoning on the Web}, booktitle = {Principles and Practice of Semantic Web Reasoning, 4th International Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4187}, pages = {149--163}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11853107\_11}, doi = {10.1007/11853107\_11}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppswr/DamasioAAW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/FlourisPA06, author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou}, editor = {Jir{\'{\i}} Wiedermann and Gerard Tel and Jaroslav Pokorn{\'{y}} and M{\'{a}}ria Bielikov{\'{a}} and Julius Stuller}, title = {Evolving Ontology Evolution}, booktitle = {{SOFSEM} 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Mer{\'{\i}}n, Czech Republic, January 21-27, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3831}, pages = {14--29}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11611257\_2}, doi = {10.1007/11611257\_2}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/FlourisPA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stairs/FlourisPA06, author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou}, editor = {Loris Penserini and Pavlos Peppas and Anna Perini}, title = {On Generalizing the {AGM} Postulates}, booktitle = {{STAIRS} 2006 - Proceedings of the Third Starting {AI} Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {142}, pages = {132--143}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1876}, timestamp = {Tue, 13 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stairs/FlourisPA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/swap/FlourisPA06, author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou}, editor = {Giovanni Tummarello and Paolo Bouquet and Oreste Signore}, title = {A Classification of Ontology Change}, booktitle = {{SWAP} 2006 - Semantic Web Applications and Perspectives, Proceedings of the 3rd Italian Semantic Web Workshop, Scuola Normale Superiore, Pisa, Italy, 18-20 December, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {201}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-201/03.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:20 +0100}, biburl = {https://dblp.org/rec/conf/swap/FlourisPA06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/setn/2006, editor = {Grigoris Antoniou and George Potamias and Costas Spyropoulos and Dimitris Plexousakis}, title = {Advances in Artificial Intelligence, 4th Helenic Conference on AI, {SETN} 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3955}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11752912}, doi = {10.1007/11752912}, isbn = {3-540-34117-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setn/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijwet/WagnerDA05, author = {Gerd Wagner and Carlos Viegas Dam{\'{a}}sio and Grigoris Antoniou}, title = {Towards a general web rule language}, journal = {Int. J. Web Eng. Technol.}, volume = {2}, number = {2/3}, pages = {181--206}, year = {2005}, url = {https://doi.org/10.1504/IJWET.2005.008483}, doi = {10.1504/IJWET.2005.008483}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijwet/WagnerDA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ws/AntoniouB05, author = {Grigoris Antoniou and Harold Boley}, title = {Preface}, journal = {J. Web Semant.}, volume = {3}, number = {1}, pages = {3--4}, year = {2005}, url = {https://doi.org/10.1016/j.websem.2005.05.005}, doi = {10.1016/J.WEBSEM.2005.05.005}, timestamp = {Tue, 29 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/AntoniouB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BikakisA05, author = {Antonis Bikakis and Grigoris Antoniou}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, title = {DR-Prolog: {A} System for Reasoning with Rules and Ontologies on the Semantic Web}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}}, pages = {1594--1595}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2005}, url = {http://www.aaai.org/Library/AAAI/2005/sa05-006.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BikakisA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FlourisPA05, author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou}, editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter}, title = {Updating DLs Using the {AGM} Theory: {A} Preliminary Study}, booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005}, series = {{CEUR} Workshop Proceedings}, volume = {147}, publisher = {CEUR-WS.org}, year = {2005}, url = {https://ceur-ws.org/Vol-147/26-Flouris.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FlourisPA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eee/SkylogiannisABG05, author = {Thomas Skylogiannis and Grigoris Antoniou and Nick Bassiliades and Guido Governatori}, title = {{DR-NEGOTIATE} - {A} System for Automated Agent Negotiation with Defeasible Logic-Based Strategies}, booktitle = {2005 {IEEE} International Conference on e-Technology, e-Commerce, and e-Services {(EEE} 2005), 29 March - 1 April 2005, Hong Kong, China}, pages = {44--49}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/EEE.2005.61}, doi = {10.1109/EEE.2005.61}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eee/SkylogiannisABG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eee/AntoniouSBB05, author = {Grigoris Antoniou and Thomas Skylogiannis and Antonis Bikakis and Nick Bassiliades}, title = {{DR-BROKERING} - {A} Defeasible Logic-Based System for Semantic Brokering}, booktitle = {2005 {IEEE} International Conference on e-Technology, e-Commerce, and e-Services {(EEE} 2005), 29 March - 1 April 2005, Hong Kong, China}, pages = {414--417}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/EEE.2005.60}, doi = {10.1109/EEE.2005.60}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eee/AntoniouSBB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/AntoniouSBB05, author = {Grigoris Antoniou and Thomas Skylogiannis and Antonis Bikakis and Nick Bassiliades}, editor = {Rajiv Khosla and Robert J. Howlett and Lakhmi C. Jain}, title = {A Deductive Semantic Brokering System}, booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, {KES} 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {3682}, pages = {746--752}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11552451\_102}, doi = {10.1007/11552451\_102}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kes/AntoniouSBB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pci/BassiliadesKAV05, author = {Nick Bassiliades and Efstratios Kontopoulos and Grigoris Antoniou and Ioannis P. Vlahavas}, editor = {Panayiotis Bozanis and Elias N. Houstis}, title = {A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web}, booktitle = {Advances in Informatics, 10th Panhellenic Conference on Informatics, {PCI} 2005, Volos, Greece, November 11-13, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3746}, pages = {404--414}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11573036\_38}, doi = {10.1007/11573036\_38}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/pci/BassiliadesKAV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/WangATS05, author = {Kewen Wang and Grigoris Antoniou and Rodney W. Topor and Abdul Sattar}, editor = {Asaf Adi and Suzette Stoutenburg and Said Tabet}, title = {Merging and Aligning Ontologies in dl-Programs}, booktitle = {Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3791}, pages = {160--171}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11580072\_13}, doi = {10.1007/11580072\_13}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/WangATS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BassiliadesKA05, author = {Nick Bassiliades and Efstratios Kontopoulos and Grigoris Antoniou}, editor = {Asaf Adi and Suzette Stoutenburg and Said Tabet}, title = {A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web}, booktitle = {Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3791}, pages = {172--186}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11580072\_14}, doi = {10.1007/11580072\_14}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/BassiliadesKA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/AntoniouFH05, author = {Grigoris Antoniou and Enrico Franconi and Frank van Harmelen}, editor = {Norbert Eisinger and Jan Maluszynski}, title = {Introduction to Semantic Web Ontology Languages}, booktitle = {Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {3564}, pages = {1--21}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11526988\_1}, doi = {10.1007/11526988\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rweb/AntoniouFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/AnalytiADW05, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'{a}}sio and Gerd Wagner}, editor = {Yolanda Gil and Enrico Motta and V. Richard Benjamins and Mark A. Musen}, title = {Stable Model Theory for Extended {RDF} Ontologies}, booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference, {ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3729}, pages = {21--36}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11574620\_5}, doi = {10.1007/11574620\_5}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/AnalytiADW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/FlourisPA05, author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou}, editor = {Yolanda Gil and Enrico Motta and V. Richard Benjamins and Mark A. Musen}, title = {On Applying the {AGM} Theory to DLs and {OWL}}, booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference, {ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3729}, pages = {216--231}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11574620\_18}, doi = {10.1007/11574620\_18}, timestamp = {Tue, 07 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/FlourisPA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/idea/encyclopedia2005/AntoniouCP05, author = {Grigoris Antoniou and Vassilis Christophides and Dimitris Plexousakis}, editor = {Mehdi Khosrow{-}Pour}, title = {Semantic Web Fundamentals}, booktitle = {Encyclopedia of Information Science and Technology {(5} Volumes)}, pages = {2464--2468}, publisher = {Idea Group}, year = {2005}, url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=14635}, timestamp = {Sun, 09 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/idea/encyclopedia2005/AntoniouCP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0511055, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Embedding Defeasible Logic into Logic Programming}, journal = {CoRR}, volume = {abs/cs/0511055}, year = {2005}, url = {http://arxiv.org/abs/cs/0511055}, eprinttype = {arXiv}, eprint = {cs/0511055}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511055.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0011076, author = {Grigoris Antoniou and Frank van Harmelen}, title = {A semantic web primer}, publisher = {{MIT} Press}, year = {2004}, isbn = {978-0-262-01210-2}, timestamp = {Thu, 07 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0011076.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/Antoniou04, author = {Grigoris Antoniou}, title = {Defeasible logic with dynamic priorities}, journal = {Int. J. Intell. Syst.}, volume = {19}, number = {5}, pages = {463--472}, year = {2004}, url = {https://doi.org/10.1002/int.20008}, doi = {10.1002/INT.20008}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijis/Antoniou04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jitt/AntoniouSBB05, author = {Grigoris Antoniou and Thomas Skylogiannis and Antonis Bikakis and Nick Bassiliades}, title = {A Semantic Brokering System for the Tourism Domain}, journal = {J. Inf. Technol. Tour.}, volume = {7}, number = {3-4}, pages = {183--200}, year = {2004}, url = {https://doi.org/10.3727/109830505774297274}, doi = {10.3727/109830505774297274}, timestamp = {Thu, 10 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jitt/AntoniouSBB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/GovernatoriMAB04, author = {Guido Governatori and Michael J. Maher and Grigoris Antoniou and David Billington}, title = {Argumentation Semantics for Defeasible Logic}, journal = {J. Log. Comput.}, volume = {14}, number = {5}, pages = {675--702}, year = {2004}, url = {https://doi.org/10.1093/logcom/14.5.675}, doi = {10.1093/LOGCOM/14.5.675}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/GovernatoriMAB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/AntoniouBW04, author = {Grigoris Antoniou and Antonis Bikakis and Gerd Wagner}, title = {A Defeasible Logic Programming System for the Web}, booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}}, pages = {756--757}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ICTAI.2004.6}, doi = {10.1109/ICTAI.2004.6}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/AntoniouBW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nmr/FlourisPA04, author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou}, editor = {James P. Delgrande and Torsten Schaub}, title = {Generalizing the {AGM} postulates: preliminary results and applications}, booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004), Whistler, Canada, June 6-8, 2004, Proceedings}, pages = {171--179}, year = {2004}, url = {http://www.pims.math.ca/science/2004/NMR/papers/paper23.pdf}, timestamp = {Mon, 21 Jun 2004 10:11:59 +0200}, biburl = {https://dblp.org/rec/conf/nmr/FlourisPA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppswr/BassiliadesAV04, author = {Nick Bassiliades and Grigoris Antoniou and Ioannis P. Vlahavas}, editor = {Hans J{\"{u}}rgen Ohlbach and Sebastian Schaffert}, title = {{DR-DEVICE:} {A} Defeasible Logic System for the Semantic Web}, booktitle = {Principles and Practice of Semantic Web Reasoning, Second International Workshop, {PPSWR} 2004, St. Malo, France, September 6-10, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3208}, pages = {134--148}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30122-6\_10}, doi = {10.1007/978-3-540-30122-6\_10}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/ppswr/BassiliadesAV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/AntoniouBW04, author = {Grigoris Antoniou and Antonis Bikakis and Gerd Wagner}, editor = {Grigoris Antoniou and Harold Boley}, title = {A System for Nonmonotonic Rules on the Web}, booktitle = {Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3323}, pages = {23--36}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30504-0\_3}, doi = {10.1007/978-3-540-30504-0\_3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/AntoniouBW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BassiliadesAV04, author = {Nick Bassiliades and Grigoris Antoniou and Ioannis P. Vlahavas}, editor = {Grigoris Antoniou and Harold Boley}, title = {A Defeasible Logic Reasoner for the Semantic Web}, booktitle = {Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3323}, pages = {49--64}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30504-0\_5}, doi = {10.1007/978-3-540-30504-0\_5}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/BassiliadesAV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/WangBBA04, author = {Kewen Wang and David Billington and Jeff Blee and Grigoris Antoniou}, editor = {Grigoris Antoniou and Harold Boley}, title = {Combining Description Logic and Defeasible Logic for the Semantic Web}, booktitle = {Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3323}, pages = {170--181}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30504-0\_13}, doi = {10.1007/978-3-540-30504-0\_13}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/WangBBA04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/SkylogiannisAB04, author = {Thomas Skylogiannis and Grigoris Antoniou and Nick Bassiliades}, editor = {Grigoris Antoniou and Harold Boley}, title = {A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report}, booktitle = {Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3323}, pages = {205--214}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30504-0\_18}, doi = {10.1007/978-3-540-30504-0\_18}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/SkylogiannisAB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setn/Antoniou04, author = {Grigoris Antoniou}, editor = {George A. Vouros and Themis Panayiotopoulos}, title = {A Discussion of Some Intuitions of Defeasible Reasoning}, booktitle = {Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, {SETN} 2004, Samos, Greece, May 5-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3025}, pages = {311--320}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24674-9\_33}, doi = {10.1007/978-3-540-24674-9\_33}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/setn/Antoniou04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webi/WagnerATB04, author = {Gerd Wagner and Grigoris Antoniou and Said Tabet and Harold Boley}, title = {The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework}, booktitle = {2004 {IEEE/WIC/ACM} International Conference on Web Intelligence {(WI} 2004), 20-24 September 2004, Beijing, China}, pages = {628--631}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/WI.2004.10036}, doi = {10.1109/WI.2004.10036}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/webi/WagnerATB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/staabS2004/AntoniouH04, author = {Grigoris Antoniou and Frank van Harmelen}, editor = {Steffen Staab and Rudi Studer}, title = {Web Ontology Language: {OWL}}, booktitle = {Handbook on Ontologies}, series = {International Handbooks on Information Systems}, pages = {67--92}, publisher = {Springer}, year = {2004}, timestamp = {Tue, 30 Mar 2004 08:01:55 +0200}, biburl = {https://dblp.org/rec/books/sp/staabS2004/AntoniouH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2004, editor = {Grigoris Antoniou and Harold Boley}, title = {Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3323}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b102922}, doi = {10.1007/B102922}, isbn = {3-540-23842-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/Antoniou03, author = {Grigoris Antoniou}, title = {Nonmonotonic Rules for the Semantic Web}, journal = {K{\"{u}}nstliche Intell.}, volume = {17}, number = {3}, pages = {16}, year = {2003}, url = {http://www.kuenstliche-intelligenz.de/Artikel/NonmonotonicRulesfortheSemanticWeb.htm}, timestamp = {Fri, 27 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ki/Antoniou03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/krdb/FlourisPA03, author = {Giorgos Flouris and Dimitris Plexousakis and Grigoris Antoniou}, editor = {Fran{\c{c}}ois Bry and Carsten Lutz and Ulrike Sattler and Mareike Schoop}, title = {On a Unifying Framework for Comparing Knowledge Representation Schemes}, booktitle = {Proceedings of the 10th International Workshop on Knowledge Representation meets Databases {(KRDB} 2003), Hamburg, Germany, September 15-16, 2003}, series = {{CEUR} Workshop Proceedings}, volume = {79}, publisher = {CEUR-WS.org}, year = {2003}, url = {https://ceur-ws.org/Vol-79/flouris.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:34 +0100}, biburl = {https://dblp.org/rec/conf/krdb/FlourisPA03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/AntoniouW03, author = {Grigoris Antoniou and Gerd Wagner}, editor = {Michael Schroeder and Gerd Wagner}, title = {Rules and Defeasible Reasoning on the Semantic Web}, booktitle = {Rules and Rule Markup Languages for the Semantic Web, Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2876}, pages = {111--120}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39715-1\_8}, doi = {10.1007/978-3-540-39715-1\_8}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/AntoniouW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/Antoniou02, author = {Grigoris Antoniou}, title = {On the dynamics of default reasoning}, journal = {Int. J. Intell. Syst.}, volume = {17}, number = {12}, pages = {1143--1155}, year = {2002}, url = {https://doi.org/10.1002/int.10065}, doi = {10.1002/INT.10065}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijis/Antoniou02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/Antoniou02, author = {Grigoris Antoniou}, editor = {Frank van Harmelen}, title = {Defeasible Logic with Dynamic Priorities}, booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002}, pages = {521--525}, publisher = {{IOS} Press}, year = {2002}, timestamp = {Mon, 03 Jan 2022 07:50:19 +0100}, biburl = {https://dblp.org/rec/conf/ecai/Antoniou02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/AntoniouM02, author = {Grigoris Antoniou and Michael J. Maher}, editor = {Peter J. Stuckey}, title = {Embedding Defeasible Logic into Logic Programs}, booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2401}, pages = {393--404}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45619-8\_27}, doi = {10.1007/3-540-45619-8\_27}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/AntoniouM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nmr/Antoniou02, author = {Grigoris Antoniou}, editor = {Salem Benferhat and Enrico Giunchiglia}, title = {Defeasible logic with dynamic priorities}, booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002), April 19-21, Toulouse, France, Proceedings}, pages = {84--90}, year = {2002}, timestamp = {Fri, 02 Jul 2004 15:43:11 +0200}, biburl = {https://dblp.org/rec/conf/nmr/Antoniou02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rml/Antoniou02, author = {Grigoris Antoniou}, editor = {Michael Schroeder and Gerd Wagner}, title = {A Nonmonotonic Rule System using Ontologies}, booktitle = {RuleML 2002, Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, 14 June 2002, Sardinia, Italy (In conjunction with the First International Semantic Web Conference {ISWC2002} and hosted by {SIG2} of the OntoWeb Network}, series = {{CEUR} Workshop Proceedings}, volume = {60}, publisher = {CEUR-WS.org}, year = {2002}, url = {https://ceur-ws.org/Vol-60/grigoris.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:32 +0100}, biburl = {https://dblp.org/rec/conf/rml/Antoniou02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/AntoniouA02, author = {Grigoris Antoniou and M. Arief}, editor = {Gary B. Lamont and Hisham Haddad and George A. Papadopoulos and Brajendra Panda}, title = {Executable declarative business rules and their use in electronic commerce}, booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain}, pages = {6--10}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/508791.508794}, doi = {10.1145/508791.508794}, timestamp = {Tue, 06 Nov 2018 11:06:47 +0100}, biburl = {https://dblp.org/rec/conf/sac/AntoniouA02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/Antoniou02, author = {Grigoris Antoniou}, editor = {Ian Horrocks and James A. Hendler}, title = {Nonmonotonic Rule Systems on Top of Ontology Layers}, booktitle = {The Semantic Web - {ISWC} 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2342}, pages = {394--398}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-48005-6\_30}, doi = {10.1007/3-540-48005-6\_30}, timestamp = {Tue, 12 Apr 2022 14:46:29 +0200}, biburl = {https://dblp.org/rec/conf/semweb/Antoniou02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/MaherRABM01, author = {Michael J. Maher and Andrew Rock and Grigoris Antoniou and David Billington and Tristan Miller}, title = {Efficient Defeasible Reasoning Systems}, journal = {Int. J. Artif. Intell. Tools}, volume = {10}, number = {4}, pages = {483--501}, year = {2001}, url = {https://doi.org/10.1142/S0218213001000623}, doi = {10.1142/S0218213001000623}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/MaherRABM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isafm/AntoniouA01, author = {Grigoris Antoniou and M. Arief}, title = {Executable declarative business rules and their use in electronic commerce}, journal = {Intell. Syst. Account. Finance Manag.}, volume = {10}, number = {4}, pages = {211--223}, year = {2001}, url = {https://doi.org/10.1002/isaf.206}, doi = {10.1002/ISAF.206}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isafm/AntoniouA01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/AntoniouBGM01, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Representation results for defeasible logic}, journal = {{ACM} Trans. Comput. Log.}, volume = {2}, number = {2}, pages = {255--287}, year = {2001}, url = {https://doi.org/10.1145/371316.371517}, doi = {10.1145/371316.371517}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/AntoniouBGM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/AntoniouB01, author = {Grigoris Antoniou and David Billington}, editor = {Markus Stumptner and Dan Corbett and Michael J. Brooks}, title = {Relating Defeasible and Default Logic}, booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2256}, pages = {13--24}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45656-2\_2}, doi = {10.1007/3-540-45656-2\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/AntoniouB01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/AntoniouK00, author = {Grigoris Antoniou and Athanasios Kehagias}, title = {A note on the refinement of ontologies}, journal = {Int. J. Intell. Syst.}, volume = {15}, number = {7}, pages = {623--632}, year = {2000}, url = {https://doi.org/10.1002/(SICI)1098-111X(200007)15:7\&\#60;623::AID-INT3\&\#62;3.0.CO;2-C}, doi = {10.1002/(SICI)1098-111X(200007)15:7\&\#60;623::AID-INT3\&\#62;3.0.CO;2-C}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijis/AntoniouK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/AntoniouM00, author = {Grigoris Antoniou and Cara MacNish}, title = {Conservative extension concepts for nonmonotonic knowledge bases}, journal = {Int. J. Intell. Syst.}, volume = {15}, number = {9}, pages = {859--877}, year = {2000}, url = {https://doi.org/10.1002/1098-111X(200009)15:9\&\#60;859::AID-INT3\&\#62;3.0.CO;2-E}, doi = {10.1002/1098-111X(200009)15:9\&\#60;859::AID-INT3\&\#62;3.0.CO;2-E}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijis/AntoniouM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/AntoniouMB00, author = {Grigoris Antoniou and Michael J. Maher and David Billington}, title = {Defeasible Logic versus Logic Programming without Negation as Failure}, journal = {J. Log. Program.}, volume = {42}, number = {1}, pages = {47--57}, year = {2000}, url = {https://doi.org/10.1016/S0743-1066(99)00060-6}, doi = {10.1016/S0743-1066(99)00060-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/AntoniouMB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/AntoniouBGM00, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, editor = {Henry A. Kautz and Bruce W. Porter}, title = {A Flexible Framework for Defeasible Logics}, booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}}, pages = {405--410}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2000}, url = {http://www.aaai.org/Library/AAAI/2000/aaai00-062.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/AntoniouBGM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/AntoniouBGMR00, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher and Andrew Rock}, editor = {Werner Horn}, title = {A Family of Defeasible Reasoning Logics and its Implementation}, booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000}, pages = {459--463}, publisher = {{IOS} Press}, year = {2000}, timestamp = {Mon, 30 Jun 2003 10:55:01 +0200}, biburl = {https://dblp.org/rec/conf/ecai/AntoniouBGMR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/MaherRABM00, author = {Michael J. Maher and Andrew Rock and Grigoris Antoniou and David Billington and Tristan Miller}, title = {Efficient defeasible reasoning systems}, booktitle = {12th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada}, pages = {384--392}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/TAI.2000.889898}, doi = {10.1109/TAI.2000.889898}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/MaherRABM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/irma/AntoniouA00, author = {Grigoris Antoniou and M. Arief}, editor = {Mehdi Khosrowpour}, title = {Modelling business rules using defeasible logic}, booktitle = {Challenges of Information Technology Management in the 21st Century, 2000 Information Resources Management Association International Conference, Anchorage, Alaska, USA, May 21-24, 2000}, pages = {1020--1022}, publisher = {{IDEA} Group Publishing}, year = {2000}, timestamp = {Wed, 30 Aug 2006 11:04:01 +0200}, biburl = {https://dblp.org/rec/conf/irma/AntoniouA00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/GovernatoriMAB00, author = {Guido Governatori and Michael J. Maher and Grigoris Antoniou and David Billington}, editor = {Riichiro Mizoguchi and John K. Slaney}, title = {Argumentation Semantics for Defeasible Logics}, booktitle = {{PRICAI} 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1886}, pages = {27--37}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44533-1\_7}, doi = {10.1007/3-540-44533-1\_7}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pricai/GovernatoriMAB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0003013, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {A flexible framework for defeasible logics}, journal = {CoRR}, volume = {cs.AI/0003013}, year = {2000}, url = {https://arxiv.org/abs/cs/0003013}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0003082, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Representation results for defeasible logic}, journal = {CoRR}, volume = {cs.LO/0003082}, year = {2000}, url = {https://arxiv.org/abs/cs/0003082}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0003082.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/Antoniou99, author = {Grigoris Antoniou}, title = {A tutorial on default logics}, journal = {{ACM} Comput. Surv.}, volume = {31}, number = {4}, pages = {337--359}, year = {1999}, url = {https://doi.org/10.1145/344588.344602}, doi = {10.1145/344588.344602}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/Antoniou99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/AntoniouM99, author = {Grigoris Antoniou and Neil V. Murray}, title = {Logical Methods for Computational Intelligence (Guest Editorial)}, journal = {Inf. Sci.}, volume = {116}, number = {1}, pages = {1--2}, year = {1999}, url = {https://doi.org/10.1016/S0020-0255(98)10091-9}, doi = {10.1016/S0020-0255(98)10091-9}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/AntoniouM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/GhoseAGS99, author = {Aditya Ghose and Grigoris Antoniou and Randy Goebel and Abdul Sattar}, title = {Connections Between Default Reasoning and Partial Constraint Satisfaction}, journal = {Inf. Sci.}, volume = {117}, number = {3-4}, pages = {177--190}, year = {1999}, url = {https://doi.org/10.1016/S0020-0255(99)00006-7}, doi = {10.1016/S0020-0255(99)00006-7}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isci/GhoseAGS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Antoniou99, author = {Grigoris Antoniou}, title = {Splitting Finite Default Theories: {A} Comparison of Two Approaches}, journal = {J. Log. Lang. Inf.}, volume = {8}, number = {2}, pages = {205--216}, year = {1999}, url = {https://doi.org/10.1023/A:1008251012187}, doi = {10.1023/A:1008251012187}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Antoniou99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/PlantA99, author = {Robert Plant and Grigoris Antoniou}, title = {Special issue on verification and validation}, journal = {Knowl. Based Syst.}, volume = {12}, number = {1-2}, pages = {1--2}, year = {1999}, url = {https://doi.org/10.1016/S0950-7051(99)00011-8}, doi = {10.1016/S0950-7051(99)00011-8}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/PlantA99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsqaru/Antoniou99, author = {Grigoris Antoniou}, editor = {Anthony Hunter and Simon Parsons}, title = {On the Dynamics of Default Reasoning}, booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1638}, pages = {1--10}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48747-6\_1}, doi = {10.1007/3-540-48747-6\_1}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecsqaru/Antoniou99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/AntoniouBM99, author = {Grigoris Antoniou and David Billington and Michael J. Maher}, title = {On the Analysis of Regulations using Defeasible Rules}, booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, {USA}}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/HICSS.1999.772631}, doi = {10.1109/HICSS.1999.772631}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/AntoniouBM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/AntoniouG99, author = {Grigoris Antoniou and Aditya Ghose}, title = {What Is Default Reasoning Good For? Applications Revisited}, booktitle = {32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, {USA}}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/HICSS.1999.772632}, doi = {10.1109/HICSS.1999.772632}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/AntoniouG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/imsa/AntoniouMMK99, author = {Grigoris Antoniou and Fumihiro Maruyama and Ryusuke Masuoka and Hironobu Kitajima}, editor = {Borko Furht}, title = {Issues in Intelligent Information Integration}, booktitle = {Internet, Multimedia Systems and Applications, {IMSA} 1999, October 18-21, 1999, Nassau, The Bahamas}, pages = {345--349}, publisher = {{IASTED/ACTA} Press}, year = {1999}, timestamp = {Sun, 28 Jul 2019 13:40:03 +0200}, biburl = {https://dblp.org/rec/conf/imsa/AntoniouMMK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BillingtonAGM99, author = {David Billington and Grigoris Antoniou and Guido Governatori and Michael J. Maher}, editor = {Wolfram Burgard and Thomas Christaller and Armin B. Cremers}, title = {Revising Nonmonotonic Theories: The Case of Defeasible Logic}, booktitle = {{KI-99:} Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1701}, pages = {101--112}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48238-5\_8}, doi = {10.1007/3-540-48238-5\_8}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ki/BillingtonAGM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/AntoniouMBG99, author = {Grigoris Antoniou and Michael J. Maher and David Billington and Guido Governatori}, editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer}, title = {A Comparison of Sceptical NAF-Free Logic Programming Approaches}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1730}, pages = {347--356}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46767-X\_25}, doi = {10.1007/3-540-46767-X\_25}, timestamp = {Sun, 02 Oct 2022 16:11:19 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/AntoniouMBG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/AntoniouHPV98, author = {Grigoris Antoniou and Frank van Harmelen and Robert Plant and Jan Vanthienen}, title = {Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events}, journal = {{AI} Mag.}, volume = {19}, number = {3}, pages = {123--126}, year = {1998}, url = {https://doi.org/10.1609/aimag.v19i3.1400}, doi = {10.1609/AIMAG.V19I3.1400}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/AntoniouHPV98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/air/AntoniouS98, author = {Grigoris Antoniou and Volker Sperschneider}, title = {Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic}, journal = {Artif. Intell. Rev.}, volume = {12}, number = {6}, pages = {431--443}, year = {1998}, url = {https://doi.org/10.1023/A:1006516126932}, doi = {10.1023/A:1006516126932}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/air/AntoniouS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/Antoniou98, author = {Grigoris Antoniou}, title = {Stratification for default logic variants}, journal = {Int. J. Intell. Syst.}, volume = {13}, number = {9}, pages = {785--799}, year = {1998}, url = {https://doi.org/10.1002/(SICI)1098-111X(199809)13:9\&\#60;785::AID-INT1\&\#62;3.0.CO;2-E}, doi = {10.1002/(SICI)1098-111X(199809)13:9\&\#60;785::AID-INT1\&\#62;3.0.CO;2-E}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijis/Antoniou98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/Antoniou98, author = {Grigoris Antoniou}, title = {The Role of Nonmonotonic Representations in Requirements Engineering}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {8}, number = {3}, pages = {385--399}, year = {1998}, url = {https://doi.org/10.1142/S0218194098000212}, doi = {10.1142/S0218194098000212}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/Antoniou98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jetai/AntoniouOT98, author = {Grigoris Antoniou and Tyrone O'Neill and Joe Thurbon}, title = {Studying properties of classes of default logics}, journal = {J. Exp. Theor. Artif. Intell.}, volume = {10}, number = {4}, pages = {495--505}, year = {1998}, url = {https://doi.org/10.1080/095281398146725}, doi = {10.1080/095281398146725}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jetai/AntoniouOT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jetai/Antoniou98, author = {Grigoris Antoniou}, title = {A note on the cumulativity of justified default logic}, journal = {J. Exp. Theor. Artif. Intell.}, volume = {10}, number = {4}, pages = {507--509}, year = {1998}, url = {https://doi.org/10.1080/095281398146734}, doi = {10.1080/095281398146734}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jetai/Antoniou98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/Antoniou98, author = {Grigoris Antoniou}, title = {A tutorial on default reasoning}, journal = {Knowl. Eng. Rev.}, volume = {13}, number = {3}, pages = {225--246}, year = {1998}, url = {https://doi.org/10.1017/S0269888998002136}, doi = {10.1017/S0269888998002136}, timestamp = {Thu, 27 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/Antoniou98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/MaherAB98, author = {Michael J. Maher and Grigoris Antoniou and David Billington}, editor = {Grigoris Antoniou and John K. Slaney}, title = {A Study of Provability in Defeasible Logic}, booktitle = {Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia, July 13-17, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1502}, pages = {215--226}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0095054}, doi = {10.1007/BFB0095054}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/MaherAB98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/AntoniouBM98, author = {Grigoris Antoniou and David Billington and Michael J. Maher}, editor = {Joxan Jaffar}, title = {Normal Forms for Defeasible Logic}, booktitle = {Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998}, pages = {160--174}, publisher = {{MIT} Press}, year = {1998}, timestamp = {Mon, 02 Dec 2013 17:40:44 +0100}, biburl = {https://dblp.org/rec/conf/iclp/AntoniouBM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/AntoniouW98, author = {Grigoris Antoniou and Mary{-}Anne Williams}, title = {Revising default theories}, booktitle = {Tenth {IEEE} International Conference on Tools with Artificial Intelligence, {ICTAI} '98, Taipei, Taiwan, November 10-12, 1998}, pages = {423--430}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/TAI.1998.744881}, doi = {10.1109/TAI.1998.744881}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/AntoniouW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/AntoniouJ98, author = {Grigoris Antoniou and Oliver Jack}, title = {Testing production system programs}, booktitle = {Ninth International Symposium on Software Reliability Engineering, {ISSRE} 1998, Paderborn, Germany, November 4-7, 1998}, pages = {214--221}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/ISSRE.1998.730884}, doi = {10.1109/ISSRE.1998.730884}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/AntoniouJ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/WilliamsA98, author = {Mary{-}Anne Williams and Grigoris Antoniou}, editor = {Anthony G. Cohn and Lenhart K. Schubert and Stuart C. Shapiro}, title = {A Strategy for Revising Default Theory Extensions}, booktitle = {Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998}, pages = {24--35}, publisher = {Morgan Kaufmann}, year = {1998}, timestamp = {Tue, 20 Jun 2023 09:03:42 +0200}, biburl = {https://dblp.org/rec/conf/kr/WilliamsA98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ausai/1998, editor = {Grigoris Antoniou and John K. Slaney}, title = {Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia, July 13-17, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1502}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0095035}, doi = {10.1007/BFB0095035}, isbn = {3-540-65138-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ausai/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pricai/1996w, editor = {Grigoris Antoniou and Aditya Ghose and Miroslaw Truszczynski}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {1359}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-64413-X}, doi = {10.1007/3-540-64413-X}, isbn = {3-540-64413-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pricai/1996w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0013609, author = {Grigoris Antoniou and Mary{-}Anne Williams}, title = {Nonmonotonic reasoning}, publisher = {{MIT} Press}, year = {1997}, isbn = {978-0-262-01157-0}, timestamp = {Tue, 12 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0013609.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijis/Antoniou97, author = {Grigoris Antoniou}, title = {Verification and correctness issues for nonmonotonic knowledge bases}, journal = {Int. J. Intell. Syst.}, volume = {12}, number = {10}, pages = {725--738}, year = {1997}, url = {https://doi.org/10.1002/(SICI)1098-111X(199710)12:10\&\#60;725::AID-INT2\&\#62;3.0.CO;2-\%23}, doi = {10.1002/(SICI)1098-111X(199710)12:10\&\#60;725::AID-INT2\&\#62;3.0.CO;2-\%23}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijis/Antoniou97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/AntoniouW97, author = {Grigoris Antoniou and Mary{-}Anne Williams}, title = {Reasoning with Incomplete and Changing Information: The {CIN} Project}, journal = {Inf. Sci.}, volume = {99}, number = {1-2}, pages = {83--99}, year = {1997}, url = {https://doi.org/10.1016/S0020-0255(96)00269-1}, doi = {10.1016/S0020-0255(96)00269-1}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/AntoniouW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/AntoniouL97, author = {Grigoris Antoniou and Elmar Langetepe}, title = {A Correct Logic Programming Computation of Default Logic Extensions}, journal = {J. Autom. Reason.}, volume = {18}, number = {1}, pages = {25--46}, year = {1997}, url = {https://doi.org/10.1023/A:1005771523328}, doi = {10.1023/A:1005771523328}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/AntoniouL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/AntoniouM97, author = {Grigoris Antoniou and Neil V. Murray}, title = {Logical methods for computational intelligence}, journal = {Knowl. Eng. Rev.}, volume = {12}, number = {4}, pages = {407--409}, year = {1997}, url = {https://doi.org/10.1017/S0269888997003056}, doi = {10.1017/S0269888997003056}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/AntoniouM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigcse/Antoniou97, author = {Grigoris Antoniou}, title = {A new methodology for teaching default reasoning}, journal = {{ACM} {SIGCSE} Bull.}, volume = {29}, number = {2}, pages = {35--38}, year = {1997}, url = {https://doi.org/10.1145/271042.274426}, doi = {10.1145/271042.274426}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigcse/Antoniou97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/Antoniou97, author = {Grigoris Antoniou}, editor = {Benjamin Kuipers and Bonnie L. Webber}, title = {A Comparison of Two Approaches to Splitting Default Theories}, booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island, {USA}}, pages = {424--429}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1997}, url = {http://www.aaai.org/Library/AAAI/1997/aaai97-065.php}, timestamp = {Tue, 05 Sep 2023 08:53:09 +0200}, biburl = {https://dblp.org/rec/conf/aaai/Antoniou97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ErnstA97, author = {J{\"{o}}rg Ernst and Grigoris Antoniou}, editor = {Benjamin Kuipers and Bonnie L. Webber}, title = {Stratification for Variants of Default Logic}, booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island, {USA}}, pages = {830}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1997}, url = {http://www.aaai.org/Library/AAAI/1997/aaai97-160.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ErnstA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/MacNishA97, author = {Cara MacNish and Grigoris Antoniou}, editor = {Abdul Sattar}, title = {Specification Morphisms for Nonmonotonic Knowledge Systems}, booktitle = {Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, {AI} '97, Perth, Australia, November 30 - December 4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1342}, pages = {246--254}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63797-4\_77}, doi = {10.1007/3-540-63797-4\_77}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/MacNishA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/Antoniou97, author = {Grigoris Antoniou}, editor = {Abdul Sattar}, title = {Representation Results for Default Logics}, booktitle = {Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, {AI} '97, Perth, Australia, November 30 - December 4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1342}, pages = {255--264}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63797-4\_78}, doi = {10.1007/3-540-63797-4\_78}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ausai/Antoniou97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/Antoniou97, author = {Grigoris Antoniou}, title = {Stratification: The Computational Base of a System for Default Reasoning}, booktitle = {9th International Conference on Tools with Artificial Intelligence, {ICTAI} '97, Newport Beach, CA, USA, November 3-8, 1997}, pages = {165}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/TAI.1997.632251}, doi = {10.1109/TAI.1997.632251}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/Antoniou97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pacis/BellucciAZ97, author = {Emilia Bellucci and Grigoris Antoniou and John Zeleznikow}, title = {Intelligent Computer Tools for Supporting Human Negotiation: System and Research}, booktitle = {The Third Pacific Asia Conference on Information Systems, {PACIS} 1997, Brisbane, Australia, April, 1-5, 1997}, pages = {18}, publisher = {AISeL}, year = {1997}, url = {http://aisel.aisnet.org/pacis1997/18}, timestamp = {Sat, 03 Mar 2012 13:54:18 +0100}, biburl = {https://dblp.org/rec/conf/pacis/BellucciAZ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/Antoniou96, author = {Grigoris Antoniou}, title = {Operational Characterization of Extensions in Some Logics for Default Reasoning}, journal = {Inf. Sci.}, volume = {89}, number = {3}, pages = {261--273}, year = {1996}, url = {https://doi.org/10.1016/0020-0255(95)00234-0}, doi = {10.1016/0020-0255(95)00234-0}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/Antoniou96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/Antoniou96, author = {Grigoris Antoniou}, title = {Integrity and rule checking in nonmonotonic knowledge bases}, journal = {Knowl. Based Syst.}, volume = {9}, number = {5}, pages = {301--306}, year = {1996}, url = {https://doi.org/10.1016/0950-7051(96)01038-6}, doi = {10.1016/0950-7051(96)01038-6}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/Antoniou96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CourtneyFA96, author = {Allen P. Courtney and Norman Y. Foo and Grigoris Antoniou}, editor = {William J. Clancey and Daniel S. Weld}, title = {Computing Default Logic Extensions: An Implementation}, booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume 2}, pages = {1381}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1996}, url = {http://www.aaai.org/Library/AAAI/1996/aaai96-232.php}, timestamp = {Tue, 05 Sep 2023 08:53:09 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CourtneyFA96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fapr/Antoniou96, author = {Grigoris Antoniou}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {A Comparative Survey of Default Logic Variants}, booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1085}, pages = {15--28}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61313-7\_60}, doi = {10.1007/3-540-61313-7\_60}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/fapr/Antoniou96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fapr/AntoniouW96, author = {Grigoris Antoniou and Mary{-}Anne Williams}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {Default Reasoning and Belief Revision in the {CIN} Project}, booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1085}, pages = {691--693}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61313-7\_110}, doi = {10.1007/3-540-61313-7\_110}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fapr/AntoniouW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/AntoniouW96, author = {Grigoris Antoniou and Mary{-}Anne Williams}, editor = {Nobuyoshi Terashima and Edward Altman}, title = {{CIN:} an intelligent information management toolkit}, booktitle = {Advanced {IT} Tools, {IFIP} World Conference on {IT} Tools, 2-6 September 1996, Canberra, Australia.}, pages = {395--401}, publisher = {Chapman {\&} Hall}, year = {1996}, timestamp = {Sun, 28 Jul 2019 13:03:48 +0200}, biburl = {https://dblp.org/rec/conf/ifip/AntoniouW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/AntoniouCEW96, author = {Grigoris Antoniou and Allen P. Courtney and J{\"{o}}rg Ernst and Mary{-}Anne Williams}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Lu{\'{\i}}s Moniz Pereira and Ewa Orlowska}, title = {A System for Computing Constrained Default Logic Extensions}, booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96, {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1126}, pages = {237--250}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61630-6\_16}, doi = {10.1007/3-540-61630-6\_16}, timestamp = {Sat, 19 Oct 2019 20:16:50 +0200}, biburl = {https://dblp.org/rec/conf/jelia/AntoniouCEW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/AntoniouW96, author = {Grigoris Antoniou and Mary{-}Anne Williams}, editor = {Grigoris Antoniou and Aditya Ghose and Miroslaw Truszczynski}, title = {Some approaches to reasoning with incomplete and changing information}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {1359}, pages = {9--44}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-64413-X\_26}, doi = {10.1007/3-540-64413-X\_26}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pricai/AntoniouW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/CourtneyAF96, author = {Allen P. Courtney and Grigoris Antoniou and Norman Y. Foo}, editor = {Norman Y. Foo and Randy Goebel}, title = {Exten: {A} System for Computing Default Logic Extensions}, booktitle = {PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1114}, pages = {471--482}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61532-6\_40}, doi = {10.1007/3-540-61532-6\_40}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/pricai/CourtneyAF96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/AntoniouMF96, author = {Grigoris Antoniou and Cara MacNish and Norman Y. Foo}, editor = {Norman Y. Foo and Randy Goebel}, title = {Conservative Expansion Concepts for Default Theories}, booktitle = {PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1114}, pages = {522--533}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61532-6\_44}, doi = {10.1007/3-540-61532-6\_44}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/AntoniouMF96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/AntoniouOT96, author = {Grigoris Antoniou and Tyrone O'Neill and Joe Thurbon}, editor = {Norman Y. Foo and Randy Goebel}, title = {Studying Properties of Classes of Default Logics - Preliminary Report}, booktitle = {PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1114}, pages = {558--569}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61532-6\_47}, doi = {10.1007/3-540-61532-6\_47}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/AntoniouOT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/Antoniou95, author = {Grigoris Antoniou}, editor = {Marco Gori and Giovanni Soda}, title = {Priorities in Default Logic Revisited}, booktitle = {Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {992}, pages = {152--162}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60437-5\_15}, doi = {10.1007/3-540-60437-5\_15}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aiia/Antoniou95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Antoniou95, author = {Grigoris Antoniou}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Verification and Correctness Issues for Nonmonotonic Knowledge Bases}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {141--153}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Tue, 19 Jun 2018 19:29:32 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/Antoniou95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/air/AntoniouS94, author = {Grigoris Antoniou and Volker Sperschneider}, title = {Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic}, journal = {Artif. Intell. Rev.}, volume = {8}, number = {1}, pages = {3--16}, year = {1994}, url = {https://doi.org/10.1007/BF00851348}, doi = {10.1007/BF00851348}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/air/AntoniouS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/AntoniouLS94, author = {Grigoris Antoniou and Elmar Langetepe and Volker Sperschneider}, title = {New Proofs in Default Logic Theory}, journal = {Ann. Math. Artif. Intell.}, volume = {12}, number = {3-4}, pages = {215--229}, year = {1994}, url = {https://doi.org/10.1007/BF01530786}, doi = {10.1007/BF01530786}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/AntoniouLS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Antoniou94, author = {Grigoris Antoniou}, title = {The Verification of Modules}, journal = {Formal Aspects Comput.}, volume = {6}, number = {2}, pages = {223--244}, year = {1994}, url = {https://doi.org/10.1007/BF01221100}, doi = {10.1007/BF01221100}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Antoniou94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/AntoniouL94, author = {Grigoris Antoniou and Elmar Langetepe}, title = {Applying SLD-resolution to a class of non-Horn logic programs}, journal = {Bull. {IGPL}}, volume = {2}, number = {2}, pages = {229--241}, year = {1994}, url = {https://doi.org/10.1093/jigpal/2.2.229}, doi = {10.1093/JIGPAL/2.2.229}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/igpl/AntoniouL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijait/Antoniou94, author = {Grigoris Antoniou}, title = {Logic Programming and Default Logic}, journal = {Int. J. Artif. Intell. Tools}, volume = {3}, number = {3}, pages = {367--374}, year = {1994}, url = {https://doi.org/10.1142/S0218213094000194}, doi = {10.1142/S0218213094000194}, timestamp = {Tue, 12 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijait/Antoniou94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/Antoniou94, author = {Grigoris Antoniou}, title = {Modularity and Correctness for Logic Programs and Knowledge Bases}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {4}, number = {2}, pages = {257--275}, year = {1994}, url = {https://doi.org/10.1142/S0218194094000131}, doi = {10.1142/S0218194094000131}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/Antoniou94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/AntoniouW94, author = {Grigoris Antoniou and Ipke Wachsmuth}, title = {Structuring and modules for knowledge bases: motivation for a new model}, journal = {Knowl. Based Syst.}, volume = {7}, number = {1}, pages = {49--51}, year = {1994}, url = {https://doi.org/10.1016/0950-7051(94)90014-0}, doi = {10.1016/0950-7051(94)90014-0}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/AntoniouW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/AntoniouL94, author = {Grigoris Antoniou and Elmar Langetepe}, editor = {Barbara Hayes{-}Roth and Richard E. Korf}, title = {Soundness and Completeness of a Logic Programming Approach to Default Logic}, booktitle = {Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 2}, pages = {934--939}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1994}, url = {http://www.aaai.org/Library/AAAI/1994/aaai94-143.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/AntoniouL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/Antoniou93, author = {Grigoris Antoniou}, editor = {Pietro Torasso}, title = {Abstract properties for the choice provability relation in nonmonotonic logics}, booktitle = {Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {728}, pages = {35--40}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57292-9\_39}, doi = {10.1007/3-540-57292-9\_39}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aiia/Antoniou93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/Antoniou93, author = {Grigoris Antoniou}, editor = {Miguel Filgueiras and Lu{\'{\i}}s Damas}, title = {Version Space Algorithms on Hierarchies with Exceptions}, booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {727}, pages = {136--149}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57287-2\_43}, doi = {10.1007/3-540-57287-2\_43}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/epia/Antoniou93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/AntoniouL93, author = {Grigoris Antoniou and Elmar Langetepe}, editor = {Miguel Filgueiras and Lu{\'{\i}}s Damas}, title = {A Process Model for Default Logic and Its Realization in Logic Programming}, booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {727}, pages = {213--225}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57287-2\_49}, doi = {10.1007/3-540-57287-2\_49}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/AntoniouL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/AntoniouS93, author = {Grigoris Antoniou and Volker Sperschneider}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {On the Verification of Modular Logical Knowledge Bases}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, {EUROVAV} '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain}, pages = {117--128}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Mon, 16 Nov 2020 08:57:08 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/AntoniouS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/AntoniouLS93, author = {Grigoris Antoniou and Elmar Langetepe and Volker Sperschneider}, editor = {Andrei Voronkov}, title = {Computing Extensions of Default Logic - Preliminary Report}, booktitle = {Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {698}, pages = {19--27}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56944-8\_38}, doi = {10.1007/3-540-56944-8\_38}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AntoniouLS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scai/AntoniouS93, author = {Grigoris Antoniou and Volker Sperschneider}, editor = {Erik Sandewall and Carl Gustaf Jansson}, title = {Computing Extensions of Nonmonotonic Logics}, booktitle = {Fourth Scandinavian Conference on Artificial Intelligence, {SCAI} 1993, Stockholm, Sweden, May 4-7, 1993}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {18}, pages = {20--29}, publisher = {{IOS} Press}, year = {1993}, timestamp = {Mon, 05 Aug 2019 17:00:40 +0200}, biburl = {https://dblp.org/rec/conf/scai/AntoniouS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Antoniou93, author = {Grigoris Antoniou}, title = {Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules}, booktitle = {SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}}, pages = {183--190}, publisher = {Knowledge Systems Institute}, year = {1993}, timestamp = {Wed, 21 Feb 2007 11:27:24 +0100}, biburl = {https://dblp.org/rec/conf/seke/Antoniou93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aimsa/Antoniou92, author = {Grigoris Antoniou}, editor = {Benedict du Boulay and Vassil Stoyanov Sgurev}, title = {Logical Approaches to Structured Knowledge Bases}, booktitle = {Artificial Intelligence {V:} Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, {AIMSA} 1992, Sofia, Bulgaria, September 21-24, 1992}, pages = {47--56}, publisher = {North-Holland}, year = {1992}, timestamp = {Thu, 16 Mar 2017 14:36:24 +0100}, biburl = {https://dblp.org/rec/conf/aimsa/Antoniou92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/AntoniouS92, author = {Grigoris Antoniou and Volker Sperschneider}, editor = {Krysia Broda}, title = {Modularity for Logic Programs}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {97--107}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_6}, doi = {10.1007/978-1-4471-3421-3\_6}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/AntoniouS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Antoniou92, author = {Grigoris Antoniou}, title = {Modularity for Logical Knowledge Bases}, booktitle = {SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy}, pages = {87--93}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/SEKE.1992.227943}, doi = {10.1109/SEKE.1992.227943}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Antoniou92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0066710, author = {Volker Sperschneider and Grigoris Antoniou}, title = {Logic - a foundation for computer science}, series = {International Computer Science Series}, publisher = {Addison-Wesley}, year = {1991}, isbn = {978-0-201-56514-0}, timestamp = {Thu, 07 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0066710.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Antoniou89, author = {Grigoris Antoniou}, title = {{\"{U}}ber die Verifikation modularer Programme}, school = {University of Osnabr{\"{u}}ck, Germany}, year = {1989}, url = {https://d-nb.info/900995823}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Antoniou89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ki/Antoniou89, author = {Grigoris Antoniou}, title = {Bericht {\"{u}}ber den Workshop "Verifikation, Konstruktion und Synthese von Programmen"}, journal = {K{\"{u}}nstliche Intell.}, volume = {3}, number = {3}, pages = {23--24}, year = {1989}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ki/Antoniou89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/AntoniouS89, author = {Grigoris Antoniou and Volker Sperschneider}, editor = {Egon B{\"{o}}rger and Hans Kleine B{\"{u}}ning and Michael M. Richter}, title = {On the Verification of Modules}, booktitle = {{CSL} '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {440}, pages = {16--35}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-52753-2\_30}, doi = {10.1007/3-540-52753-2\_30}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/AntoniouS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/AntoniouO83, author = {Grigoris Antoniou and Hans J{\"{u}}rgen Ohlbach}, editor = {Alan Bundy}, title = {{TERMINATOR}}, booktitle = {Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983}, pages = {916--919}, publisher = {William Kaufmann}, year = {1983}, url = {http://ijcai.org/Proceedings/83-2/Papers/071.pdf}, timestamp = {Tue, 20 Aug 2019 16:18:54 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/AntoniouO83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.