14. Australian Joint Conference on Artificial Intelligence 2001: Adelaide, Australia

Markus Stumptner, Dan Corbett, Michael J. Brooks (Eds.): AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings. Lecture Notes in Computer Science 2256 Springer 2001, ISBN 3-540-42960-3 BibTeX

@proceedings{DBLP:conf/ausai/2001,
  editor    = {Markus Stumptner and
               Dan Corbett and
               Michael J. Brooks},
  title     = {AI 2001: Advances in Artificial Intelligence, 14th Australian
               Joint Conference on Artificial Intelligence, Adelaide, Australia,
               December 10-14, 2001, Proceedings},
  booktitle = {Australian Joint Conference on Artificial Intelligence},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2256},
  year      = {2001},
  isbn      = {3-540-42960-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Papers

Hussein A. Abbass:
A Memetic Pareto Evolutionary Approach to Artificial Neural Networks. 1-12
Electronic Edition (Springer LINK) BibTeX
Grigoris Antoniou, David Billington:
Relating Defeasible and Default Logic. 13-24
Electronic Edition (Springer LINK) BibTeX
Luís G. Rueda, B. John Oommen:
Resolving Minsky's Paradox: The d-Dimensional Normal Distribution Case. 25-36
Electronic Edition (Springer LINK) BibTeX
Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton:
Solving Overconstrained Temporal Reasoning Problems. 37-49
Electronic Edition (Springer LINK) BibTeX
Amy M. Beckwith, Berthe Y. Choueiry, Hui Zou:
How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search. 50-61
Electronic Edition (Springer LINK) BibTeX
Paul A. Boxer:
Towards Learning Naive Physics by Visual Observation: Qualitative Spatial Representations. 62-70
Electronic Edition (Springer LINK) BibTeX
N. J. Bracken, Robert I. McKay:
Phased Array Sub-beam Optimisation. 71-82
Electronic Edition (Springer LINK) BibTeX
The Duy Bui, Dirk Heylen, Mannes Poel, Anton Nijholt:
Generation of Facial Expressions from Emotion Using a Fuzzy Rule Based System. 83-94
Electronic Edition (Springer LINK) BibTeX
Yungcheol Byun, Sungsoo Yoon, Yeongwoo Choi, Gyeonghwan Kim, Yillbyung Lee:
An Efficient Form Classification Method Using Partial Matching. 95-106
Electronic Edition (Springer LINK) BibTeX
R. Mike Cameron-Jones:
Gradient Descent Style Leveraging of Decision Trees and Stumps for Misclassification Cost Performance. 107-118
Electronic Edition (Springer LINK) BibTeX
Samir Chopra, Dongmo Zhang:
Postdiction Problems in Dynamic Logic. 119-129
Electronic Edition (Springer LINK) BibTeX
Dan Corbett:
A Method for Reasoning with Ontologies Represented as Conceptual Graphs. 130-141
Electronic Edition (Springer LINK) BibTeX
John K. Debenham:
Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management. 142-152
Electronic Edition (Springer LINK) BibTeX
Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang:
State Minimization Re-visited. 153-164
Electronic Edition (Springer LINK) BibTeX
Tim French:
Decidability of Quantifed Propositional Branching Time Logics. 165-176
Electronic Edition (Springer LINK) BibTeX
Gyundo Kee, Yungcheol Byun, Kwanyong Lee, Yillbyung Lee:
Improved Techniques for an Iris Recognition System with High Performance. 177-188
Electronic Edition (Springer LINK) BibTeX
Graham Kendall, Mark Willdig:
An Investigation of an Adaptive Poker Player. 189-200
Electronic Edition (Springer LINK) BibTeX
Abdus Salam Khan, Achim G. Hoffmann:
Acquiring Adaptation Knowledge for CBR with MIKAS. 201-212
Electronic Edition (Springer LINK) BibTeX
Jong Bae Kim, Hye Sun Park, Min Ho Park, Hang Joon Kim:
A Real-Time Region-Based Motion Segmentation Using Adaptive Thresholding and K-Means Clustering. 213-224
Electronic Edition (Springer LINK) BibTeX
Kyungsu Kim, Jeonghee Jeon, WanKyoo Choi, PanKoo Kim, Yo-Sung Ho:
Automatic Cell Classification in Human's Peripheral Blood Images Based on Morphological Image Processing. 225-236
Electronic Edition (Springer LINK) BibTeX
Mihye Kim, Paul Compton:
Formal Concept Analysis for Domain-Specific Document Retrieval Systems. 237-248
Electronic Edition (Springer LINK) BibTeX
Adam Kowalczyk, Bhavani Raskutti:
Learner's Self-Assessment: A Case Study of SVM for Information Retrieval. 249-260
Electronic Edition (Springer LINK) BibTeX
Victor V. Kryssanov, Masayuki Okabe, Koh Kakusho, Michihiko Minoh:
A Semiotic Model of Communication and Its Implications for the Digital City Development. 261-272
Electronic Edition (Springer LINK) BibTeX
Achim G. Hoffmann, Rex Bing Hung Kwok, Paul Compton:
Simulations for Comparing Knowledge Acquisition and Machine Learning. 273-284
Electronic Edition (Springer LINK) BibTeX
Daniel Hulme, Shuxiang Xu:
Application of Genetic Algorithms to the Optimisation of Neural Network Configuration for Stock Market Forecasting. 285-296
Electronic Edition (Springer LINK) BibTeX
Jérôme Lang, Pierre Marquis, Mary-Anne Williams:
Updating Epistemic States. 297-308
Electronic Edition (Springer LINK) BibTeX
Michael D. Lee:
Fast Text Classification Using Sequential Sampling Processes. 309-320
Electronic Edition (Springer LINK) BibTeX
Kendall Lister, Leon Sterling:
Agents in a Multi-cultural World: Towards Ontological Reconciliation. 321-332
Electronic Edition (Springer LINK) BibTeX
Chuchang Liu:
Logical Foundations for Reasoning about Trust in Secure Digital Communication. 333-344
Electronic Edition (Springer LINK) BibTeX
Ndedi D. Monekosso, Paolo Remagnino:
Phe-Q: A Pheromone Based Q-Learning. 345-355
Electronic Edition (Springer LINK) BibTeX
Tomoko Murakami, Ryohei Orihara, Naomichi Sueda:
Specification of Kansei Patterns in an Adaptive Perceptual Space. 356-367
Electronic Edition (Springer LINK) BibTeX
Emma Norling, Frank E. Ritter:
Embodying the JACK Agent Architecture. 368-377
Electronic Edition (Springer LINK) BibTeX
Chris Nowak, Richard Raban:
Towards an Ontology of Part-of. 378-389
Electronic Edition (Springer LINK) BibTeX
Vineet Padmanabhan, Guido Governatori, Abdul Sattar:
Actions Made Explicit in BDI. 390-401
Electronic Edition (Springer LINK) BibTeX
Bernhard Pfahringer, Geoffrey Holmes, Gabi Schmidberger:
Wrapping Boosters against Noise. 402-413
Electronic Edition (Springer LINK) BibTeX
Mark Reynolds:
Continuous Temporal Models. 414-425
Electronic Edition (Springer LINK) BibTeX
Walid S. Saba:
Language and Commonsense Knowledge. 426-437
Electronic Edition (Springer LINK) BibTeX
Hee Suk Seo, Tae Ho Cho:
Simulation of Network Security with Collaboration among IDS Models. 438-448
Electronic Edition (Springer LINK) BibTeX
Bradford Starkie:
Programming Spoken Dialogs Using Grammatical Inference. 449-460
Electronic Edition (Springer LINK) BibTeX
Andy Song, Thomas Loveard, Victor Ciesielski:
Towards Genetic Programming for Texture Classification. 461-472
Electronic Edition (Springer LINK) BibTeX
Markus Stumptner:
Using Design Information to Identify Structural Software Faults. 473-486
Electronic Edition (Springer LINK) BibTeX
Adam Szarowicz, Juan Amiguet-Vercher, Peter Forte, Jonathan Briggs, Petros Gelepithis, Paolo Remagnino:
The Application of AI to Automatically Generated Animation. 487-494
Electronic Edition (Springer LINK) BibTeX
Michael Thielscher:
Planning with Noisy Actions. 495-506
Electronic Edition (Springer LINK) BibTeX
Steven Versteeg, Alan D. Blair:
Getting the Job Done in a Hostile Environment. 507-518
Electronic Edition (Springer LINK) BibTeX
Quoc Bao Vo, Norman Y. Foo:
Solving the Qualification Problem. 519-531
Electronic Edition (Springer LINK) BibTeX
Peter Wallis, Helen Mitchard, Jyotsna Das, Damian O'Dea:
Dialogue Modelling for a Conversational Agent. 532-544
Electronic Edition (Springer LINK) BibTeX
Geoffrey I. Webb:
Candidate Elimination Criteria for Lazy Bayesian Rules. 545-556
Electronic Edition (Springer LINK) BibTeX
Michael Winikoff, Lin Padgham, James Harland:
Simplifying the Development of Intelligent Agents. 557-568
Electronic Edition (Springer LINK) BibTeX
Wayne Wobcke:
An Operational Semantics for a PRS-Like Agent Architecture. 569-580
Electronic Edition (Springer LINK) BibTeX
Sungsoo Yoon, Yungcheol Byun, Gyeonghwan Kim, Yeongwoo Choi, Yillbyung Lee:
A Model of Unconstrained Digit Recognition Based on Hypothesis Testing and Data Reconstruction. 581-592
Electronic Edition (Springer LINK) BibTeX
Chengqi Zhang, Shichao Zhang:
Collecting Quality Data for Database Mining. 593-604
Electronic Edition (Springer LINK) BibTeX
Songmao Zhang, Geoffrey I. Webb:
Further Pruning for Efficient Association Rule Discovery. 605-618
Electronic Edition (Springer LINK) BibTeX
Shichao Zhang, Chengqi Zhang:
Pattern Discovery in Probabilistic Databases. 619-630
Electronic Edition (Springer LINK) BibTeX
Yan Zhang:
The Complexity of Logic Program Updates. 631-642
Electronic Edition (Springer LINK) BibTeX
Zili Zhang, Chengqi Zhang:
Reasoning with Multimedia Information Using Symbolic Projection. 643-654
Electronic Edition (Springer LINK) BibTeX

Invited Contribution

Didier Dubois:
Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision. 655-664
Electronic Edition (Springer LINK) BibTeX