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