LEADER 07117nam 22006495 450 001 996465744703316 005 20200703062904.0 010 $a3-540-69612-1 024 7 $a10.1007/3-540-63614-5 035 $a(CKB)1000000000234742 035 $a(SSID)ssj0000323268 035 $a(PQKBManifestationID)11242463 035 $a(PQKBTitleCode)TC0000323268 035 $a(PQKBWorkID)10299237 035 $a(PQKB)10380821 035 $a(DE-He213)978-3-540-69612-4 035 $a(PPN)15519643X 035 $a(EXLCZ)991000000000234742 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Intelligent Systems$b[electronic resource] $e10th International Symposium, ISMIS '97. Charlotte, North Carolina, USA, October 15-18, 1997. Proceedings /$fedited by Zbigniew W. Ras 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XIV, 634 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1325 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-63614-5 327 $aGoal-oriented multimedia dialogue with variable initiative -- Knowledge-based image retrieval with spatial and temporal constructs (Invited paper) -- Verification and validation of AI systems that control deep-space spacecraft -- Data mining and knowledge discovery: The third generation -- Embedding prioritized circumscription in logic programs -- Extending temporal logic for capturing evolving behaviour -- A description logic model for querying knowledge bases for structured documents -- Refining first order theories with neural networks -- A way of increasing both autonomy and versatility of a KDD system -- A comparison of atttribute selection strategies for attribute-oriented generalization -- Boolean reasoning for feature extraction problems -- World model construction in children during physics learning -- Document explorer: Discovering knowledge in document collections -- Well-behaved evaluation functions for numerical attributes -- An improved inductive learning algorithm with a preanalysis of data -- Efficient induction of numerical constraints -- Learning English syllabification for words -- Towards conceptual query answering -- An implementation platform for query-answering in default logics: Theoretical underpinnings -- Automating spoken dialogue systems -- Handwritten digit recognition by local principal components analysis -- From conceptual model to internal model -- Speeding GA-based attribute selection for image interpretation -- Using recurrent selection to improve GA performance -- A coevolutionary approach to concept learning -- Representation of music in a learning classifier system -- On multi-class problems and discretization in inductive logic programming -- Discovering empirical equations from robot-collected data -- Induction of positive and negative deterministic rules based on rough set model -- Autonomous database mining and disorder measures -- KOMET ? A system for the integration of heterogeneous information sources -- Towards AI formalisms for legal evidence -- Type extensibility of a knowledge representation system with powersets -- Planning based on view updating in deductive databases -- Generic and fully automatic content based image retrieval architecture -- Program synthesis from examples by theory formation -- Interval approaches for uncertain reasoning -- Qualitative versus quantitative interpretation of the mathematical theory of evidence -- Knowledge discovery from databases with the guidance of a causal network -- From data to knowledge: method-specific transformations -- Generalized rules in incomplete information systems -- An interactive constraint-based system for selective attention in visual search -- Abstraction of representation for interoperation -- TraumaCASE: Exploiting the knowledge base of an existing decision support system to automatically construct medical cases -- An intelligent system dealing with negative information -- On representation-based querying of databases containing ill-known values -- Decision value oriented decomposition of data tables -- A machine learning experiment to determine part of speech from word-endings -- Learning flexible concepts from uncertain data -- Determining attribute relevance in decision trees -- A WordNet based rule generalization engine in meaning extraction system -- Representing and reasoning on SGML documents -- Conceptual modelling of the ?meaning? of textual narrative documents -- Intelligent computation of presentation documents -- Flexible database querying based on associations of domain values -- A modal logical framework for security policies -- Completeness for linear regular negation normal form inference systems -- Renaming a set of non-horn clauses -- Constraints, causal rules and minimal change in model-based update -- Knowledge revision for document understanding. 330 $aThis book constitutes the refereed proceedings of the 10th International Symposium on Methodologies for Intelligent Systems, ISMIS'97, held in Charlotte, NC, USA, in October 1997. The 57 revised full papers were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered are intelligent information systems, approximate reasoning, evolutionary computation, knowledge representation and integration, learning and knowledge discovery, AI-Logics, discovery systems, data mining, query processing, etc. 410 0$aLecture Notes in Artificial Intelligence ;$v1325 606 $aArtificial intelligence 606 $aApplication software 606 $aMultimedia information systems 606 $aInformation storage and retrieval 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aMultimedia Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I18059 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aMultimedia information systems. 615 0$aInformation storage and retrieval. 615 14$aArtificial Intelligence. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aMultimedia Information Systems. 615 24$aInformation Storage and Retrieval. 676 $a006.3/3 702 $aRas$b Zbigniew W$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Symposium on Methodologies for Intelligent Systems$d(10th :$f1997 :$eCharlotte, N.C.) 906 $aBOOK 912 $a996465744703316 996 $aFoundations of Intelligent Systems$9772565 997 $aUNISA