LEADER 05257nam 22005055 450 001 996466101503316 005 20200629194011.0 010 $a3-540-49793-5 024 7 $a10.1007/BFb0057429 035 $a(CKB)1000000000210980 035 $a(SSID)ssj0000321425 035 $a(PQKBManifestationID)11255091 035 $a(PQKBTitleCode)TC0000321425 035 $a(PQKBWorkID)10263434 035 $a(PQKB)10761849 035 $a(DE-He213)978-3-540-49793-6 035 $a(PPN)155219170 035 $a(EXLCZ)991000000000210980 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aArtificial Intelligence: Methodology, Systems, and Applications$b[electronic resource] $e8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings /$fedited by Fausto Giunchiglia 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (XII, 508 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1480 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-64993-X 327 $aThe gain of failures: Using side-effects of anaphora resolution for term consistency checks -- An agent model for NL dialog interfaces -- Constraint solving in Logic Programming and in Automated Deduction: A comparison -- An extension of SATPLAN for planning with constraints -- Reasoning about generalized intervals -- Formalizing belief reports ? The approach and a case study -- Extension calculus and query answering in prioritized default logic -- Study of symmetry in qualitative temporal interval networks -- A blackboard architecture for guiding interactive proofs -- Combining nonmonotonic reasoning and belief revision: A practical approach -- Modelling uncertainty with kripke's semantics -- Using linear temporal logic to model and solve planning problems -- Tailorable interactive agents for scheduling meetings -- Planning diagonalization proofs -- Theories and proofs in fault diagnosis -- Nonmonotonic reasoning under uncertain evidence -- Multicontext systems with importing contexts -- Planning via model checking in determistic domains: Preliminary report -- Acquisition of useful lemma-knowledge in automated reasoning -- Constructing translations between individual vocabularies in multi-agent systems -- Belief reconstruction in cooperative dialogues -- Model theoretic semantics for information integration -- A classification learning algorithm robust to irrelevant features -- Knowledge assimilation and proof restoration through the addition of goals -- Learning multiple predicates -- Modal reasoning and rough set theory -- Overcoming incomplete information in NLP systems ? Verb subcategorization -- A framework for inductive learning based on subsumption lattices -- Dynamic learning ? An approach to forgetting in ART2 neural networks -- A new approach to linguistic negation of nuanced information in knowledge-based systems -- SAT-based decision procedures for normal modal logics: A theoretical framework -- Version space retraction with instance-based boundary sets -- A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming -- A new approach to learning Bayesian Network classifiers from data: Using observed statistical frequencies -- Abstraction as a form of elaboration tolerance -- System architecture of a distributed expert system for the management of a national data network -- Strategy selection for automated theorem proving -- An agent system for intelligent situation assessment -- Knowledge granularity and action selection -- Towards lifetime maintenance of case base indexes for continual case based reasoning. 330 $aThis book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA'98, held in Sozopol, Bulgaria, in September 1998. The 40 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The papers address the whole spectrum of current topics in AI, in particular case-based reasoning, multi-agent systems, planning and temporal reasoning, decision procedures, inductive reasoning, abduction, constraint-based reasoning, knowledge acquisition, knowledge-based systems, learning, natural language processing, temporal and causal reasoning, etc. 410 0$aLecture Notes in Artificial Intelligence ;$v1480 606 $aArtificial intelligence 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 702 $aGiunchiglia$b Fausto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Artificial Intelligence: Methodology, Systems, Applications$d(8th :$f1998 :$eSozopol, Bulgaria) 906 $aBOOK 912 $a996466101503316 996 $aArtificial Intelligence: Methodology, Systems, and Applications$9772350 997 $aUNISA