default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI*IA 1995: Firenze
- Marco Gori, Giovanni Soda:
Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings. Lecture Notes in Computer Science 992, Springer 1995, ISBN 3-540-60437-5
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 Viardo 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-13 00:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
