Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / / edited by Fausto Giunchiglia

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998
• Edizione: 1st ed. 1998.
• Descrizione fisica: 1 online resource (XII, 508 p.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Artificial Intelligence
• Persona (resp. second.): GiunchigliaFausto
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: The 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.
• Sommario/riassunto: This 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.
• Titolo autorizzato: Artificial Intelligence: Methodology, Systems, and Applications
• ISBN: 3-540-49793-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466101503316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence ; ; 1480