Grigoris Antoniou Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
209Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaul Garcia-Castro, Dieter Fensel, Grigoris Antoniou: The Semantic Web: ESWC 2011 Workshops - ESWC 2011 Workshops, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers Springer 2012
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Thomas Eiter, Kewen Wang: Forgetting for Defeasible Logic. LPAR 2012: 77-91
2011
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Marko Grobelnik, Elena Paslaru Bontas Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan: The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I Springer 2011
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Marko Grobelnik, Elena Paslaru Bontas Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan: The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II Springer 2011
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChrysi Filippaki, Grigoris Antoniou, Ioannis Tsamardinos: Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition. AmI 2011: 51-60
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMax Ostrowski, Giorgos Flouris, Torsten Schaub, Grigoris Antoniou: Evolution of Ontologies using ASP. ICLP (Technical Communications) 2011: 16-27
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades: Reasoning and Proofing Services for Semantic Web Agents. IJCAI 2011: 2662-2667
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic. LPNMR 2011: 193-198
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Rule-Based Activity Recognition in Ambient Intelligence. RuleML Europe 2011: 1
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKalliopi 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
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Modularity in the Rule Interchange Format. RuleML Europe 2011: 313-328
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia 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)
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Extended RDF as a Semantic Foundation of Rule Markup Languages CoRR abs/1111.0055: (2011)
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis 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)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrini Genitsaridi, Antonis Bikakis, Grigoris Antoniou: DEAL: A Distributed Authorization Language for Ambient Intelligence. IJACI 3(4): 9-24 (2011)
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios 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)
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Mathieu d'Aquin, Jeff Z. Pan: Semantic Web dynamics. J. Web Sem. 9(3): 245-246 (2011)
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou, Panayiotis Hassapis: Strategies for contextual reasoning with conflicts in ambient intelligence. Knowl. Inf. Syst. 27(1): 45-84 (2011)
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios 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)
2010
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache: The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part I Springer 2010
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache: The Semantic Web: Research and Applications, 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II Springer 2010
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Antonis Bikakis, Constantinos Papatheodorou: Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. ADBIS 2010: 1-12
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Implementing Simple Modular ERDF ontologies. ECAI 2010: 1083-1084
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Irini Fundulaki, Maria Michou, Grigoris Antoniou: Controlling Access to RDF Graphs. FIS 2010: 107-117
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis: Reasoning about Context in Ambient Intelligence Environments: A Report from the Field. KR 2010
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Defeasible Contextual Reasoning in Ambient Intelligence: Theory and Applications. OTM Workshops 2010: 89
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Embeddings of Simple Modular Extended RDF. RR 2010: 204-212
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Rule-Based Contextual Reasoning in Ambient Intelligence. RuleML 2010: 74-88
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodore Patkos, Ioannis Chrysakis, Antonis Bikakis, Dimitris Plexousakis, Grigoris Antoniou: A Reasoning Framework for Ambient Intelligence. SETN 2010: 213-222
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Tzitzikas, Yannis Marketakis, Grigoris Antoniou: Task-Based Dependency Management for the Preservation of Digital Objects Using Rules. SETN 2010: 265-274
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1): 6 (2010)
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Defeasible Contextual Reasoning with Arguments in Ambient Intelligence. IEEE Trans. Knowl. Data Eng. 22(11): 1492-1506 (2010)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou: The ramification problem in temporal databases: Concurrent execution. Int. J. Intell. Syst. 25(4): 287-325 (2010)
2009
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou, Panayiotis Hassapis: Alternative Strategies for Conflict Resolution in Multi-Context Systems. AIAI 2009: 31-40
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe 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
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsterios 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
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKewen 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
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Contextual Argumentation in Ambient Intelligence. LPNMR 2009: 30-43
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikos 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
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Dimitris Plexousakis: Semantic Web. Encyclopedia of Database Systems 2009: 2579-2583
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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)
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikos 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)
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Mathieu d'Aquin, Grigoris Antoniou, Jeff Z. Pan, Dimitris Plexousakis: Special Issue on Ontology Dynamics. J. Log. Comput. 19(5): 717-719 (2009)
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManolis 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)
2008
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Distributed Reasoning with Conflicts in a Multi-Context Framework. AAAI 2008: 1778-1779
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManolis 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
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Distributed Defeasible Contextual Reasoning in Ambient Computing. AmI 2008: 308-325
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: A Formal Approach for RDF/S Ontology Evolution. ECAI 2008: 70-74
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Computability and Complexity Issues of Extended RDF. ECAI 2008: 733-734
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou: The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. ISMIS 2008: 381-388
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Principled Framework for Modular Web Rule Bases and Its Semantics. KR 2008: 390-400
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: On the Computability and Complexity Issues of Extended RDF. PRICAI 2008: 5-16
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. RR 2008: 234-235
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: Local and Distributed Defeasible Reasoning in Multi-Context Systems. RuleML 2008: 135-149
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades: Visualization of Proofs in Defeasible Logic. RuleML 2008: 197-210
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Nikos Dimaresis, Guido Governatori: A system for modal and deontic defeasible reasoning. SAC 2008: 2261-2265
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou: The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. SETN 2008: 345-351
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou: Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. Web Intelligence/IAT Workshops 2008: 626-629
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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)
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: Deploying defeasible logic rule bases for the semantic web. Data Knowl. Eng. 66(1): 116-146 (2008)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios 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)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia 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)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, Grigoris Antoniou: Ontology change: classification and survey. Knowledge Eng. Review 23(2): 117-152 (2008)
2007
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf: Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures Springer 2007
143no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikos Dimaresis, Grigoris Antoniou: Implementing Modal Extensions of Defeasible Logic for the Semantic Web. AAAI 2007: 1848-1849
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis: Distributed AI for Ambient Intelligence: Issues and Approaches. AmI 2007: 159-176
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Nikos Dimaresis, Guido Governatori: A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence 2007: 609-613
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: Visual Stratification of Defeasible Logic Rule Bases. ICTAI (2) 2007: 238-245
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis: The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. ICTAI (2) 2007: 274-278
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Bassiliades, Grigoris Antoniou, Guido Governatori: Proof Explanation in the DR-DEVICE System. RR 2007: 249-258
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. RR 2007: 367-369
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: On RDF/S Ontology Evolution. SWDB-ODBIS 2007: 21-42
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodore 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
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla: Rule-based Policy Specification. Secure Data Management in Decentralized Systems 2007: 169-216
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, Nick Bassiliades: DR-BROKERING: A semantic brokering system. Knowl.-Based Syst. 20(1): 61-72 (2007)
2006
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis: Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings Springer 2006
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: Visualizing Defeasible Logic Rules for the Semantic Web. ASWC 2006: 278-292
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner: Supporting Open and Closed World Reasoning on the Web. PPSWR 2006: 149-163
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: Evolving Ontology Evolution. SOFSEM 2006: 14-29
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On Generalizing the AGM Postulates. STAIRS 2006: 132-143
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: A Classification of Ontology Change. SWAP 2006
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis: The ramification problem in temporal databases: Changing beliefs about the past. Data Knowl. Eng. 59(2): 397-434 (2006)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Defeasible reasoning: A discussion of some intuitions. Int. J. Intell. Syst. 21(6): 545-558 (2006)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick 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)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)
2005
118no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis Bikakis, Grigoris Antoniou: DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. AAAI 2005: 1594-1595
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: Updating DLs Using the AGM Theory: A Preliminary Study. Description Logics 2005
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades: DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering. EEE 2005: 414-417
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori: DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. EEE 2005: 44-49
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Stable Model Theory for Extended RDF Ontologies. International Semantic Web Conference 2005: 21-36
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On Applying the AGM Theory to DLs and OWL. International Semantic Web Conference 2005: 216-231
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades: A Deductive Semantic Brokering System. KES (2) 2005: 746-752
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick 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
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Enrico Franconi, Frank van Harmelen: Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou: A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. RuleML 2005: 172-186
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Vassilis Christophides, Dimitris Plexousakis: Semantic Web Fundamentals. Encyclopedia of Information Science and Technology (V) 2005: 2464-2468
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming CoRR abs/cs/0511055: (2005)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3): 181-206 (2005)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Harold Boley: Preface. J. Web Sem. 3(1): 3-4 (2005)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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)
2004
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Frank van Harmelen: A semantic web primer. MIT Press 2004: I-XX, 1-238
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Harold Boley: Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings Springer 2004
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Antonis Bikakis, Gerd Wagner: A Defeasible Logic Programming System for the Web. ICTAI 2004: 756-757
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: Generalizing the AGM postulates: preliminary results and applications. NMR 2004: 171-179
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas: DR-DEVICE: A Defeasible Logic System for the Semantic Web. PPSWR 2004: 134-148
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKewen Wang, David Billington, Jeff Blee, Grigoris Antoniou: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades: A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report. RuleML 2004: 205-214
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Antonis Bikakis, Gerd Wagner: A System for Nonmonotonic Rules on the Web. RuleML 2004: 23-36
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas: A Defeasible Logic Reasoner for the Semantic Web. RuleML 2004: 49-64
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: A Discussion of Some Intuitions of Defeasible Reasoning. SETN 2004: 311-320
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley: The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence 2004: 628-631
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Frank van Harmelen: Web Ontology Language: OWL. Handbook on Ontologies 2004: 67-92
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Defeasible logic with dynamic priorities. Int. J. Intell. Syst. 19(5): 463-472 (2004)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
2003
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On a Unifying Framework for Comparing Knowledge Representation Schemes. KRDB 2003
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Gerd Wagner: Rules and Defeasible Reasoning on the Semantic Web. RuleML 2003: 111-120
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Nonmonotonic Rules for the Semantic Web. KI 17(3): 16- (2003)
2002
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Defeasible Logic with Dynamic Priorities. ECAI 2002: 521-525
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Michael J. Maher: Embedding Defeasible Logic into Logic Programs. ICLP 2002: 393-404
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Nonmonotonic Rule Systems on Top of Ontology Layers. International Semantic Web Conference 2002: 394-398
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Defeasible logic with dynamic priorities. NMR 2002: 84-90
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: A Nonmonotonic Rule System using Ontologies. RuleML 2002
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, M. Arief: Executable declarative business rules and their use in electronic commerce. SAC 2002: 6-10
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: On the dynamics of default reasoning. Int. J. Intell. Syst. 17(12): 1143-1155 (2002)
2001
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington: Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence 2001: 13-24
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
2000
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock: A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient defeasible reasoning systems. ICTAI 2000: 384-392
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, M. Arief: Modelling business rules using defeasible logic. IRMA Conference 2000: 1020-1022
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics CoRR cs.AI/0003013: (2000)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic CoRR cs.LO/0003082: (2000)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Cara MacNish: Conservative extension concepts for nonmonotonic knowledge bases. Int. J. Intell. Syst. 15(9): 859-877 (2000)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Michael J. Maher, David Billington: Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42(1): 47-57 (2000)
1999
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: On the Dynamics of Default Reasoning. ESCQARU 1999: 1-10
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Michael J. Maher: On the Analysis of Regulations using Defeasible Rules. HICSS 1999
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Aditya Ghose: What Is Default Reasoning Good For? Applications Revisited. HICSS 1999
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Fumihiro Maruyama, Ryusuke Masuoka, Hironobu Kitajima: Issues in Intelligent Information Integration. IMSA 1999: 345-349
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: A tutorial on default logics. ACM Comput. Surv. 31(4): 337-359 (1999)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Neil V. Murray: Logical Methods for Computational Intelligence (Guest Editorial). Inf. Sci. 116(1): 1-2 (1999)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Splitting Finite Default Theories: A Comparison of Two Approaches. Journal of Logic, Language and Information 8(2): 205-216 (1999)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Plant, Grigoris Antoniou: Special issue on verification and validation. Knowl.-Based Syst. 12(1-2): 1-2 (1999)
1998
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski: Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers Springer 1998
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, John K. Slaney: Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers Springer 1998
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Maher, Grigoris Antoniou, David Billington: A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998: 215-226
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, David Billington, Michael J. Maher: Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMary-Anne Williams, Grigoris Antoniou: A Strategy for Revising Default Theory Extensions. KR 1998: 24-35
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris 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)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Volker Sperschneider: Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. Artif. Intell. Rev. 12(6): 431-443 (1998)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: The Role of Nonmonotonic Representations in Requirements Engineering. International Journal of Software Engineering and Knowledge Engineering 8(3): 385-399 (1998)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Tyrone O'Neill, Joe Thurbon: Studying properties of classes of default logics. J. Exp. Theor. Artif. Intell. 10(4): 495-505 (1998)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: A note on the cumulativity of justified default logic. J. Exp. Theor. Artif. Intell. 10(4): 507-509 (1998)
1997
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Mary-Anne Williams: Nonmonotonic reasoning. MIT Press 1997: I-XII, 1-285
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: A Comparison of Two Approaches to Splitting Default Theories. AAAI/IAAI 1997: 424-429
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Ernst, Grigoris Antoniou: Stratification for Variants of Default Logic. AAAI/IAAI 1997: 830
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCara MacNish, Grigoris Antoniou: Specification Morphisms for Nonmonotonic Knowledge Systems. Australian Joint Conference on Artificial Intelligence 1997: 246-254
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Representation Results for Default Logics. Australian Joint Conference on Artificial Intelligence 1997: 255-264
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Stratification: The Computational Base of a System for Default Reasoning. ICTAI 1997: 165-
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmilia Bellucci, Grigoris Antoniou, John Zeleznikow: Intelligent Computer Tools for Supporting Human Negotiation: System and Research. PACIS 1997: 18
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Mary-Anne Williams: Reasoning with Incomplete and Changing Information: The CIN Project. Inf. Sci. 99(1-2): 83-99 (1997)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Elmar Langetepe: A Correct Logic Programming Computation of Default Logic Extensions. J. Autom. Reasoning 18(1): 25-46 (1997)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: A new methodology for teaching default reasoning. SIGCSE Bulletin 29(2): 35-38 (1997)
1996
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen P. Courtney, Norman Y. Foo, Grigoris Antoniou: Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 1996: 1381
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: A Comparative Survey of Default Logic Variants. FAPR 1996: 15-28
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Mary-Anne Williams: Default Reasoning and Belief Revision in the CIN Project. FAPR 1996: 691-693
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Mary-Anne Williams: CIN: an intelligent information management toolkit. IFIP World Conference on IT Tools 1996: 395-401
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams: A System for Computing Constrained Default Logic Extensions. JELIA 1996: 237-250
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen P. Courtney, Grigoris Antoniou, Norman Y. Foo: Exten: A System for Computing Default Logic Extensions. PRICAI 1996: 471-482
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Cara MacNish, Norman Y. Foo: Conservative Expansion Concepts for Default Theories. PRICAI 1996: 522-533
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Tyrone O'Neill, Joe Thurbon: Studying Properties of Classes of Default Logics - Preliminary Report. PRICAI 1996: 558-569
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Mary-Anne Williams: Some approaches to reasoning with incomplete and changing information. PRICAI Workshops 1996: 9-44
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Operational Characterization of Extensions in Some Logics for Default Reasoning. Inf. Sci. 89(3): 261-273 (1996)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Integrity and rule checking in nonmonotonic knowledge bases. Knowl.-Based Syst. 9(5): 301-306 (1996)
1995
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Priorities in Default Logic Revisited. AI*IA 1995: 152-162
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Verification and Correctness Issues for Nonmonotonic Knowledge Bases. EUROVAV 1995: 141-153
1994
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Elmar Langetepe: Soundness and Completeness of a Logic Programming Approach to Default Logic. AAAI 1994: 934-939
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Elmar Langetepe, Volker Sperschneider: New Proofs in Default Logic Theory. Ann. Math. Artif. Intell. 12(3-4): 215-229 (1994)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Volker Sperschneider: Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. Artif. Intell. Rev. 8(1): 3-16 (1994)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Elmar Langetepe: Applying SLD-resolution to a class of non-Horn logic programs. Bulletin of the IGPL 2(2): 229-241 (1994)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: The Verification of Modules. Formal Asp. Comput. 6(2): 223-244 (1994)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Modularity and Correctness for Logic Programs and Knowledge Bases. International Journal of Software Engineering and Knowledge Engineering 4(2): 257-275 (1994)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Ipke Wachsmuth: Structuring and modules for knowledge bases: motivation for a new model. Knowl.-Based Syst. 7(1): 49-51 (1994)
1993
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Abstract properties for the choice provability relation in nonmonotonic logics. AI*IA 1993: 35-40
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Version Space Algorithms on Hierarchies with Exceptions. EPIA 1993: 136-149
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Elmar Langetepe: A Process Model for Default Logic and Its Realization in Logic Programming. EPIA 1993: 213-225
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Volker Sperschneider: On the Verification of Modular Logical Knowledge Bases. EUROVAV 1993: 117-128
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Elmar Langetepe, Volker Sperschneider: Computing Extensions of Default Logic - Preliminary Report. LPAR 1993: 19-27
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Volker Sperschneider: Computing Extensions of Nonmonotonic Logics. SCAI 1993: 20-29
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. SEKE 1993: 183-190
1992
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Logical Approaches to Structured Knowledge Bases. AIMSA 1992: 47-56
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Volker Sperschneider: Modularity for Logic Programs. ALPUK 1992: 97-107
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Modularity for Logical Knowledge Bases. SEKE 1992: 87-93
1991
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Sperschneider, Grigoris Antoniou: Logic - a foundation for computer science. Addison-Wesley 1991: I-XII, 1-495
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Volker Sperschneider: On the Verification of Modules. CSL 1989: 16-35
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou: Bericht über den Workshop ``Verifikation, Konstruktion und Synthese von Programmen''. KI 3(3): 23-24 (1989)
1983
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Hans Jürgen Ohlbach: TERMINATOR. IJCAI 1983: 916-919

Coauthor Index

1Anastasia Analyti [114] [126] [146] [157] [158] [160] [170] [183] [187] [197] [198] [199]
2Elias Apostolopoulos [171]
3M. Arief [71] [76] [80]
4Nikos Armenatzoglou [171]
5Lora Aroyo [189] [190]
6Uwe Aßmann [144]
7Ioannis Avguleas [154]
8Matteo Baldoni [133]
9Cristina Baroglio [144]
10George Baryannis [174]
11Nick Bassiliades (N. Bassiliades) [94] [96] [98] [103] [108] [111] [112] [115] [116] [120] [127] [129] [132] [136] [137] [140] [147] [148] [150] [154] [191] [194] [200] [203]
12Emilia Bellucci [38]
13Antonis Bikakis [95] [100] [103] [112] [116] [118] [129] [130] [131] [132] [134] [138] [142] [149] [151] [152] [154] [155] [156] [162] [163] [164] [165] [171] [172] [174] [176] [178] [181] [182] [184] [185] [188] [192] [195] [196] [202]
14David Billington [51] [52] [60] [61] [64] [66] [68] [69] [70] [72] [73] [74] [75] [77] [78] [89] [97] [106] [119] [179]
15Jeff Blee [97]
16Harold Boley [92] [101] [104]
17Piero A. Bonatti [133]
18Aikaterini Boutsika [174]
19Katerina Boutsika [167]
20Liliana Cabral [189] [190]
21Yannis Christodoulou [159]
22Vassilis Christophides [107] [135] [161]
23Ioannis Chrysakis [181]
24Allen P. Courtney [29] [30] [34]
25Carlos Viegas Damásio [105] [114] [126] [146] [157] [158] [160] [170] [183] [187] [197] [198] [199]
26Polyvios Damianakis [152]
27Manolis Daskalakis [159]
28Stefan Decker [144]
29Nikos Dimaresis [138] [141] [143] [149] [153] [168]
30Michail Dimitriou [174]
31Martin Doerr [129]
32Thomas Eiter [208]
33Jörg Ernst [30] [42]
34Xenofon Fafoutis [174]
35Dieter Fensel [209]
36Chrysi Filippaki [205]
37Giorgos Flouris [88] [99] [113] [117] [123] [124] [125] [135] [145] [161] [166] [186] [204]
38Norman Y. Foo [28] [29] [34]
39Mixalhs Foukarakis [152]
40Enrico Franconi [110]
41Irini Fundulaki [186]
42Raul Garcia-Castro [209]
43Niki Gazoni [174]
44Manolis Genetzakis [138] [149]
45Irini Genitsaridi [195]
46Yannis Georgalis (Giannis Georgalis) [138] [149]
47Aditya K. Ghose (Aditya Ghose) [54] [57] [63]
48Katerina Gkirtzou [154]
49Randy Goebel [57]
50Guido Governatori [60] [61] [68] [69] [70] [73] [74] [77] [89] [106] [115] [119] [132] [137] [138] [141] [149] [150] [153] [168] [179] [194]
51Marko Grobelnik [206] [207]
52Frank van Harmelen [49] [91] [102] [110]
53Panayiotis Hassapis [176] [192]
54Nicola Henze [144]
55Eero Hyvönen [189] [190]
56Giorgos Iacovidis [152]
57Dimitris Kampas [171]
58Alexandros Kapravelos [171]
59Anna Karamolegou [130]
60Marianna Karmazi [152]
61Efie Karouzaki [138] [149]
62Eythimis Kartsonakis [171]
63Nikolaos Kazepis [138] [149]
64Hironobu Kitajima [62]
65Haridimos Kondylakis [145] [152]
66George Konstantinidis [135] [161]
67Efstratios Kontopoulos [108] [111] [127] [136] [140] [147] [148] [150] [154] [191] [194]
68Maria Korozi [174]
69Dimitris Kosmadakis [138] [149]
70Maria Koutsogiannaki [174]
71Kalliopi Kravari [200] [203]
72Lito Kriara [171]
73Manolis Kritsotakis [138] [149] [163] [165]
74Elmar Langetepe [10] [12] [18] [20] [21] [36]
75Pieter De Leenheer [206] [207]
76Asterios Leonidis [174]
77Giannis Lilis [138] [149]
78Giorgos Linardakis [171]
79Cara MacNish [28] [41] [67]
80Michael J. Maher [51] [52] [60] [61] [64] [66] [68] [69] [70] [72] [73] [74] [75] [77] [84] [89] [106] [119] [179]
81Antreas Makridakis [152]
82Dimitris Manakanatas [145]
83Yannis Marketakis [171] [180]
84Fumihiro Maruyama [62]
85Ryusuke Masuoka [62]
86Maria Michou [163] [165] [186]
87Tristan Miller [72] [75]
88Neil V. Murray [58]
89Wolfgang Nejdl [133]
90Giorgos Nikiforos [152]
91Sofia Nikitaki [171]
92Emmanouil Nikoloudakis [163] [165]
93Tyrone O'Neill [27] [46]
94Hans Jürgen Ohlbach [1]
95Daniel Olmedilla [133]
96Max Ostrowski [204]
97Jeff Z. Pan [166] [173] [175] [193] [206] [207]
98Nikos Papachristodoulou [130]
99Myron Papadakis [167] [174]
100Nikos Papadakis [122] [139] [159] [167] [177]
101Antonis Papadogiannakis [138] [149]
102Maria Papadopouli [134] [142]
103Grigoris Papadourakis [152]
104Haridimos Papagiannakis [174]
105Constantinos Papatheodorou [151] [185] [188] [200] [203]
106Vicky Papavasiliou [171]
107Manolis Papoutsakis [152]
108Bijan Parsia [206] [207]
109Theodore Patkos [134] [142] [163] [165] [181]
110Paula-Lavinia Patranjan [144]
111Panagiotis Pediaditis [138] [149]
112Robert Plant (Robert T. Plant) [49] [55]
113Dimitris Plexousakis [88] [99] [107] [113] [117] [122] [123] [124] [125] [128] [134] [139] [142] [145] [159] [163] [165] [166] [167] [169] [177] [181] [206] [207]
114George Potamias [128]
115Aggeliki Psyharaki [152]
116Andrew Rock [72] [73] [75]
117Abdul Sattar [57] [109]
118Torsten Schaub [204]
119Anna Seridou [147]
120Elena Paslaru Bontas Simperl (Elena Paslaru Bontas, Elena Simperl) [206] [207]
121Thomas Skylogiannis [96] [103] [112] [115] [116] [129] [132]
122John K. Slaney [53]
123Volker Sperschneider [3] [4] [6] [9] [10] [11] [19] [20] [48]
124Costas Spyropoulos [128]
125Giorgos Stratakis [152]
126Manolis Stratakis [130]
127Heiner Stuckenschmidt [189] [190]
128Said Tabet [92]
129Annette ten Teije [189] [190]
130Constantinos Terzakis [138] [149]
131George Tesseris [174]
132Rena Theodosaki [138] [149]
133Joe Thurbon [27] [46]
134Robert Tolksdorf [144]
135Rodney W. Topor [109] [173] [175]
136Panagiotis Tourlakis [152]
137Sofia Triantafilou [154]
138Miroslaw Truszczynski [54]
139Ioannis Tsamardinos [205]
140Petros Tsialiamanis [152]
141Tania Tudorache [189] [190]
142Yannis Tzitzikas [180]
143Jan Vanthienen [49]
144Giorgos Vasiliadis [152]
145Dimitris Velegrakis [152]
146Ioannis P. Vlahavas [94] [98] [111] [120]
147Emmanouil Voskakis [174]
148Ipke Wachsmuth [15]
149Gerd Wagner [87] [92] [95] [100] [105] [114] [126] [146] [152] [157] [160] [197]
150Kewen Wang [97] [109] [173] [175] [208]
151Zhe Wang [173] [175]
152Mary-Anne Williams [26] [30] [31] [32] [37] [44] [50]
153Dimitris Zeginis (Dimitrios Zeginis) [138] [149]
154John Zeleznikow [38]
155Mathieu d'Aquin [166] [193]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page