| The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks / G. Angelova ; O. Kalaydjiev ; W. von Hahn |
| An Agent Model for NL Dialog Interfaces / L. Ardissono ; G. Boella |
| Constraint Solving in Logic Programming and in Automated Deduction: A Comparison / A. Armando ; E. Melis ; S. Ranise |
| An Extension of SATPLAN for Planning with Constraints / M. Baioletti ; S. Marcugini ; A. Milani |
| Reasoning about Generalized Intervals / P. Balbiani ; J.-F. Condotta ; L. Fariñas del Cerro ; A. Osnani |
| Formalizing Belief Reports - The Approach and a Case Study / M. Benerecetti ; P. Bouquet ; C. Ghidini |
| Extension Calculus and Query Answering in Prioritized Default Logic / F. Benhammadi ; P. Nicolas ; T. Schaub |
| Study of Symmetry in Qualitative Temporal Interval Networks / B. Benhamou ; A. Isli |
| A Blackboard Architecture for Guiding Interactive Proofs / C. Benzmüller ; V. Sorge |
| Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach / B. Bessant ; E. Grégoire ; P. Marquis ; L. Sa¿is |
| Modelling Uncertainty with Kripke's Semantics / V. Boeva ; E. Tsiporkova ; B. De Baets |
| Using Linear Temporal Logic to Model and Solve Planning Problems / S. Cerrito ; M. Cialdea Mayer |
| Tailorable Interactive Agents for Scheduling Meetings / A. Cesta ; M. Collia ; D. D'Aloisi |
| Planning Diagonalization Proofs / L. Cheikhrouhou ; J. Siekmann |
| Theories and Proofs in Fault Diagnosis / I. Cicekli |
| Nonmonotonic Reasoning under Uncertain Evidence / C. Delrieux |
| Multicontext Systems with Importing Contexts / C. Dichev |
| Planning via Model Checking in Deterministic Domains: Preliminary |
| Report / M. Di Manzo ; E. Giunchiglia ; S. Ruffino |
| Acquisition of Useful Lemma-Knowledge in Automated Reasoning / J. Draeger |
| Constructing Translations between Individual Vocabularies in Multi-Agent Systems / R.M. van Eijk ; F.S. de Boer ; W. van der Hoek ; J.-J.Ch. Meyer |
| Belief Reconstruction in Cooperative Dialogues / A. Herzig ; D. Longin ; O. Rifi |
| Model Theoretic Semantics for Information Integration / L. Serafini |
| A Classification Learning Algorithm Robust to Irrelevant Features / H.A. Güvenir |
| Knowledge Assimilation and Proof Restoration Through the Addition of Goals / H. Hayashi |
| Learning Multiple Predicates / A. Kakas ; E. Lamma ; F. Riguzzi |
| Modal Reasoning and Rough Set Theory / C.-J. Liau |
| Overcoming Incomplete Information in NLP Systems - Verb |
| Subcategorization / J.G. Pereira Lopes ; J. Balsa |
| A Framework for Inductive Learning Based on Subsumption Lattices / Z. Markov ; N. Pelov |
| Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks / A. Nachev ; N. Griffith ; A. Gerov |
| A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems / D. Pacholczyk |
| SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework / R. Sebastiani ; A. Villafiorita |
| Version Space Retraction with Instance-Based Boundary Sets / E.N. Smirnov ; P.J. Braspenning |
| A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming / I. Stéphan |
| A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies / T. Tahseen ; D.F. Gillies |
| Abstraction as a Form of Elaboration Tolerance |
| System Architecture of a Distributed Expert System for the Management of a National Data Network / I. Vlahavas ; N. Bassiliades ; I. Sakellariou ; M. Molina ; S. Ossowski ; I. Futo ; Z. Pasztor ; J. Szeredi ; I. Velbitskiy ; S. Yershov ; S. Golub ; I. Netesin |
| Strategy Selection for Automated Theorem Proving / A. Wolf |
| An Agent System for Intelligent Situation Assesment / Q. Yang ; I. Abi-Zeid ; L. Lamontagne |
| Knowledge Granularity and Action Selection / Y. Ye ; J.K. Tsotsos |
| Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning / Z. Zhang |
| Author Index |
| The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks / G. Angelova ; O. Kalaydjiev ; W. von Hahn |
| An Agent Model for NL Dialog Interfaces / L. Ardissono ; G. Boella |
| Constraint Solving in Logic Programming and in Automated Deduction: A Comparison / A. Armando ; E. Melis ; S. Ranise |
| An Extension of SATPLAN for Planning with Constraints / M. Baioletti ; S. Marcugini ; A. Milani |
| Reasoning about Generalized Intervals / P. Balbiani ; J.-F. Condotta ; L. Fariñas del Cerro ; A. Osnani |
| Formalizing Belief Reports - The Approach and a Case Study / M. Benerecetti ; P. Bouquet ; C. Ghidini |
