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...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
1480 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Artificial intelligence, Methodology, Systems, and Applications, 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September, 21-23, 1998, proceedings, Fausto Giunchiglia (ed.), 1998, New York, Springer, 1 vol. (IX-502 p.), Lecture notes in computer science, 3-540-64993-X • Artificial Intelligence: Methodology, Systems, and Applications, Texte imprimé, 9783662172537 |
Table des matières:
- 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 nuancedinformation 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.