dblp.uni-trier.dewww.uni-trier.de

Grigoris Antoniou Vis

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

*2009
161EEAntonis Bikakis, Grigoris Antoniou: Contextual Argumentation in Ambient Intelligence. LPNMR 2009: 30-43
160EEAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226
159EEGrigoris 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)
158EENikos 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)
2008
157 Antonis Bikakis, Grigoris Antoniou: Distributed Reasoning with Conflicts in a Multi-Context Framework. AAAI 2008: 1778-1779
156EEManolis 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
155EEAntonis Bikakis, Grigoris Antoniou: Distributed Defeasible Contextual Reasoning in Ambient Computing. AmI 2008: 308-325
154EEGeorge Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: A Formal Approach for RDF/S Ontology Evolution. ECAI 2008: 70-74
153EEAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Computability and Complexity Issues of Extended RDF. ECAI 2008: 733-734
152EENikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou: The Ramification Problem in Temporal Databases: A Solution Implemented in SQL. ISMIS 2008: 381-388
151 Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Principled Framework for Modular Web Rule Bases and Its Semantics. KR 2008: 390-400
150EEAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: On the Computability and Complexity Issues of Extended RDF. PRICAI 2008: 5-16
149EEAntonis Bikakis, Grigoris Antoniou: Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. RR 2008: 234-235
148EEAntonis Bikakis, Grigoris Antoniou: Local and Distributed Defeasible Reasoning in Multi-Context Systems. RuleML 2008: 135-149
147EEIoannis Avguleas, Katerina Gkirtzou, Sofia Triantafilou, Antonis Bikakis, Grigoris Antoniou, Efstratios Kontopoulos, Nick Bassiliades: Visualization of Proofs in Defeasible Logic. RuleML 2008: 197-210
146EEGrigoris Antoniou, Nikos Dimaresis, Guido Governatori: A system for modal and deontic defeasible reasoning. SAC 2008: 2261-2265
145EEGrigoris 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
144EEAntonis Bikakis, Constantinos Papatheodorou, Grigoris Antoniou: The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. SETN 2008: 345-351
143EEEfstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou: Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. Web Intelligence/IAT Workshops 2008: 626-629
142EEGrigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas 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)
141EEEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: Deploying defeasible logic rule bases for the semantic web. Data Knowl. Eng. 66(1): 116-146 (2008)
140EEEfstratios 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)
139EEAnastasia 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)
138EEGiorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, Grigoris Antoniou: Ontology change: classification and survey. Knowledge Eng. Review 23(2): 117-152 (2008)
2007
137 Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf: Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures Springer 2007
136 Nikos Dimaresis, Grigoris Antoniou: Implementing Modal Extensions of Defeasible Logic for the Semantic Web. AAAI 2007: 1848-1849
135EETheodore Patkos, Antonis Bikakis, Grigoris Antoniou, Maria Papadopouli, Dimitris Plexousakis: Distributed AI for Ambient Intelligence: Issues and Approaches. AmI 2007: 159-176
134EEGrigoris Antoniou, Nikos Dimaresis, Guido Governatori: A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence 2007: 609-613
133EEEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: Visual Stratification of Defeasible Logic Rule Bases. ICTAI (2) 2007: 238-245
132EENikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis: The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. ICTAI (2) 2007: 274-278
131EEGrigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas 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
130EENick Bassiliades, Grigoris Antoniou, Guido Governatori: Proof Explanation in the DR-DEVICE System. RR 2007: 249-258
129EEEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. RR 2007: 367-369
128EEGeorge Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: On RDF/S Ontology Evolution. SWDB-ODBIS 2007: 21-42
127EETheodore 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
126EEGrigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla: Rule-based Policy Specification. Secure Data Management in Decentralized Systems 2007: 169-216
125EEThomas 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)
124EEGrigoris 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)
123EEGrigoris 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)
122EEGrigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Martin Doerr, Nick Bassiliades: DR-BROKERING: A semantic brokering system. Knowl.-Based Syst. 20(1): 61-72 (2007)
2006
121 Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis: Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings Springer 2006
120EEEfstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou: Visualizing Defeasible Logic Rules for the Semantic Web. ASWC 2006: 278-292
119EECarlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner: Supporting Open and Closed World Reasoning on the Web. PPSWR 2006: 149-163
118EEGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: Evolving Ontology Evolution. SOFSEM 2006: 14-29
117 Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On Generalizing the AGM Postulates. STAIRS 2006: 132-143
116EEGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: A Classification of Ontology Change. SWAP 2006
115EENikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis: The ramification problem in temporal databases: Changing beliefs about the past. Data Knowl. Eng. 59(2): 397-434 (2006)
114EEGrigoris Antoniou: Defeasible reasoning: A discussion of some intuitions. Int. J. Intell. Syst. 21(6): 545-558 (2006)
113EENick 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)
112EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)
2005
111 Antonis Bikakis, Grigoris Antoniou: DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. AAAI 2005: 1594-1595
110EEGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: Updating DLs Using the AGM Theory: A Preliminary Study. Description Logics 2005
109EEGrigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades: DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering. EEE 2005: 414-417
108EEThomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori: DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. EEE 2005: 44-49
107EEAnastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Stable Model Theory for Extended RDF Ontologies. International Semantic Web Conference 2005: 21-36
106EEGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On Applying the AGM Theory to DLs and OWL. International Semantic Web Conference 2005: 216-231
105EEGrigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades: A Deductive Semantic Brokering System. KES (2) 2005: 746-752
104EENick 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
103EEGrigoris Antoniou, Enrico Franconi, Frank van Harmelen: Introduction to Semantic Web Ontology Languages. Reasoning Web 2005: 1-21
102EEKewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171
101EENick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou: A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. RuleML 2005: 172-186
100 Grigoris Antoniou, Vassilis Christophides, Dimitris Plexousakis: Semantic Web Fundamentals. Encyclopedia of Information Science and Technology (V) 2005: 2464-2468
99EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming CoRR abs/cs/0511055: (2005)
98EEGerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3): 181-206 (2005)
97EEGrigoris Antoniou, Harold Boley: Preface. J. Web Sem. 3(1): 3-4 (2005)
2004
96 Grigoris 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
95EEGrigoris Antoniou, Antonis Bikakis, Gerd Wagner: A Defeasible Logic Programming System for the Web. ICTAI 2004: 756-757
94EEGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: Generalizing the AGM postulates: preliminary results and applications. NMR 2004: 171-179
93EENick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas: DR-DEVICE: A Defeasible Logic System for the Semantic Web. PPSWR 2004: 134-148
92EEKewen Wang, David Billington, Jeff Blee, Grigoris Antoniou: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML 2004: 170-181
91EEThomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades: A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report. RuleML 2004: 205-214
90EEGrigoris Antoniou, Antonis Bikakis, Gerd Wagner: A System for Nonmonotonic Rules on the Web. RuleML 2004: 23-36
89EENick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas: A Defeasible Logic Reasoner for the Semantic Web. RuleML 2004: 49-64
88EEGrigoris Antoniou: A Discussion of Some Intuitions of Defeasible Reasoning. SETN 2004: 311-320
87EEGerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley: The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence 2004: 628-631
86 Grigoris Antoniou, Frank van Harmelen: Web Ontology Language: OWL. Handbook on Ontologies 2004: 67-92
85EEGrigoris Antoniou: Defeasible logic with dynamic priorities. Int. J. Intell. Syst. 19(5): 463-472 (2004)
84EEGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
2003
83EEGiorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou: On a Unifying Framework for Comparing Knowledge Representation Schemes. KRDB 2003
82EEGrigoris Antoniou, Gerd Wagner: Rules and Defeasible Reasoning on the Semantic Web. RuleML 2003: 111-120
81EEGrigoris Antoniou: Nonmonotonic Rules for the Semantic Web. KI 17(3): 16- (2003)
2002
80 Grigoris Antoniou: Defeasible Logic with Dynamic Priorities. ECAI 2002: 521-525
79EEGrigoris Antoniou, Michael J. Maher: Embedding Defeasible Logic into Logic Programs. ICLP 2002: 393-404
78EEGrigoris Antoniou: Nonmonotonic Rule Systems on Top of Ontology Layers. International Semantic Web Conference 2002: 394-398
77 Grigoris Antoniou: Defeasible logic with dynamic priorities. NMR 2002: 84-90
76EEGrigoris Antoniou: A Nonmonotonic Rule System using Ontologies. RuleML 2002
75EEGrigoris Antoniou, M. Arief: Executable declarative business rules and their use in electronic commerce. SAC 2002: 6-10
74EEGrigoris Antoniou: On the dynamics of default reasoning. Int. J. Intell. Syst. 17(12): 1143-1155 (2002)
2001
73EEGrigoris Antoniou, David Billington: Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence 2001: 13-24
72EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001)
71 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)
2000
70 Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410
69 Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock: A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463
68EEMichael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller: Efficient defeasible reasoning systems. ICTAI 2000: 384-392
67 Grigoris Antoniou, M. Arief: Modelling business rules using defeasible logic. IRMA Conference 2000: 1020-1022
66 Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37
65EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics CoRR cs.AI/0003013: (2000)
64EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic CoRR cs.LO/0003082: (2000)
63 Grigoris Antoniou, Cara MacNish: Conservative extension concepts for nonmonotonic knowledge bases. Int. J. Intell. Syst. 15(9): 859-877 (2000)
62 Grigoris Antoniou, Michael J. Maher, David Billington: Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42(1): 47-57 (2000)
1999
61EEGrigoris Antoniou: On the Dynamics of Default Reasoning. ESCQARU 1999: 1-10
60EEGrigoris Antoniou, David Billington, Michael J. Maher: On the Analysis of Regulations using Defeasible Rules. HICSS 1999
59EEGrigoris Antoniou, Aditya Ghose: What Is Default Reasoning Good For? Applications Revisited. HICSS 1999
58 Grigoris Antoniou, Fumihiro Maruyama, Ryusuke Masuoka, Hironobu Kitajima: Issues in Intelligent Information Integration. IMSA 1999: 345-349
57EEDavid Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
56EEGrigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356
55EEGrigoris Antoniou: A tutorial on default logics. ACM Comput. Surv. 31(4): 337-359 (1999)
54 Grigoris Antoniou, Neil V. Murray: Logical Methods for Computational Intelligence (Guest Editorial). Inf. Sci. 116(1): 1-2 (1999)
53 Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999)
52 Grigoris Antoniou: Splitting Finite Default Theories: A Comparison of Two Approaches. Journal of Logic, Language and Information 8(2): 205-216 (1999)
51EERobert Plant, Grigoris Antoniou: Special issue on verification and validation. Knowl.-Based Syst. 12(1-2): 1-2 (1999)
1998
50 Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski: Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers Springer 1998
49 Grigoris Antoniou, John K. Slaney: Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers Springer 1998
48EEMichael J. Maher, Grigoris Antoniou, David Billington: A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence 1998: 215-226
47 Grigoris Antoniou, David Billington, Michael J. Maher: Normal Forms for Defeasible Logic. IJCSLP 1998: 160-174
46 Mary-Anne Williams, Grigoris Antoniou: A Strategy for Revising Default Theory Extensions. KR 1998: 24-35
45 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)
44 Grigoris Antoniou, Volker Sperschneider: Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. Artif. Intell. Rev. 12(6): 431-443 (1998)
43EEGrigoris Antoniou: The Role of Nonmonotonic Representations in Requirements Engineering. International Journal of Software Engineering and Knowledge Engineering 8(3): 385-399 (1998)
42 Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon: Studying properties of classes of default logics. J. Exp. Theor. Artif. Intell. 10(4): 495-505 (1998)
41 Grigoris Antoniou: A note on the cumulativity of justified default logic. J. Exp. Theor. Artif. Intell. 10(4): 507-509 (1998)
1997
40 Grigoris Antoniou: A Comparison of Two Approaches to Splitting Default Theories. AAAI/IAAI 1997: 424-429
39 Jörg Ernst, Grigoris Antoniou: Stratification for Variants of Default Logic. AAAI/IAAI 1997: 830
38EECara MacNish, Grigoris Antoniou: Specification Morphisms for Nonmonotonic Knowledge Systems. Australian Joint Conference on Artificial Intelligence 1997: 246-254
37EEGrigoris Antoniou: Representation Results for Default Logics. Australian Joint Conference on Artificial Intelligence 1997: 255-264
36EEGrigoris Antoniou: Stratification: The Computational Base of a System for Default Reasoning. ICTAI 1997: 165-
35 Grigoris Antoniou, Mary-Anne Williams: Reasoning with Incomplete and Changing Information: The CIN Project. Inf. Sci. 99(1-2): 83-99 (1997)
34 Grigoris Antoniou, Elmar Langetepe: A Correct Logic Programming Computation of Default Logic Extensions. J. Autom. Reasoning 18(1): 25-46 (1997)
1996
33 Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou: Computing Default Logic Extensions: An Implementation. AAAI/IAAI, Vol. 2 1996: 1381
32 Grigoris Antoniou: A Comparative Survey of Default Logic Variants. FAPR 1996: 15-28
31 Grigoris Antoniou, Mary-Anne Williams: Default Reasoning and Belief Revision in the CIN Project. FAPR 1996: 691-693
30 Grigoris Antoniou, Mary-Anne Williams: CIN: an intelligent information management toolkit. IFIP World Conference on IT Tools 1996: 395-401
29EEGrigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams: A System for Computing Constrained Default Logic Extensions. JELIA 1996: 237-250
28EEAllen P. Courtney, Grigoris Antoniou, Norman Y. Foo: Exten: A System for Computing Default Logic Extensions. PRICAI 1996: 471-482
27EEGrigoris Antoniou, Cara MacNish, Norman Y. Foo: Conservative Expansion Concepts for Default Theories. PRICAI 1996: 522-533
26EEGrigoris Antoniou, Tyrone O'Neill, Joe Thurbon: Studying Properties of Classes of Default Logics - Preliminary Report. PRICAI 1996: 558-569
25EEGrigoris Antoniou, Mary-Anne Williams: Some approaches to reasoning with incomplete and changing information. PRICAI Workshops 1996: 9-44
24 Grigoris Antoniou: Operational Characterization of Extensions in Some Logics for Default Reasoning. Inf. Sci. 89(3): 261-273 (1996)
23EEGrigoris Antoniou: Integrity and rule checking in nonmonotonic knowledge bases. Knowl.-Based Syst. 9(5): 301-306 (1996)
1995
22 Grigoris Antoniou: Priorities in Default Logic Revisited. AI*IA 1995: 152-162
21 Grigoris Antoniou: Verification and Correctness Issues for Nonmonotonic Knowledge Bases. EUROVAV 1995: 141-153
1994
20 Grigoris Antoniou, Elmar Langetepe: Soundness and Completeness of a Logic Programming Approach to Default Logic. AAAI 1994: 934-939
19 Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider: New Proofs in Default Logic Theory. Ann. Math. Artif. Intell. 12(3-4): 215-229 (1994)
18 Grigoris Antoniou, Volker Sperschneider: Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. Artif. Intell. Rev. 8(1): 3-16 (1994)
17EEGrigoris Antoniou, Elmar Langetepe: Applying SLD-resolution to a class of non-Horn logic programs. Bulletin of the IGPL 2(2): 229-241 (1994)
16 Grigoris Antoniou: The Verification of Modules. Formal Asp. Comput. 6(2): 223-244 (1994)
15EEGrigoris Antoniou: Modularity and Correctness for Logic Programs and Knowledge Bases. International Journal of Software Engineering and Knowledge Engineering 4(2): 257-275 (1994)
14EEGrigoris Antoniou, Ipke Wachsmuth: Structuring and modules for knowledge bases: motivation for a new model. Knowl.-Based Syst. 7(1): 49-51 (1994)
1993
13 Grigoris Antoniou: Abstract properties for the choice provability relation in nonmonotonic logics. AI*IA 1993: 35-40
12 Grigoris Antoniou: Version Space Algorithms on Hierarchies with Exceptions. EPIA 1993: 136-149
11 Grigoris Antoniou, Elmar Langetepe: A Process Model for Default Logic and Its Realization in Logic Programming. EPIA 1993: 213-225
10 Grigoris Antoniou, Volker Sperschneider: On the Verification of Modular Logical Knowledge Bases. EUROVAV 1993: 117-128
9EEGrigoris Antoniou, Elmar Langetepe, Volker Sperschneider: Computing Extensions of Default Logic - Preliminary Report. LPAR 1993: 19-27
8 Grigoris Antoniou, Volker Sperschneider: Computing Extensions of Nonmonotonic Logics. SCAI 1993: 20-29
7 Grigoris Antoniou: Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. SEKE 1993: 183-190
1992
6 Grigoris Antoniou: Logical Approaches to Structured Knowledge Bases. AIMSA 1992: 47-56
5 Grigoris Antoniou, Volker Sperschneider: Modularity for Logic Programs. ALPUK 1992: 97-107
4EEGrigoris Antoniou: Modularity for Logical Knowledge Bases. SEKE 1992: 87-93
1989
3EEGrigoris Antoniou, Volker Sperschneider: On the Verification of Modules. CSL 1989: 16-35
2 Grigoris Antoniou: Bericht über den Workshop ``Verifikation, Konstruktion und Synthese von Programmen''. KI 3(3): 23-24 (1989)
1983
1 Grigoris Antoniou, Hans Jürgen Ohlbach: TERMINATOR. IJCAI 1983: 916-919

Coauthor Index

1Anastasia Analyti [107] [119] [139] [150] [151] [153] [160]
2M. Arief [67] [75]
3Uwe Aßmann [137]
4Ioannis Avguleas [147]
5Matteo Baldoni [126]
6Cristina Baroglio [137]
7Nick Bassiliades (N. Bassiliades) [89] [91] [93] [101] [104] [105] [108] [109] [113] [120] [122] [125] [129] [130] [133] [140] [141] [143] [147]
8Antonis Bikakis [90] [95] [105] [109] [111] [122] [123] [124] [125] [127] [131] [135] [142] [144] [145] [147] [148] [149] [155] [156] [157] [161]
9David Billington [47] [48] [56] [57] [60] [62] [64] [65] [66] [68] [69] [70] [71] [72] [73] [84] [92] [99] [112]
10Jeff Blee [92]
11Harold Boley [87] [96] [97]
12Piero A. Bonatti [126]
13Katerina Boutsika [158]
14Yannis Christodoulou [152]
15Vassilis Christophides [100] [128] [154]
16Allen P. Courtney [28] [29] [33]
17Carlos Viegas Damásio [98] [107] [119] [139] [150] [151] [153] [160]
18Polyvios Damianakis [145]
19Manolis Daskalakis [152]
20Stefan Decker [137]
21Nikos Dimaresis [131] [134] [136] [142] [146] [159]
22Martin Doerr [122]
23Jörg Ernst [29] [39]
24Giorgos Flouris [83] [94] [106] [110] [116] [117] [118] [128] [138] [154]
25Norman Y. Foo [27] [28] [33]
26Mixalhs Foukarakis [145]
27Enrico Franconi [103]
28Manolis Genetzakis [131] [142]
29Giannis Georgalis [131] [142]
30Aditya K. Ghose (Aditya Ghose) [50] [53] [59]
31Katerina Gkirtzou [147]
32Randy Goebel [53]
33Guido Governatori [56] [57] [64] [65] [66] [69] [70] [72] [84] [99] [108] [112] [125] [130] [131] [134] [142] [143] [146] [159]
34Frank van Harmelen [45] [86] [103]
35Nicola Henze [137]
36Giorgos Iacovidis [145]
37Anna Karamolegou [123]
38Marianna Karmazi [145]
39Efie Karouzaki [131] [142]
40Nikolas Kazepis [131] [142]
41Hironobu Kitajima [58]
42Haridimos Kondylakis [138] [145]
43George Konstantinidis [128] [154]
44Efstratios Kontopoulos [101] [104] [120] [129] [133] [140] [141] [143] [147]
45Dimitris Kosmadakis [131] [142]
46Manolis Kritsotakis [131] [142] [156]
47Elmar Langetepe [9] [11] [17] [19] [20] [34]
48Giannis Lilis [131] [142]
49Cara MacNish [27] [38] [63]
50Michael J. Maher [47] [48] [56] [57] [60] [62] [64] [65] [66] [68] [69] [70] [71] [72] [79] [84] [99] [112]
51Antreas Makridakis [145]
52Dimitris Manakanatas [138]
53Fumihiro Maruyama [58]
54Ryusuke Masuoka [58]
55Maria Michou [156]
56Tristan Miller [68] [71]
57Neil V. Murray [54]
58Wolfgang Nejdl [126]
59Giorgos Nikiforos [145]
60Emmanouil Nikoloudakis [156]
61Tyrone O'Neill [26] [42]
62Hans Jürgen Ohlbach [1]
63Daniel Olmedilla [126]
64Nikos Papachristodoulou [123]
65Myron Papadakis [158]
66Nikos Papadakis [115] [132] [152] [158]
67Antonis Papadogiannakis [131] [142]
68Maria Papadopouli [127] [135]
69Grigoris Papadourakis [145]
70Constantinos Papatheodorou [144]
71Manolis Papoutsakis [145]
72Theodore Patkos [127] [135] [156]
73Paula-Lavinia Patranjan [137]
74Panagiotis Pediaditis [131] [142]
75Robert Plant [45] [51]
76Dimitris Plexousakis [83] [94] [100] [106] [110] [115] [116] [117] [118] [121] [127] [132] [135] [138] [152] [156] [158]
77George Potamias [121]
78Aggeliki Psyharaki [145]
79Andrew Rock [68] [69] [71]
80Abdul Sattar [53] [102]
81Anna Seridou [140]
82Thomas Skylogiannis [91] [105] [108] [109] [122] [125]
83John K. Slaney [49]
84Volker Sperschneider [3] [5] [8] [9] [10] [18] [19] [44]
85Costas Spyropoulos [121]
86Giorgos Stratakis [145]
87Manolis Stratakis [123]
88Said Tabet [87]
89Constantinos Terzakis [131] [142]
90Rena Theodosaki [131] [142]
91Joe Thurbon [26] [42]
92Robert Tolksdorf [137]
93Rodney W. Topor [102]
94Panagiotis Tourlakis [145]
95Sofia Triantafilou [147]
96Miroslaw Truszczynski [50]
97Petros Tsialiamanis [145]
98Jan Vanthienen [45]
99Giorgos Vasiliadis [145]
100Dimitris Velegrakis [145]
101Ioannis P. Vlahavas [89] [93] [104] [113]
102Ipke Wachsmuth [14]
103Gerd Wagner [82] [87] [90] [95] [98] [107] [119] [139] [145] [150] [153]
104Kewen Wang [92] [102]
105Mary-Anne Williams [25] [29] [30] [31] [35] [46]
106Dimitris Zeginis [131] [142]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)