Abstract is missing.
- Modelling Conceptual Change: An Interdisciplinary ApproachFilippo Neri, Lorenza Saitta, Andrée Tiberghien. 1-12
- Refining Numerical Terms in Horn ClausesMarco Botta, Attilio Giordana, Roberto Piola. 13-23
- Handling Continuous Data in Top-Down Induction of First-Order RulesDonato Malerba, Floriana Esposito, Giovanni Semeraro, Sergio Caggese. 24-35
- Inductive Inference of Tree Automata by Recursive Neural NetworksPaolo Frasconi, Marco Gori, Marco Maggini, Enrico Martinelli, Giovanni Soda. 36-47
- A Computational Model of Misunderstandings in Agent CommunicationLiliana Ardissono, Guido Boella, Rossana Damiano. 48-59
- Wide-Coverage Lexicalized GrammarsCristina Barbero, Vincenzo Lombardo. 60-71
- Flexible Response Choice Using Problem-Solving Plans and Rhetorical RelationsPaolo Barboni, Dario Sestero. 72-83
- A Variant of Early ParsingMark-Jan Nederhof, Giorgio Satta. 84-95
- Autonomous Robot Navigation Using a Reactive AgentsMaurizio Piaggio, Antonio Sgorbissa, Gianni Vercelli, Renato Zaccaria. 96-105
- A Hybrid Architecture for Autonomous AgentsAntonio Chella, Salvatore Gaglio, Giuseppe Sajeva, Fausto Torterolo. 106-115
- 3-D Facets Construction for StereovisionEzzeddine Zagrouba. 116-126
- Extraction of Discriminant Features from Image Fractal EncodingMatteo Baldoni, Cristina Baroglio, Davide Cavagnino, Giuseppe Lo Bello. 127-138
- Learning Relational Concepts at Different Levels of GranularityGiuliano Armano, G. Fumera. 139-146
- Inferring Minimal Rule Covers from RelationsClaudio Carpineto, Giovanni Romano. 147-158
- Corpus-Driven Unsupervised Learning of Verb Subcategorization FramesRoberto Basili, Maria Teresa Pazienza, Michele Vindigni. 159-170
- Learning the Syntax and Semantic Rules of an ECG GrammarGabriella Kókai, János Csirik, Tibor Gyimóthy. 171-182
- Introducing Abduction into (Extensional) Inductive Logic Programming SystemsEvelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi. 183-194
- An Efficient Algorithm for Temporal AbductionVittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré. 195-206
- Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean FormulaeMarco Cadoli, Andrea Giovanardi, Marco Schaerf. 207-218
- A Proof Theory for Tractable Approximations of Propositional ReasoningFabio Massacci. 219-230
- Embedding Minimal Knowledge into Autoepistemic LogicRiccardo Rosati. 231-241
- User Model-Based Information FilteringFabio A. Asnicar, Massimo Di Fant, Carlo Tasso. 242-253
- A Comparative Analysis of Horn Models and Bayesian Networks for DiagnosisLuigi Portinale, Pietro Torasso. 254-265
- Multi-agent Negotiation and Planning Through Knowledge ContextualizationEnver Sangineto. 266-277
- From Task Delegation to Role DelegationCristiano Castelfranchi, Rino Falcone. 278-289
- Automated Reasoning On-Board Autonomous SpacecraftNdedi D. Monekosso, Paolo Remagnino. 290-301
- A Weakly Backjumping Strategy to Solve Hard Scheduling ProblemsAngelo Oddi. 302-310
- Compiling Task Networks into Partial Order Planning DomainsMarco Baioletti, Stefano Marcugini, Alfredo Milani. 311-321
- A Hybrid Approach to Hypertext GenerationNicola Cancedda, Gjertrud Kamstrup, Emanuele Pianta, Ettore Pietrosanti. 321-333
- Generating User-Adapted Hypermedia from Discourse PlansBerardina De Carolis, Fiorella de Rosis, Sebastiano Pizzutilo. 334-345
- WordNet for Italian and Its Use for Lexical DeiscriminationAlessandro Artale, Bernardo Magnini, Carlo Strapparava. 346-356
- Efficient Support for Reactive Rules in PrologMauro Gaspari. 357-368
- Reasoning with Behavioural Knowledge in Application Domain ModelsErnesto Compatangelo, Francesco M. Donini, Giovanni Rumolo. 367-380
- How to Solve Qualification and Ramification Using Dijkstra s Semantics for Programming LanguagesEwa Madalinska-Bugaj. 381-392
- Towards a Qualitative Representation of Linguistic Negation of Nuanced PropertiesDaniel Pacholczyk. 393-404
- CBET: Acase Base Exploration ToolPaolo Avesani, Anna Perini, Francesco Ricci. 405-416
- Learning Feature Weights for CBR: Global versus LocalAndrea Bonzano, Padraig Cunningham, Barry Smyth. 417-426
- CompAss: A System for Plans of Study CompilationGiuseppe Attardi, Antonio Cisternino, Maria Simi. 427-430
- A Prototypal System foe Data-ValidationA. Balderi, M. Solimano. 431-434
- ODB-Tools: A Description Logics Based Tool for Schema Validation and Semantic Query Optimization in Object Oriented DatabasesSonia Bergamaschi, Claudio Sartori, Domenico Beneventano, Maurizio Vincini. 435-438
- Processing Paper Documents with WISDOMDonato Malerba, Floriana Esposito, Giovanni Semeraro, Luca de Filippis. 439-442
- REGAL3.2: FOL Concept Learning by Cooperative Genetic AlgorithmsFilippo Neri. 443-446
- IDL: A Prototypical Intelligent Digital Library ServiceGiovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli, Pasquale Lops. 447-450
- An Object-Oriented Architecture for the DRS Scheduling ProblemPaolo Bazzica, Gianni Casonato, Amedeo Cesta. 451-454
- MASMA: A Personal Assistant for Meetings ManagementRodolfo Brancaleoni, Amedeo Cesta, Daniela D Aloisi. 455-458