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