Publications of G. Antoniou

Books

  1. Defeasible Logic: A Practical Approach to Nonmonotonic Reasoning. Springer 2010 (with G. Governatori, A. Rotolo and N. Bassiliades; in preparation)

  2. A Semantic Web Primer. MIT Press 2004/2008 (with F. van Harmelen)

  3. Nonmonotonic Reasoning. MIT Press 1997

  4. Logic: A Foundation for Computer Science. Addison-Wesley 1991 (with V. Sperschneider)

  5. Turbo Prolog. Data Becker 1986

 

Journal Publications and Book Chapters

  1. Strategies for Contextual Reasoning with Conflicts in Ambient Intelligence. Knowledge and Information Systems (with A. Bikakis and P. Hassapis; accepted)

  2. MWeb: a Principled Framework for Modular Web Rule Bases and its Semantics. ACM Transactions on Computational Logic (with A. Analyti and C. Damasio; accepted)

  3. An Inclusion Theorem for Defeasible Logic. ACM Transactions on Computational Logic (with D. Billington, G. Governatori and M.J. Maher; accepted)

  4. Contextual Argumentation in Ambient Intelligence. IEEE Transactions on Knowledge and Data Engineering (with A. Bikakis; accepted)

  5. Contextual Defeasible Logic and its Application to Ambient Intelligence. IEEE Transactions on Systems, Man and Cybernetics - Part A (with A. Bikakis; accepted)

  6. Design and Implementation of a Semantics-based Contextual Navigation Guide for Indoor Environments. Journal of Ambient Intelligence and Smart Environments 1,3 (2009): 261-285 (with M. Nikoloudakis, M. Kristotakis, M. Michou, A. Bikakis, T. Patkos and D. Plexousakis)

  7. A Tool for Addressing the Ramification Problem in Temporal Databases. International Journal of Artificial Intelligence Tools 18,4 (2009): 589-601 (with N. Papadakis, D. Plexousakis, M. Papadakis and K. Boutsika)

  8. Semantic Web. Encyclopedia of Database Systems, Springer 2009 (with D. Plexousakis; accepted)

  9. Visual Modeling of Defeasible Logic Rules with DR-VisMo. International Journal of Artificial Intelligence Tools 17,5 (2008): 903-924 (with E. Kontopoulos and N. Bassiliades)

  10. The ramification problem in temporal databases: concurrence execution. International Journal of Intelligent Systems 25, 4 (2010): 287-325 (with N. Papadakis and D. Plexousakis)

  11. Design and Challenges of a Semantics-based Framework for Context-Aware Services. International Journal of Reasoning-based Intelligent Systems 1, 1/2 (2009): 18-30 (with A. Bikakis, T. Patkos, M. Papadopouli and D. Plexousakis)

  12. A Modal and Deontic Defeasible Reasoning System for Modelling Policies and Multi-Agent Systems. Expert Systems with Applications 36, 2,2 (2009): 4125-4134 (with N. Dimaresis and G. Governatori)

  13. Deploying Defeasible Logic Rule Bases for the Semantic Web. Data and Knowledge Engineering 66,1 (2008): 116-146 (with E. Kontopoulos and N. Bassiliades)

  14. Extended RDF as a Semantic Foundation of Rule Markup Languages. Journal of Artificial Intelligence Research 32 (2008): 37-94 (with A. Analyti, C. Damasio and G. Wagner)

  15. Proof Explanation for a Nonmonotonic Semantic Web Rules  Language. Data and Knowledge Engineering 64, 3 (2008): 662-687 (with N. Dimaresis, A. Bikakis, G. Governatori et al.)

  16. Ontology change: classification and survey. Knowledge Engineering Review 23,2 (2008): 117-152 (with G. Flouris, D. Manakanatas, H. Kondylakis and D. Plexousakis)

  17. DR-BROKERING: A semantic brokering system. Knowledge-Based Systems 20,1 (2007): 61-72 (with T. Skylogiannis, A. Bikakis, M. Doerr and N. Bassiliades)

  18. A context-aware meeting alert using semantic web and rule technology. International Journal of Metadata, Semantics and Ontologies 2,3 (2007): 147-156 (with A. Bikakis, A. Karamolegou, N. Papachristodoulou and M. Stratakis)

  19. DR-NEGOTIATE: A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. Data and Knowledge Engineering 63,2 (2007): 362-380 (with T. Skylogiannis, N. Bassiliades, G. Governatori and A. Bikakis)

  20. Visual Development of Defeasible Logic Rules for the Semantic Web. In F. Ferri (Ed.): Visual Languages for Interactive Computing: Definitions and Formalizations, Idea Group Publishing 2007, 273-301 (with  E. Kontopoulos and N. Bassiliades)

  21. Challenges and Principles in Teaching Semantic Web Technologies. International Journal of Teaching and Case Studies 1,4 (2009): 275-282 (with M. Doerr)

  22. DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering 19,2 (2007): (with A. Bikakis)

  23. Embedding Defeasible Logic into Logic Programming. Theory and Practice of Logic Programming 6,6 (2006): 703-735 (with D. Billington, G. Governatori and M. Maher)

  24.  Qualified Ramifications for Temporal Databases: Changing Beliefs About the Past. Knowledge and Data Engineering 59, 2 (2006): 397-434 (with D. Papadakis and D. Plexousakis)

  25. Web Ontology Languages. In J. Cardoso (ed): Semantic Web Services: Theory, Tools and Applications. IDEA Group 2006, 96-109 (with M. Doerr)

  26. Defeasible reasoning: a discussion of some intuitions. International Journal of Intelligent Systems 21,6 (2006): 545-558

  27.  A Defeasible Logic Reasoner for the Semantic Web. International Journal on Semantic Web and Information Systems 2,1 (2006): 1-41 (with N. Bassiliades and I. Vlahavas)

  28. Towards a General Web Rule Language. International Journal of Web Engineering and Technology 2, 2/3 (2005): 181-206  (with G. Wagner and C.V. Damasio)

  29. A Semantic Brokering System for the Tourism Domain. Information Technology & Tourism 7, 3-4 (2005) (with T. Skylogiannis, A. Bikakis and N. Bassiliades)

  30. Rule-Based Policy Specification. In T. Yu and S. Jajodia (eds):  Security in Decentralized Data Management, Springer 2006, 169-216 (with M. Baldoni, P.A. Bonatti, W. Nejdl and D. Olmedilla)

  31. Default Logic. In D.Gabbay and J. Woods (eds): Handbook of the History of Logic, Vol. 7. Elsevier 2005 (with K. Wang; invited)

  32. Introduction to Semantic Web Ontology Languages. In ReasoningWeb, LNCS 3564, Springer 2005, 1-21 (with E. Franconi and F. van Harmelen)

  33.   Reasoning Methods for Personalization on the Semantic Web. Annals of Mathematics, Computing & Teleinformatics  2,1 (2004): 1-24 (with Baldoni, Baroglio, Patti et al.)

  34.  Negation and Negative Information in the W3C Resource Description Framework. In Annals of Mathematics, Computing and Teleinformatics 2,1 (2004): 25-34 (with A. Analyti, C.V. Damasio and G. Wagner)

  35. Elements of a First Visual Rule Language for the Semantic Web. AIS SIGSEMIS Bulletin 1,3 (2004): 40-42 (with M. Berndtsson, S. Spreeuwenberg, K. Taveter and G. Wagner)

  36. Semantic Web: Key Ideas. In Encyclopedia of Information Science and Technology, Information Resources Management Association Press 2005 (with V. Christophides and D. Plexousakis; accepted)

  37. Argumentation Semantics for Defeasible Logics. Journal of Logic and Computation 14,5 (2004): 675-702 (with M.J. Maher, G. Governatori and D. Billington)

  38. Defeasible Logic with Dynamic Priorities. International Journal of Intelligent Systems 19,5 (2004): 463-472

  39. Web Ontology Language: OWL. In S. Staab and R. Studer (eds). Handbook of Ontologies in Information Systems. Springer 2003

  40. Nonmonotonic Rules for the Semantic Web. KI 3 (2003): 16-21

  41. On the Dynamics of Default Reasoning. International Journal of Intelligent Systems 17,12 (2002): 1143-1155.

  42. Executable Declarative Business Rules and Their Use in Electronic Commerce. International Journal of Intelligent Systems in Accounting, Finance and Management 10,4 (2001): 211-223 (with M. Arief)

  43. Modelling Business Rules Using Defeasible Logic. In K. van Slooten (ed): Optimal Information Modeling Techniques, IRM Press 2002, 128-136 (with M. Arief)

  44. Efficient Defeasible Reasoning Systems. International Journal of Tools with Artificial Intelligence 10,4 (2001): 483-501. (with A. Rock, M. Maher and D. Billington)

  45. Representation Results for Defeasible Logic. ACM Transactions on Computational Logic 2,2 (2001): 255-287 (with D. Billington, G. Governatori and M. Maher)

  46. A note on the refinement of ontologies. International Journal of Intelligent Systems 15,7 (2000): 623-632 (with A. Kehagias)

  47. Defeasible Logic versus Logic Programming without Negation as Failure. Journal of Logic Programming 41,1 (2000): 45-57 (with M.J. Maher and D. Billington)

  48. A Note on the Refinement of Nonmonotonic Knowledge Bases. Knowledge and Information Systems 2,4 (2000): 479-486 (with Cara MacNish and Norman Foo)

  49. Conservative extension concepts for nonmonotonic knowledge bases. International Journal of Intelligent Systems 15,9 (2000): 859-877 (with Cara MacNish)

  50. A Tutorial on Default Logics. ACM Computing Surveys 31,4 (1999): 337-359

  51. Splitting default theories: A comparison of two approaches. Journal of Logic, Language and Information 8,2 (1999), 205-216

  52. Connection between default logic and partial constraint satisfaction. Information Sciences 117 (1999): 177-190 (with A. Ghose, R. Goebel and A. Sattar)

  53. Guest editorial - Logical methods for computational intelligence. Information Sciences 116 (1999), 1-2

  54. A Tutorial on Default Reasoning. Knowledge Engineering Review 13,3 (1998): 225-246 (invited)

  55. The role of nonmonotonic representations in requirements engineering. International Journal of Software Engineering and Knowledge Engineering 8,3 (1998): 385-399

  56. Studying properties of classes of default logics. Journal of Experimental and Theoretical Artificial Intelligence 10,4 (1998): 495-505 (with T. O'Neill and J. Thurbon)

  57. Stratification for default logic variants. International Journal of Intelligent Systems 13,9 (1998): 785-799

  58. Operational Concepts of Nonmonotonic Logics - Part 2: Autoepistemic Logic. Artificial Intelligence Review 12,6 (1998): 431-443 (with V. Sperschneider)

  59. A Note on the Cumulativity of Justified Default Logic. Journal of Experimental and Theoretical Artificial Intelligence 10,4 (1998): 507-509

  60. 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)

  61. 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)

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

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

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

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

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

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

  68. 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)

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

  70. 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

  71. 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)

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

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

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

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

  76. 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)

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

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

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

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

  81. 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

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

 

Conference and Workshop papers

 

  1.  Modular ERDF ontologies. In Proc. 19th European Conference on Artificial Intelligence (ECAI 2010) . (with C. Damasio and A. Analyti; accepted)

  2.  Reasoning about Context in Ambient Intelligence Environments: A Report from the Field . In Proc. 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). (with C. Papatheodorou and A. Bikakis; accepted)

  3.  On the Deployment of Contextual Reasoning in Ambient Intelligence Environments. In Proc. 6th International Conference on Intelligent Environments (IE'10) . (with C. Papatheodorou and A. Bikakis; accepted)

  4.  A Reasoning Framework for Ambient Intelligence. In Proc. SETN 2010 , LNCS XXXX, Springer 2010. (with T. Patkos, D. Plexousakis, I. Chrysakis and A. Bikakis; accepted)

  5.  Reasoning with Imperfect Context and Preference Information in Multi-Context Systems. In Proc. ADBIS 2010 , LNCS XXXX, Springer 2010. (with A. Bikakis and C. Papatheodorou; invited)

  6.  Controlling Access to RDF Graphs. In Proc. FIS 2010 , LNCS XXXX, Springer 2010. (with I. Fundulaki and G. Flouris; accepted)

  7.  Embeddings of Simple Modular Extended RDF. In Proc. RR 2010 , LNCS XXXX, Springer 2010. (with A. Analyti and C. Damasio; accepted)

  8.  Task-based Dependency Management for the Preservation of Digital Objects using Rules. In Proc. SETN 2010 , LNCS XXXX, Springer 2010. (with Y. Marketakis and Y. Tzitzikas; accepted)

  9.  FleXConf: A Flexible Conference Assistant using Context-Aware Notification Services. In Proc. 5th International Workshop on Context Aware Mobile Systems (CAMS 2009) . LNCS 5872, Springer 2009, 108-117 (with N. Armenatzoglou, Y. Marketakis, L. Kriara, E. Apostolopoulos, V. Papavasiliou, D. Kampas, A. Bikakis, A. Kapravelos, E. Kartsonakis, G. Linardakis and S. Nikitaki)

  10.  Concept and Role Forgetting in ALC Ontologies. In Proc. 2009 International Semantic Web Conference (ISWC-2009) . LNCS 5823, Springer 2009, 666-681 (with Z. Wang, K. Wang, R. Topor and J. Pan)

  11.  Uniform Interpolation for ALC Revisited. In Proc. 22nd Australasian Joint Conference on Artificial Intelligence (AI'09) . LNCS 5866, Springer 2009, 528-537 (with Z. Wang, K. Wang, R. Topor and J. Pan)

  12.  A Formal Theory for Modular ERDF Ontologies. In Proc. 3rd International Conference on Web Reasoning and Rule Systems (RR 2009) . LNCS 5837, Springer 2009, 212-226 (with A. Analyti and C.V. Damasio)

  13.  Argumentation about Context in Ambient Intelligence. In Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09) . LNAI 5753, Springer 2009, 30-43 (with A. Bikakis)

  14.  Exploiting Semantics for Indoor Navigation and User-Tracking. In Proc. 2009 International Symposium on UbiCom Frontiers - Innovative Research, Systems and Technologies (UFirst 2009) . IEEE Press 2009 (with M. Kritsotakis, E. Nikoloudakis, A. Bikakis, T. Patkos and D. Plexousakis ; accepted)

  15.  AlertMe: A Semantics-based Context-Aware Notification System. In Proc. 2nd IEEE International Workshop on Software Engineering for Context Aware Systems and Applications (SECASA 2009) . IEEE Press 2009 (with A. Leonidis, G. Baryannis, X. Fafoutis, M. Korozi, N. Gazoni, M. Dimitriou, M. Koutsogiannaki, A. Boutsika, M. Papadakis, H. Papagiannakis, G. Tesseris, E. Voskakis and A. Bikakis; accepted)

  16.  Alternative Strategies for Conflict Resolution in Multi-Context Systems. In Proc. 5th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI 2009). IFIP 2009 (with A. Bikakis; accepted)

  17.  Reasoning on the Web with Open and Closed Predicates. In Proc. 3rd International Workshop on Applications of Logic Programming on the (Semantic) Web and Web Services . CEUR Proceedings Vol-434. (with G. Wagner, A. Giurcia, I. Diaconescu, A. Analyti and C. Damasio; accepted)

  18.   Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. In Proc. Proc. Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) at 2008 IEEE WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology , IEEE Press 2008 (with E. Kontopoulos, N. Bassiliades and G. Governatori; accepted)

  19.   C-NGINE: A Contextual Navigation Guide for Indoor Environments. In Proc. 2nd European Conference on Ambient Intelligence (AmI-08) , LNCS 5355, Springer 2008, 258-275 (with M. Kritsotakis, M. Michou, M. Nikoloudakis, A. Bikakis, T. Patkos and D. Plexousakis)

  20.   Distributed Defeasible Contextual Reasoning in Ambient Computing. In Proc. 2nd European Conference on Ambient Intelligence (AmI-08) , LNCS 5355, Springer 2008, 308-325 (with A. Bikakis)

  21.   On the Computability and Complexity of Extended RDF. In Proc. PRICAI'08, LNCS 5351, Springer 2008, 5-16 (with A. Analyti, C. Damasio and G. Wagner)

  22.   A Semantics-based User Model for the Support of Personalized, Context-Aware Navigational Services. In Proc. BHCI Workshop on Ontologies and Interactive Systems (ONTORACT'2008) , IEEE Press 2008, 41-50 IEEE Press 2008 (with M. Michou, A. Bikakis, T. Patkos and D. Plexousakis)

  23.   Visualization of Proofs in Defeasible Logic. In Proc. RuleML'2008 LNCS 5321, Springer 2008, 197-210 (with I. Avguleas, K. Gkirtzou, S. Triantafilou, A. Bikakis, E. Kontopoulos and N. Bassiliades)

  24.   Local and Distributed Defeasible Reasoning in Multi-Context Systems. In Proc. RuleML'2008 LNCS 5321, Springer 2008, 135-149 (with A. Bikakis)

  25.   Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing. In Proc. The Second International Conference on Web Reasoning and Rule Systems (RR 2008) LNCS 5341, Springer 2008, 234-235 (with A. Bikakis)

  26.   Distributed Defeasible Reasoning in Multi-Context Systems. In Proc. NMR'2008 (with A. Bikakis)

  27.   A multi-agent environment for serving Proof Explanations in the Semantic Web. In Proc. 5th Hellenic Conference on Artificial Intelligence (SETN'08) LNAI 5138, Springer 2008, 26-37 (with A. Bikakis, P. Damianakis, M. Foukarakis, G. Iacovidis, M. Karmazh, H. Kondylakis, A. Makridakis, G. Nikiforos, G. Papadourakis)

  28.   The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. In Proc. 5th Hellenic Conference on Artificial Intelligence (SETN'08) LNAI 5138, Springer 2008, 345-351 (with A. Bikakis and C. Papatheodorou; accepted)

  29.   Distributed Reasoning with Conflicts in a Multi-Context Framework. In Proc. First International Conference on Advanced Intelligence (ICAI-08) (with A. Bikakis)

  30.   A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence. In Constructing Ambient Intelligence - AmI-07 Workshops , Communications in Computer and Information Science 11, Springer 2008, 14-23 (with A. Bikakis, T. Patkos and D. Plexousakis)

  31.   Distributed Reasoning weith Conflicts in an Ambient Peer-to-Peer Setting. In Constructing Ambient Intelligence - AmI-07 Workshops , Communications in Computer and Information Science 11, Springer 2008, 24-33 (with A. Bikakis)

  32.   Answering an Inquiry from Heterogeneous Contexts. In Proc. International Conference on Electronic Business Engineering (ICEBE'08) (with J. Guo, Z. Hu and C.K. Chan; accepted)

  33.   A Principled Framework for Modular Web Rule Bases and its Semantics. In Proc. KR-08 (with A. Analyti and C. Damasio; accepted)

  34.   Distributed Reasoning with Conflicts in a Multi-Context Framework. In Proc. AAAI-08 (with A. Bikakis; accepted)

  35.   Computability and Complexity Issues of Extended RDF. In Proc. ECAI-08 (with A. Analyti, C. Damasio and G. Wagner; accepted)

  36.   A Formal Approach for RDF/S Ontology Evolution. In Proc. ECAI-08 (with G. Konstantinidis, G. Flouris and V. Christophides; accepted)

  37.   The Ramification Problem in Temporal Databases:. In Proc. 17th International Symposium on Methodologies for Intelligent Systems (ISMIS'08) , LNAI ????, Springer 2008 (with N. Papadakis and D. Plexousakis; accepted)

  38.  A System for Modal and Deontic Defeasible Reasoning. In Proc. 23rd Annual ACM Symposium on Applied Computing (SAC'08), ACM Press 2008, 2261-2265 (with N. Dimaresis and G. Goernatori)

  39.  A System for Modal and Deontic Defeasible Reasoning. In Proc. 12th Australian Joint Conference on Artificial Intelligence (AI'07), LNAI 4830, Springer 2007, 609-613 (with N. Dimaresis and G. Governatori)

  40. Proof Explanation for the Semantic Web Using Defeasible Logic. In Proc. International Conference on Knowledge Science, Engineering and Management (KSEM'2007), LNCS 4798, Springer 2007, 186-197 (with N. Dimaresis, A. Bikakis, G. Governatori et al.)

  41. A(m)I: Challenges Raised by the Integrations of the Two Fields. In Proc. European Conference on Ambient Intelligence (AmI-07), LNCS 4794, Springer 2007, 159-176 (with T. Patkos, A. Bikakis, D. Plexousakis and M. Papadopouli)

  42.  Visual Stratification of Defeasible Logic Rule Bases. In Proc. 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'07) , 238-245 (with E. Kontopoulos and N. Bassiliades)

  43. The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints. In Proc. 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'07) , 274-278 (with N. Papadakis and D. Plexousakis)

  44. Proof Explanation in the DR-DEVICE System. In Proc. 1st International Conference on Web Reasoning and Rule Systems, LNCS 4524, Springer 2007, 249-258 (with N. Bassiliades and G. Governatori)

  45. A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. In Proc. 1st International Conference on Web Reasoning and Rule Systems, LNCS 4524, Springer 2007, 367-369 (with N. Bassiliades and E. Kontopoulos) 

  46. A Semantics-based Framework for Context-Aware Services: Lessons Learned and Challenges Authors. In Proc. 4th International Conference on Ubiquitous Intelligence and Computing (UIC-07), LNCS XXXX, Springer 2007 (with T. Patkos, A. Bikakis, M. Papadopouli and D. Plexousakis; accepted)

  47. Implementing Modal Extensions of Defeasible Logic for the Semantic Web. In Proc. AAAI 2007, AAAI Press 2007 (with N. Dimaresis; accepted)

  48. Visualizing Defeasible Logic Rules for the Semantic Web. In Proc. 1st Asian Semantic Web Conference (ASWC’06), LNCS 4185, Springer 2006, 278-292 (with E. Kontopoulos and N. Bassiliades)

  49. On Generalizing the AGM Postulates. In Proc. 3rd European Starting AI Researcher Symposium (STAIRS-2006), IOS Press 2006 (with G. Flouris and D. Plexousakis)

  50. Supporting Open and Closed World Reasoning on the Web. In Proc. Principles and Practice of Semantic Web Reasoning (PPSWR’06), LNCS 4187, Springer 2006, 149-163 (with C.V. Damasio, A. Analyti and G. Wagner)

  51.   Evolving Ontology Evolution. In Proc. 32nd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’06), LNCS 3831, Springer 2006, 14-29 (with G. Flouris and D. Plexousakis)

  52. Merging and aligning ontologies in dl-programs. In Proc. 1st International Conference on Rules and Rule Markup Languages (RuleML’05). LNCS 3791, Springer 2005, 160-171 (with K. Wang, R. Topor and A. Sattar)

  53. A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. In Proc. 1st International Conference on Rules and Rule Markup Languages (RuleML’05). LNCS 3791, Springer 2005, 172-186 (with N. Bassiliades and E. Kontopoulos)

  54.  Stable Model Theory for Extended RDF Ontologies. In Proc. 4th International Semantic Web Conference. LNCS 3729, Springer 2005, 21-36 (with A. Analyti, C.V. Damasio and G. Wagner)

  55.  On Applying the AGM Theory to DLs and OWL. In Proc. 4th International Semantic Web Conference. LNCS 3729, Springer 2005, 216-231 (with G. Flouris and D. Plexousakis)

  56. A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web. In Proc. 10th Panhellenic Conference in Informatics, LNCS 3746, Springer 2005, 404-414 (with N. Bassiliades, E. Kontopoulos and I. Vlahavas)

  57. DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. In Proc. 25th American National Conference on Artificial Intelligence (AAAI-2005), AAAI Press 2005, 1594-1595 (with A. Bikakis)

  58. A Deductive Semantic Brokering System. In Proc. 9th International Conference on Knowledge-Based Intelligent Information & Engineering Systems, LNAI 3682, Springer 2005, 746-752 (with A. Bikakis, T. Skylogiannis and N. Bassiliades)

  59.  DR-BROKERING: A Defeasible Logic-Based System for Semantic Brokering. In Proc. 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05), IEEE Press 2005, 414-417 (with T. Skylogiannis, A. Bikakis and N. Bassiliades)

  60. DR-NEGOTIATE: A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. In Proc. 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05), IEEE Press 2005, 44-49 (with T. Skylogiannis, N. Bassiliades and G. Governatori)

  61. The REWERSE View on Policies.  In Proc. Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference (with M. Baldoni, C. Baroglio, P. A. Bonatti, C. Duma, N. E. Fuchs, A. Martelli, W. Nejdl, D. Olmedilla, V. Patti, J. Peer and N. Shahmehri)

  62. DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web. In Proc. 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu 2005 (with A. Bikakis)

  63. Updating Description Logics using the AGM Theory. In Proc. 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu 2005 (with G. Flouris and D. Plexousakis)

  64. Generalizing the AGM Postulates: Preliminary Results and Applications. In Proc. International Workshop on Nonmonotonic Reasoning (NMR’04) (with G. Flouris and D. Plexousakis)

  65. A Defeasible Logic Programming System for the Web. In Proc. 16th IEEE Conference on Tools with Artificial Intelligence, IEEE Press 2004 (with A. Bikakis and G. Wagner)

  66. A System for Nonmonotonic Rules on the Web. In Proc. 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, LNCS 3323, Springer 2004, 23-36 (with A. Bikakis and G. Wagner)

  67. A Defeasible Logic Reasoner for the Semantic Web. In Proc. 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, LNCS 3323, Springer 2004, 49-64 (with N. Bassiliades and I. Vlahavas)

  68. Combining Description Logic and Defeasible Logic for the Semantic Web. In Proc. 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, LNCS 3323, Springer 2004, 170-181 (with K. Wang, D. Billington and J. Blee)

  69. A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies - Preliminary Report. In Proc. 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web, LNCS 3323, Springer 2004, 205-210 (with T. Skylogiannis and N. Bassiliades)

  70. The Abstract Syntax of RuleML: Towards a General Web Rule Language Framework. In Proc. IEEE/WIC/ACM Conference on Web Intelligence, IEEE Press 2004, 628-631 (with Wagner, Tabet and Boley)

  71. DR-DEVICE: A Defeasible Logic System for the Semantic Web. In Proc. 2nd Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR’04), LNCS 3208 Springer 2004 (with N. Bassiliades and I. Vlahavas; accepted)

  72. A Discussion of Some Intuitions of Defeasible Reasoning. In Proc. 2nd Hellenic Conference on Artificial Intelligence, LNAI 3025, Springer 2004, 311-320

  73. Generalizing the AGM Postulates: Preliminary Results and Applications. In Proc. International Workshop on Nonmonotonic Reasoning , 2004 (with G. Flouris and D. Plexousakis)

  74. On a Unifying Framework for Comparing Knowledge Representations Schemes. In Proc. 10th Knowledge Representation Meets Databases Workshop (KRDB’03), CEUR Workshop Proceedings Vol. 7, 75-86 (with G. Flouris and D. Plexousakis)

  75. Rules and Defeasible Reasoning on the Semantic Web. In Proc. Rules and Rule Markup Languages for the Semantic Web (RuleML-2003), LNCS 2876, Springer 2003, 111-120 (with G. Wagner)

  76. Embedding Defeasible Logic into Logic Programming. In Proc. 9th Panhellenic Conference in Informatics (PCI’2003)

  77. Embedding Defeasible Logic into Extended Logic Programs. In Proc. International Conference of Logic Programming, LNAI 2401, Springer 2002, 393-404 (with M.J. Maher)

  78. Defeasible Logic with Dynamic Priorities. In F. vanHarmelen (ed), Proc. 15th European Conference on Artificial Intelligence , IOS Press 2002

  79. Relating Defeasible Logic to Extended Logic Programs. In Proc. 2nd Greek AI Conference, LNAI 2308, Springer 2002, 54-64

  80. Nonmonotonic Rule Systems on top of Ontology Layers. In Proc. 1st International Semantic Web Conference, LNCS 2342, Springer 2002 394-398

  81. Executable Declarative Business rules and their use in Electronic Commerce. In Proc. ACM Symposium on Applied Computing (SAC 2002) , ACM Press 2002, 6-10 (with M. Arief)

  82. Defeasible Logic with Dynamic Priorities. In Proc. 9th International Workshop on Nonmonotonic Reasoning, 2002

  83. Relating Defeasible and Default Logic. In Proc. 14th Australian Joint Conference on Artificial Intelligence (AI'01) , LNAI 2256, Springer 2001, 13-24 (with D. Billington)

  84. Language for Business Rules Formalization. In Proc. 2001 Conference On Electrical, Electronics, Communication and Information, Jakarta 2001 (with M. Arief). Also presented at the 8th Panhellenic Conference on Informatics, Nicosia 2001

  85. A flexible framework for defeasible logics. In Proc. 17th American National Conference on Artificial Intelligence (AAAI-2000), 405-410 (with D. Billington, G. Governatori and M.J. Maher)

  86. A Family of Defeasible Reasoning Logics and its Implementation. In Proc. 14th European Conference on Artificial Intelligence (ECAI-2000), 459-463 (with D. Billington, G. Governatori and M.J. Maher)

  87. Argumentation Semantics for Defeasible Logics. In Proc. 6th Pacific Rim International Conference on Artificial Intelligence (PRICAI'2000), LNAI 1886, Springer 2000, 27-37 (with G. Governatori, M. Maher and D. Billington)

  88. Efficient Defeasible Reasoning Systems. In 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), IEEE 2000, 384-392 (with A. Rock, M. Maher, D. Billington and T. Miller)

  89. A Flexible Framework for Defeasible Logics. In Proc. 8th International Workshop on Nonmonotonic Reasoning, 2000 (with D. Billington, G. Governatori and M. Maher)

  90. A note on the refinement of ontologies. In Proc. 5th Joint Conference on Information Sciences, 2000 (with A. Kehagias; accepted)

  91. Modelling Business Rules using Defeasible Logic. In Proc. 11th Information Resources Management Association International Conference, 2000 (with M. Arief; accepted)

  92. Efficient defeasible reasoning systems. In Proc. 1st Australasian Workshop on Computational Logic, Canberra 2000 (with D. Billington, M. Maher, A. Rock).

  93. Comparison of Sceptical NAF-Free Logic Programming Approaches. In Proc. 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), LNAI 1730, Springer 1999, 347-356 (with M.J. Maher, D. Billington and G. Governatori)

  94. On the dynamics of default reasoning. In Proc. 5th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'99), LNAI 1638, Springer 1999, 1-10

  95. Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic. In Proc. 23rd German Conference on Artificial Intelligence, LNAI 1701, Springer 1999, 101-112 (with D. Billington, G. Governatori and M. Maher)

  96. A Web-Based Teaching Tool For Advanced Information and Management. In Proc. International Academy for Information Management - 14th Annual Conference, 345-348 (with M.A. Williams)

  97. Issues in Intelligent Information Integration. In Proc. 3rd IASTED International Conference on Internet and Multimedia Systems and Applications, IASTED 1999, 345-349 (with F. Maruyama, R. Masuoka, H. Kitajima)

  98. On the Modelling and Analysis of Regulations. In Proc. 10th Australasian Conference on Information Systems (with D. Billington, G. Governatori and M.J. Maher)

  99. On the analysis of regulations using defeasible rules. In Proc. 32nd Hawaii International Conference on Systems Science, 1999 (with D. Billington and M. Maher)

  100. What is default reasoning good for? Applications revisited. In Proc. 32nd Hawaii International Conference on Systems Science, 1999 (with A. Ghose)

  101. Formal Requirements Engineering: Tracing and Resolving Conflicts Using Nonmonotonic Representations. In Proc. AAAI-99 Workshop on Intelligent Software Engineering (with A. Ghose)

  102. An Simple and Efficient Method for Defeasible Reasoning. In Proc. 10th Irish Conference on Artificial Intelligence and Cognitive Science

  103. Formal Requirements Engineering: Tracing and Resolving Conflicts Using Nonmonotonic Representations. In Proc. AAAI-99 Workshop on Intelligent Software Engineering (with A. Ghose)

  104. Issues in Intelligent Information Integration. In Proc. 5th Pacific Asia Conference on Expert Systems, Los Angeles 1999 (with F. Maruyama, R. Masuoka and H. Kitajima)

  105. 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)

  106. Normal Forms for Defeasible Logic. In Proc. 1998 Joint International Conference and Symposium on Logic Programming, MIT Press 1998, 160-174 (with D. Billington and M. Maher)

  107. Revising default theories. In Proc. 10th International Conference on Tools with AI, IEEE 1998 (with M.A. Williams)

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

  109. A Study of Provability in Defeasible Logic. In Proc. 11th Australian Joint Conference on Artificial Intelligence, LNAI 1502, Springer 1998, 215-226 (with D. Billington and M. Maher)

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

  111. Defeasible logic revisited. In Proc. 7th International Workshop on Nonmonotonic Reasoning, 1998 (with D. Billington and M. Maher)

  112. On the analysis of regulations using defeasible rules. In Proc. AAAI-98 Workshop on Knowledge Management and Business Process Reengineering, AAAI Press 1998 (with D. Billington and M. Maher)

  113. Testing production system programs. In Proc. AAAI-98 Workshop on the Verification and Validation of Knowledge-Based Systems, AAAI Press 1998 (with O. Jackd)

  114. 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)

  115. 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

  116. 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

  117. 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)

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

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

  120. 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)

  121. On the decomposition of default theories into parts. In Paul P. Wang (Ed.): Proc. 3rd Joint Conference on Information Sciences (1997), Volume 2: Computational Intelligence, Neural Networks and Semiotics , 184-187

  122. Representation results for defeasible logic (extended abstract). In Paul P. Wang (Ed.): Proc. 3rd Joint Conference on Information Sciences (1997), Volume 2: Computational Intelligence, Neural Networks and Semiotics , 188-191 (with D. Billington and M. Maher)

  123. 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)

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

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

  126. 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)

  127. 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)

  128. 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)

  129. 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)

  130. 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)

  131. 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)

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

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

  134. Reasoning with Incomplete and Changing Information: The CIN Project. In Proc. 1st UNSW Symposium on Information Technology and Information Systems (SITIS'96), University of New South Wales 1996, 1-19 (with M.A. Williams)

  135. Module concepts for nonmonotonic knowledge bases. In Proc. AAAI-96 Workshop on Validation & Verification of Knowledge Based Systems and Subsystems, AAAI Press 1996, 101-108

  136. Some specification techniques for nonmonotonic knowledge bases - preliminary report. In Proc. AAAI-96 Workshop on Validation & Verification of Knowledge Based Systems and Subsystems, AAAI Press 1996, 116-121 (with C.K. MacNish)

  137. On the Refinement of Nonmonotonic Knowledge Bases. In Proc. ECAI'96 Workshop on Verification, Validation & Refinement of Knowledge Based Systems. Also to be presented at the PRICAI'96 Workshop on Verification, Validation & Refinement of Knowledge Based Systems, 1-6 (with C.K. MacNish)

  138. 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

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

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

  141. 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)

  142. Variants of Default Logic: Motivations annd Operational Concepts. In Proc. 8th Annual Florida AI Research Symposium, Melbourne, Florida 1995, 212-217

  143. Review of some Knowledge Structuring Methods. In Proc. 8th Annual Florida AI Research Symposium, Melbourne, Florida 1995, 72-76

  144. Efficient default reasoning through knowledge base structuring. In 4th GW International Conference on Intelligent Systems, The International Society for Computers and Their Applications 1995, 42-45

  145. SLD-resolution for Horn programs augmented by negated atoms. In 4th GW International Conference on Intelligent Systems, The International Society for Computers and Their Applications 1995, 149-152

  146. A correct logic programming implementation of default logic. In 4th GW International Conference on Intelligent Systems, The International Society for Computers and Their Applications 1995, 169-173

  147. Verification and Correctness Issues for Nonmonotonic Knowledge Bases. In Proc. 3rd European Symposium on Validation and Verification of Knowledge-Based Systems, Chambery, France 1995, 141-154

  148. Connections between Default Logic and Constraint Satisfaction. In Proc. 2nd Annual Joint Conference on Information Sciences, Wilmington 1995, 572-575

  149. Reasoning with Incomplete and Changing Information: the CIN Project. In Proc. 2nd Annual Joint Conference on Information Sciences, Wilmington 1995, 568-571 (with M.A. Williams)

  150. Operational Interpretations of some Default Reasoning Formalisms. In Proc. 2nd Annual Joint Conference on Information Sciences, Wilmington 1995, 564-567

  151. Representing default reasoning as a constraint satisfaction problem. In Proc. IJCAI-95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, 1-11

  152. Integrity and rule checking in nonmonotonic knowledge bases. In Proc. IJCAI-95 Workshop on Validation and Verification of Knowledge-Based Systems, 22-28

  153. Properties of classes of default theories - preliminary report. In Proc. 1st Australian Workshop on Commonsense Reasoning (in association with AI'95), DSTO 1995, 1-11

  154. 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)

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

  156. 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)

  157. 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)

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

  159. 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

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

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

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

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

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

 

Selected non-refereed publications

  1. Book review on S.K. Abd-El-Hafiz and V.R. Basili: A Knowledge-Based Approach to Program Understanding, Kluwer Academic Publishers 1995. In The Australian Computer Journal 28, 3, 1996

  2. Pragmatics of Nonmonotonic Reasoning, Tutorial notes for the AAAI'96 tutorial (with M. Truszczynski)

 

Last modified: 5/05/2010.