Artificial Intelligence: Methodology, Systems, and Applications 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings /
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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1998.
|
| Έκδοση: | 1st ed. 1998. |
| Σειρά: | Lecture Notes in Artificial Intelligence ;
1480 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
