ISBN: 3-540-64993-X
TITLE: Artificial Intelligence: Methodology, Systems, and Applications
AUTHOR: Giunchiglia, Fausto (Ed.)
TOC:

The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term 
Consistency Checks 1 
G. Angelova, O. Kalaydjiev, W. von Hahn 
An Agent Model for NL Dialog Interfaces 14 
L. Ardissono, G. Boella 
Constraint Solving in Logic Programming and in Automated Deduction: 
A Comparison 28 
A. Armando, E. Melis, S. Ranise 
An Extension of SATPLAN for Planning with Constraints 39 
M. Baioletti, S. Marcugini, A. Milani 
Reasoning about Generalized Intervals 50 
P. Balbiani, J.-F. Condotta, L. Farias del Cerro, A. Osnani 
Formalizing Belief Reports - The Approach and a Case Study 62 
M. Benerecetti, P. Bouquet, C. Ghidini 
Extension Calculus and Query Answering in Prioritized Default Logic 76 
F. Benhammadi, P. Nicolas, T. Schaub 
Study of Symmetry in Qualitative Temporal Interval Networks 88 
B. Benhamou, A. Isli 
A Blackboard Architecture for Guiding Interactive Proofs 102 
C. Benzmller, V. Sorge 
Combining Nonmonotonic Reasoning and Belief Revision: 
A Practical Approach 115 
B. Bessant, E. Grgoire, P. Marquis, L. Sas 
Modelling Uncertainty with Kripke's Semantics 129 
V. Boeva, E. Tsiporkova, B. De Baets 
Using Linear Temporal Logic to Model and Solve Planning Problems 141 
S. Cerrito, M. Cialdea Mayer 
Tailorable Interactive Agents for Scheduling Meetings 153 
A. Cesta, M. Collia, D. D'Aloisi 
Planning Diagonalization Proofs 167 
L. Cheikhrouhou, J. Siekmann 
Theories and Proofs in Fault Diagnosis 181 
I. Cicekli 
Nonmonotonic Reasoning under Uncertain Evidence 195 
C. Delrieux 
Multicontext Systems with Importing Contexts 209 
C. Dichev 
Planning via Model Checking in Deterministic Domains: Preliminary 
Report 221 
M. Di Manzo, E. Giunchiglia, S. Ruffino 
Acquisition of Useful Lemma-Knowledge in Automated Reasoning 230 
J. Draeger 
Constructing Translations between Individual Vocabularies in Multi-Agent 
Systems 240 
R.M. van Eijk, F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer 
Belief Reconstruction in Cooperative Dialogues 254 
L. Farias del Cerro, A. Herzig, D. Longin, O. Rifi 
Model Theoretic Semantics for Information Integration 267 
C. Ghidini, L. Serafini 
A Classification Learning Algorithm Robust to Irrelevant Features 281 
H.A. Gvenir 
Knowledge Assimilation and Proof Restoration Through the Addition of 
Goals 291 
H. Hayashi 
Learning Multiple Predicates 303 
A. Kakas, E. Lamma, F. Riguzzi 
Modal Reasoning and Rough Set Theory 317 
C.-J. Liau 
Overcoming Incomplete Information in NLP Systems  Verb 
Subcategorization 331 
J.G. Pereira Lopes, J. Balsa 
A Framework for Inductive Learning Based on Subsumption Lattices 341 
Z. Markov, N. Pelov 
Dynamic Learning  An Approach to Forgetting in ART2 Neural 
Networks 353 
A. Nachev, N. Griffith, A. Gerov 
A New Approach to Linguistic Negation of Nuanced Information in 
Knowledge-Based Systems 363 
D. Pacholczyk 
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical 
Framework 377 
R. Sebastiani, A. Villafiorita 
Version Space Retraction with Instance-Based Boundary Sets 389 
E.N. Smirnov, P.J. Braspenning 
A New Abstract Logic Programming Language and Its Quantifier 
Elimination Method for Disjunctive Logic Programming 403 
I. Stphan 
A New Approach to Learning Bayesian Network Classifiers from Data: 
Using Observed Statistical Frequencies 417 
T. Tahseen, D.F. Gillies 
Abstraction as a Form of Elaboration Tolerance 427 
A. Villafiorita 
System Architecture of a Distributed Expert System for the Management 
of a National Data Network 438 
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 452 
A. Wolf 
An Agent System for Intelligent Situation Assesment 466 
Q. Yang, I. Abi-Zeid, L. Lamontagne 
Knowledge Granularity and Action Selection 475 
Y. Ye, J.K. Tsotsos 
Towards Lifetime Maintenance of Case Based Indexes for Continual Case 
Based Reasoning 489 
Z. Zhang, Q. Yang 
Author Index 501 
END
