default search action
2. CAIA 1985: Miami Beach, Florida, USA
- Charles R. Weisbin:
Artificial Intelligence Applications, CAIA 1985, The Engineering of Knowledge-Based Systems, Proceedings of the Second Conference, Miami Beach, Florida, USA, December 11-13, 1985. IEEE Computer Society / North-Holland 1985
Papers Accepted for Presentation and Publication
Keynote
- Harry E. Pople:
Artificial Intelligence: Problems and Issues. CAIA 1985: 1-5
Reasoning with Uncertainty
- Judea Pearl:
How to Do with Probabilities What People Say You Can't. CAIA 1985: 6-12 - V. Venkatasubramanian:
Inexact Reasoning in Expert Systems: A Stochastic Parallel Network Approach. CAIA 1985: 13-15 - Glenn Shafer:
Hierarchical Evidence. CAIA 1985: 16-21 - R. S. Freedman, A. M. Shooman:
MERLIN: A Tool for Automated Inferencing with Uncertainty. CAIA 1985: 22-26 - C. L. Winter, R. D. Girse:
Evolution and Modification of Probability in Knowledge Bases. CAIA 1985: 27-33
Expert Systems for Diagnostic Evaluation
- Daniel L. Larner:
A Recursive Expert Troubleshooting System Utilizing General and Specific Knowledge. CAIA 1985: 34-41 - Michael P. Prevost, Thomas J. Laffey:
Knowledge-Based Diagnosis of Electronic Instrumentation. CAIA 1985: 42-48 - Moonis Ali, D. A. Scharnhorst:
Sensor-Based Fault Diagnosis in a Flight Expert System. CAIA 1985: 49-54 - Stephen W. Smoliar:
Problem Solving in the Domain of Quantitative Well Log Interpretation. CAIA 1985: 55-59 - M. C. Maletz:
An Architecture for Consideration of Multiple Faults. CAIA 1985: 60-67 - C. Strandberg, I. Abramovich, D. Mitchell, K. Prill:
PAGE-1: A Troubleshooting Aid for Nonimpact Page Printing Systems. CAIA 1985: 68-75
Computer Vision
- Linda G. Shapiro:
The Role of AI in Computer Vision. CAIA 1985: 76-81 - Kim L. Boyer, Avinash C. Kak:
Symbolic Stereo from Structural Descriptions. CAIA 1985: 82-87 - Heinrich Niemann:
A Homogeneous Architecture for Knowledge-Based Image Understanding Systems. CAIA 1985: 88-93 - S. F. Venable, D. J. Richter, M. Wiedemann:
A Rule-Based System for Improving on Image Segmentation. CAIA 1985: 94-99 - Ping Liang, John S. Todhunter:
Three-Dimensional Shape Reconstruction from Image by Minimum Energy Principle. CAIA 1985: 100-105 - Ishwar K. Sethi, Ramesh C. Jain:
Finding Trajectories of Feature Points in a Monocular Image Sequence. CAIA 1985: 106-113
Applications and Analysis
- Jonathan J. Hull:
Word Shape Analysis ini a Knowledge-Based System for Reading Text. CAIA 1985: 114-119 - W. K. Utt, John B. Anderson, F. J. Bollag, S. D. Nystrom:
An Expert System for Data Reduction. CAIA 1985: 120-124 - C. A. Reid, Robert M. Fung, Richard M. Tong, E. Tse:
A Knowledge Represenation for Reasoning About Petroleum Geology. CAIA 1985: 125-129 - J. E. Arnold:
The Knowledge-Based Test Assitant's Wave/Signal Editor: An Interface for the Management of Timing Constraints. CAIA 1985: 130-136 - Jiawei Han, Larry Travis:
Knowledge-Directed Recursive Rule Compilation in Expert Database Systems. CAIA 1985: 137-141 - Alexander S. Narin'yani:
*Sub-Definiteness, Over-Definiteness, and Absurdity in Knowledge Representation (Some Algebraic Aspects). CAIA 1985: 142-143
Keynote
- George N. Saridis:
Artificial Intelligence Versus Machine Intelligence: Facts and Fiction. CAIA 1985: 144-147
Intelligent Robotics
- S. Sitharama Iyengar, C. C. Jorgensen, S. V. N. Rao, Charles R. Weisbin:
Learned Navigation Paths for a Robot in Unexplored Terrain. CAIA 1985: 148-155 - M. P. Turchan, A. K. C. Wong:
Low-Level Learning for a Mobile Robot: Environment Model Acquisition. CAIA 1985: 156-161 - Glen Pearson, Darwin Kuan:
Mission Planning System for an Autonomous Vehicle. CAIA 1985: 162-167 - P. A. Newman, Karl G. Kempf:
Opportunistic Scheduling for Robotic Machine Tending. CAIA 1985: 168-175 - John J. Nitao, Alexandre M. Parodi:
An Intelligent Pilot for an Autonomous Vehicle System. CAIA 1985: 176-183 - Michael J. Shaw, Andrew B. Whinston:
Task Bidding and Distributed Planning in Flexible Manufacturing. CAIA 1985: 184-191
Expert System Architecture
- Masaki Togai, Hiroyuki Watanabe:
A VLSI Implementation of Fuzzy Inference Engine: Toward an Expert System on a Chip. CAIA 1985: 192-197 - B. Burg, Laurent Foulloy, Jean-Claude Heudin, Bertrand Y. Zavidovique:
Behavior Rule Systems for Distributed Process Control. CAIA 1985: 198-203 - M. Schwarzblatt, Juan Arellano:
An Expert Diagnostic and Prediction System Based on Minimal Cut Set Techniques. CAIA 1985: 204-209 - J. H. Kim:
A Distributed Computational Model of Plausible Classification Reasoning. CAIA 1985: 210-214 - K. W. Whiting, Peter D. Holden, Michael W. Dwyer, Karl G. Kempf:
SUBEX: A Focus of Attention Technique for Rule-Based Inference. CAIA 1985: 215-221
Knowledge Acquisition and Representation
- John P. McDermott:
Where Knowledge Acquisition Tools Fit in the Scheme of Things. CAIA 1985: 222 - Zhigang Xiang, J. G. Chutkow, Stuart C. Shapiro, Sargur N. Srihari:
Representation of Spatial Structure and Function in Diagnosis. CAIA 1985: 223-228 - C. J. Petrie Jr.:
Extraction of Expert System Rules from Text. CAIA 1985: 229 - Sheila G. Winett, Edward A. Fox:
Using information Retrieval Techniques in an Expert System. CAIA 1985: 230-235 - Piero P. Bonissone, Kimon P. Valavanis:
A Comparative Study of Different Approaches to Qualitative Physics Theories. CAIA 1985: 236-243 - Arnold van de Brug, Judith Bachant, John P. McDermott:
Doing R1 with Style. CAIA 1985: 244-249 - Stanley Y. W. Su, Louiqa Raschid:
Incorporating Knowledge Rules in a Semantic Data Model: An Approach to Integrated Knowledge Management. CAIA 1985: 250-257
Expert Systems for Design
- Edward J. DeJesus, James P. Callan:
PEARL: A Knowledge-Based Expert Assisted CAD Tool. CAIA 1985: 258-263 - William P. Birmingham, J. H. Kim:
DAS/LogicTM: A Rule-Based Logic Design Assistant. CAIA 1985: 264-268 - Jed J. Krohnfeldt, Robert R. Kessler:
MicroScope: Rule-Based Analysis of Programming Environments. CAIA 1985: 269-274 - Kai-Hsiung Chang, William G. Wee:
A Planning System with Analysis. CAIA 1985: 275-280 - M. Samardar, Lawrence J. Mazlack, J. H. Nevin:
An Exercise in Engineering Circuit Design Using an Expert System. CAIA 1985: 281-286 - Kou-Yuan Huang, King-Sun Fu, Z. S. Lin:
Branch and Bound Search for Automatic Linking Process of Seismogram. CAIA 1985: 287-293
Keynote
- Balakrishnan Chandrasekaran:
Generic Tasks in Knowledge-Based Reasoning: Characterizing and Designing Expert Systems at the 'Right' Level of Abstraction. CAIA 1985: 294-301
Learning
- Armond Inselberg:
Intelligent Instrumentation and Process Control. CAIA 1985: 302-307 - B. John Oommen:
On the Futility of Arbitrarily Increasing Memory Capabilities of Stochastic Learning Automata. CAIA 1985: 308-312 - Stephen I. Gallant:
Automatic Generation of Expert Systems from Examples. CAIA 1985: 313-319 - Keki B. Irani, Suk I. Yoo:
Problem Solving: A Methodology for Modeling and Generating Heuristics. CAIA 1985: 320-327
Man-Machine Interaction
- A. Gershman, T. C. Wolf:
Management of User Expectations in a Conversational Advisory System. CAIA 1985: 328-335 - Amos Barzilay:
SPIRIT: A Flexible Tutoring Style in an Intelligent Tutoring System. CAIA 1985: 336-341 - R. F. Wachter, Vincent G. Sigillito:
A Man-Machine Interface to a Knowledge-Based System for Validating Oceanographic Reports. CAIA 1985: 342-346 - J. D. Sable, R. M. Peterson, A. D. Robbi:
SKIPPER: A Prototype Sailing Instructor. CAIA 1985: 347-351 - Annie Gal, Jack Minker:
A Natural Language Database Interface That Provides Cooperative Answers. CAIA 1985: 352-357 - Manton M. Matthews, Gautam Biswas:
Raising User Proficiency Through Active Assistance: An Intelligent Editor. CAIA 1985: 358-363 - J. Roach, Matthew Wilding:
Improving Human-Ciomputer Interaction by Learning Model of User Preferences. CAIA 1985: 364-371
Natural Language Understanding
- Elaine Rich:
Natural Language Understanding: How Natural Can It be?. CAIA 1985: 372-377 - Mallory Selfridge, Jim Daniell, Dan Simmons:
Learning Causal Models by Understanding Real-World Natural Language Explanations. CAIA 1985: 378-383 - Klaus K. Obermeier:
GROK-A Knowledge-Based Text Processing System. CAIA 1985: 384-389 - Hiyan Alshawi:
Creating Relational Databeses from English Texts. CAIA 1985: 390-395 - Paul W. Palumbo:
Two-Dimensional Heuristic Augmented Transition Network Parsing. CAIA 1985: 396-401 - Sheryl R. Young, Philip J. Hayes:
Automatic Classification and Summarization of Banking Telexes. CAIA 1985: 402-409
Expert Systems Explanation and Verification
- H. S. Todd:
Validation of a Multivariate Specified Pictorial Pattern Class Description for Completeness by Evaluation of Random Generated Instances. CAIA 1985: 410-415 - Robert Rubinoff:
Explaining Concepts in Expert Systems: The CLEAR System. CAIA 1985: 416-421 - Masayuki Numao, Tetsunosuke Fujisaki:
Visual Debugger for Prolog. CAIA 1985: 422-427 - J. B. Lee, Edward A. Stohr:
Representing Knowledge for Portfolio Management Decision Making. CAIA 1985: 428-433 - L. A. Staub, Mark J. Carlotto, B. G. Lee, Richard A. Upton:
A Knowledge-Based Tactical Decision Support System Integrating Terrain and Weather Data. CAIA 1985: 434-440 - D. C. Chen:
Progress in Knowledge-Based Flight Monitoring. CAIA 1985: 441-448
Papers Accepted for Publication Only
- Meyer A. Billmers, Mike Carifio:
Building Knowledge-Based Operating System Consultants. CAIA 1985: 449-454 - Gautam Biswas, Viswanath Subramanian, James C. Bezdek:
A Knowledge-Based System Approach to Document Retrieval. CAIA 1985: 455-460 - John H. Boose:
Rapid Acquisition and Combination of Knowledge from Multiple Experts in the Same Domain. CAIA 1985: 461-466 - Prasanta K. Bose, M. Rajinikanth:
KARMA: Knowledge-Based Assistant to a Database System. CAIA 1985: 467-472 - F. Brundick, John Dumer, Tim Hanratty, P. Tanenbaum:
GENIE: An Inference Engine with Diverse Applications. CAIA 1985: 473-480 - Maurice E. Cohen, Donna L. Hudson, Norman Gitlin, Lewis T. Mann, Jack Van den Bogaerde, L. Leal:
Knowledge Represenation and Classification of Chromatographic Data for Diagnostic Medical Decision Making. CAIA 1985: 481-486 - B. R. Fox, Karl G. Kempf:
Complexity, Uncertainty, and Opportunistic Scheduling. CAIA 1985: 487-492 - A. Garcia-Ortiz:
Computer Algebra Applied to the Design of Optical-Sensor Platforms. CAIA 1985: 493-497 - John F. Gilmore, K. Pulaski:
A Survey of Expert System Tools. CAIA 1985: 498-502 - Wilbur D. Hagamen, Martin Gardy:
MEDCAT/CATS: Two Contrasting Artificial Intelligence Applications in Medical Education. CAIA 1985: 503-508 - Lawrence O. Hall, Wyllis Bandler:
Relational Knowledge Acquisition. CAIA 1985: 509-513 - Katherine Hammer, John Hardin, D. Rudisill, Arny Goldfein:
Using a Predictive Parse to Create a Modeless Editor. CAIA 1985: 514-519 - J. J. Hannan, Peter Politakis:
ESSA: An Approach to Acquiring Decision Rules for Diagnostic Expert Systems. CAIA 1985: 520-525 - Roger T. Hartley:
Representation of Procedural Knowledge for Expert Systems. CAIA 1985: 526-531 - J. R. James, Piero P. Bonissone, D. K. Frederick, J. H. Taylor:
A Retrospective View of CACE-III: Considerations in Coordinating Symbolic and Numeric Computation in a Rule-Based Expert System. CAIA 1985: 532-538 - C. I. Kalme:
A General Purpose Language for Coupled Expert Systems. CAIA 1985: 539-547 - E. Yu Kandrashina, O. N. Ochakovskaja, Yury A. Zagorulko:
TIME-1: Semantic System for Dynamic Object Domain. CAIA 1985: 548-551 - Deb A. Krawczak, Philip J. Smith, Steven J. Shute, Mark H. Chignell:
EP-X: A Knowledge-Based System to Aid in Searches of the Environmental Pollution Literature. CAIA 1985: 552-557 - Sharon J. Laskowski, Hendrik James Antonisse, R. Peter Bonasso:
ANALYST II: A Knowledge-Based Intelligence Support System. CAIA 1985: 558-563 - Jay Liebowitz:
Evaluation of Expert Systems: An Approach and Case Study. CAIA 1985: 564-571 - S. Mahalingam, D. D. Sharma:
WELDEX-An Expert System for Nondestructive Testing of Welds. CAIA 1985: 572-576 - D. M. Mark:
Finding Simple Routes: 'Ease of Description' as an Objective Function in Automated Route Selection. CAIA 1985: 577-581 - J. H. Martin:
Knowledge Acquisition Through Natural Language Dialogue. CAIA 1985: 582-586 - S. R. Mukherjee, M. Sloan:
Positional Representation of English Words. CAIA 1985: 587-591 - Ben Pinkowski:
A Lisp-Based System for Generating Diagnostic Keys. CAIA 1985: 592-596 - David S. Prerau, Alan Gunderson, Robert E. Reinke, S. K. Goyal:
The COMPASS Expert System: Verification, Technology Transfer, and Expansion. CAIA 1985: 597-602 - C. E. Riese, S. M. Zubrick:
Using Rule Induction to Combine Declarative and Procedural Knowledge Representations. CAIA 1985: 603-606 - M. C. Rowe, Renee Keener, Alistair F. Veitch, R. B. Lantz:
E. T. Expert Technician/Experience Trapper. CAIA 1985: 607-612 - Philip Schaefer, H. Isil Bozma, Randall D. Beer:
Extended Production Rules for Validity Maintenance. CAIA 1985: 613-617 - D. Schwartz:
One Cornerstone in the Mathematical Foundations for a System of Fuzzy-Logic Programming. CAIA 1985: 618-620 - H. C. Shen, G. F. P. Signarowski:
A Knowledge Represenation for Roving Robots. CAIA 1985: 621-628 - Yoav Shoham:
Reasoning About Causation in Knowledge-Based Systems. CAIA 1985: 629-634 - Paul Snow:
Tatting Inference Nets with Bayes' Theorem. CAIA 1985: 635-640 - Julius T. Tou, C. L. Huang:
Recognition of 3-D Objects Via Spatial Understanding of 2-D Images. CAIA 1985: 641-646 - W. K. Utt:
Directed Search with Feedback. CAIA 1985: 647-652 - H. Van Dyke Parunak, Bruce W. Irish, James Kindrick, P. W. Lozo:
Fractal Actors for Distributed Manufacturing Control. CAIA 1985: 653-660 - Vincent R. Waldron:
Process Tracing as a Method for Initial Knowledge Acquisition. CAIA 1985: 661-665 - K. H. Wong, Frank Fallside:
Dynamic Programming in the Recognition of Connected Handwritten Script. CAIA 1985: 666-670 - D. V. Zelinski, R. N. Cronk:
The ES/AG Environment-Its Development and Use in Expert System Applications. CAIA 1985: 671-675 - Brian Phillips, Steven Messick, Michael J. Freiling, James H. Alexander:
INKA: The INGLISH Knowledge Aquisition Interface for Electronic Instrument Troubleshooting Systems. CAIA 1985: 676-682
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.
last updated on 2024-11-27 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: