Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. Australian Joint Conference on Artificial Intelligence 1997: Perth, Australia
- Abdul Sattar:
Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings. Lecture Notes in Computer Science 1342, Springer 1997, ISBN 3-540-63797-4
Keynote Papers
- Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin:
Controlling Autonomous Robots with GOLOG. 1-12 - Ruud M. Bolle, Boon-Lock Yeo, Minerva M. Yeung:
Video Query and Retrieval. 13-24 - Leon Sterling:
On Finding Needles in WWW Haystacks. 25-36
Constraint Satisfaction and Scheduling
- William S. Havens:
Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. 37-46 - Wanlin Pang, Scott D. Goodwin:
Constraint-Directed Backtracking. 47-56 - John Thornton, Abdul Sattar:
Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. 57-66
Computer Vision
- Nicola Ritter, Robyn A. Owens, Yogesan Kanagasingam, Paul P. Van Saarloos:
The Application of Mutual Information to the Registration of Stereo and Temporal Images of the Retina. 67-76 - James R. Cooper, R. O. Hastings:
Kalman Filtering from a Phase Based Optical Flow Operator. 77-86 - Stuart W. Perry
, Ling Guan:
Adaptive Constraint Restoration and Error Analysis Using a Neural Network. 87-95
Distributed AI
- Christopher Grinton, Liz Sonenberg, Leon Sterling:
Exploring Agent Cooperation: Studies with a Simple Pursuit Game. 96-105 - M. A. Abtroun, Salima Hassas:
The Serializability Problem in a Parallel Rule-Based System: A Solution by Distributed Coordination. 106-115 - Hung Hai Bui, Dorota H. Kieronska, Svetha Venkatesh:
Optimal Communication Among Team Members. 116-126
Evolutionary Computation
- Thorsten Schnier, John S. Gero:
Dominant and Recessive Genes in Evolutionary Systems Applied to Spatial Reasoning. 127-136 - Hans J. Pierrot, Robert Hinterding:
Using Multi-chromosomes to Solve a Simple Mixed Integer Problem. 137-146 - Masoud Mohammadian, Mark Kingham:
Hierarchical and Feed-Forward Fuzzy Logic for Financial Modelling and Prediction. 147-156
Knowledge-Based Systems
- John K. Debenham:
A Knowledge-Based System for Workflow Management Using the World Wide Web. 157-166 - Robert M. Colomb, Yi-Ping Phoebe Chen:
Use of Partial Functional Dependencies to Make Practical Approximate Translations Among Forms of Propositional Expert Systems. 167-176 - Ghassan Beydoun, Achim G. Hoffmann:
NRDR for the Acquisition of Search Knowledge. 177-186 - Gavin Lawson, Dickson Lukose:
Rapid Prototyping of Executable Problem Solving Methods Using MODEL-ECS. 187-196
Knowledge Representation and Reasoning
- Pavlos Peppas, Maurice Pagnucco, Mikhail Prokopenko, Norman Y. Foo:
Preferential Semantics for Causal Fixpoints. 197-206 - Tyrone O'Neill, Norman Y. Foo:
Belief Update, the Markovian Situation Calculus, and Discrete Event Systems. 207-216 - Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo:
A Notion of Correctness with Theories Containing Theoretical Terms. 217-226 - Norman Y. Foo, Pavlos Peppas, Yan Zhang:
Inductive Properties of States. 227-235 - Pawel Jachowicz, Randy Goebel:
Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision. 236-245 - Cara MacNish, Grigoris Antoniou:
Specification Morphisms for Nonmonotonic Knowledge Systems. 246-254 - Grigoris Antoniou:
Representation Results for Default Logics. 255-264 - David Billington:
Proving Quantified Literals in Defeasible Logic. 265-273
Learning and Machine Vision
- Yoshinori Arai, Kaoru Hirota:
Fuzzy Hierarchical Pattern Recognition for Robotics Applications. 274-281 - Adrian R. Pearce, Terry Caelli, Simon Goss:
Adaptive Curvature-Based Topography for Learning Symbolic Descriptions of Terrain Maps. 282-289 - R. Chang, Ling Guan, John A. Burne:
A Computer Assisted Image Analysis System for Diagnosing Movement Disorders. 290-301 - Baolin Yin, Yu Tao:
Vowel Recognition for Speaker Independent Chinese Speech Recognition. 302-310 - Simon Dixon:
Beat Induction and Rhythm Recognition. 311-320
Machine Learning
- Hongxing He, Zhexue Huang:
Boosting Neural Networks in Real Worls Applications: An Empirical Study. 321-329 - Howard J. Hamilton, Ning Shan, Wojciech Ziarko:
Machine Learning of Credible Classifications. 330-339 - Graham J. Williams, Zhexue Huang:
Mining the Knowledge Mine: The Hot Spots Methodology for Mining Large Real World Databases. 340-348 - Bark Cheung Chiu, Geoffrey I. Webb, Zijian Zheng:
Using Decision Trees for Agent Modelling: A Study on Resolving Confliction Predictions. 349-358
NLP and User Modelling
- Bhavani Raskutti, Anthony Beitz:
Sample Set Assessment for Providing Personalised Recommendations. 359-368 - Kyongho Min, William H. Wilson:
Integrated Correction of Ill-Formed Sentences. 369-378 - Tsukasa Hirashima, Noriyuki Matsuda, Toyohiro Nomoto, Jun'ichi Toyoda:
Information Filtering for Context-Sensitive Browsing. 379-388
Neural Networks
- Vincent Sauvage:
The T-SOM (Tree-SOM). 389-397 - Nick K. Treadgold, Tamás D. Gedeon:
Extending and Benchmarking the CasPer Algorithm. 398-406 - Ramesh B. Thapa, R. Sadananda:
Disconcepts and Fuzzy Cognitive Maps. 407-416 - Lawrence Peh, Chi Ping Tsang:
Weight Sensitive Boolean Extraction Produces Compact Expressions. 417-426 - Garry Briscoe, Terry Caelli:
Learning Temporal Sequences in Recurrent Self-Organising Neural Nets. 427-435
Robotics and Machine Recognition
- Irving Hofman, Ray Jarvis:
Three-Dimensional Scene Analysis Using Multiple Range Finders - Data Capture, Coordinate Transformations and Initial Segmentation. 436-445 - Ray Jarvis:
Sensor-Based Robotic Automation of Mushroom Farming - Preliminary Considerations. 446-455 - R. Andrew Russell:
Creating Adroit Mechanisms by Using Large Numbers of Simple Homogeneous Structures. 456-465 - R. Andrew Russell:
A Nephelometric Tactile Sensor. 466-474 - Rochelle O'Hagan, Alexander Zelinsky:
Finger Track - A Robust and Real-Time Gesture Interface. 475-484
Temporal Qualitative Reasoning
- Chuchang Liu, Mehmet A. Orgun:
A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic. 485-495 - Yusuf Pisan:
Controlling Engineering Problem Solving. 496-504 - Sam Waugh, Tim Menzies, Simon Goss:
Evaluating a Qualitative Reasoner. 505-514
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-03 19:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
