AI*IA 1995: Firenze

Natural Language Processing

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

Fuzzy Systems

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

Machine Learning 1

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

Knowledge Representation 1

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

Natural Language Processing 2

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

Automated Reasoning

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

Knowledge Represention 2

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

Cognitive Models

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

Robotics and Planning 1

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

Connectionist Models

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

Robotics and Planning 2

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

Model Based Reasoning

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

Machine Learning 2

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

Distributed Artificial Intelligence

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

Last update Mon May 20 04:59:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page