| 2008 |
|---|
| 135 | EE | 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 |
| 134 | EE | Grigoris Antoniou,
Nikos Dimaresis,
Guido Governatori:
A system for modal and deontic defeasible reasoning.
SAC 2008: 2261-2265 |
| 133 | EE | Grigoris 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) |
| 2007 |
|---|
| 132 | | 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 |
| 131 | | Nikos Dimaresis,
Grigoris Antoniou:
Implementing Modal Extensions of Defeasible Logic for the Semantic Web.
AAAI 2007: 1848-1849 |
| 130 | EE | Theodore Patkos,
Antonis Bikakis,
Grigoris Antoniou,
Maria Papadopouli,
Dimitris Plexousakis:
Distributed AI for Ambient Intelligence: Issues and Approaches.
AmI 2007: 159-176 |
| 129 | EE | Grigoris Antoniou,
Nikos Dimaresis,
Guido Governatori:
A System for Modal and Deontic Defeasible Reasoning.
Australian Conference on Artificial Intelligence 2007: 609-613 |
| 128 | EE | Efstratios Kontopoulos,
Nick Bassiliades,
Grigoris Antoniou:
Visual Stratification of Defeasible Logic Rule Bases.
ICTAI (2) 2007: 238-245 |
| 127 | EE | Nikos Papadakis,
Grigoris Antoniou,
Dimitris Plexousakis:
The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints.
ICTAI (2) 2007: 274-278 |
| 126 | EE | Grigoris 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 |
| 125 | EE | Nick Bassiliades,
Grigoris Antoniou,
Guido Governatori:
Proof Explanation in the DR-DEVICE System.
RR 2007: 249-258 |
| 124 | EE | Efstratios Kontopoulos,
Nick Bassiliades,
Grigoris Antoniou:
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data.
RR 2007: 367-369 |
| 123 | EE | 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 |
| 122 | EE | 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) |
| 121 | EE | 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) |
| 120 | EE | Grigoris Antoniou,
Thomas Skylogiannis,
Antonis Bikakis,
Martin Doerr,
Nick Bassiliades:
DR-BROKERING: A semantic brokering system.
Knowl.-Based Syst. 20(1): 61-72 (2007) |
| 2006 |
|---|
| 119 | | 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 |
| 118 | EE | Efstratios Kontopoulos,
Nick Bassiliades,
Grigoris Antoniou:
Visualizing Defeasible Logic Rules for the Semantic Web.
ASWC 2006: 278-292 |
| 117 | EE | Carlos Viegas Damásio,
Anastasia Analyti,
Grigoris Antoniou,
Gerd Wagner:
Supporting Open and Closed World Reasoning on the Web.
PPSWR 2006: 149-163 |
| 116 | EE | Giorgos Flouris,
Dimitris Plexousakis,
Grigoris Antoniou:
Evolving Ontology Evolution.
SOFSEM 2006: 14-29 |
| 115 | EE | Giorgos Flouris,
Dimitris Plexousakis,
Grigoris Antoniou:
A Classification of Ontology Change.
SWAP 2006 |
| 114 | EE | 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) |
| 113 | EE | Grigoris Antoniou:
Defeasible reasoning: A discussion of some intuitions.
Int. J. Intell. Syst. 21(6): 545-558 (2006) |
| 112 | EE | 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) |
| 111 | EE | Grigoris Antoniou,
David Billington,
Guido Governatori,
Michael J. Maher:
Embedding defeasible logic into logic programming.
TPLP 6(6): 703-735 (2006) |
| 2005 |
|---|
| 110 | | Antonis Bikakis,
Grigoris Antoniou:
DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web.
AAAI 2005: 1594-1595 |
| 109 | EE | Giorgos Flouris,
Dimitris Plexousakis,
Grigoris Antoniou:
Updating DLs Using the AGM Theory: A Preliminary Study.
Description Logics 2005 |
| 108 | EE | Grigoris Antoniou,
Thomas Skylogiannis,
Antonis Bikakis,
Nick Bassiliades:
DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering.
EEE 2005: 414-417 |
| 107 | EE | 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 |
| 106 | EE | Anastasia Analyti,
Grigoris Antoniou,
Carlos Viegas Damásio,
Gerd Wagner:
Stable Model Theory for Extended RDF Ontologies.
International Semantic Web Conference 2005: 21-36 |
| 105 | EE | Giorgos Flouris,
Dimitris Plexousakis,
Grigoris Antoniou:
On Applying the AGM Theory to DLs and OWL.
International Semantic Web Conference 2005: 216-231 |
| 104 | EE | Grigoris Antoniou,
Thomas Skylogiannis,
Antonis Bikakis,
Nick Bassiliades:
A Deductive Semantic Brokering System.
KES (2) 2005: 746-752 |
| 103 | EE | 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 |
| 102 | EE | Grigoris Antoniou,
Enrico Franconi,
Frank van Harmelen:
Introduction to Semantic Web Ontology Languages.
Reasoning Web 2005: 1-21 |
| 101 | EE | Kewen Wang,
Grigoris Antoniou,
Rodney W. Topor,
Abdul Sattar:
Merging and Aligning Ontologies in dl-Programs.
RuleML 2005: 160-171 |
| 100 | EE | Nick Bassiliades,
Efstratios Kontopoulos,
Grigoris Antoniou:
A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web.
RuleML 2005: 172-186 |
| 99 | | Grigoris Antoniou,
Vassilis Christophides,
Dimitris Plexousakis:
Semantic Web Fundamentals.
Encyclopedia of Information Science and Technology (V) 2005: 2464-2468 |
| 98 | EE | Grigoris Antoniou,
David Billington,
Guido Governatori,
Michael J. Maher:
Embedding Defeasible Logic into Logic Programming
CoRR abs/cs/0511055: (2005) |
| 97 | EE | 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) |
| 96 | EE | Grigoris Antoniou,
Harold Boley:
Preface.
J. Web Sem. 3(1): 3-4 (2005) |
| 2004 |
|---|
| 95 | | 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 |
| 94 | EE | Grigoris Antoniou,
Antonis Bikakis,
Gerd Wagner:
A Defeasible Logic Programming System for the Web.
ICTAI 2004: 756-757 |
| 93 | EE | Giorgos Flouris,
Dimitris Plexousakis,
Grigoris Antoniou:
Generalizing the AGM postulates: preliminary results and applications.
NMR 2004: 171-179 |
| 92 | EE | Nick Bassiliades,
Grigoris Antoniou,
Ioannis P. Vlahavas:
DR-DEVICE: A Defeasible Logic System for the Semantic Web.
PPSWR 2004: 134-148 |
| 91 | EE | Kewen Wang,
David Billington,
Jeff Blee,
Grigoris Antoniou:
Combining Description Logic and Defeasible Logic for the Semantic Web.
RuleML 2004: 170-181 |
| 90 | EE | Thomas Skylogiannis,
Grigoris Antoniou,
Nick Bassiliades:
A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report.
RuleML 2004: 205-214 |
| 89 | EE | Grigoris Antoniou,
Antonis Bikakis,
Gerd Wagner:
A System for Nonmonotonic Rules on the Web.
RuleML 2004: 23-36 |
| 88 | EE | Nick Bassiliades,
Grigoris Antoniou,
Ioannis P. Vlahavas:
A Defeasible Logic Reasoner for the Semantic Web.
RuleML 2004: 49-64 |
| 87 | EE | Grigoris Antoniou:
A Discussion of Some Intuitions of Defeasible Reasoning.
SETN 2004: 311-320 |
| 86 | EE | 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 |
| 85 | | Grigoris Antoniou,
Frank van Harmelen:
Web Ontology Language: OWL.
Handbook on Ontologies 2004: 67-92 |
| 84 | EE | Grigoris Antoniou:
Defeasible logic with dynamic priorities.
Int. J. Intell. Syst. 19(5): 463-472 (2004) |
| 83 | EE | Guido Governatori,
Michael J. Maher,
Grigoris Antoniou,
David Billington:
Argumentation Semantics for Defeasible Logic.
J. Log. Comput. 14(5): 675-702 (2004) |
| 2003 |
|---|
| 82 | EE | Giorgos Flouris,
Dimitris Plexousakis,
Grigoris Antoniou:
On a Unifying Framework for Comparing Knowledge Representation Schemes.
KRDB 2003 |
| 81 | EE | Grigoris Antoniou,
Gerd Wagner:
Rules and Defeasible Reasoning on the Semantic Web.
RuleML 2003: 111-120 |
| 80 | EE | Grigoris Antoniou:
Nonmonotonic Rules for the Semantic Web.
KI 17(3): 16- (2003) |
| 2002 |
|---|
| 79 | | Grigoris Antoniou:
Defeasible Logic with Dynamic Priorities.
ECAI 2002: 521-525 |
| 78 | EE | Grigoris Antoniou,
Michael J. Maher:
Embedding Defeasible Logic into Logic Programs.
ICLP 2002: 393-404 |
| 77 | EE | Grigoris Antoniou:
Nonmonotonic Rule Systems on Top of Ontology Layers.
International Semantic Web Conference 2002: 394-398 |
| 76 | | Grigoris Antoniou:
Defeasible logic with dynamic priorities.
NMR 2002: 84-90 |
| 75 | EE | Grigoris Antoniou:
A Nonmonotonic Rule System using Ontologies.
RuleML 2002 |
| 74 | EE | Grigoris Antoniou,
M. Arief:
Executable declarative business rules and their use in electronic commerce.
SAC 2002: 6-10 |
| 73 | EE | Grigoris Antoniou:
On the dynamics of default reasoning.
Int. J. Intell. Syst. 17(12): 1143-1155 (2002) |
| 2001 |
|---|
| 72 | EE | Grigoris Antoniou,
David Billington:
Relating Defeasible and Default Logic.
Australian Joint Conference on Artificial Intelligence 2001: 13-24 |
| 71 | EE | Grigoris Antoniou,
David Billington,
Guido Governatori,
Michael J. Maher:
Representation results for defeasible logic.
ACM Trans. Comput. Log. 2(2): 255-287 (2001) |
| 70 | | 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 |
|---|
| 69 | | Grigoris Antoniou,
David Billington,
Guido Governatori,
Michael J. Maher:
A Flexible Framework for Defeasible Logics.
AAAI/IAAI 2000: 405-410 |
| 68 | | Grigoris Antoniou,
David Billington,
Guido Governatori,
Michael J. Maher,
Andrew Rock:
A Family of Defeasible Reasoning Logics and its Implementation.
ECAI 2000: 459-463 |
| 67 | EE | Michael J. Maher,
Andrew Rock,
Grigoris Antoniou,
David Billington,
Tristan Miller:
Efficient defeasible reasoning systems.
ICTAI 2000: 384-392 |
| 66 | | Grigoris Antoniou,
M. Arief:
Modelling business rules using defeasible logic.
IRMA Conference 2000: 1020-1022 |
| 65 | | Guido Governatori,
Michael J. Maher,
Grigoris Antoniou,
David Billington:
Argumentation Semantics for Defeasible Logics.
PRICAI 2000: 27-37 |
| 64 | EE | Grigoris Antoniou,
David Billington,
Guido Governatori,
Michael J. Maher:
A flexible framework for defeasible logics
CoRR cs.AI/0003013: (2000) |
| 63 | EE | Grigoris Antoniou,
David Billington,
Guido Governatori,
Michael J. Maher:
Representation results for defeasible logic
CoRR cs.LO/0003082: (2000) |
| 62 | | Grigoris Antoniou,
Cara MacNish:
Conservative extension concepts for nonmonotonic knowledge bases.
Int. J. Intell. Syst. 15(9): 859-877 (2000) |
| 61 | | 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 |
|---|
| 60 | EE | Grigoris Antoniou:
On the Dynamics of Default Reasoning.
ESCQARU 1999: 1-10 |
| 59 | EE | Grigoris Antoniou,
David Billington,
Michael J. Maher:
On the Analysis of Regulations using Defeasible Rules.
HICSS 1999 |
| 58 | EE | Grigoris Antoniou,
Aditya Ghose:
What Is Default Reasoning Good For? Applications Revisited.
HICSS 1999 |
| 57 | | Grigoris Antoniou,
Fumihiro Maruyama,
Ryusuke Masuoka,
Hironobu Kitajima:
Issues in Intelligent Information Integration.
IMSA 1999: 345-349 |
| 56 | EE | David Billington,
Grigoris Antoniou,
Guido Governatori,
Michael J. Maher:
Revising Nonmonotonic Theories: The Case of Defeasible Logic.
KI 1999: 101-112 |
| 55 | EE | Grigoris Antoniou,
Michael J. Maher,
David Billington,
Guido Governatori:
A Comparison of Sceptical NAF-Free Logic Programming Approaches.
LPNMR 1999: 347-356 |
| 54 | EE | Grigoris Antoniou:
A tutorial on default logics.
ACM Comput. Surv. 31(4): 337-359 (1999) |
| 53 | | Grigoris Antoniou,
Neil V. Murray:
Logical Methods for Computational Intelligence (Guest Editorial).
Inf. Sci. 116(1): 1-2 (1999) |
| 52 | | Aditya Ghose,
Grigoris Antoniou,
Randy Goebel,
Abdul Sattar:
Connections Between Default Reasoning and Partial Constraint Satisfaction.
Inf. Sci. 117(3-4): 177-190 (1999) |
| 51 | | Grigoris Antoniou:
Splitting Finite Default Theories: A Comparison of Two Approaches.
Journal of Logic, Language and Information 8(2): 205-216 (1999) |
| 50 | EE | Robert Plant,
Grigoris Antoniou:
Special issue on verification and validation.
Knowl.-Based Syst. 12(1-2): 1-2 (1999) |
| 1998 |
|---|
| 49 | | 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 |
| 48 | | 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 |
| 47 | | Michael J. Maher,
Grigoris Antoniou,
David Billington:
A Study of Provability in Defeasible Logic.
Australian Joint Conference on Artificial Intelligence 1998: 215-226 |
| 46 | | Grigoris Antoniou,
David Billington,
Michael J. Maher:
Normal Forms for Defeasible Logic.
IJCSLP 1998: 160-174 |
| 45 | | Mary-Anne Williams,
Grigoris Antoniou:
A Strategy for Revising Default Theory Extensions.
KR 1998: 24-35 |
| 44 | | 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) |
| 43 | | Grigoris Antoniou,
Volker Sperschneider:
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic.
Artif. Intell. Rev. 12(6): 431-443 (1998) |
| 42 | EE | Grigoris Antoniou:
The Role of Nonmonotonic Representations in Requirements Engineering.
International Journal of Software Engineering and Knowledge Engineering 8(3): 385-399 (1998) |
| 41 | | Grigoris Antoniou,
Tyrone O'Neill,
Joe Thurbon:
Studying properties of classes of default logics.
J. Exp. Theor. Artif. Intell. 10(4): 495-505 (1998) |
| 40 | | Grigoris Antoniou:
A note on the cumulativity of justified default logic.
J. Exp. Theor. Artif. Intell. 10(4): 507-509 (1998) |
| 1997 |
|---|
| 39 | | Grigoris Antoniou:
A Comparison of Two Approaches to Splitting Default Theories.
AAAI/IAAI 1997: 424-429 |
| 38 | | Jörg Ernst,
Grigoris Antoniou:
Stratification for Variants of Default Logic.
AAAI/IAAI 1997: 830 |
| 37 | | Cara MacNish,
Grigoris Antoniou:
Specification Morphisms for Nonmonotonic Knowledge Systems.
Australian Joint Conference on Artificial Intelligence 1997: 246-254 |
| 36 | | Grigoris Antoniou:
Representation Results for Default Logics.
Australian Joint Conference on Artificial Intelligence 1997: 255-264 |
| 35 | EE | Grigoris Antoniou:
Stratification: The Computational Base of a System for Default Reasoning.
ICTAI 1997: 165- |
| 34 | | Grigoris Antoniou,
Mary-Anne Williams:
Reasoning with Incomplete and Changing Information: The CIN Project.
Inf. Sci. 99(1-2): 83-99 (1997) |
| 33 | | Grigoris Antoniou,
Elmar Langetepe:
A Correct Logic Programming Computation of Default Logic Extensions.
J. Autom. Reasoning 18(1): 25-46 (1997) |
| 1996 |
|---|
| 32 | | Allen P. Courtney,
Norman Y. Foo,
Grigoris Antoniou:
Computing Default Logic Extensions: An Implementation.
AAAI/IAAI, Vol. 2 1996: 1381 |
| 31 | | Grigoris Antoniou:
A Comparative Survey of Default Logic Variants.
FAPR 1996: 15-28 |
| 30 | | Grigoris Antoniou,
Mary-Anne Williams:
Default Reasoning and Belief Revision in the CIN Project.
FAPR 1996: 691-693 |
| 29 | | Grigoris Antoniou,
Mary-Anne Williams:
CIN: an intelligent information management toolkit.
IFIP World Conference on IT Tools 1996: 395-401 |
| 28 | | Grigoris Antoniou,
Allen P. Courtney,
Jörg Ernst,
Mary-Anne Williams:
A System for Computing Constrained Default Logic Extensions.
JELIA 1996: 237-250 |
| 27 | | Allen P. Courtney,
Grigoris Antoniou,
Norman Y. Foo:
Exten: A System for Computing Default Logic Extensions.
PRICAI 1996: 471-482 |
| 26 | | Grigoris Antoniou,
Cara MacNish,
Norman Y. Foo:
Conservative Expansion Concepts for Default Theories.
PRICAI 1996: 522-533 |
| 25 | | Grigoris Antoniou,
Tyrone O'Neill,
Joe Thurbon:
Studying Properties of Classes of Default Logics - Preliminary Report.
PRICAI 1996: 558-569 |
| 24 | | Grigoris Antoniou,
Mary-Anne Williams:
Some approaches to reasoning with incomplete and changing information.
PRICAI Workshops 1996: 9-44 |
| 23 | | Grigoris Antoniou:
Operational Characterization of Extensions in Some Logics for Default Reasoning.
Inf. Sci. 89(3): 261-273 (1996) |
| 22 | EE | Grigoris Antoniou:
Integrity and rule checking in nonmonotonic knowledge bases.
Knowl.-Based Syst. 9(5): 301-306 (1996) |
| 1995 |
|---|
| 21 | | Grigoris Antoniou:
Priorities in Default Logic Revisited.
AI*IA 1995: 152-162 |
| 20 | | Grigoris Antoniou:
Verification and Correctness Issues for Nonmonotonic Knowledge Bases.
EUROVAV 1995: 141-153 |
| 1994 |
|---|
| 19 | | Grigoris Antoniou,
Elmar Langetepe:
Soundness and Completeness of a Logic Programming Approach to Default Logic.
AAAI 1994: 934-939 |
| 18 | | Grigoris Antoniou,
Elmar Langetepe,
Volker Sperschneider:
New Proofs in Default Logic Theory.
Ann. Math. Artif. Intell. 12(3-4): 215-229 (1994) |
| 17 | | Grigoris Antoniou,
Volker Sperschneider:
Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic.
Artif. Intell. Rev. 8(1): 3-16 (1994) |
| 16 | EE | Grigoris Antoniou,
Elmar Langetepe:
Applying SLD-resolution to a class of non-Horn logic programs.
Bulletin of the IGPL 2(2): 229-241 (1994) |
| 15 | | Grigoris Antoniou:
The Verification of Modules.
Formal Asp. Comput. 6(2): 223-244 (1994) |
| 14 | EE | Grigoris 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 |
| 9 | | Grigoris 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 |
| 4 | EE | Grigoris Antoniou:
Modularity for Logical Knowledge Bases.
SEKE 1992: 87-93 |
| 1989 |
|---|
| 3 | | Grigoris 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 |
