AI*IA 1995: Firenze

@proceedings{DBLP:conf/aiia/1995,
  editor    = {Marco Gori and
               Giovanni Soda},
  title     = {Topics in Artificial Intelligence, 4th Congress of the Italian
               Association for Artificial Intelligence, AI*IA'95, Florence,
               Italy, October 11-13, 1995, Proceedings},
  booktitle = {AI*IA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {992},
  year      = {1995},
  isbn      = {3-540-60437-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Natural Language Processing

• Nils Lenke: Natural Language Generation as Constraint-Based Configuration. 1-12 BibTeX
• Elena Not, Emanuele Pianta: Issues of Multilinguality in the Automatic Generation of Administrative Instructional Texts. 13-24 BibTeX

Fuzzy Systems

• Andrea Bonarini: Extending Q-learning to Fuzzy Classifier Systems. 25-36 BibTeX
• Paulo Camargo Silva: Fuzzy Congitive Maps in Multi-Agent Environments. 37-43 BibTeX

Machine Learning 1

• Cristina Baroglio, Marco Botta: Multiple Predicate Learning with RTL. 44-55 BibTeX
• Timothy Humphrey, Anna Bramanti-Gregor, Henry W. Davis: Learning While -Solving Problems in Single Agent Search: Preliminary Results. 56-66 BibTeX
• Claudio Carpineto, Giovanni Romano: Automatic Construction of Navigable Concept Networks Characterizing Text Databases. 67-78 BibTeX

Knowledge Representation 1

• Marco Gazza, Pietro Torasso: Temporal Prediction: Dealing with Change and Interactions within a Causal Framework. 79-90 BibTeX
• Francesco M. Donini, Daniele Nardi, Riccardo Rosati: Non-first-order features in concept languages. 91-102 BibTeX
• Giuseppe De Giacomo, Maurizio Lenzerini: PDL-based framework for reasoning about actions. 103-114 BibTeX

Natural Language Processing 2

• Cristina Barbero, Vincenzo Lombardo: Dependency Graphs in Natural Language Processing. 115-126 BibTeX
• Fabio Ciravegna, Nicola Cancedda: Integrating Shallow and Linguistic Techniques for Information Extraction from Text. 127-138 BibTeX
• Liliana Ardissono, Guido Boella, Dario Sestero: Recognizing preliminary sentences in dialogue interpretation. 139-144 BibTeX
• Ionnas Kanellos, Victor Hugo Zaldivar-Carrillo: Contextuality and Non-extensional Identity: the Inescapable Symbiosis in NLP. 145-151 BibTeX

Automated Reasoning

• Grigoris Antoniou: Priorities in Default Logic Revisited. 152-162 BibTeX
• Hachemi Bennaceur: Boolean approch for representing and solving constraint-satisfaction problems. 163-174 BibTeX
• Mauro Di Manzo, Paolo Pecchiari: Composing decision procedures: the approach and a case study. 175-186 BibTeX

Knowledge Represention 2

• Francesco Orilia: Knowledge Representation, Exemplification, and the Gupta-Belnap Theory of Circular Definitions. 187-198 BibTeX
• Giovanni Rumolo, Ernesto Compatangelo: TRDL: a language for conceptual modelling in Information Systems Engineering. 199-210 BibTeX
• Daniele Theseider Dupré, Mauro Rossotto: The Different Roles of Abstraction in Abductive Reasoning. 211-216 BibTeX

Cognitive Models

• Antonella Carassa, Alessandra Valpiani, Guiliano Geminiani, Stefania Bandini: A Cognitive Model of Causal Reasoning about the Physical World. 217-230 BibTeX
• Aldo Franco Dragoni, Francesca Mascaretti, Paolo Puliti: A Generalized Approach to Consistency Based Belief Revision. 231-236 BibTeX
• Cristiano Castelfranchi, Daniela D'Aloisi, Fabrizio Giacomelli: A Framework for Dealing with Belief-Goal Dynamics. 237-242 BibTeX

Robotics and Planning 1

• Stefano Nolfi, Domenico Parisi: Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects. 243-254 BibTeX
• Amedeo Cesta, Angelo Oddi: A Formal Domain Description Language for a Temporal Planner. 255-260 BibTeX
• Carlo Ferrari, Enrico Pagello, Jun Ota, Tamio Arai: A Method for Solving Multiple Autonomous Robots Collisions Problem Using Space and Time Representation. 261-266 BibTeX

Connectionist Models

• Enrico Blanzieri, Attilio Giordana: Mapping Symbolic Knowledge into Locally Receptive Field Networks. 267-278 BibTeX
• Antonio Chella, Marcello Frixione, Salvatore Gaglio: Knowledge Representation for Robotic Vision Based on Conceptual Spaces and Attentive Mechanisms. 279-290 BibTeX

Robotics and Planning 2

• Marco Baioletti, Stefano Marcugini, Alfredo Milani: A Weakest Precondition Semantics for Conditional Planning. 291-302 BibTeX
• Marcello Frixione, Maurizio Piaggio, Gianni Vercelli, Renato Zaccaria: A Cognitive Hybrid Model for Autonomous Navigation. 303-314 BibTeX
• Antonio D'Angelo: Using a Chemical Metaphor to Implement Autonomous Systems. 315-322 BibTeX

Model Based Reasoning

• Paolo Pogliano, Luisella Riccardi: Modeling Process Diagnostic Knowledge Through Causal Networks. 323-334 BibTeX
• Johann Gamper, Wolfgang Nejdl: Formalizing Reasoning About Change: A Temporal Diagnosis Approach. 335-346 BibTeX
• Giovanni Guida, Marina Zanella: Preventive Diagnosis: Definition and Logical Model. 347-352 BibTeX

Machine Learning 2

• Man Leung Wong, Kwong-Sak Leung: Learning Programs in Different Paradigms using Genetic Programming. 353-364 BibTeX
• Giovanni Semeraro, Floriana Esposito, Nicola Fanizzi, Donato Malerba: Revision of Logical Theories. 365-376 BibTeX
• Jean-Daniel Zucker: Reformulation of Examples in Concept Learning of Structural Descriptions. 377-388 BibTeX
• João Pedro Guerreiro Neto, Fernando Moura-Pires: Integrated Model - a Proposal to Handle Noise. 389-394 BibTeX
• Giuliano Armano: Exceptions-Based Synthesis of Boolean Functions as a Core Mechanism to Perform Concept Learning. 395-401 BibTeX

Distributed Artificial Intelligence

• Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Seeing is Believing. 402-413 BibTeX
• Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers or Believers. 414-425 BibTeX
• Mauro Gaspari: Modelling Interactions in Agent System. 426-438 BibTeX
• Andrea Omicini, Enrico Denti, Antonio Natali: Agent Coordination and Control through Logic Theories. 439-450 BibTeX