default search action
2nd ISMIS 1987: Charlotte, North Carolina, USA
- Zbigniew W. Ras, Maria Zemankova:
Methodologies for Intelligent Systems, Proceedings of the Second International Symposium, Charlotte, North Carolina, USA, October 14-17, 1987. North-Holland/Elsevier 1987, ISBN 0-444-01295-8
Approximate Reasoning
- Gautam Biswas, Tejwansh S. Anand:
MIDST: An Expert System Shell for Mixed Initiative Reasoning. ISMIS 1987: 1-8 - S. Chen, M. Zhang, W. Zhang:
A Spatial Reasoning and Decision Support System. ISMIS 1987: 9-16 - Stephen L. Chiu, Masaki Togai:
Real-Time Fuzzy Control: From Linguistic Rules to Implementation on a Chip. ISMIS 1987: 17-24 - Dimiter Driankov:
A Many-Valued Logic for Belief/Disbelief Pairs. ISMIS 1987: 25-32 - Helena Rasiowa, George Epstein:
Approximation Reasoning and Scott's Information Systems. ISMIS 1987: 33-42
Exptert Systems
- B. Chandrasekaran:
What Kind of Information Processing is Intelligence? A Perspective on AI Paradigms and a Proposal. ISMIS 1987: 43-44 - Henryk Jan Komorowski:
On the Mechniszation of Programmer's Knowledge. ISMIS 1987: 45-55 - Corine Cauvet, C. Proix, Colette Rolland:
A Knowledge Base for an Information System Design Tool. ISMIS 1987: 56-63 - Mirsad Hadzikadic, David Y. Y. Yun, William P.-C. Ho:
A Model-Based Framework for Characterization of Application Domains for the Expert System Technology. ISMIS 1987: 64-72 - Martin Hofmann, Anne Usha, Souri Das, Kazuhiko Kawamura, Atsushi Kara, Ravi Rastogi:
Module: A Modular Programming Environment in Prolog. ISMIS 1987: 73-80 - Ho-Ling Hwang, M. L. Emrich, John Morris:
Using AI in the Preparation of Budget Submissions. ISMIS 1987: 81-86 - Vasudevan Jagannathan, Larry S. Baum, Rajendra T. Dodhiawala:
Erasmus: Reconfigurable Object Oriented Blackboard System. ISMIS 1987: 87-95 - Jerzy W. Jaromczyk, V. Wiktor Marek:
Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. ISMIS 1987: 96-106 - Xiaofeng Li, Jeffrey R. Cantwell, John R. Bourne, Kazuhiko Kawamura, Charles K. Kinzer, Nobuji Miyasaka:
A Model-Based Intelligent Tutoring System for Power Distribution Systems. ISMIS 1987: 107-114 - Anthony S. Maida:
A Uniform Architecture for Rule-based Meta Reasoning and Representation. ISMIS 1987: 115-122 - Lawrence J. Mazlack:
Abstract Inference Structures to Support Variable Rule Structures for Expert Systems. ISMIS 1987: 123-130 - Thomas A. Sudkamp:
Domain Independent Support Propagation Architectures. ISMIS 1987: 131-138 - Jan M. Zytkow, Michael D. Erickson:
Tactical Manager in a Simulated Environment. ISMIS 1987: 139-147
Intelligent Databases
- Jack Minker:
Deductive Databases: An Overview of Some Alternative Theories. ISMIS 1987: 148-158 - John Grant, Timos K. Sellis:
Deductive Heterogeneous Databases. ISMIS 1987: 159-166 - Maurizio Lenzerini:
Formal Treatment of Incomplete Information in Type Data Bases. ISMIS 1987: 167-174 - Ken-Chih Liu, Rajshekhar Sunderraman:
Applying an Extended Relational Model to Indefinite Deductive Databases. ISMIS 1987: 175-184 - Sung-Hyon Myaeng, Robert R. Korfhage:
A Concept Version. ISMIS 1987: 185-192
Knowledge Representation
- Mira Balaban, Neil V. Murray:
A First Order Calculus for Temporal Knowledge. ISMIS 1987: 193-200 - J. A. Bowen:
Knowledge Representation for Partly-Structured Problems. ISMIS 1987: 201-208 - Minkoo Kim, Anthony S. Maida:
Frame and Inheritance Systems. ISMIS 1987: 209-216 - Elöd Knuth, János Demetrovics, Ágnes Hernádi:
On Transformation Properties of Conceptual Structures. ISMIS 1987: 217-223 - Mieczyslaw M. Kokar:
Generating Qualitative Representations of Continuous Physical Processes. ISMIS 1987: 224-231 - Hidefumi Kondo, Takuo Koguchi:
A New Approach to Knowledge Base Management Systems. ISMIS 1987: 232-239 - Ephraim Nissan:
Knowledge Acquisition and Metaprepresentation: Attribute Autopoiesis. ISMIS 1987: 240-247 - Miao-Li Pai, Gautam Biswas, Christopher G. St. C. Kendall, James C. Bezdek:
Towards the Design of a Knowledge Based System for Hypercarbon Play Analysis. ISMIS 1987: 248-255 - Alberto Pettorossi, Zbigniew W. Ras, Maria Zemankova:
On Learning with Imperfect Teachers. ISMIS 1987: 256-263 - Ralph Rönnquist:
The Information Lattice of Networks Used for Knowledge Representation. ISMIS 1987: 264-271 - Phillip C.-Y. Sheu:
Knowledge-Based Parallel Programming. ISMIS 1987: 272-279 - Richmond H. Thomason, John F. Horty, David S. Touretzky:
A Calculus for Inheritance in Monotonic Semantic Nets. ISMIS 1987: 280-287 - Ming-chaun Zhang, Kai-Bor Yu:
Space-Varying Estimation Technique in Contextual Classification. ISMIS 1987: 288-298
Learning and Adaptive Systems
- Ranan B. Banerji:
Learning in the Limit in a Growing Language. ISMIS 1987: 299-308 - Francesco Bergadano, Attilio Giordana, Lorenza Saitta:
Integrating EBL and SBL Approaches to Knowledge Base Refinement. ISMIS 1987: 309-316 - Piotr Berman, Robert Roos:
A Learning Algorithm for a Class of Context-Free Languages (Extended Abstract). ISMIS 1987: 317-324 - Jerzy W. Grzymala-Busse:
Learning from Examples based on Rough Multisets. ISMIS 1987: 325-332 - Sukhamay Kundu:
Rule-Discovery from Examples Using a Combination of Syntactic and Semantic Information. ISMIS 1987: 333-340 - William W. McMillan:
Classical Conditioning as an Example of Natural Models Useful in Machine Learning. ISMIS 1987: 341-346 - Ian Parberry, Georg Schnitger:
Relating Boltzmann Machines to Conventional Models of Computation. ISMIS 1987: 347-354 - Zbigniew W. Ras, Cezary Z. Janikow:
Learning in Rough Environment, an Optimization Procedure. ISMIS 1987: 355-361 - Tetsuo Sawaragi, Sosuke Iwai:
Cognitive Simulation for Intelligent Decision Support: Scenario-Learning from Episodes and Expectation-Driven Prediction. ISMIS 1987: 362-369 - J. H. Wong, S. K. Michael Wong:
An Inductive Learning System - ILS. ISMIS 1987: 370-378 - Ramin Yasdi, Wojciech Ziarko:
Conceptual Schema Design: A Machine Learning Approach. ISMIS 1987: 379-391
Logic for Artificial Intelligence
- Charles B. Cross, Richmond H. Thomason:
Update and Conditionals. ISMIS 1987: 392-399 - Melvin Fitting:
Resolution for Intuitionistic Logic. ISMIS 1987: 400-407 - Catherine Lassez, Ken McAloon:
Stratified Interactive Knowledge Bases. ISMIS 1987: 408-415 - Neil V. Murray, Erik Rosenthal:
Inferencing on an Arbitrary Set of Links. ISMIS 1987: 416-423 - Torbjörn Nänd:
An Experimental Implementation of a Compiler for Two-Level Grammars. ISMIS 1987: 424-431 - Rohit Parikh:
Knowledge and the Problem of Logical Omniscience. ISMIS 1987: 432-439 - Donald Perlis:
Circumscription as Introspection. ISMIS 1987: 440-444 - Halina Przymusinska:
On the Relationship between Autoepistemic Logic and Prioritized Circumscription for Stratified Deductive Data Bases. ISMIS 1987: 445-452 - Marek A. Suchenek:
Forcing versus Closed World Assumption. ISMIS 1987: 453-460 - Wlodek Zadrozny:
Minimization and Common-Sense Reasoning. ISMIS 1987: 461-467
Man-Machine Interaction
- Paul A. Fishwick:
Inferring Causality and Cyclic Behavior through Data Flow Analysis. ISMIS 1987: 468-480 - Anders Kierulf:
Human-Computer Interaction in the Game of Go. ISMIS 1987: 481-487 - Lynne E. Parker, François G. Pin:
A Methodology for Dynamic Task Allocation in a Man-Machine System. ISMIS 1987: 488-495 - Brian R. Gaines:
Knowledge Structures for Intelligent Interaction. ISMIS 1987: 496-507
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 2025-01-03 23:15 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: