5. ICTAI 1993:
Boston,
Massachusetts,
USA
Fifth International Conference on Tools with Artificial Intelligence (ICTAI '93),
November 8-11,
1993,
Boston,
Massachusetts,
USA. IEEE Computer Society,
1993,
ISBN 0-8186-4200-9
Panels
Artificial Neural Networks I
AI Algorithms I
AI and Object-Oriented Systems I
AI and Software Engineering
AI Knowledge Base Architectures I
Machine Learning I
AI and Object-Oriented Systems II
Reasoning Under Uncertainty,
Fuzzy Logic
- Eugene Santos Jr.:
A Fast Hill-Climbing Approach Without an Energy Function for Probabilistic Reasoning.
170-179 BibTeX
- Sheng Guan:
Generalizing Evidence Theory to Lattices to Manage Uncertainty.
180-183 BibTeX
- Yukio Ohsawa, Mitsuru Ishizuka:
Networked Bubble Propagation Method as a Polynomial-Time Hypothetical Reasoning for Computing Quasi-Optimal Solution.
184-187 BibTeX
Expert Systems and Environments
AI Algorithms II
Natural Language Processing I
Artificial Neural Networks II
Natural Language Processing II
Logic and Intelligent Database I
- Neng-Fa Zhou:
Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching.
312-319 BibTeX
- Du Zhang, Weining Zhang:
Evaluating Logical Queries by Means of Communicating Processes.
320-324 BibTeX
- Hua Shu:
The Application of a Multi-Modal Preferential Logic to the Design of Rational Agents.
325-328 BibTeX
Artificial Neural Networks III
Machine Learning II
Parallel Processing and Hardware Support
AI Knowledge Base Architectures II
Logic and Intelligent Database II
Poster Session
- Fatma Mili:
Data Analysis in Scientific Databases.
442-443 BibTeX
- Pierre Marquis:
On Metatheoretic Properties of Logic-Based Abductive Inference.
444-445 BibTeX
- Alessandro Armando, Paolo Pecchiari:
NALIG: A CAD System for Interior Design with High Level Interaction Capabilities.
446-447 BibTeX
- Midori Tanaka, Norimasa Aoyama, Atsushi Sugiura, Yoshiyuki Koseki:
Integration of Multiple Knowledge Representation for Classification Problems.
448-449 BibTeX
- Masa-Aki Fukase, Tadao Nakamura:
Parallel Processing and Hardware Support of Symbols.
450-451 BibTeX
- Jürgen W. Meyer:
A New Metric for Self-Organizing Feature Maps Allows Mapping of Arbitrary Parallel Programs.
452-453 BibTeX
- J. T. Buchanan, Q. Y. Luo, P. G. Hendry:
Experiments in Distributed Constraint Satisfaction.
454-455 BibTeX
- Jarkko Niittylahti, Harri Raittinen, Kimmo Kaski:
Dynamically Configurable Combinatory Logic Array as Boolean Neural Network.
456-457 BibTeX
- R. Dellacasa, Pietro Morasso, S. Repetto, Gianni Vercelli, Renato Zaccaria:
Self-Organizing Navigation: From Neural Maps to Navigation Situations.
458-459 BibTeX
- Tohru Nitta:
An Extension of the Back-Propagation Algorithm to Three Dimensions by Vector Product.
460-461 BibTeX
- John A. Allen, Renuka Shankar:
Checking the Correctness of Mission Plans.
462-463 BibTeX
- Xueming Huang, John W. Brahan, Sieu Phan:
A Training System Shell for the Workplace.
464-465 BibTeX
- Suk I. Yoo, Chang H. Park:
An Inference Browser to Verify Knowledge Bases.
466-467 BibTeX
- Chih-Hung Wu, Shie-Jue Lee, Hung-Sen Chou, Cheng-Jer Yu:
The Design and Implementation of a Rule-Based Expert System Language.
468-469 BibTeX
- Xiaoqing Liu, Nengbin Wang, Guangfu Liu:
An Expert System Building Tool Supporting Knowledge Compilation and Management.
470-471 BibTeX
- Marcus A. Maloof, Krys Kochut:
Modifying Rete to Reason Temporally.
472-473 BibTeX
- Roberto Cervoni, Amedeo Cesta, Angelo Oddi:
Maintaining Consistency in a Quantitative Time Manager.
474-475 BibTeX
- Ming Rao, Qun Wang:
Meta-COOP: An AI Tool with Embedding Rules, Frames, and Numerical Computing in an Object-Oriented Environment.
476-477 BibTeX
- Seiji Yamada, Yoshinori Isoda, Jun'ichi Toyoda:
Interleaving Planning with Execution using the Success Probability - Preliminary Report.
478-479 BibTeX
- Ping Zhou, Shiheng Xu:
A Fuzzy Logic Expert System for Fault Diagnosis and Security Assessment of Power Transformers.
480-481 BibTeX
- Ulrich Thiel, Martin Kracker, Adelheit Stein:
MERIT Motifs.
482-483 BibTeX
- Agnès Dormont, Jean-Pierre Gruselle:
A Constructivist Approach to Tense and Aspect: From Text to Polytyped Strings.
484-485 BibTeX
- Stephanos E. Michos, Nikos Fakotakis, George K. Kokkinakis:
Flexible Script-Handling Techniques for Natural Language Understanding Systems.
486-487 BibTeX
- Hsiu-Hui Lee:
Temporal Interpretations of Sentences with Complement Clauses.
488-490 BibTeX
- Denys Duchier:
Concrete Browsing of a Graphical Toolkit Library.
491-492 BibTeX
- Jean Pierre Fournier:
Non-Violent Programming.
493-494 BibTeX
- Yutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi Fukuhara:
Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems.
495-496 BibTeX
- Anne-Marie Dery, W. Lejouad, Coco Djossou:
How to Distribute an Existing Modular Expert System Shell.
497-498 BibTeX
Copyright © Sat May 16 23:21:53 2009
by Michael Ley (ley@uni-trier.de)
