Table of Contents

• The Complexity of Action RedundancyAndrea Ferrara, Paolo Liberatore, Marco Schaerf. 1-12 [doi]
• On the Impact of Small-World on Local SearchAndrea Roli. 13-24 [doi]
• A Hybrid Logic for Commonsense Spatial ReasoningStefania Bandini, Alessandro Mosca, Matteo Palmonari. 25-37 [doi]
• Using a Theorem Prover for Reasoning on Constraint ProblemsMarco Cadoli, Toni Mancini. 38-49 [doi]
• Good and Bad Practices in PropositionalisationNicolas Lachiche. 50-61 [doi]
• Periodicity-Based Temporal ConstraintsPaolo Terenziani, Luca Anselma, Stefania Montani. 62-65 [doi]
• A Survey of Problem Difficulty in Genetic ProgrammingLeonardo Vanneschi, Marco Tomassini, Philippe Collard, Manuel Clergue. 66-77 [doi]
• Intelligent Information Access by Learning WordNet-Based User ProfilesMarco Degemmis, Pasquale Lops, Giovanni Semeraro. 78-81 [doi]
• Refined Approximation of Concepts in OntologyDazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li, Peng Wang. 82-85 [doi]
• Argumentation for Access ControlGuido Boella, Joris Hulstijn, Leendert W. N. van der Torre. 86-97 [doi]
• Determining Preferences Through ArgumentationSylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne. 98-109 [doi]
• Avoiding Order Effects in Incremental LearningNicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile. 110-121 [doi]
• Evaluating Search Strategies and Heuristics for Efficient Answer Set ProgrammingEnrico Giunchiglia, Marco Maratea. 122-134 [doi]
• The ::::S::::CIFF Abductive Proof-ProcedureMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. 135-147 [doi]
• Scheduling with Probability and Temporal ConstraintsBassam Baki, Maroua Bouzid. 148-159 [doi]
• Schedule Robustness Through Broader ::::Solve and Robustify:::: Search for Partial Order SchedulesNicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith. 160-172 [doi]
• Optimal Scheduling with Heuristic Best First SearchMaría R. Sierra, Ramiro Varela. 173-176 [doi]
• Planning with Derived Predicates Through Rule-Action Graphs and Local Search TechniquesAlfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli. 177-181 [doi]
• The Architecture of a Reactive Path-Planner for Mobile Robots Based on Cellular AutomataFabio M. Marchese. 182-185 [doi]
• Modal Operators with Adaptable Semantics for Multi-agent SystemsStefano Borgo. 186-197 [doi]
• An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination ContextsMirko Viroli, Andrea Omicini, Alessandro Ricci. 198-211 [doi]
• Towards Fault-Tolerant Formal Concept AnalysisRuggero G. Pensa, Jean-François Boulicaut. 212-223 [doi]
• Agent-Based Management of Responsive EnvironmentsFlávio S. Corrêa da Silva, Wamberto Weber Vasconcelos. 224-236 [doi]
• An ACL for Specifying Fault-Tolerant ProtocolsNicola Dragoni, Mauro Gaspari, Davide Guidi. 237-248 [doi]
• Experimental Evaluation of Hierarchical Hidden Markov ModelsAttilio Giordana, Ugo Galassi, Lorenza Saitta. 249-257 [doi]
• Optimization of Association Rules Extraction Through Exploitation of Context Dependent ConstraintsArianna Gallo, Roberto Esposito, Rosa Meo, Marco Botta. 258-269 [doi]
• Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered ObservationsAlban Grastien, Marie-Odile Cordier, Christine Largouët. 270-281 [doi]
• Configurations for Inference from Causal Statements: Preliminary ReportPhilippe Besnard, Marie-Odile Cordier, Yves Moinard. 282-285 [doi]
• Laying the Foundations for a Formal Theory of DramaRossana Damiano, Vincenzo Lombardo, Antonio Pizzo. 286-289 [doi]
• A Semantic Kernel to Exploit Linguistic KnowledgeRoberto Basili, Marco Cammisa, Alessandro Moschitti. 290-302 [doi]
• Building a Wide Coverage Dynamic GrammarAlessandro Mazzei, Vincenzo Lombardo. 303-314 [doi]
• A Linguistic Inspection of Textual EntailmentMaria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto. 315-326 [doi]
• Multigranular Scale Speech Recognizers: Technological and Cognitive ViewFrancesco Cutugno, Gianpaolo Coro, Massimo Petrillo. 327-330 [doi]
• Towards a General Framework for Substitutional Adaptation in Case-Based ReasoningSara Manzoni, Fabio Sartori, Giuseppe Vizzari. 331-342 [doi]
• A Consumer Interest Prediction System from Transaction Behaviors in Electronic CommerceChien-Chang Hsu, Wen-Yu Chien. 343-346 [doi]
• Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free TextDaniele Gunetti, Claudia Picardi, Giancarlo Ruffo. 347-358 [doi]
• Learning Path Generation by Domain Ontology TransformationRoberto Pirrone, Giovanni Pilato, Riccardo Rizzo, Giuseppe Russo. 359-369 [doi]
• A Multidimensional Framework for the Representation of Ontologies in Adaptive Hypermedia SystemsFrancesca Carmagnola, Federica Cena, Cristina Gena, Ilaria Torre. 370-380 [doi]
• A Conversational Agent Based on a Conceptual Interpretation of a Data Driven Semantic SpaceFrancesco Agostaro, Agnese Augello, Giovanni Pilato, Giorgio Vassallo, Salvatore Gaglio. 381-392 [doi]
• Solving Italian Crosswords Using the WebGiovanni Angelini, Marco Ernandes, Marco Gori. 393-405 [doi]
• A Counterfactual-Based Learning Algorithm for Description LogicFloriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro. 406-417 [doi]
• Relational Learning: Statistical Approach Versus Logical Approach in Document Image UnderstandingMichelangelo Ceci, Margherita Berardi, Donato Malerba. 418-429 [doi]
• Handling Continuous-Valued Attributes in Incremental First-Order Rules LearningTeresa Maria Altomare Basile, Floriana Esposito, Nicola Di Mauro, Stefano Ferilli. 430-441 [doi]
• Prototypal Ambient Intelligence Framework for Assessment of Food Quality and SafetyM. Lettere, D. Guerri, R. Fontanelli. 442-453 [doi]
• Managing Clinical Guidelines Contextualization in the GLARE SystemPaolo Terenziani, Stefania Montani, Alessio Bottrighi, Mauro Torchio, Gianpaolo Molino, Gianluca Correndo. 454-465 [doi]
• Water Management Policy Selection Using a Decision Support System Based on a Multi-agent SystemDominique Urbani, Marielle Delhom. 466-469 [doi]
• A CSP Approach for Modeling the Hand Gestures of a Virtual GuitaristDaniele P. Radicioni, Vincenzo Lombardo. 470-473 [doi]
• Experiences with CiceRobot, a Museum Guide Cognitive RobotIrene Macaluso, Edoardo Ardizzone, Antonio Chella, Massimo Cossentino, Antonio Gentile, R. Gradino, Ignazio Infantino, Marilia Liotta, Riccardo Rizzo, Giuseppe Scardino. 474-482 [doi]
• Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search RoversAlberto Finzi, Andrea Orlandini. 483-494 [doi]
• Anchoring by Imitation Learning in Conceptual SpacesAntonio Chella, Haris Dindo, Ignazio Infantino. 495-506 [doi]
• Bayesian Emotions: Developing an Interface for Robot/Human CommunicationFidel Aznar Gregori, Mireia Sempere, Maria Del Mar Pujol López, Ramón Rizo. 507-517 [doi]
• Robot Security and Failure Detection Using Bayesian FusionFidel Aznar Gregori, Maria Del Mar Pujol López, Ramón Rizo. 518-521 [doi]
• Mining Relational Association Rules for Propositional ClassificationAnnalisa Appice, Michelangelo Ceci, Donato Malerba. 522-534 [doi]
• Entity Recognizer in Hungarian Question ProcessingDomonkos Tikk, Ferenc Szidarovszky, Zsolt Tivadar Kardkovács, Gábor Magyar. 535-546 [doi]
• Recognition Algorithm for Korean Postpositions by Detecting Prosody BoundariesKi-Young Lee, Jong Kuk Kim, Myung Jin Bae. 547-552 [doi]
• Fuzzy Multinomial Control ChartsHassen Taleb, Mohamed Limam. 553-563 [doi]
• Fuzzy Logic Resource Manager: Fuzzy Rules and ExperimentsJames F. Smith III. 564-575 [doi]
• Application of PGA on Optimization of Distribution of Shopping CentersBin Yu, Chuntian Cheng, Zhong-Zheng Yang, Kwok-Wing Chau. 576-586 [doi]
• BIOPACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System for Predicting Protein Secondary StructureGiuliano Armano, Gianmaria Mancosu, Alessandro Orro, Massimiliano Saba, Eloisa Vargiu. 587-598 [doi]
• Improving Neural Classification with Markov ChainInhaúma Neves Ferraz, Ana Cristina Bicharra Garcia. 599-602 [doi]
• Intelligent Neurofuzzy Model Based Control of Electrically Heated Micro Heat ExchangerFarzad Habibipour Roudsari, Mohammad Khajepour, Mehdi Galily. 603-607 [doi]
• Managing Functional and Ontological Knowledge in the Design of Complex Mechanical ObjectsEttore Colombo, Gianluca Colombo, Fabio Sartori. 608-611 [doi]