Artificial Intelligence: Methodology, Systems, and Applications

Formalizing belief reports — The approach and a case study

Pages 62-75

Benerecetti, Massimo (et al.)

Extension calculus and query answering in prioritized default logic

Pages 76-87

Benhammadi, F. (et al.)

Study of symmetry in qualitative temporal interval networks

Pages 88-101

Benhamou, BelaÏd (et al.)

A blackboard architecture for guiding interactive proofs

Pages 102-114

Benzmüller, Christoph (et al.)

Combining nonmonotonic reasoning and belief revision: A practical approach

Pages 115-128

Bessant, Brigitte (et al.)

Modelling uncertainty with kripke's semantics

Pages 129-140

Boeva, Veselka (et al.)

Using linear temporal logic to model and solve planning problems

Pages 141-152

Cerrito, Serenella (et al.)

Tailorable interactive agents for scheduling meetings

Pages 153-166

Cesta, Amedeo (et al.)

Planning diagonalization proofs

Pages 167-180

Cheikhrouhou, Lassaad (et al.)

Theories and proofs in fault diagnosis

Pages 181-194

Cicekli, Ilyas

Nonmonotonic reasoning under uncertain evidence

Pages 195-208

Delrieux, Claudio

Multicontext systems with importing contexts

Pages 209-220

Dichev, Christo

Planning via model checking in determistic domains: Preliminary report

Pages 221-229

Manzo, Mauro (et al.)

Acquisition of useful lemma-knowledge in automated reasoning

Pages 230-239

Draeger, Joachim

Constructing translations between individual vocabularies in multi-agent systems

Pages 240-253

Eijk, Rogier M. (et al.)

Belief reconstruction in cooperative dialogues

Pages 254-266

Cerro, Luis Fariñas (et al.)

Model theoretic semantics for information integration

Pages 267-280

Ghidini, Chiara (et al.)

A classification learning algorithm robust to irrelevant features

Pages 281-290

Güvenir, H. Altay

Knowledge assimilation and proof restoration through the addition of goals

Pages 291-302

Hayashi, Hisashi

Learning multiple predicates

Pages 303-316

Kakas, Antonis (et al.)

Modal reasoning and rough set theory

Pages 317-330

Liau, Churn-Jung

Overcoming incomplete information in NLP systems — Verb subcategorization

Pages 331-340

Lopes, J. G. Pereira (et al.)

A framework for inductive learning based on subsumption lattices

Pages 341-352

Markov, Zdravko (et al.)

Dynamic learning — An approach to forgetting in ART2 neural networks

Pages 353-362

Nachev, Anatoly (et al.)

A new approach to linguistic negation of nuanced information in knowledge-based systems

Pages 363-376

Pacholczyk, Daniel

SAT-based decision procedures for normal modal logics: A theoretical framework

Pages 377-388

Sebastiani, Roberto (et al.)

Version space retraction with instance-based boundary sets

Pages 389-402

Smirnov, Evgueni N. (et al.)

A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming

Pages 403-416

Stéphan, Igor

A new approach to learning Bayesian Network classifiers from data: Using observed statistical frequencies

Pages 417-426

Tahseen, Tarkan (et al.)

Abstraction as a form of elaboration tolerance

Pages 427-437

Villafiorita, Adolfo

System architecture of a distributed expert system for the management of a national data network

Pages 438-451

Vlahavas, Ioannis (et al.)

Strategy selection for automated theorem proving

Pages 452-465

Wolf, Andreas

An agent system for intelligent situation assessment

Pages 466-474

Yang, Qiang (et al.)

Knowledge granularity and action selection

Pages 475-488

Ye, Yiming (et al.)

Towards lifetime maintenance of case base indexes for continual case based reasoning

Pages 489-500

Zhang, Zhong (et al.)