Conferences in DBLP
Rüdiger W. Brause Will Symbolic AI Be Replaced by Neural Networks? (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Gail A. Carpenter , Stephen Grossberg Integrating Symbolic Processing and Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Jarke , Robert G. Reynolds Integrating of AI, Database, and Software Engineering - Research Issues, Practical Problems (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Tek Tsai , Imran A. Zualkernan Quality of Heuristic Programs (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Shashi Shekhar Real Time and AI (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder Tools for Constraint Satisfaction (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder Tools for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] David A. McAllester Bottom Up Logic Programming as an Inference Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman Non-Systematic Search Methods for Model Finding. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck Constraint Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] John Mylopoulos The Future Direction of AI Tools (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger W. Brause Transform Coding by Lateral Inhibited Neural Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Cris Koutsougeras , R. Srikanth Data Transformation for Learning in Feedforward Neural Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Raqui Kane , Maurice Milgram Logical and Linear Dependencies Extraction from Trained Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Boon Toh Low Neural-Logic Belief Networks - A Tool for Knowledge Representation and Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Dixon , Wayne Wobcke The Implementation of a First-Order Logic AGM Belief Revision System. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Schiex , Gérard Verfaillie Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Yokoo Constraint Relaxation in Distributed Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Jakob Axelsson , Stefan Menth , Klaus Semmler Genetic Algorithms in Industrial Design. [Citation Graph (0, 0)][DBLP ] Conf ] Eleri Cardozo , Jaime Simão Sichman , Yves Demazeau Using the Active Object Model to Implement Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Perlin Principled Animation of Artificial Intelligence Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Ta-Cheng Yu , Jie-Yong Juang A Method for Translating CLP (R) Rules into Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Rathke Object-Oriented Programming and Frame-Based Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Li An Interactive Consistency Maintenance System and Its Logical Framework. [Citation Graph (0, 0)][DBLP ] Conf ] R. Jetzelsperger , Stan Matwin , Franz Oppacher Enhancing Reuse of Smalltalk Methods by Conceptual Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] Jun-Jang Jeng , Betty H. C. Cheng Using Analogy and Formal Methods for Software Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Raul Velez , Du Zhang , James Kho An Intelligent Tool for UNIX Performance Tuning. [Citation Graph (0, 0)][DBLP ] Conf ] P. Uvietta , Jutta Willamowski , Danielle Ziébelin Task Based Modelling for Problem Solving Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Gensel , Pierre Girard , Olivier Schmeltzer Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] Hendrik Theron , Ian Cloete An Empirical Evaluation of Beam Search and Pruning in BEXA. [Citation Graph (0, 0)][DBLP ] Conf ] Xiao-Jia M. Zhou , Tharam S. Dillon Prohabilistic Induction of Decision Trees and Disjunctive Normal Forms. [Citation Graph (0, 0)][DBLP ] Conf ] N. J. Puzey , T. J. Parsons , P. F. Sims , M. Green , T. Brookes The Use of a Machine Learning Toolbox on Industrial Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo Jenkins , Daniel L. Chester A Combined Object-Oriented and Logic Programming Tool for AI. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Hatzilygeroudis Knowledge Representation and Reasoning in a System Integration Logic in Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Santos Jr. A Fast Hill-Climbing Approach Without an Energy Function for Probabilistic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Sheng Guan Generalizing Evidence Theory to Lattices to Manage Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Yukio Ohsawa , Mitsuru Ishizuka Networked Bubble Propagation Method as a Polynomial-Time Hypothetical Reasoning for Computing Quasi-Optimal Solution. [Citation Graph (0, 0)][DBLP ] Conf ] Imran A. Zualkernan , Yuan-Jing Lin Experimental Evaluation of Output-Based Partition Testing for Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Vanthienen , E. Dries Illustration of a Decision Table Tool for Specifying and Implementing Knowledge Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ken-Ichi Hagiwara Elastic Version Space: A Knowledge Acquisition Method with Background Knowledge Adjustment. [Citation Graph (0, 0)][DBLP ] Conf ] Hisashi Shimodaira A Simple and Efficient Method for Diagnosing Equipment Faults Using Equations Representing the Steady State. [Citation Graph (0, 0)][DBLP ] Conf ] William Sverdlik , Robert G. Reynolds Incorporating Domain Specific Knowledge into Version Space Search. [Citation Graph (0, 0)][DBLP ] Conf ] Shashi Shekhar , Babak Hamidzadeh Self-Adjusting Real-Time Search: A Summary of Results. [Citation Graph (0, 0)][DBLP ] Conf ] Mitsuru Ishizuka , Akinori Abe Fast Hypothetical Reasoning Using Analogy on Inference-Path Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Dipankar Dasgupta , Douglas R. McGregor Short Term Unit-Commitment Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Seungho Cha , Dan I. Moldovan A Marker-Passing Algorithm for Reference Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Sabah , Xavier Briffault CARAMEL: A Step Towards Reflection in Natural Language Understanding Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Tojo , Hiroshi Tsuda , Hideki Yasukawa , Kazumasa Yokota , Yukihiro Morita QUIXOTE as a Tool for Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Der-Shung Yang , Julie L. Webster , Larry A. Rendell , James H. Garrett Jr. , Doris S. Shaw Management of Graphical Symbols in a CAD Environment: A Neural Network Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Akhtar Jameel , Cris Koutsougeras On Features Used for Handwritten Character Recognition in a Neural Network Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Hahn-Ming Lee , Weng-Tang Wang An Architecture of Neural Network for Fuzzy Teaching Inputs. [Citation Graph (0, 0)][DBLP ] Conf ] Hsin-Hsi Chen A Language Model for Parsing Very Long Chinese Sentences. [Citation Graph (0, 0)][DBLP ] Conf ] Eero Hyvönen , Stefano De Pascale , Aarno Lehtola Interval Constraint Satisfaction Tool INC++. [Citation Graph (0, 0)][DBLP ] Conf ] Eiji Kawaguchi , Marilyn Lee , Koichi Nozaki Meaning Description by SD-Forms and a Prototype of a Conversational-Text Retrieval System. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. [Citation Graph (0, 0)][DBLP ] Conf ] Du Zhang , Weining Zhang Evaluating Logical Queries by Means of Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Hua Shu The Application of a Multi-Modal Preferential Logic to the Design of Rational Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Tong Seng Quah , Chew Lim Tan , Hoon heng Teh A Connectionist Shell for Developing Expert Decision Support Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mikko Lehtokangas , Jukka Saarinen , Pentti Huuhtanen , Kimmo Kaski Neural Network Optimization Tool Based on Predictive MDL Principle for Time Series Prediction. [Citation Graph (0, 0)][DBLP ] Conf ] Jukka Vanhala , Pekka Pakarinen , Kimmo Kaski Paper Web Quality Profile Analysis Tool Based on Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chul-Eui Hong , Il-Yong Chung , Hee-Il Ahn The Analysis of Cost Error in Parallel Simulated Annealing. [Citation Graph (0, 0)][DBLP ] Conf ] Haleh Vafaie , Kenneth DeJong Robust Feature Selection Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] C. V. Ramamoorthy , C. Chandra , S. Ishihara , Y. Ng Knowledge Based Tools for Risk Assessment in Software Development and Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Gallucci , Jack Tan , Kuo-Wei Hwang PARTES: A Partitioning Scheme for Parallel Matching. [Citation Graph (0, 0)][DBLP ] Conf ] C. P. Ravikumar A Parallel Search-and-Learn Technique for Solving Large Scale TSP. [Citation Graph (0, 0)][DBLP ] Conf ] Matti Kurki , Jarmo Hirvinen An Operating Context-Sensitive Approach to Fault Detection of Mechatronic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Moghaddamzadeh , Nikolaos G. Bourbakis A Visual Inspection-Diagnosis Expert System for Printed Circuit Boards: Reverse Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Claudette Cayrol , Michel Cayrol , Olivier Palmade New Techniques for Inference in Assumption-Based Truth Maintenance Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jianxiang Wang , Shenquan Liu A Research for Visual Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] M. Zeller , R. Mock-Hecker Modeling Autonomous Agents in a Knowledge Based Simulation Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Ning Zhong , Setsuo Ohsuga HML - An Approach for Refining/Managing Knowledge Discovered from Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaolong Hao , Jason Tsong-Li Wang , Michael P. Bieber , Peter A. Ng A Tool for Classifying Office Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Changhwan Lee Sampling Issues in Generating Rules from Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Fatma Mili Data Analysis in Scientific Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Marquis On Metatheoretic Properties of Logic-Based Abductive Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Paolo Pecchiari NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Midori Tanaka , Norimasa Aoyama , Atsushi Sugiura , Yoshiyuki Koseki Integration of Multiple Knowledge Representation for Classification Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Masa-Aki Fukase , Tadao Nakamura Parallel Processing and Hardware Support of Symbols. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen W. Meyer A New Metric for Self-Organizing Feature Maps Allows Mapping of Arbitrary Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] J. T. Buchanan , Q. Y. Luo , P. G. Hendry Experiments in Distributed Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Jarkko Niittylahti , Harri Raittinen , Kimmo Kaski Dynamically Configurable Combinatory Logic Array as Boolean Neural Network. [Citation Graph (0, 0)][DBLP ] Conf ] R. Dellacasa , Pietro Morasso , S. Repetto , Gianni Vercelli , Renato Zaccaria Self-Organizing Navigation: From Neural Maps to Navigation Situations. [Citation Graph (0, 0)][DBLP ] Conf ] Tohru Nitta An Extension of the Back-Propagation Algorithm to Three Dimensions by Vector Product. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Allen , Renuka Shankar Checking the Correctness of Mission Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Xueming Huang , John W. Brahan , Sieu Phan A Training System Shell for the Workplace. [Citation Graph (0, 0)][DBLP ] Conf ] Suk I. Yoo , Chang H. Park An Inference Browser to Verify Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Chih-Hung Wu , Shie-Jue Lee , Hung-Sen Chou , Cheng-Jer Yu The Design and Implementation of a Rule-Based Expert System Language. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoqing Liu , Nengbin Wang , Guangfu Liu An Expert System Building Tool Supporting Knowledge Compilation and Management. [Citation Graph (0, 0)][DBLP ] Conf ] Marcus A. Maloof , Krys Kochut Modifying Rete to Reason Temporally. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Cervoni , Amedeo Cesta , Angelo Oddi Maintaining Consistency in a Quantitative Time Manager. [Citation Graph (0, 0)][DBLP ] Conf ] Ming Rao , Qun Wang Meta-COOP: An AI Tool with Embedding Rules, Frames, and Numerical Computing in an Object-Oriented Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Seiji Yamada , Yoshinori Isoda , Jun'ichi Toyoda Interleaving Planning with Execution using the Success Probability - Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Ping Zhou , Shiheng Xu A Fuzzy Logic Expert System for Fault Diagnosis and Security Assessment of Power Transformers. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Thiel , Martin Kracker , Adelheit Stein MERIT Motifs. [Citation Graph (0, 0)][DBLP ] Conf ] Agnès Dormont , Jean-Pierre Gruselle A Constructivist Approach to Tense and Aspect: From Text to Polytyped Strings. [Citation Graph (0, 0)][DBLP ] Conf ] Stephanos E. Michos , Nikos Fakotakis , George K. Kokkinakis Flexible Script-Handling Techniques for Natural Language Understanding Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hsiu-Hui Lee Temporal Interpretations of Sentences with Complement Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Denys Duchier Concrete Browsing of a Graphical Toolkit Library. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Pierre Fournier Non-Violent Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Yutaka Sasaki , Keiko Nakata , Toru Ishida , Yoshimi Fukuhara Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anne-Marie Dery , W. Lejouad , Coco Djossou How to Distribute an Existing Modular Expert System Shell. [Citation Graph (0, 0)][DBLP ] Conf ] 