Artificial Intelligence: Methodology, Systems, and Applications: 8th International Conference, AIMSA’98 Sozopol, Bulgaria, September 21–23, 1998 Proceedings

The gain of failures: Using side-effects of anaphora resolution for term consistency checks....Pages 1-13
An agent model for NL dialog interfaces....Pages 14-27
Constraint solving in Logic Programming and in Automated Deduction: A comparison....Pages 28-38
An extension of SATPLAN for planning with constraints....Pages 39-49
Reasoning about generalized intervals....Pages 50-61
Formalizing belief reports — The approach and a case study....Pages 62-75
Extension calculus and query answering in prioritized default logic....Pages 76-87
Study of symmetry in qualitative temporal interval networks....Pages 88-101
A blackboard architecture for guiding interactive proofs....Pages 102-114
Combining nonmonotonic reasoning and belief revision: A practical approach....Pages 115-128
Modelling uncertainty with kripke's semantics....Pages 129-140
Using linear temporal logic to model and solve planning problems....Pages 141-152
Tailorable interactive agents for scheduling meetings....Pages 153-166
Planning diagonalization proofs....Pages 167-180
Theories and proofs in fault diagnosis....Pages 181-194
Nonmonotonic reasoning under uncertain evidence....Pages 195-208
Multicontext systems with importing contexts....Pages 209-220
Planning via model checking in determistic domains: Preliminary report....Pages 221-229
Acquisition of useful lemma-knowledge in automated reasoning....Pages 230-239
Constructing translations between individual vocabularies in multi-agent systems....Pages 240-253
Belief reconstruction in cooperative dialogues....Pages 254-266
Model theoretic semantics for information integration....Pages 267-280
A classification learning algorithm robust to irrelevant features....Pages 281-290
Knowledge assimilation and proof restoration through the addition of goals....Pages 291-302
Learning multiple predicates....Pages 303-316
Modal reasoning and rough set theory....Pages 317-330
Overcoming incomplete information in NLP systems — Verb subcategorization....Pages 331-340
A framework for inductive learning based on subsumption lattices....Pages 341-352
Dynamic learning — An approach to forgetting in ART2 neural networks....Pages 353-362
A new approach to linguistic negation of nuanced information in knowledge-based systems....Pages 363-376
SAT-based decision procedures for normal modal logics: A theoretical framework....Pages 377-388
Version space retraction with instance-based boundary sets....Pages 389-402
A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming....Pages 403-416
A new approach to learning Bayesian Network classifiers from data: Using observed statistical frequencies....Pages 417-426
Abstraction as a form of elaboration tolerance....Pages 427-437
System architecture of a distributed expert system for the management of a national data network....Pages 438-451
Strategy selection for automated theorem proving....Pages 452-465
An agent system for intelligent situation assessment....Pages 466-474
Knowledge granularity and action selection....Pages 475-488
Towards lifetime maintenance of case base indexes for continual case based reasoning....Pages 489-500