AI*IA 1997: Roma

Maurizio Lenzerini (Ed.): AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings. Lecture Notes in Computer Science 1321 Springer 1997, ISBN 3-540-63576-9 BibTeX

@proceedings{DBLP:conf/aiia/1997,
  editor    = {Maurizio Lenzerini},
  title     = {AI*IA 97: Advances in Artificial Intelligence, 5th Congress of
               the Italian Association for Artificial Intelligence, Rome, Italy,
               September 17-19, 1997, Proceedings},
  booktitle = {AI*IA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1321},
  year      = {1997},
  isbn      = {3-540-63576-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Machine Learning

Filippo Neri, Lorenza Saitta, Andrée Tiberghien: Modelling Conceptual Change: An Interdisciplinary Approach. 1-12 BibTeX
Marco Botta, Attilio Giordana, Roberto Piola: Refining Numerical Terms in Horn Clauses. 13-23 BibTeX
Donato Malerba, Floriana Esposito, Giovanni Semeraro, Sergio Caggese: Handling Continuous Data in Top-Down Induction of First-Order Rules. 24-35 BibTeX
Paolo Frasconi, Marco Gori, Marco Maggini, Enrico Martinelli, Giovanni Soda: Inductive Inference of Tree Automata by Recursive Neural Networks. 36-47 BibTeX

Natural Language 1

Liliana Ardissono, Guido Boella, Rossana Damiano: A Computational Model of Misunderstandings in Agent Communication. 48-59 BibTeX
Cristina Barbero, Vincenzo Lombardo: Wide-Coverage Lexicalized Grammars. 60-71 BibTeX
Paolo Barboni, Dario Sestero: Flexible Response Choice Using Problem-Solving Plans and Rhetorical Relations. 72-83 BibTeX
Mark-Jan Nederhof, Giorgio Satta: A Variant of Early Parsing. 84-95 BibTeX

Perception Vision Robotics

Maurizio Piaggio, Antonio Sgorbissa, Gianni Vercelli, Renato Zaccaria: Autonomous Robot Navigation Using a Reactive Agents. 96-105 BibTeX
Antonio Chella, Salvatore Gaglio, Giuseppe Sajeva, Fausto Torterolo: A Hybrid Architecture for Autonomous Agents. 106-115 BibTeX
Ezzeddine Zagrouba: 3-D Facets Construction for Stereovision. 116-126 BibTeX
Matteo Baldoni, Cristina Baroglio, Davide Cavagnino, Giuseppe Lo Bello: Extraction of Discriminant Features from Image Fractal Encoding. 127-138 BibTeX

Machine Learning 2

Giuliano Armano, G. Fumera: Learning Relational Concepts at Different Levels of Granularity. 139-146 BibTeX
Claudio Carpineto, Giovanni Romano: Inferring Minimal Rule Covers from Relations. 147-158 BibTeX
Roberto Basili, Maria Teresa Pazienza, Michele Vindigni: Corpus-Driven Unsupervised Learning of Verb Subcategorization Frames. 159-170 BibTeX
Gabriella Kókai, János Csirik, Tibor Gyimóthy: Learning the Syntax and Semantic Rules of an ECG Grammar. 171-182 BibTeX

Automated Reasoning

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Introducing Abduction into (Extensional) Inductive Logic Programming Systems. 183-194 BibTeX
Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré: An Efficient Algorithm for Temporal Abduction. 195-206 BibTeX
Marco Cadoli, Andrea Giovanardi, Marco Schaerf: Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae. 207-218 BibTeX
Fabio Massacci: A Proof Theory for Tractable Approximations of Propositional Reasoning. 219-230 BibTeX

Knowledge Representation 1

Riccardo Rosati: Embedding Minimal Knowledge into Autoepistemic Logic. 231-241 BibTeX
Fabio A. Asnicar, Massimo Di Fant, Carlo Tasso: User Model-Based Information Filtering. 242-253 BibTeX
Luigi Portinale, Pietro Torasso: A Comparative Analysis of Horn Models and Bayesian Networks for Diagnosis. 254-265 BibTeX

Distributed Artifical Intelligence

Enver Sangineto: Multi-agent Negotiation and Planning Through Knowledge Contextualization. 266-277 BibTeX
Cristiano Castelfranchi, Rino Falcone: From Task Delegation to Role Delegation. 278-289 BibTeX
Ndedi D. Monekosso, Paolo Remagnino: Automated Reasoning On-Board Autonomous Spacecraft. 290-301 BibTeX

Planning

Angelo Oddi: A Weakly Backjumping Strategy to Solve Hard Scheduling Problems. 302-310 BibTeX
Marco Baioletti, Stefano Marcugini, Alfredo Milani: Compiling Task Networks into Partial Order Planning Domains. 311-321 BibTeX

Natural Language 2

Nicola Cancedda, Gjertrud Kamstrup, Emanuele Pianta, Ettore Pietrosanti: A Hybrid Approach to Hypertext Generation. 321-333 BibTeX
Berardina De Carolis, Fiorella de Rosis, Sebastiano Pizzutilo: Generating User-Adapted Hypermedia from Discourse Plans. 334-345 BibTeX
Alessandro Artale, Bernardo Magnini, Carlo Strapparava: WordNet for Italian and Its Use for Lexical Deiscrimination. 346-356 BibTeX

Knowledge Representation 2

Mauro Gaspari: Efficient Support for Reactive Rules in Prolog. 357-368 BibTeX
Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo: Reasoning with Behavioural Knowledge in Application Domain Models. 367-380 BibTeX
Ewa Madalinska-Bugaj: How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages. 381-392 BibTeX
Daniel Pacholczyk: Towards a Qualitative Representation of Linguistic Negation of Nuanced Properties. 393-404 BibTeX

Machine Learning 3

Paolo Avesani, Anna Perini, Francesco Ricci: CBET: Acase Base Exploration Tool. 405-416 BibTeX
Andrea Bonzano, Padraig Cunningham, Barry Smyth: Learning Feature Weights for CBR: Global versus Local. 417-426 BibTeX

Demos

Giuseppe Attardi, Antonio Cisternino, Maria Simi: CompAss: A System for Plans of Study Compilation. 427-430 BibTeX
A. Balderi, M. Solimano: A Prototypal System foe Data-Validation. 431-434 BibTeX
Sonia Bergamaschi, Claudio Sartori, Domenico Beneventano, Maurizio Vincini: ODB-Tools: A Description Logics Based Tool for Schema Validation and Semantic Query Optimization in Object Oriented Databases. 435-438 BibTeX
Donato Malerba, Floriana Esposito, Giovanni Semeraro, Luca de Filippis: Processing Paper Documents with WISDOM. 439-442 BibTeX
Filippo Neri: REGAL3.2: FOL Concept Learning by Cooperative Genetic Algorithms. 443-446 BibTeX
Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli, Pasquale Lops: IDL: A Prototypical Intelligent Digital Library Service. 447-450 BibTeX
Paolo Bazzica, Gianni Casonato, Amedeo Cesta: An Object-Oriented Architecture for the DRS Scheduling Problem. 451-454 BibTeX
Rodolfo Brancaleoni, Amedeo Cesta, Daniela D'Aloisi: MASMA: A Personal Assistant for Meetings Management. 455-458 BibTeX