AI*IA 2005:
Milan,
Italy
Stefania Bandini, Sara Manzoni (Eds.):
AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings.
Lecture Notes in Computer Science 3673 Springer 2005, ISBN 3-540-29041-9 BibTeX
Theoretical Research:
Results and Proposals
- Andrea Ferrara, Paolo Liberatore, Marco Schaerf:
The Complexity of Action Redundancy.
1-12
Electronic Edition (link) BibTeX
- Andrea Roli:
On the Impact of Small-World on Local Search.
13-24
Electronic Edition (link) BibTeX
- Stefania Bandini, Alessandro Mosca, Matteo Palmonari:
A Hybrid Logic for Commonsense Spatial Reasoning.
25-37
Electronic Edition (link) BibTeX
- Marco Cadoli, Toni Mancini:
Using a Theorem Prover for Reasoning on Constraint Problems.
38-49
Electronic Edition (link) BibTeX
- Nicolas Lachiche:
Good and Bad Practices in Propositionalisation.
50-61
Electronic Edition (link) BibTeX
- Paolo Terenziani, Luca Anselma, Stefania Montani:
Periodicity-Based Temporal Constraints.
62-65
Electronic Edition (link) BibTeX
- Leonardo Vanneschi, Marco Tomassini, Philippe Collard, Manuel Clergue:
A Survey of Problem Difficulty in Genetic Programming.
66-77
Electronic Edition (link) BibTeX
- Marco Degemmis, Pasquale Lops, Giovanni Semeraro:
Intelligent Information Access by Learning WordNet-Based User Profiles.
78-81
Electronic Edition (link) BibTeX
- Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li, Peng Wang:
Refined Approximation of Concepts in Ontology.
82-85
Electronic Edition (link) BibTeX
Theoretical Research:
Improvements and Consolidations
- Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre:
Argumentation for Access Control.
86-97
Electronic Edition (link) BibTeX
- Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne:
Determining Preferences Through Argumentation.
98-109
Electronic Edition (link) BibTeX
- Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile:
Avoiding Order Effects in Incremental Learning.
110-121
Electronic Edition (link) BibTeX
- Enrico Giunchiglia, Marco Maratea:
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming.
122-134
Electronic Edition (link) BibTeX
- Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
The SCIFF Abductive Proof-Procedure.
135-147
Electronic Edition (link) BibTeX
- Bassam Baki, Maroua Bouzid:
Scheduling with Probability and Temporal Constraints.
148-159
Electronic Edition (link) BibTeX
- Nicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
Schedule Robustness Through Broader Solve and Robustify Search for Partial Order Schedules.
160-172
Electronic Edition (link) BibTeX
- María R. Sierra, Ramiro Varela:
Optimal Scheduling with Heuristic Best First Search.
173-176
Electronic Edition (link) BibTeX
- Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli:
Planning with Derived Predicates Through Rule-Action Graphs and Local Search Techniques.
177-181
Electronic Edition (link) BibTeX
- Fabio M. Marchese:
The Architecture of a Reactive Path-Planner for Mobile Robots Based on Cellular Automata.
182-185
Electronic Edition (link) BibTeX
- Stefano Borgo:
Modal Operators with Adaptable Semantics for Multi-agent Systems.
186-197
Electronic Edition (link) BibTeX
- Mirko Viroli, Andrea Omicini, Alessandro Ricci:
An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts.
198-211
Electronic Edition (link) BibTeX
- Ruggero G. Pensa, Jean-François Boulicaut:
Towards Fault-Tolerant Formal Concept Analysis.
212-223
Electronic Edition (link) BibTeX
- Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos:
Agent-Based Management of Responsive Environments.
224-236
Electronic Edition (link) BibTeX
- Nicola Dragoni, Mauro Gaspari, Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols.
237-248
Electronic Edition (link) BibTeX
- Attilio Giordana, Ugo Galassi, Lorenza Saitta:
Experimental Evaluation of Hierarchical Hidden Markov Models.
249-257
Electronic Edition (link) BibTeX
- Arianna Gallo, Roberto Esposito, Rosa Meo, Marco Botta:
Optimization of Association Rules Extraction Through Exploitation of Context Dependent Constraints.
258-269
Electronic Edition (link) BibTeX
- Alban Grastien, Marie-Odile Cordier, Christine Largouët:
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations.
270-281
Electronic Edition (link) BibTeX
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Configurations for Inference from Causal Statements: Preliminary Report.
282-285
Electronic Edition (link) BibTeX
- Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo:
Laying the Foundations for a Formal Theory of Drama.
286-289
Electronic Edition (link) BibTeX
- Roberto Basili, Marco Cammisa, Alessandro Moschitti:
A Semantic Kernel to Exploit Linguistic Knowledge.
290-302
Electronic Edition (link) BibTeX
- Alessandro Mazzei, Vincenzo Lombardo:
Building a Wide Coverage Dynamic Grammar.
303-314
Electronic Edition (link) BibTeX
- Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto:
A Linguistic Inspection of Textual Entailment.
315-326
Electronic Edition (link) BibTeX
- Francesco Cutugno, Gianpaolo Coro, Massimo Petrillo:
Multigranular Scale Speech Recognizers: Technological and Cognitive View.
327-330
Electronic Edition (link) BibTeX
Applications:
Systems and Prototypes
- Sara Manzoni, Fabio Sartori, Giuseppe Vizzari:
Towards a General Framework for Substitutional Adaptation in Case-Based Reasoning.
331-342
Electronic Edition (link) BibTeX
- Chien-Chang Hsu, Wen-Yu Chien:
A Consumer Interest Prediction System from Transaction Behaviors in Electronic Commerce.
343-346
Electronic Edition (link) BibTeX
- Daniele Gunetti, Claudia Picardi, Giancarlo Ruffo:
Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text.
347-358
Electronic Edition (link) BibTeX
- Roberto Pirrone, Giovanni Pilato, Riccardo Rizzo, Giuseppe Russo:
Learning Path Generation by Domain Ontology Transformation.
359-369
Electronic Edition (link) BibTeX
- Francesca Carmagnola, Federica Cena, Cristina Gena, Ilaria Torre:
A Multidimensional Framework for the Representation of Ontologies in Adaptive Hypermedia Systems.
370-380
Electronic Edition (link) BibTeX
- Francesco Agostaro, Agnese Augello, Giovanni Pilato, Giorgio Vassallo, Salvatore Gaglio:
A Conversational Agent Based on a Conceptual Interpretation of a Data Driven Semantic Space.
381-392
Electronic Edition (link) BibTeX
- Giovanni Angelini, Marco Ernandes, Marco Gori:
Solving Italian Crosswords Using the Web.
393-405
Electronic Edition (link) BibTeX
- Floriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro:
A Counterfactual-Based Learning Algorithm for Description Logic.
406-417
Electronic Edition (link) BibTeX
- Michelangelo Ceci, Margherita Berardi, Donato Malerba:
Relational Learning: Statistical Approach Versus Logical Approach in Document Image Understanding.
418-429
Electronic Edition (link) BibTeX
- Teresa Maria Altomare Basile, Floriana Esposito, Nicola Di Mauro, Stefano Ferilli:
Handling Continuous-Valued Attributes in Incremental First-Order Rules Learning.
430-441
Electronic Edition (link) BibTeX
- M. Lettere, D. Guerri, R. Fontanelli:
Prototypal Ambient Intelligence Framework for Assessment of Food Quality and Safety.
442-453
Electronic Edition (link) BibTeX
- Paolo Terenziani, Stefania Montani, Alessio Bottrighi, Mauro Torchio, Gianpaolo Molino, Gianluca Correndo:
Managing Clinical Guidelines Contextualization in the GLARE System.
454-465
Electronic Edition (link) BibTeX
- Dominique Urbani, Marielle Delhom:
Water Management Policy Selection Using a Decision Support System Based on a Multi-agent System.
466-469
Electronic Edition (link) BibTeX
- Daniele P. Radicioni, Vincenzo Lombardo:
A CSP Approach for Modeling the Hand Gestures of a Virtual Guitarist.
470-473
Electronic Edition (link) BibTeX
- Irene Macaluso, Edoardo Ardizzone, Antonio Chella, Massimo Cossentino, Antonio Gentile, R. Gradino, Ignazio Infantino, Marilia Liotta, Riccardo Rizzo, Giuseppe Scardino:
Experiences with CiceRobot, a Museum Guide Cognitive Robot.
474-482
Electronic Edition (link) BibTeX
- Alberto Finzi, Andrea Orlandini:
Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search Rovers.
483-494
Electronic Edition (link) BibTeX
- Antonio Chella, Haris Dindo, Ignazio Infantino:
Anchoring by Imitation Learning in Conceptual Spaces.
495-506
Electronic Edition (link) BibTeX
- Fidel Aznar Gregori, Mireia Sempere, Maria Del Mar Pujol López, Ramón Rizo:
Bayesian Emotions: Developing an Interface for Robot/Human Communication.
507-517
Electronic Edition (link) BibTeX
- Fidel Aznar Gregori, Maria Del Mar Pujol López, Ramón Rizo:
Robot Security and Failure Detection Using Bayesian Fusion.
518-521
Electronic Edition (link) BibTeX
Applications:
Case Studies and Proposals
- Annalisa Appice, Michelangelo Ceci, Donato Malerba:
Mining Relational Association Rules for Propositional Classification.
522-534
Electronic Edition (link) BibTeX
- Domonkos Tikk, Ferenc Szidarovszky, Zsolt Tivadar Kardkovács, Gábor Magyar:
Entity Recognizer in Hungarian Question Processing.
535-546
Electronic Edition (link) BibTeX
- Ki-Young Lee, Jong Kuk Kim, Myung Jin Bae:
Recognition Algorithm for Korean Postpositions by Detecting Prosody Boundaries.
547-552
Electronic Edition (link) BibTeX
- Hassen Taleb, Mohamed Limam:
Fuzzy Multinomial Control Charts.
553-563
Electronic Edition (link) BibTeX
- James F. Smith III:
Fuzzy Logic Resource Manager: Fuzzy Rules and Experiments.
564-575
Electronic Edition (link) BibTeX
- Bin Yu, Chuntian Cheng, Zhong-Zheng Yang, Kwok-wing Chau:
Application of PGA on Optimization of Distribution of Shopping Centers.
576-586
Electronic Edition (link) BibTeX
- Giuliano Armano, Gianmaria Mancosu, Alessandro Orro, Massimiliano Saba, Eloisa Vargiu:
BIOPACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System for Predicting Protein Secondary Structure.
587-598
Electronic Edition (link) BibTeX
- Inhaúma Neves Ferraz, Ana Cristina Bicharra Garcia:
Improving Neural Classification with Markov Chain.
599-602
Electronic Edition (link) BibTeX
- Farzad Habibipour Roudsari, Mohammad Khajepour, Mehdi Galily:
Intelligent Neurofuzzy Model Based Control of Electrically Heated Micro Heat Exchanger.
603-607
Electronic Edition (link) BibTeX
- Ettore Colombo, Gianluca Colombo, Fabio Sartori:
Managing Functional and Ontological Knowledge in the Design of Complex Mechanical Objects.
608-611
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:57:12 2009
by Michael Ley (ley@uni-trier.de)