Grigoris Antoniou

Giorgos Flouris, George Konstantinidis, Grigoris Antoniou, Vassilis Christophides: Formal foundations for RDF/S KB evolution. Knowl. Inf. Syst. 35(1): 153-191 (2013)

Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey: Large-scale Parallel Stratified Defeasible Reasoning. ECAI 2012: 738-743

Grigoris Antoniou: Formal Foundations for RDF Evolution and Repair. ICTERI 2012: 12

Maria Koutraki, Vasilis Efthymiou, Grigoris Antoniou: S-CRETA: Smart Classroom Real-Time Assistance. ISAmI 2012: 67-74

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

Grigoris Antoniou, Thomas Eiter, Kewen Wang: Forgetting for Defeasible Logic. LPAR 2012: 77-91

Vassilis Papakonstantinou, Maria Michou, Irini Fundulaki, Giorgos Flouris, Grigoris Antoniou: Access control for RDF graphs using abstract models. SACMAT 2012: 103-112

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Provenance for SPARQL Queries. International Semantic Web Conference (1) 2012: 625-640

Raul Garcia-Castro, Dieter Fensel, Grigoris Antoniou (Eds.): The Semantic Web: ESWC 2011 Workshops - ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7117, Springer 2012, isbn 978-3-642-25952-4

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Provenance for SPARQL queries. CoRR abs/1209.0378 (2012)

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

Irini Genitsaridi, Antonis Bikakis, Grigoris Antoniou: DEAL: A Distributed Authorization Language for Ambient Intelligence. IJACI 3(4): 9-24 (2011)

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

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

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

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

Antonis Bikakis, Grigoris Antoniou: Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(4): 705-716 (2011)

Grigoris Antoniou, Mathieu d'Aquin, Jeff Z. Pan: Semantic Web dynamics. J. Web Sem. 9(3): 245-246 (2011)

Chrysi Filippaki, Grigoris Antoniou, Ioannis Tsamardinos: Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition. AmI 2011: 51-60

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

Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades: Reasoning and Proofing Services for Semantic Web Agents. IJCAI 2011: 2662-2667

Antonis Bikakis, Grigoris Antoniou: Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. LPNMR 2011: 193-198

Grigoris Antoniou: Rule-Based Activity Recognition in Ambient Intelligence. RuleML Europe 2011: 1

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

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Modularity in the Rule Interchange Format. RuleML Europe 2011: 313-328

Grigoris Antoniou, Marko Grobelnik, Elena Paslaru Bontas Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan (Eds.): The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6643, Springer 2011, isbn 978-3-642-21033-4

Grigoris Antoniou, Marko Grobelnik, Elena Paslaru Bontas Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan (Eds.): The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6644, Springer 2011, isbn 978-3-642-21063-1

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Extended RDF as a Semantic Foundation of Rule Markup Languages. CoRR abs/1111.0055 (2011)

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

Antonis Bikakis, Grigoris Antoniou: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Trans. Knowl. Data Eng. 22(11): 1492-1506 (2010)

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

Grigoris Antoniou, Antonis Bikakis, Constantinos Papatheodorou: Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. ADBIS 2010: 1-12

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Implementing Simple Modular ERDF ontologies. ECAI 2010: 1083-1084

Giorgos Flouris, Irini Fundulaki, Maria Michou, Grigoris Antoniou: Controlling Access to RDF Graphs. FIS 2010: 107-117

Constantinos Papatheodorou, Grigoris Antoniou, Antonis Bikakis: On the Deployment of Contextual Reasoning in Ambient Intelligence Environments. Intelligent Environments 2010: 13-18

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

Antonis Bikakis, Grigoris Antoniou: Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications. OTM Workshops 2010: 89

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Embeddings of Simple Modular Extended RDF. RR 2010: 204-212

Antonis Bikakis, Grigoris Antoniou: Rule-Based Contextual Reasoning in Ambient Intelligence. RuleML 2010: 74-88

Theodore Patkos, Ioannis Chrysakis, Antonis Bikakis, Dimitris Plexousakis, Grigoris Antoniou: A Reasoning Framework for Ambient Intelligence. SETN 2010: 213-222

Yannis Tzitzikas, Yannis Marketakis, Grigoris Antoniou: Task-Based Dependency Management for the Preservation of Digital Objects Using Rules. SETN 2010: 265-274

Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache (Eds.): The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part I. Lecture Notes in Computer Science 6088, Springer 2010, isbn 978-3-642-13485-2

Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache (Eds.): The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6089, Springer 2010, isbn 978-3-642-13488-3

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

Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Myron Papadakis, Katerina Boutsika: A Tool for Addressing the Ramification Problem in Temporal Databases. International Journal on Artificial Intelligence Tools 18(4): 589-601 (2009)

Manolis Kritsotakis, Maria Michou, Emmanouil Nikoloudakis, Antonis Bikakis, Theodore Patkos, Grigoris Antoniou, Dimitris Plexousakis: Design and implementation of a semantics-based Contextual Navigation Guide for Indoor Environments. JAISE 1(3): 261-285 (2009)

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

Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou: Uniform Interpolation for ALC\mathcal{ALC} Revisited. Australasian Conference on Artificial Intelligence 2009: 528-537

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

Antonis Bikakis, Grigoris Antoniou, Panayiotis Hassapis: Alternative Strategies for Conflict Resolution in Multi-Context Systems. AIAI 2009: 31-40

Antonis Bikakis, Grigoris Antoniou: Contextual Argumentation in Ambient Intelligence. LPNMR 2009: 30-43

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

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226

Kewen Wang, Zhe Wang, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou: Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies. International Semantic Web Conference 2009: 666-681

Grigoris Antoniou, Dimitris Plexousakis: Semantic Web. Encyclopedia of Database Systems 2009: 2579-2583

Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis: Proof explanation for a nonmonotonic Semantic Web rules language. Data Knowl. Eng. 64(3): 662-687 (2008)

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

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou, Anna Seridou: Visual Modeling of Defeasible Logic Rules with Dr-VisMO. International Journal on Artificial Intelligence Tools 17(5): 903-924 (2008)

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

Giorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, Grigoris Antoniou: Ontology change: classification and survey. Knowledge Eng. Review 23(2): 117-152 (2008)

Antonis Bikakis, Grigoris Antoniou: Distributed Reasoning with Conflicts in a Multi-Context Framework. AAAI 2008: 1778-1779

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

Antonis Bikakis, Grigoris Antoniou: Distributed Defeasible Contextual Reasoning in Ambient Computing. AmI 2008: 308-325

George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: A Formal Approach for RDF/S Ontology Evolution. ECAI 2008: 70-74

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Computability and Complexity Issues of Extended RDF. ECAI 2008: 733-734

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

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

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

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: On the Computability and Complexity Issues of Extended RDF. PRICAI 2008: 5-16

Antonis Bikakis, Grigoris Antoniou: Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. RR 2008: 234-235

Antonis Bikakis, Grigoris Antoniou: Local and Distributed Defeasible Reasoning in Multi-Context Systems. RuleML 2008: 135-149

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

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori: A system for modal and deontic defeasible reasoning. SAC 2008: 2261-2265

Grigoris Antoniou, Antonis Bikakis, Polyvios Damianakis, Mixalhs Foukarakis, Giorgos Iacovidis, Marianna Karmazi, Haridimos Kondylakis, Antreas Makridakis, Giorgos Nikiforos, Grigoris Papadourakis, Manolis Papoutsakis, Aggeliki Psyharaki, Giorgos Stratakis, Panagiotis Tourlakis, Petros Tsialiamanis, Giorgos Vasiliadis, Gerd Wagner, Dimitris Velegrakis: A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. SETN 2008: 26-37

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

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

Grigoris Antoniou, Antonis Bikakis, Anna Karamolegou, Nikos Papachristodoulou, Manolis Stratakis: A context-aware meeting alert using semantic web and rule technology. IJMSO 2(3): 147-156 (2007)

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

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

Nikos Dimaresis, Grigoris Antoniou: Implementing Modal Extensions of Defeasible Logic for the Semantic Web. AAAI 2007: 1848-1849

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

Antonis Bikakis, Grigoris Antoniou: Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting. AmI Workshops 2007: 24-33

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori: A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence 2007: 609-613

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

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

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

Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis: Proof Explanation for the Semantic Web Using Defeasible Logic. KSEM 2007: 186-197

George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: On RDF/S Ontology Evolution. SWDB-ODBIS 2007: 21-42

Nick Bassiliades, Grigoris Antoniou, Guido Governatori: Proof Explanation in the DR-DEVICE System. RR 2007: 249-258

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. RR 2007: 367-369

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

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

Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf (Eds.): Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures. Lecture Notes in Computer Science 4636, Springer 2007, isbn 978-3-540-74613-3

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

Grigoris Antoniou: Defeasible reasoning: A discussion of some intuitions. Int. J. Intell. Syst. 21(6): 545-558 (2006)

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

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: Visualizing Defeasible Logic Rules for the Semantic Web. ASWC 2006: 278-292

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner: Supporting Open and Closed World Reasoning on the Web. PPSWR 2006: 149-163

Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: Evolving Ontology Evolution. SOFSEM 2006: 14-29

Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On Generalizing the AGM Postulates. STAIRS 2006: 132-143

Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: A Classification of Ontology Change. SWAP 2006

Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis (Eds.): Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings. Lecture Notes in Computer Science 3955, Springer 2006, isbn 3-540-34117-X

Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3): 181-206 (2005)

Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades: A Semantic Brokering System for the Tourism Domain. J. of IT & Tourism 7(3-4): 183-200 (2005)

Grigoris Antoniou, Harold Boley: Preface. J. Web Sem. 3(1): 3-4 (2005)

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

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

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

Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades: DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering. EEE 2005: 414-417

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

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

Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171

Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou: A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. RuleML 2005: 172-186

Grigoris Antoniou, Enrico Franconi, Frank van Harmelen: Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Stable Model Theory for Extended RDF Ontologies. International Semantic Web Conference 2005: 21-36

Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On Applying the AGM Theory to DLs and OWL. International Semantic Web Conference 2005: 216-231

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

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming. CoRR abs/cs/0511055 (2005)

Grigoris Antoniou, Frank van Harmelen: A semantic web primer. MIT Press 2004, isbn 978-0-262-01210-2, pp. I-XX, 1-238

Grigoris Antoniou: Defeasible logic with dynamic priorities. Int. J. Intell. Syst. 19(5): 463-472 (2004)

Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)

Grigoris Antoniou, Frank van Harmelen: Web Ontology Language: OWL. Handbook on Ontologies 2004: 67-92

Grigoris Antoniou, Antonis Bikakis, Gerd Wagner: A Defeasible Logic Programming System for the Web. ICTAI 2004: 756-757

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

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

Grigoris Antoniou, Antonis Bikakis, Gerd Wagner: A System for Nonmonotonic Rules on the Web. RuleML 2004: 23-36

Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas: A Defeasible Logic Reasoner for the Semantic Web. RuleML 2004: 49-64

Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181

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

Grigoris Antoniou: A Discussion of Some Intuitions of Defeasible Reasoning. SETN 2004: 311-320

Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley: The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence 2004: 628-631

Grigoris Antoniou, Harold Boley (Eds.): Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. Lecture Notes in Computer Science 3323, Springer 2004, isbn 3-540-23842-5

Grigoris Antoniou: Nonmonotonic Rules for the Semantic Web. KI 17(3): 16- (2003)

Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On a Unifying Framework for Comparing Knowledge Representation Schemes. KRDB 2003

Grigoris Antoniou, Gerd Wagner: Rules and Defeasible Reasoning on the Semantic Web. RuleML 2003: 111-120

Grigoris Antoniou: On the dynamics of default reasoning. Int. J. Intell. Syst. 17(12): 1143-1155 (2002)

Grigoris Antoniou: Defeasible Logic with Dynamic Priorities. ECAI 2002: 521-525

Grigoris Antoniou, Michael J. Maher: Embedding Defeasible Logic into Logic Programs. ICLP 2002: 393-404

Grigoris Antoniou: Defeasible logic with dynamic priorities. NMR 2002: 84-90

Grigoris Antoniou: A Nonmonotonic Rule System using Ontologies. RuleML 2002

Grigoris Antoniou, M. Arief: Executable declarative business rules and their use in electronic commerce. SAC 2002: 6-10

Grigoris Antoniou: Nonmonotonic Rule Systems on Top of Ontology Layers. International Semantic Web Conference 2002: 394-398

Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools 10(4): 483-501 (2001)

Grigoris Antoniou, M. Arief: Executable declarative business rules and their use in electronic commerce. Int. Syst. in Accounting, Finance and Management 10(4): 211-223 (2001)

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

Grigoris Antoniou, David Billington: Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence 2001: 13-24

Grigoris Antoniou, Cara MacNish: Conservative extension concepts for nonmonotonic knowledge bases. Int. J. Intell. Syst. 15(9): 859-877 (2000)

Grigoris Antoniou, Michael J. Maher, David Billington: Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42(1): 47-57 (2000)

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410

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

Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient defeasible reasoning systems. ICTAI 2000: 384-392

Grigoris Antoniou, M. Arief: Modelling business rules using defeasible logic. IRMA Conference 2000: 1020-1022

Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics. CoRR cs.AI/0003013 (2000)

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic. CoRR cs.LO/0003082 (2000)

Grigoris Antoniou: A tutorial on default logics. ACM Comput. Surv. 31(4): 337-359 (1999)

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

Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999)

Grigoris Antoniou: Splitting Finite Default Theories: A Comparison of Two Approaches. Journal of Logic, Language and Information 8(2): 205-216 (1999)

Robert Plant, Grigoris Antoniou: Special issue on verification and validation. Knowl.-Based Syst. 12(1-2): 1-2 (1999)

Grigoris Antoniou: On the Dynamics of Default Reasoning. ESCQARU 1999: 1-10

Grigoris Antoniou, David Billington, Michael J. Maher: On the Analysis of Regulations using Defeasible Rules. HICSS 1999

Grigoris Antoniou, Aditya Ghose: What Is Default Reasoning Good For? Applications Revisited. HICSS 1999

Grigoris Antoniou, Fumihiro Maruyama, Ryusuke Masuoka, Hironobu Kitajima: Issues in Intelligent Information Integration. IMSA 1999: 345-349

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

Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356

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

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

Grigoris Antoniou: The Role of Nonmonotonic Representations in Requirements Engineering. International Journal of Software Engineering and Knowledge Engineering 8(3): 385-399 (1998)

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

Grigoris Antoniou: A note on the cumulativity of justified default logic. J. Exp. Theor. Artif. Intell. 10(4): 507-509 (1998)

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

Grigoris Antoniou, David Billington, Michael J. Maher: Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174

Mary-Anne Williams, Grigoris Antoniou: A Strategy for Revising Default Theory Extensions. KR 1998: 24-35

Grigoris Antoniou, John K. Slaney (Eds.): Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers. Lecture Notes in Computer Science 1502, Springer 1998, isbn 3-540-65138-1

Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski (Eds.): Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers. Lecture Notes in Computer Science 1359, Springer 1998, isbn 3-540-64413-X

Grigoris Antoniou, Mary-Anne Williams: Nonmonotonic reasoning. MIT Press 1997, isbn 978-0-262-01157-0, pp. I-XII, 1-285

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

Grigoris Antoniou, Elmar Langetepe: A Correct Logic Programming Computation of Default Logic Extensions. J. Autom. Reasoning 18(1): 25-46 (1997)

Grigoris Antoniou: A new methodology for teaching default reasoning. SIGCSE Bulletin 29(2): 35-38 (1997)

Grigoris Antoniou: A Comparison of Two Approaches to Splitting Default Theories. AAAI/IAAI 1997: 424-429

Jörg Ernst, Grigoris Antoniou: Stratification for Variants of Default Logic. AAAI/IAAI 1997: 830

Cara MacNish, Grigoris Antoniou: Specification Morphisms for Nonmonotonic Knowledge Systems. Australian Joint Conference on Artificial Intelligence 1997: 246-254

Grigoris Antoniou: Representation Results for Default Logics. Australian Joint Conference on Artificial Intelligence 1997: 255-264

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

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

Grigoris Antoniou: Operational Characterization of Extensions in Some Logics for Default Reasoning. Inf. Sci. 89(3): 261-273 (1996)

Grigoris Antoniou: Integrity and rule checking in nonmonotonic knowledge bases. Knowl.-Based Syst. 9(5): 301-306 (1996)

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

Grigoris Antoniou: A Comparative Survey of Default Logic Variants. FAPR 1996: 15-28

Grigoris Antoniou, Mary-Anne Williams: Default Reasoning and Belief Revision in the CIN Project. FAPR 1996: 691-693

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

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

Grigoris Antoniou, Mary-Anne Williams: Some approaches to reasoning with incomplete and changing information. PRICAI Workshops 1996: 9-44

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

Grigoris Antoniou, Cara MacNish, Norman Y. Foo: Conservative Expansion Concepts for Default Theories. PRICAI 1996: 522-533

Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon: Studying Properties of Classes of Default Logics - Preliminary Report. PRICAI 1996: 558-569

Grigoris Antoniou: Priorities in Default Logic Revisited. AI*IA 1995: 152-162

Grigoris Antoniou: Verification and Correctness Issues for Nonmonotonic Knowledge Bases. EUROVAV 1995: 141-153

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

Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider: New Proofs in Default Logic Theory. Ann. Math. Artif. Intell. 12(3-4): 215-229 (1994)

Grigoris Antoniou: The Verification of Modules. Formal Asp. Comput. 6(2): 223-244 (1994)

Grigoris Antoniou, Elmar Langetepe: Applying SLD-resolution to a class of non-Horn logic programs. Bulletin of the IGPL 2(2): 229-241 (1994)

Grigoris Antoniou: Modularity and Correctness for Logic Programs and Knowledge Bases. International Journal of Software Engineering and Knowledge Engineering 4(2): 257-275 (1994)

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

Grigoris Antoniou, Elmar Langetepe: Soundness and Completeness of a Logic Programming Approach to Default Logic. AAAI 1994: 934-939

Grigoris Antoniou: Abstract properties for the choice provability relation in nonmonotonic logics. AI*IA 1993: 35-40

Grigoris Antoniou: Version Space Algorithms on Hierarchies with Exceptions. EPIA 1993: 136-149

Grigoris Antoniou, Elmar Langetepe: A Process Model for Default Logic and Its Realization in Logic Programming. EPIA 1993: 213-225

Grigoris Antoniou, Volker Sperschneider: On the Verification of Modular Logical Knowledge Bases. EUROVAV 1993: 117-128

Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider: Computing Extensions of Default Logic - Preliminary Report. LPAR 1993: 19-27

Grigoris Antoniou, Volker Sperschneider: Computing Extensions of Nonmonotonic Logics. SCAI 1993: 20-29

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

Grigoris Antoniou: Logical Approaches to Structured Knowledge Bases. AIMSA 1992: 47-56

Grigoris Antoniou, Volker Sperschneider: Modularity for Logic Programs. ALPUK 1992: 97-107

Grigoris Antoniou: Modularity for Logical Knowledge Bases. SEKE 1992: 87-93

Volker Sperschneider, Grigoris Antoniou: Logic - a foundation for computer science. International Computer Science Series, Addison-Wesley 1991, isbn 978-0-201-56514-0, pp. I-XII, 1-495

Grigoris Antoniou: Bericht über den Workshop ``Verifikation, Konstruktion und Synthese von Programmen''. KI 3(3): 23-24 (1989)

Grigoris Antoniou, Volker Sperschneider: On the Verification of Modules. CSL 1989: 16-35

Grigoris Antoniou, Hans Jürgen Ohlbach: TERMINATOR. IJCAI 1983: 916-919