![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4. PRICAI 1996: Cairns, Australia
- Norman Y. Foo, Randy Goebel:
PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings. Lecture Notes in Computer Science 1114, Springer 1996, ISBN 3-540-61532-6
Machine Learning I
- Adel Bouhoula:
General Framework for Mechanizing Induction using Test Set. 1-12 - Michael Bulmer:
Inductive Equational Reasoning. 13-22 - Geoffrey I. Webb
:
Cost-Sensitive Specialization. 23-34 - Xiaolong Zhang, Masayuki Numao:
Efficient Multiple Predicate Learner Based on Fast Failure Mechanism. 35-46
Interactive Systems
- Bhavani Raskutti, Anthony Beitz:
Acquiring User Preferences for Information Filtering in Interactive Multi-Media Services. 47-58 - Ming Zhao, Christopher Leckie
:
The Development of an Interactive Fault Diagnosis Expert System for Telecommunication Applications. 59-70 - Kumiko Ishino, Katuo Sugai, Riichiro Mizoguchi:
An Inteligent Education System Which Supports Scientific Thinking: Galileo -Philosophy and Basic Architecture. 71-84 - Bhavani Raskutti, Ingrid Zukerman
:
A Unified Approach to Handling Uncertainty during Cooperative Consultations. 85-96
Knowledge Representation I
- Vilas Wuwongse, Ekawit Nantajeewarawat:
Declarative Program Theory with Implicit Information. 97-108 - John K. Debenham:
Knowledge Decomposition: An Analysis. 109-120 - Gerd Stumme:
The Concept Classification of a Terminology Extended by Conjunction and Disjunction. 121-131 - Andrew Fall:
Extending Partial Orders for Sort Reasoning. 132-143
Reasoning about Change
- Angelo C. Restificar:
An Update Procedure for A Probabilistic Deductive Database. 144-156 - Didar Zowghi
, Aditya Ghose, Pavlos Peppas
:
A Framework for Reasoning about Requirements Evolution. 157-168 - Fon-Lin Lai, Joo-Hwee Lim, Liya Ding, Ah-Hwee Tan
, Ho-Chung Lui:
An Application of Hierarchical Knowledge Integration in Hand-Written Form Processing. 169-180
Neural Nets and Uncertainty I
- Dong B. Hoang, M. R. James:
AMI: A Model of Intelligence. 181-192 - Setsuo Ohsuga:
Symbol Processing by Non-Symbol Processor. 193-205 - Ann E. Nicholson
:
Fall Diagnosis using Dynamic Belief Networks. 206-217
Natural Language
- Samuel W. K. Chan, James Franklin
:
Remembrance of Discourse Based on Textual Continuity: A Spreading Activation Network. 218-228 - Ian E. Thomas, Ingrid Zukerman
, Jonathan J. Oliver, Bhavani Raskutti:
Lexical Access using Minimum Message Length Encoding. 229-240 - Malti Patel:
Using Neural Nets to Investigate Lexical Access. 241-252
Constraint Satisfaction and Optimization
- Alvin C. M. Kwan:
Validity of Normality Assumption in CSP Research. 253-263 - Bing Liu:
An Improved Generic Arc Consistency Algorithm and Its Specializations. 264-275 - Jem Daalder, Peter W. Eklund
, Kenji Ohmori:
High-Level Synthesis Optimization with Genetic Algorithms. 276-287
Qualitative Reasoning
- Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi:
A Qualititative Reasoning Based on an Ontology of Fluid Systems and Its Evaluation. 288-299 - Shohei Kato, Hirohisa Seki, Hidenori Itoh:
Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. 300-311 - Takashi Washio, Hiroshi Motoda:
A History-Oriented Envisioning Method. 312-323
Machine Learning II
- Sanjay Jain, Arun Sharma
:
Team Learning of Recursive Languages. 324-335 - Tu Bao Ho:
Combining Views on Concepts in Unsupervised Concept Learning. 336-347 - R. Mike Cameron-Jones:
The Complexity of Batch Approaches to Reduced Error Rule Set Induction. 348-359 - Chowdhury Rahman Mofizur, Masayuki Numao:
Learning Simple Recursive Concepts by Discovering Missing Examples. 360-371
Automated Reasoning
- Maria Paola Bonacina, Jieh Hsiang
:
On Semantic Resolution with Lemmaizing and Contraction. 372-386 - Roderic A. Girle
:
Tableaux for Expansion and Contraction. 387-398 - Xiaorong Huang:
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. 399-410 - Bingning Dai, David A. Bell, John G. Hughes:
Evidential Temporal Representations and Reasoning. 411-422
Neural Nets and Uncertainty II
- Stuart Melville, Geoff Sutcliffe
, David Fraser
:
Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. 423-434 - Boon Toh Low:
Modeling Commonsense Rules in an Inference Network. 435-446 - Hyeyoung Park, Kwanyong Lee, Yillbyung Lee:
Adaptive SEJONG-NET for On-line Hangul Recognition. 447-458 - Xudong Luo
, Chengqi Zhang
:
A Unified Algebraic Structure for Uncertain Reasoning. 459-470
Knowledge Representation II
- Allen P. Courtney, Grigoris Antoniou
, Norman Y. Foo:
Exten: A System for Computing Default Logic Extensions. 471-482 - David N. Morley, Liz Sonenberg:
A Logic for Concurrent Events and Action Failure. 483-494 - Tatsuhiro Konishi, Yukihiro Itoh:
Domain World Models Represented from Variable Viewpoints for ICAI Systems of High-School Chemistry. 495-509 - Rex Bing Hung Kwok:
Creating Theoretical Terms for Non-deterministic Actions. 510-521
Nonmonotonic Reasoning
- Grigoris Antoniou
, Cara MacNish, Norman Y. Foo:
Conservative Expansion Concepts for Default Theories. 522-533 - Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi:
On Formation of Exception Hierarchy. 534-545 - Aditya Ghose, Randy Goebel:
Anytime Default Inference. 546-557 - Grigoris Antoniou
, Tyrone O'Neill, Joe Thurbon:
Studying Properties of Classes of Default Logics - Preliminary Report. 558-569
Intelligent Agents
- Itsuki Noda, Hitoshi Matsubara, Kazuo Hiraki:
Learning Cooperative Behavior in Multi-Agent Environment - A Case Study of Choice of Play-Plans in Soccer. 570-579 - Seng Wai Loke, Andrew Davison, Leon Sterling:
CIFI: An Intelligent Agent for Citation Finding on The World-wide Web. 580-591 - Yoshio Murase, Hitoshi Matsubara, Yuzuru Hiraga:
Automatic Making of Sokoban Problems. 592-600
Planning
- Lawrence Cavedon, Anand S. Rao:
Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture. 601-612 - Lam-Fan Lee, Alex Chia-Yee Kean:
An Architecture for Autonomous Flying Vehicles: A Preliminary Report. 613-624
Pattern Recognition
- Yoshiaki Segawa, Hiroshi Sakai, Toshio Endoh, Kazuhito Murakami, Takashi Toriu, Hiroyasu Koshimizu:
Face Recognition through Hough Transform for Irises Extraction and Projection Procedures for Parts Localization. 625-636 - Tae-Woong Yoo, Il-Seok Oh:
Extraction of Face Region and Features Based on Chromatic Properties of Human Faces. 637-645 - Mitsunori Matsushita, Motohide Umano, Itsuo Hatono, Hiroyuki Tamura:
A Fast Pattern-matching Algorithm Using Matching Candidates for Production Systems. 646-656
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.