Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David N. Morley, Liz Sonenberg |
A Logic for Concurrent Events and Action Failure. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo |
Exten: A System for Computing Default Logic Extensions. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kumiko Ishino, Katuo Sugai, Riichiro Mizoguchi |
An Inteligent Education System Which Supports Scientific Thinking: Galileo -Philosophy and Basic Architecture. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bhavani Raskutti, Ingrid Zukerman |
A Unified Approach to Handling Uncertainty during Cooperative Consultations. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vilas Wuwongse, Ekawit Nantajeewarawat |
Declarative Program Theory with Implicit Information. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Malti Patel |
Using Neural Nets to Investigate Lexical Access. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence Cavedon, Anand S. Rao |
Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Roderic A. Girle |
Tableaux for Expansion and Contraction. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
belief revision, tableaux, paraconsistency |
1 | Lam-Fan Lee, Alex Chia-Yee Kean |
An Architecture for Autonomous Flying Vehicles: A Preliminary Report. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
Multi-agent System, Architecture, Planning |
1 | Maria Paola Bonacina, Jieh Hsiang |
On Semantic Resolution with Lemmaizing and Contraction. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jem Daalder, Peter W. Eklund, Kenji Ohmori |
High-Level Synthesis Optimization with Genetic Algorithms. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Ghose, Randy Goebel |
Anytime Default Inference. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alvin C. M. Kwan |
Validity of Normality Assumption in CSP Research. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mitsunori Matsushita, Motohide Umano, Itsuo Hatono, Hiroyuki Tamura |
A Fast Pattern-matching Algorithm Using Matching Candidates for Production Systems. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tae-Woong Yoo, Il-Seok Oh |
Extraction of Face Region and Features Based on Chromatic Properties of Human Faces. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xudong Luo, Chengqi Zhang |
A Unified Algebraic Structure for Uncertain Reasoning. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xiaorong Huang |
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xiaolong Zhang 0002, Masayuki Numao |
Efficient Multiple Predicate Learner Based on Fast Failure Mechanism. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yoshio Murase, Hitoshi Matsubara, Yuzuru Hiraga |
Automatic Making of Sokoban Problems. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bhavani Raskutti, Anthony Beitz |
Acquiring User Preferences for Information Filtering in Interactive Multi-Media Services. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Fall |
Extending Partial Orders for Sort Reasoning. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ian E. Thomas, Ingrid Zukerman, Jonathan J. Oliver, Bhavani Raskutti |
Lexical Access using Minimum Message Length Encoding. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chowdhury Rahman Mofizur, Masayuki Numao |
Learning Simple Recursive Concepts by Discovering Missing Examples. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John K. Debenham |
Knowledge Decomposition: An Analysis. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Samuel W. K. Chan, James Franklin |
Remembrance of Discourse Based on Textual Continuity: A Spreading Activation Network. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Norman Y. Foo, Randy Goebel (eds.) |
PRICAI'96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dong B. Hoang, M. R. James |
AMI: A Model of Intelligence. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
neural networks, Intelligent systems, learning algorithms, neocortex |
1 | Michael Bulmer |
Inductive Equational Reasoning. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuhiro Konishi, Yukihiro Itoh |
Domain World Models Represented from Variable Viewpoints for ICAI Systems of High-School Chemistry. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
Intelligent CAI Systems, Domain World Models, Viewpoints |
1 | Takashi Washio, Hiroshi Motoda |
A History-Oriented Envisioning Method. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
On Formation of Exception Hierarchy. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ming Zhao, Christopher Leckie |
The Development of an Interactive Fault Diagnosis Expert System for Telecommunication Applications. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
Fault Diagnosis, Expert System, Industrial Application |
1 | Rex Bing Hung Kwok |
Creating Theoretical Terms for Non-deterministic Actions. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi |
A Qualititative Reasoning Based on an Ontology of Fluid Systems and Its Evaluation. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bing Liu 0001 |
An Improved Generic Arc Consistency Algorithm and Its Specializations. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon |
Studying Properties of Classes of Default Logics - Preliminary Report. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Jain 0001, Arun Sharma 0001 |
Team Learning of Recursive Languages. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Angelo C. Restificar |
An Update Procedure for A Probabilistic Deductive Database. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tu Bao Ho |
Combining Views on Concepts in Unsupervised Concept Learning. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Didar Zowghi, Aditya Ghose, Pavlos Peppas |
A Framework for Reasoning about Requirements Evolution. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
AI applications in software engineering, belief revision, default reasoning |
1 | R. Mike Cameron-Jones |
The Complexity of Batch Approaches to Reduced Error Rule Set Induction. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Stumme |
The Concept Classification of a Terminology Extended by Conjunction and Disjunction. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou, Cara MacNish, Norman Y. Foo |
Conservative Expansion Concepts for Default Theories. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Itsuki Noda, Hitoshi Matsubara, Kazuo Hiraki |
Learning Cooperative Behavior in Multi-Agent Environment - A Case Study of Choice of Play-Plans in Soccer. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
Neural Networks, Machine Learning, Multi-agent System |
1 | Hyeyoung Park, Kwanyong Lee, Yillbyung Lee |
Adaptive SEJONG-NET for On-line Hangul Recognition. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Melville, Geoff Sutcliffe, David Fraser |
Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
Applications to telecommunications, Neural networks |
1 | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Seng Wai Loke, Andrew Davison, Leon Sterling |
CIFI: An Intelligent Agent for Citation Finding on The World-wide Web. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|