


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














