Artificial Intelligence: Methodology, Systems, and Applications - 8th International Conference, AIMSA'98, Proceedings

The proceedings contain 40 papers. The topics discussed include: the gain of failures: using side-effects of anaphora resolution for term consistency checks; constraint solving in logic programming and in automated deduction: a comparison; 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; 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; and planning via model checking in deterministic domains: preliminary report.