Journal and conference papers by G. Antoniou

Journal Publications and Book Chapters

  1. Nonmonotonic Reasoning. Knowledge Engineering Review (invited)

  2. The role of nonmonotonic representations in requirements engineering. International Journal of Software Engineering and Knowledge Engineering (accepted)

  3. Splitting default theories: A comparison of two approaches. Journal of Logic, Language and Information (accepted)

  4. Studying properties of classes of default logics. Journal of Experimental and Theoretical Artificial Intelligence (accepted)

  5. Stratification for default logic variants. International Journal of Intelligent Systems (accepted)

  6. Operational Concepts of Nonmonotonic Logics - Part 2: Autoepistemic Logic. Artificial Intelligence Review (with V. Sperschneider; accepted)

  7. A Note on the Cumulativity of Justified Default Logic. Journal of Experimental and Theoretical Artificial Intelligence (accepted)

  8. Verification and validation of Knowledge-Based Systems - Report on two 1997 events. AI Magazine 1998 (with F. van Harmelen, R. Plant and J. Vanthienen; accepted)

  9. Connection between default logic and partial constraint satisfaction. Information Sciences (with A. Ghose, R. Goebel and A. Sattar; accepted)

  10. Reasoning with Incomplete and Changing Information - A Tutorial. In G. Antoniou, A. Ghose and M. Truszczynski (Eds): Learning and Reasoning with Complex Representations, LNAI 1359, Springer 1998, 9-43 (with M.A. Williams)

  11. A correct logic programming computation of default logic extensions. Journal of Automated Reasoning 18,1 (1997): 25-46 (with E. Langetepe)

  12. Verification and Correctness Issues for Nonmonotonic Knowledge Bases. International Journal of Intelligent Systems 12,10 (1997): 725-738

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

  14. Reasoning with Incomplete and Changing Information: The CIN Project. Information Sciences 99, 1&2 (1997): 83-99 (with M.A. Williams)

  15. Logical Methods for Computational Intelligence. Knowledge Engineering Review 12,4 (1997): 1-3 (with N.V. Murray; invited)

  16. Integrity and rule checking in nonmonotonic knowledge bases. Knowledge-Based Systems 9 (1996): 301-306

  17. Restriction and expansion concepts for default logic. Journal of Computing and Information 3,1 (1996): 640-652 (special issue devoted to ICCI'96; with C.K. MacNish and N. Foo)

  18. Operational characterization of extensions in some logics for default reasoning. Information Sciences 89,3-4 (1996): 261-273

  19. Structuring methods for nonmonotonic knowledge. CC-AI (The Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology) 13,1 (1996): 13-30

  20. A Note on the Use of Lemmas in Default Logic. Journal of Computing and Information 3,1 (1996): 653-663 (special issue devoted to ICCI'96)

  21. On the Verification of Modular Logical Knowledge Bases. Journal of Expert Systems with Applications 8,3 (1995): 351-357 (with V. Sperschneider)

  22. Abstract properties for the choice provability relation in nonmonotonic logics. CC-AI 12,3 (1995): 253-262

  23. New proofs in default logic theory. Annals of Mathematics and Artificial Intelligence 12 (1994): 215-229 (with E. Langetepe and V. Sperschneider)

  24. Logic Programming and Default Logic. International Journal of Artificial Intelligence Tools 3,3 (1994): 367-373

  25. Applying SLD-resolution to a Class of Non-Horn Logic Programs. Journal of the Interest Group of Pure and Applied Logics 2,2 (1994): 229-241 (with E. Langetepe)

  26. Operational Concepts of Nonmonotonic Logics - Part 1: Default Logic. Artificial Intelligence Review 8 (1994): 3-16 (with V. Sperschneider)

  27. The Verification of Modules. Formal Aspects of Computing 6 (1994): 223-244

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

  29. Structuring and Modules for Knowledge Bases: Motivation for a new model. Knowledge-Based Systems 7,1 (1994): 49-51 (with I. Wachsmuth)

  30. Version space algorithms on hierarchies with exceptions. CC-AI (The Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistemology) 10,4 (1993): 311-326

  31. Modules and Verification. In C. Rattray and R.G. Clark: The Computation Laboratory. Oxford University Press 1992, 353-366

Publicly available refereed conference proceedings papers

  1. A Strategy for Revising Default Theory Extensions. In Proc. 6th International Conference on the Principles of Knowledge Representation and Reasoning (KR'98), Morgan Kaufmann 1998, 24-33 (with M.A. Williams)

  2. Normal Forms for Defeasible Logic. In Proc. 1998 Joint International Conference and Symposium on Logic Programming, MIT Press 1998 (with D. Billington and M. Maher; accepted)

  3. Testing Production System Programs. In Proc. 9th International Symposium on Software Reliability Engineering, IEEE Press 1998 (with O. Jack; accepted)

  4. A Study of Provability in Defeasible Logic. In Proc. 11th Australian Joint Conference on Artificial Intelligence, LNAI, Springer 1998 (with D. Billington and M. Maher; accepted)

  5. Sceptical logic programming based default reasoning - Defeasible logic rehabilitated. In Proc. Commonsense'98, 1-19 (with D. Billington and M. Maher)

  6. Intelligent Computer Tools for Supporting Human Negotiation: Systems & Research. In Proc. Pacific Asia Conference on Information Systems (PACIS'97), ISBN 1-86435-275-2, 175-183 (with E. Bellucci and J. Zeleznikow)

  7. A Comparison of Two Approaches to Splitting Default Theories. In Proc. 14th American National Conference on Artificial Intelligence (AAAI-97), AAAI/MIT Press 1997, 424-429

  8. Stratification: the computational base of a system for default reasoning. In Proc. 9th IEEE International Conference on Tools with Artificial Intelligence, 165-171, IEEE 1997

  9. Stratification for Variants of Default Logic. In Proc. 14th American National Conference on Artificial Intelligence (AAAI-97), AAAI/MIT Press 1997, 830 (with J. Ernst)

  10. Specification Morphisms for Nonmonotonic Knowledge Systems. In Proc. 10th Australian Joint Conference on Artificial Intelligence, LNAI 1342, Springer 1997, 246-254 (with Kym MacNish)

  11. Representation Results for Default Logics. In Proc. 10th Australian Joint Conference on Artificial Intelligence, LNAI 1342, Springer 1997, 255-264

  12. Teaching Intelligent Information Management. In Proc. 1st International Conference on Computational Intelligence and Multimedia Applications (ICCIMA'97), Griffith University 1997, ISBN 0-86857-761-8, 380-383 (with M.A. Williams)

  13. A System for Computing Constrained Default Logic Extensions . In Proc. 5th European Workshop on Logics in AI (JELIA'96), Springer 1996, LNAI 1126, 237-250 (with A.P. Courtney, J. Ernst and M.A. Williams)

  14. On the verification of nonmonotonic knowledge bases: the use of classical methods. Proc. 3rd World Congress on Expert Systems, Cognizant 1996, 1255-1262

  15. A comparative survey of default logic variants. Proc. 1st International Conference on Formal and Applied Practical Reasoning, Springer 1996, LNAI 1085, 15-28

  16. Default reasoning and belief revision in the CIN Project. Proc. 1st International Conference on Formal and Applied Practical Reasoning, Springer 1996, LNAI 1085, 691-693 (with M.A. Williams)

  17. Computing Default Logic Extensions: An Implementation. In Proc. American National Conference on Artificial Intelligence (AAAI-96), MIT Press 1996, 1381 (with A. Courtney and N. Foo)

  18. Studying properties of classes of default logics - preliminary report. In Proc. 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96), Springer 1996, LNAI 1114, 558-569 (with T. O'Neill and J. Thurbon)

  19. Exten: A System for Computing Default Logic Extensions. In Proc. 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96), Springer 1996, LNAI 1114, 471-482 (with A. Courtney and N. Foo)

  20. Conservative expansion concepts for default theories. In Proc. 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96), Springer 1996, LNAI 1114, 522-533 (with C.K. MacNish and N. Foo)

  21. CIN: An Intelligent Information Management Toolkit. In N. Terashima, E. Altman: Advanced IT Tools (part of the Proceedings of the 14th World Computer Congress), Chapman & Hall 1996, 395-401 (with M.A. Williams)

  22. Expressing composition graphs with exceptions as default theories. In Proc. International Conference on Intelligent Systems (IS'96), ISCA 1996

  23. Logic Programming and Default Logic. In E.A. Yfantis: Intelligent Systems Vol. 1, Kluwer Academic Publishers 1995, 19-26

  24. Structuring as a means for nonmonotonic reasoning in the large. In N.J.I. Mars: Towards Very Large Knowledge Bases, IOS Press 1995, 187-193

  25. Priorities in Default Logic Revisited. Proc. 4th Congress of the Italian Association for Artificial Intelligence, Springer 1995, LNAI 992, 152-162

  26. An operational interpretation of justified default logic. Proc. 8th Australian Joint Conference on Artificial Intelligence, World Scientific 1995, 67-74

  27. An object-oriented implementation of belief revision. Proc. 8th Australian Joint Conference on Artificial Intelligence, World Scientific 1995, 259-266 (with M.A. Williams and K. Wallace)

  28. Soundness and Completeness of a Logic Programming Approach to Default Logic. Proc. American National Conference on Artificial Intelligence (AAAI-94), MIT Press 1994, 934-939 (with E. Langetepe)

  29. Computing Extensions of Nonmonotonic Logics. In Proc. 4th Scandinavian Conference on Artificial Intelligence, IOS Press 1993, 20-29 (with V. Sperschneider)

  30. A Process Model for Default Logics and its Realization in Logic Programming. In Proc. 4th Portugese Conference on Artificial Intelligence, Springer 1993, LNAI 727, 213-225 (with E. Langetepe)

  31. Computing Extensions of Default Logic - Preliminary Report. In Proc. 4th International Conference on Logic Programming and Automated Reasoning, Springer 1993, LNAI 698, 19-27 (with E. Langetepe and V. Sperschneider)

  32. Version Space Algorithms on Hierarchies with Exceptions. In Proc. 4th Portugese Conference on Artificial Intelligence, Springer 1993, LNAI 727, 136-149

  33. Abstract properties for the choice provability relation in nonmonotonic logics. In Proc. 3rd Congress oof the Italian Association for Artificial Intelligence, Springer 1993, LNAI 728, 35-40

  34. Modularity for Logic Programs. In Proc. 4th British Logic Programming Conference, Springer 1992 (with V. Sperschneider)

  35. Modularity for Logical Knowledge Bases. In Proc. 4th International Conference on Software Engineering and Knowledge Engineering, IEEE Press 1992, 87-93

  36. Logical Approaches to Structured Knowledge Bases. In Proc. Artificial Intelligence - Methodologies, Systems, Applications, Elsevier 1992

  37. On the verification of modules. In Proc. Computer Science Logic 1989, Springer LNCS 440, 16-35 (with V. Sperschneider)

  38. Terminator. In Proc. International Joint Conference on Artificial Intelligence 1983, MIT Press, 916-919 (with H.J. Ohlbach)

[back] Home page of Grigoris Antoniou

Last modified: 9/4/1998. In case you have any comments please contact Grigoris Antoniou (ga@cit.gu.edu.au).