ISBN: 3540673504
TITLE: AI*IA 99:Advances in Artificial Intelligence
AUTHOR: Lamma, Evelina; Mello, Paolo (Eds.)
TOC:

Knowledge Representation
Generalized Default Logic: Minimal Knowledge, Autoepistemic, and Default Reasoning Reconciled 1
D. Nardi, R. Rosati
A Description Logic for Image Retrieval 13
E. Di Sciascio, F.M. Donini, M. Mongiello
Certainty-Factor-Like Structures in Bayesian Networks 25
P. Lucas
Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks 37
L.C. van der Gaag, V.M.H. Coup
Automated Reasoning
Abduction with Negation as Failure for Active and Reactive Rules 49
F. Sadri, F. Toni
An Implementation for Abductive Logic Agents 61
A. Ciampolini, E. Lamma, P. Mello, C. Stefanelli, P. Torroni
Solving the Satisfiability Problem through Boolean Networks 72
M. Milano, A. Roli
Applying the Davis-Putnam Procedure to Non-clausal Formulas 84
E. Giunchiglia, R. Sebastiani
The SAT-Based Approach for Classical Modal Logics 95
E. Giunchiglia, F. Giunchiglia, A. Tacchella
Local Search Techniques for Disjunctive Logic Programs 107
N. Leone, S. Perri, P. Rullo
Labelled Tableaux for Non-normal Modal Logics 119
G. Governatori, A. Luppi
Temporal and Qualitative Reasoning
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 131
M. Franceschet, A. Montanari
TimeNetManager - A Software Tool for Generating Random Temporal Networks 143
A. Cesta, A. Oddi, A. Susi
A Fuzzy Extension of Allen's Interval Algebra 155
S. Badaloni, M. Giacomin
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems 166
A. Panati
Machine Learning, Data Mining and Theory Revision
Relational Learning: Hard Problems and Phase Transitions 178
M. Botta, A. Giordana, L. Saitta, M. Sebag
A Machine Learning Approach to Web Mining 190
F. Esposito, D. Malerba, L. Di Pace, P. Leo
Experiences with a Logic-Based Knowledge Discovery Support Environment 202
F. Giannotti, G. Manco, D. Pedreschi, F. Turini
Conceptual Change in Learning Naive Physics:
The Computational Model as a Theory Revision Process 214
F. Esposito, G. Semeraro, N. Fanizzi, S. Ferilli
Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the "Hidden" Activation Functions 226
S. Gaglio, G. Pilato, F. Sorbello, G. Vassallo
Natural Language and WWW Interfaces
XIG: Generating from Interchange Format Using Mixed Representations 238
E. Pianta, L.M. Tovena
Natural Language Access to Public Administration Data: The TAMIC-P System 249
C. Bagnasco, A. Cappelli, B. Magnini, D. Zamatteo
On the Application of Personalization Techniques to News Servers on the WWW 261
L. Ardissono, L. Console, I. Torre
Multi-agent Systems
Levels of Delegation and Levels of Adoption
as the Basis for Adjustable Autonomy 273
R. Falcone, C. Castelfranchi
Notes on Formalizing Coordination 285
A. Agostini
Autonomous Spacecraft Resource Management: A Multi-agent Approach 297
N. Monekosso, P. Remagnino
Multi-agent Scene Interpretation 309
P. Remagnino, J. Orwell, G.A. Jones
An algorithm for Recruitment of Agents in Agency Design 321
F. Amigoni, M. Villa
Perception and Robotics
Towards a Conceptual Representation of Actions 333
A. Chella, M. Frixione, S. Gaglio
Cellular Automata Based Inverse Perspective Transform as a Tool for Indoor Robot Navigation 345
G. Adorni, S. Cagnoni, M. Mordonini
Planning and Scheduling
On Plan Adaptation through Planning Graph Analysis 356
A. Gerevini, I. Serina
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach 368
M. Piaggio, A. Sgorbissa
Solving Employee Timetabling Problems by Generalized Local Search 380
A. Schaerf, A. Meisels
Author Index 391
END
