Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7:
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5:
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6:
Modal Logics / Session 7:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8:
Description Logics / Session 9:
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10:
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11:
Equational Theories / Session 12:
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13:
Theorem Proving 1 / Session 14:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15:
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16:
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17:
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18:
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II:
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III:
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV:
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V:
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
Actions with Failures in Interval Temporal Logic / Arjen Hommersom ; Peter Lucas
A Logic for Reasoning about Rational Agents / Wojciech Jamroga ; Nils Bulling
Formal Modelling of Emotions in BDI Agents / David Pereira ; Eugenio Oliveira ; Nelma Moreira
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations / Jan Broersen ; Julien Brunel
Proof Theory for Distributed Knowledge / Raul Hakli ; Sara Negri
EVOLP: Transformation-Based Semantics / Martin Slota ; Joao Leite
Language Constructs for Multi-agent Programming / Louise Dennis ; Michael Fisher ; Anthony Hepple
[beta]-Tropos: Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification / Volha Bryl ; Paola Mello ; Marco Montali ; Paolo Torroni ; Nicola Zannone
A Heuristic Approach to P2P Negotiation / Stefania Costantini ; Arianna Tocchio ; Panagiota Tsintza
Towards Context Sensitive Defeasible Rules / Armin Hezart ; Abhaya Nayak ; Mehmet Orgun
Fuzzy Argumentation for Trust / Ruben Stranders ; Mathijs de Weerdt
Assumption-Based Argumentation for Selection and Composition of Services / Francesca Toni
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems / Francesco Belardinelli ; Alessio Lomuscio
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs / Rajeev Gore ; Linh Anh Nguyen
System Description Paper
EVOLP: An Implementation
Author Index
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Web, Graphs and Semantics / Olivier Corby
Transdisciplinarity and Generalistic Sciences and Humanities / Rudolf Wille
Jacob Lorhard's Ontology: A 17th Century hypertext on the Reality and Temporality of the World of Intelligibles / Peter Ohrstrom ; Henrik Scharfe ; Sara L. Uckelman
Revelator's Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution / Mary Keeler
Conceptual Spider Diagrams / Frithjof Dau ; Andrew Fish
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation / Michel Leclere ; Marie-Laure Mugnier
Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual Graphs / Patrice Buche ; Juliette Dibie-Barthelemy ; Gaelle Hignette
Query-Answering CG Knowledge Bases / Nicolas Moreau
Attribute Exploration Using Implications with Proper Premises / Heiko Reppe
Sorting Concepts by Priority Using the Theory of Monotone Systems / Ants Torim ; Karin Lindroos
Extending Attribute Dependencies for Lattice-Based Querying and Navigation / Nizar Messai ; Marie-Dominique Devignes ; Amedeo Napoli ; Malika Smail-Tabbone
PACTOLE: A Methodology and a System for Semi-automatically Enriching an Ontology from a Collection of Texts / Rokia Bendaoud ; Yannick Toussaint
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis / Mireille Ducasse ; Sebastien Ferre
Employing a Domain Specific Ontology to Perform Semantic Search / Maxime Morneau ; Guy W. Mineau
Concept Similarity and Related Categories in SearchSleuth / Jon Ducrou ; Peter Eklund
Grounded Conceptual Graph Models / Harry S. Delugach ; Daniel M. Rochowiak
Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment? / Boris A. Galitsky ; Sergei O. Kuznetsov
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit / Jean-Francois Baget ; Rose Dieng-Kuntz ; Catherine Faron-Zucker ; Fabien Gandon ; Alain Giboin ; Alain Gutierrez ; Rallou Thomopoulos
Author Index
Diagrammatic Reasoning Systems / John Howse
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Agents and Databases: A Symbiosis? / Heiko Schuldt
Agents and Semantic Services: A Critical Review (Abstract) / Katia P. Sycara
Agent-Supported Planning in Distributed Command and Control Environments / James H. Lawton
Trust
Towards Trust-Based Acquisition of Unverifiable Information / Eugen Staab ; Volker Fusenig ; Thomas Engel
Modeling Dynamics of Relative Trust of Competitive Information Agents / Mark Hoogendoorn ; S. Waqar Jaffry ; Jan Treur
A Formal Approach to Aggregated Belief Formation / Annerieke Heuvelink ; Michel C.A. Klein
Applications
Software Engineering for Service-Oriented MAS / Emilia Garcia ; Adriana Giret ; Vicente Botti
A Service-Oriented MultiAgent Architecture for Cognitive Surveillance / David Vallejo ; Javier Albusac ; Carlos Gonzalez-Morcillo ; Luis Jimenez
Trust-Based Classifier Combination for Network Anomaly Detection / Martin Rehak ; Michal Pechoucek ; Martin Grill ; Karel Bartos
A Distributed Generative CSP Framework for Multi-site Product Configuration / Markus Zanker ; Dietmar Jannach ; Marius C. Silaghi ; Gerhard Friedrich
MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life / Christian Erfurth ; Steffen Kern ; Wilhelm Rossak ; Peter Braun ; Antje Lessmann
A Web-Based Virtual Machine for Developing Computational Societies / Sergio Saugar ; Juan M. Serrano
Using the Wizard of Oz Method to Train Persuasive Agents / Maiko Kawasoe ; Tatsuya Narita ; Yasuhiko Kitamura
ASBO: Argumentation System Based on Ontologies / Andres Munoz ; Juan A. Botia
Coordination and Communication
Controlling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara ; Kensuke Fukuda
Filter Allocation Using Iterative ECNP / Jan Tozicka ; Stepan Urban ; Magdalena Prokopova
On the Use of Symbolic Data Analysis to Model Communication Environments / Flavien Balbo ; Julien Saunier
Commitment-Based Multiagent Decision Making / Viji R. Avali ; Michael N. Huhns
Negotiation
Towards an Open Negotiation Architecture for Heterogeneous Agents / Koen V. Hindriks ; Catholijn Jonker ; Dmytro Tykhonov
Incrementally Refined Acquaintance Model for Consortia Composition / Jan Doubek ; Jiri Vokrinek
Towards a Monitoring Framework for Agent-Based Contract Systems / Noura Faci ; Sanjay Modgil ; Nir Oren ; Felipe Meneguzzi ; Simon Miles ; Michael Luck
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation / Shay Raz ; Raz Lin ; Onn Shehory
Author Index
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
A Contract Model for Electronic Institutions / Henrique Lopes Cardoso ; Eugenio Oliveira
Embedding Landmarks and Scenes in a Computational Model of Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Coordination and Sociability for Intelligent Virtual Agents / Francisco Grimaldo ; Miguel Lozano ; Fernando Barber
The Examination of an Information-Based Approach to Trust / Maaike Harbers ; Rineke Verbrugge ; Carles Sierra ; John Debenham
A Dynamic Coordination Mechanism Using Adjustable Autonomy / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Martijn Neef
Organizations and Institutions
Towards a Formalisation of Dynamic Electronic Institutions / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency / Carl Hewitt
Using Case-Based Reasoning in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez ; Juan Antonio Rodriguez-Aguilar
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Dynamic Composition of Electronic Institutions for Teamwork / Mario Gomez ; Enric Plaza
Organisational Artifacts and Agents for Open Multi-Agent Organisations: "Giving the Power Back to the Agents" / Rosine Kitio ; Olivier Boissier ; Jomi Fred Hubner ; Alessandro Ricci
Knowledge Sharing Between Agents in a Transitioning Organization / Eric Matson ; Raj Bhatnagar
Norms
Role Model Based Mechanism for Norm Emergence in Artificial Agent Societies / Bastin Tony Roy Savarimuthu ; Stephen Cranefield ; Maryam Purvis ; Martin Purvis
Using Testimonies to Enforce the Behavior of Agents / Fernanda Duran ; Viviane Torres da Silva ; Carlos J.P. de Lucena
Implementing Norms That Govern Non-dialogical Actions
A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities / Patrice Caire
On the Multimodal Logic of Normative Systems / Pilar Dellunde
A Distributed Architecture for Norm Management in Multi-Agent Systems / Wamberto Vasconcelos
A Coherence Based Framework for Institutional Agents / Sindhu Joseph ; Marco Schorlemmer
Distributed Norm Enforcement Via Ostracism / Adrian Perreau de Pinninck
Model Checking Norms and Sanctions in Institutions / Francesco Vigano ; Marco Colombetti
Author Index
Coordination
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II:
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III:
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I:
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
Engineering Self-organizing Applications
A Characterization of Key Properties of Environment-Mediated Multiagent Systems / Hartmut Schmeck ; Christian Muller-Schloer
Toward Systemic MAS Development: Enforcing Decentralized Self-organization by Composition and Refinement of Archetype Dynamics / Jan Sudeikat ; Wolfgang Renz
Engineering Systems Which Generate Emergent Functionalities / Marie-Pierre Gleizes ; Valerie Camps ; Jean-Pierre George ; Davy Capera
Engineering Autonomic Electronic Institutions / Josep Lluis Arcos ; Juan A. Rodriguez-Aguilar ; Bruno Rosell
Stigmergic Interaction
Prediction Horizons in Agent Models / H. Van Dyke Parunak ; Theodore C. Belding ; Sven A. Brueckner
Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications / Andrea Bonomi ; Marcello Sarini ; Giuseppe Vizzari
Action and Agency in Norm-Governed Multi-agent Systems / Marek Sergot
Managing Conflict Resolution in Norm-Regulated Environments / Martin J. Kollingbaum ; Wamberto W. Vasconcelos ; Andres Garcia-Camino ; Tim J. Norman
Alternative Dispute Resolution in Virtual Organizations / Jeremy Pitt ; Daniel Ramirez-Cano ; Lloyd Kamara ; Brendan Neville
Electronic Institutions Infrastructure for e-Chartering / Manolis Sardis ; George Vouros
Models of Complex Distributed Systems with Agents and Societies
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations / William J. Clancey ; Maarten Sierhuis ; Chin Seah ; Chris Buckley ; Fisher Reynolds ; Tim Hall ; Mike Scott
Progress Appraisal as a Challenging Element of Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; Matthew Johnson ; Larry Bunch
Automated Web Services Composition with the Event Calculus / Onur Aydin ; Nihan Kesim Cicekli ; Ilyas Cicekli
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems / Ioanna Stamatopoulou ; Petros Kefalas ; Marian Gheorghe
Interaction in Agent Societies
The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences / Josefina Sierra ; Josefina Santibanez
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS / Nabil Hameurlain
Amongst First-Class Protocols / Tim Miller ; Jarred McGinnis
Engineering Social Intelligence in Multi-agent Systems
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle / Michael Lowry
Knowledge Discovery and Data Mining - Foundations
Boosting Support Vector Machines for Imbalanced Data Sets / Benjamin X. Wang ; Nathalie Japkowicz
Class-Oriented Reduction of Decision Tree Complexity / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Evaluating Decision Trees Grown with Asymmetric Entropies / Simon Marcellin ; Djamel A. Zighed ; Gilbert Ritschard
Stepwise Induction of Logistic Model Trees / Annalisa Appice ; Michelangelo Ceci ; Donato Malerba ; Savino Saponara
Stochastic Propositionalization for Efficient Multi-relational Learning / N. Di Mauro ; T.M.A. Basile ; S. Ferilli ; F. Esposito
Analyzing Behavior of Objective Rule Evaluation Indices Based on Pearson Product-Moment Correlation Coefficient / Hidenao Abe ; Shusaku Tsumoto
Knowledge Discovery and Data Mining - Advances
Obtaining Low-Arity Discretizations from Online Data Streams / Tapio Elomaa ; Petri Lehtinen ; Matti Saarela
Maps Ensemble for Semi-Supervised Learning of Large High Dimensional Datasets / Elie Prudhomme ; Stephane Lallich
Mining Induced and Embedded Subtrees in Ordered, Unordered, and Partially-Ordered Trees / Aida Jimenez
A Structure-Based Clustering on LDAP Directory Information / Vassiliki Koutsonikola ; Athena Vakali ; Antonios Mpalasas ; Michael Valavanis
iZi: A New Toolkit for Pattern Mining Problems / Frederic Flouvat ; Fabien De Marchi ; Jean-Marc Petit
A Multi-relational Hierarchical Clustering Method for Datalog Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Laredam - Considerations on System of Local Analytical Reports from Data Mining / Jan Rauch ; Milan Simunek
Outlier Detection Techniques for Process Mining Applications / Lucantonio Ghionna ; Gianluigi Greco ; Antonella Guzzo ; Luigi Pontieri
Knowledge Discovery and Data Mining - Mining Changes and Actionable Patterns
Action Rule Extraction from a Decision Table: ARED / Seunghyun Im ; Zbigniew W. Ras
Discovering the Concise Set of Actionable Patterns / Li-Shiang Tsay
Discovering Emerging Patterns for Anomaly Detection in Network Connection Data / Costantina Caruso
Temporal Extrapolation within a Static Clustering / Tim K. Cocx ; Walter A. Kosters ; Jeroen F.J. Laros
Discovering Explanations from Longitudinal Data / Corrado Loglisci
Logic for Artificial Intelligence
Reduced Implicate/Implicant Tries / Neil V. Murray ; Erik Rosenthal
Golden Ratio Annealing for Satisfiability Problems Using Dynamically Cooling Schemes / Juan Frausto-Solis ; Felix Martinez-Rios
Modeling Cooperation in P2P Data Management Systems / Luciano Caroprese ; Ester Zumpano
Interactions between Rough Parts in Object Perception / Andrzej W. Przybyszewski
Autonomic and Evolutionary Computation
A Multi-objective Optimal Approach for UAV Routing in Reconnaissance Mission with Stochastic Observation Time / Xingguang Peng ; Xiaoguang Gao
Hybrid Unsupervised/Supervised Virtual Reality Spaces for Visualizing Gastric and Liver Cancer Databases: An Evolutionary Computation Approach / Alan J. Barton ; Julio J. Valdes
Self-calibrating Strategies for Evolutionary Approaches that Solve Constrained Combinatorial Problems / Elizabeth Montero ; Maria-Cristina Riff
Soft Computing
Towards Fuzzy Query Answering Using Fuzzy Views - A Graded-Subsumption-Based Approach / Allel Hadjali ; Olivier Pivert
Term Distribution-Based Initialization of Fuzzy Text Clustering / Krzysztof Ciesielski ; Mieczyslaw A. Klopotek ; Slawomir T. Wierzchon
Cooperative Answering to Flexible Queries Via a Tolerance Relation / Patrick Bosc
Effectiveness of Fuzzy Discretization for Class Association Rule-Based Classification / Keivan Kianmehr ; Mohammed Alshalalfa ; Reda Alhajj
Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics / Fernando Bobillo ; Umberto Straccia
Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces / Feifei Xu ; Yiyu Yao ; Duoqian Miao
An Ant Colony System Algorithm to Solve Routing Problems Applied to the Delivery of Bottled Products / Laura Cruz Reyes ; Jose F. Delgado Orta ; Juan J. Gonzalez Barbosa ; Jose Torres Jimenez ; Hector J. Fraire Huacuja ; Barbara A. Arranaga Cruz
Databases and Data Warehouses
Predicate Indexing for Incremental Multi-Query Optimization / Chun Jin ; Jaime Carbonell
SQL Queries with CASE Expressions / Jarek Gryz ; Qiong Wang ; Xiaoyan Qian ; Calisto Zuzarte
Top-Down Compression of Data Cubes in the Presence of Simultaneous Multiple Hierarchical Range Queries / Alfredo Cuzzocrea
Degrees of Exclusivity in Disjunctive Databases / Navin Viswanath ; Rajshekhar Sunderraman
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL / Nikos Papadakis ; Dimitris Plexousakis ; Grigoris Antoniou ; Manolis Daskalakis ; Yannis Christodoulou
Decision Tree Induction for Identifying Trends in Line Graphs / Peng Wu ; Sandra Carberry ; Daniel Chester ; Stephanie Elzer
Automatic Handling of Digital Image Repositories: A Brief Survey
Development of the XML Digital Library from the Parliament of Andalucia for Intelligent Structured Retrieval / Juan M. Fernandez-Luna ; Juan F. Huete ; Manuel Gomez ; Carlos J. Martin-Dancausa
Intelligent Information Retrieval
Evaluating Information Retrieval System Performance Based on Multi-grade Relevance / Bing Zhou
A Dynamic Window Based Passage Extraction Algorithm for Genomics Information Retrieval / Qinmin Hu ; Xiangji Huang
Mining Scalar Representations in a Non-tagged Music Database / Rory A. Lewis ; Wenxin Jiang
Identification of Dominating Instrument in Mixes of Sounds of the Same Pitch / Alicja Wiezcorkowska ; Elzbieta Kolczynska
Performance Weights for the Linear Combination Data Fusion Method in Information Retrieval / Shengli Wu ; Qili Zhou ; Yaxin Bi ; Xiaoqin Zeng
Combining Multiple Sources of Evidence in Web Information Extraction / Martin Labsky ; Vojtech Svatek
Text Mining
Autonomous News Clustering and Classification for an Intelligent Web Portal / Traian Rebedea ; Stefan Trausan-Matu
On Determining the Optimal Partition in Agglomerative Clustering of Documents / Ahmad El Sayed ; Hakim Hacid ; Djamel Zighed
Ontological Summaries through Hierarchical Clustering / Troels Andreasen ; Henrik Bulskov ; Thomas Vestskov Terney
Classification of Web Services Using Tensor Space Model and Rough Ensemble Classifier / Suman Saha ; C.A. Murthy ; Sankar K. Pal
Intelligent Information Systems
Agent-Based Assistant for e-Negotiations / Simone A. Ludwig
Local Soft Belief Updating for Relational Classification / Guoli Ding ; R.F. Lax ; Jianhua Chen ; Peter Chen ; Brian D. Marx
On a Probabilistic Combination of Prediction Sources / Ioannis Rousidis ; George Tzagkarakis ; Yannis Tzitzikas
Effective Document-Oriented Telemetry Data Compression / David Maluf ; Chen-jung Hsu ; Peter Tran ; David Tran
Knowledge Representation and Integration
Improving Integration with Subjective Combining of Ontology Mappings / Dennis Hooijmaijers ; Markus Stumptner
Text Onto Miner - A Semi Automated Ontology Building System / Piotr Gawrysiak ; Grzegorz Protaziuk ; Henryk Rybinski ; Alexandre Delteil
Ontology-Driven Adaptive Medical Information Collection System / Matt-Mouley Bouamrane ; Alan Rector ; Martin Hurrell
An Effective Ontology Matching Technique / Ahmed Alasoud ; Volker Haarslev ; Nematollaah Shiri
A Causal Approach for Explaining Why a Heuristic Algorithm Outperforms Another in Solving an Instance Set of the Bin Packing Problem / Joaquin Perez ; Laura Cruz ; Rodolfo Pazos ; Vanesa Landero ; Gerardo Reyes ; Crispin Zavala ; Hector Fraire ; Veronica Perez
Web Service and Intelligence
A Graph b-Coloring Based Method for Composition-Oriented Web Services Classification / Lyes Dekar ; Hamamache Kheddouci
OWL-S Atomic Services Composition with SWRL Rules / Domenico Redavid ; Luigi Iannone ; Terry Payne ; Giovanni Semeraro
A Web-Based Interface for Hiding Bayesian Network Inference / C.J. Butz ; P. Lingras ; K. Konkel
Applications
Extraction of Informative Genes from Integrated Microarray Data / Dongwan Hong ; Jongkeun Lee ; Sangkyoon Hong ; Jeehee Yoon ; Sanghyun Park
Using Data Mining for Dynamic Level Design in Games / Kitty S.Y. Chiu ; Keith C.C. Chan
A Logic Programming Based Framework for Security Protocol Verification / Shujing Wang ; Yan Zhang
Applying Cost Sensitive Feature Selection in an Electric Database / Manuel Mejia-Lavalle
Author Index
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Learning Meaning Before Syntax / Dana Angluin ; Leonor Becerra-Bonache
Schema-Guided Induction of Monadic Queries / Jerome Champavere ; Remi Gilleron ; Aurelien Lemay ; Joachim Niehren
A Polynomial Algorithm for the Inference of Context Free Languages / Alexander Clark ; Remi Eyraud ; Amaury Habrard
Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings / Colin de la Higuera ; Jean-Christophe Janodet ; Frederic Tantini
Relevant Representations for the Inference of Rational Stochastic Tree Languages / Francois Denis ; Edouard Gilbert ; Faissal Ouardi ; Marc Tommasi
Learning Commutative Regular Languages / Antonio Cano Gomez ; Gloria I. Alvarez
Learning Left-to-Right and Right-to-Left Iterative Languages / Jeffrey Heinz
Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets / Yuuichi Kameda ; Hiroo Tokunaga ; Akihiro Yamamoto
A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness / Anna Kasprzik
On Learning Regular Expressions and Patterns Via Membership and Correction Queries / Efim Kinber
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints / Bernard Lambeau ; Christophe Damas ; Pierre Dupont
Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries / Jose Oncina
Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata / Jorge Castro ; Ricard Gavalda
Learning Context-Sensitive Languages from Linear Structural Information / Jose M. Sempere
Polynomial Time Probabilistic Learning of a Subclass of Linear Languages with Queries / Yasuhiro Tajima ; Yoshiyuki Kotani
How to Split Recursive Automata / Isabelle Tellier
A Note on the Relationship between Different Types of Correction Queries / Cristina Tirnauca
Unsupervised Learning of Probabilistic Context-Free Grammar Using Iterative Biclustering / Kewei Tu ; Vasant Honavar
Polynomial Distinguishability of Timed Automata / Sicco Verwer ; Mathijs de Weerdt ; Cees Witteveen
Evaluation and Comparison of Inferred Regular Grammars / Neil Walkinshaw ; Kirill Bogdanov ; Ken Johnson
Identification in the Limit of k, l-Substitutable Context-Free Languages / Ryo Yoshinaka
Poster Papers
Learning Subclasses of Pure Pattern Languages / P.J. Abisha ; D.G. Thomas ; Sindhu J. Kumaar
Which Came First, the Grammar or the Lexicon? / Tom Armstrong ; Tim Oates
Learning with Kernels and Logical Representations / Paolo Frasconi
Beyond Prediction: Directions for Probabilistic and Relational Learning / David D. Jensen
Extended Abstracts
Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract) / Jianzhong Chen ; Stephen Muggleton ; Jose Santos
Learning Directed Probabilistic Logical Models Using Ordering-Search / Daan Fierens ; Jan Ramon ; Maurice Bruynooghe ; Hendrik Blockeel
Learning to Assign Degrees of Belief in Relational Domains / Frederic Koriche
Bias/Variance Analysis for Relational Domains / Jennifer Neville ; David Jensen
Full Papers
Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases / Claudia d'Amato ; Nicola Fanizzi ; Floriana Esposito
Clustering Relational Data Based on Randomized Propositionalization / Grant Anderson ; Bernhard Pfahringer
Structural Statistical Software Testing with Active Learning in a Graph / Nicolas Baskiotis ; Michele Sebag
Learning Declarative Bias / Will Bridewell ; Ljupco Todorovski
ILP:- Just Trie It / Rui Camacho ; Nuno A. Fonseca ; Ricardo Rocha ; Vitor Santos Costa
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning / Tom Croonenborghs ; Kurt Driessens
Empirical Comparison of "Hard" and "Soft" Label Propagation for Relational Classification / Aram Galstyan ; Paul R. Cohen
A Phase Transition-Based Perspective on Multiple Instance Kernels / Romaric Gaudel ; Antoine Cornuejols
Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates / Mark Goadrich ; Jude Shavlik
Applying Inductive Logic Programming to Process Mining / Evelina Lamma ; Paola Mello ; Fabrizio Riguzzi ; Sergio Storari
A Refinement Operator Based Learning Algorithm for the ALC Description Logic / Jens Lehmann ; Pascal Hitzler
Foundations of Refinement Operators for Description Logics
A Relational Hierarchical Model for Decision-Theoretic Assistance / Sriraam Natarajan ; Prasad Tadepalli ; Alan Fern
Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming / Louis Oliphant
Revising First-Order Logic Theories from Examples Through Stochastic Local Search / Aline Paes ; Gerson Zaverucha
Using ILP to Construct Features for Information Extraction from Semi-structured Text / Ganesh Ramakrishnan ; Sachindra Joshi ; Sreeram Balakrishnan ; Ashwin Srinivasan
Mode-Directed Inverse Entailment for Full Clausal Theories / Oliver Ray ; Katsumi Inoue
Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological Processes of Agent-Based Modeling and Simulation Approaches: Open Challenges and Research Perspectives / Alexis Drogoul
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-Agent Environments / Ngoc Thanh Nguyen
Keynote Speech: Agent Oriented Software Engineering: Why and How / Lin Padgham
Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets / Maryam Nooraee Abadeh ; Kamran Zaminifar ; Mohammad-Reza Khayyambashi
Design of an Internet-Based Advisory System: A Multi-Agent Approach / Saadat M. Alhashmi
Towards Virtual Epidemiology: An Agent-Based Approach to the Modeling of H5N1 Propagation and Persistence in North-Vietnam / Edouard Amouroux ; Stephanie Desvaux
Measurement of Underlying Cooperation in Multiagent Reinforcement Learning / Sachiyo Arai ; Yoshihisa Ishigaki ; Hironori Hirata
Reo Connectors as Coordination Artifacts in 2APL Systems / Farhad Arbab ; Lacramioara Astefanoaei ; Frank S. de Boer ; Mehdi Dastani ; John-Jules Meyer ; Nick Tinnermeier
A Verification Framework for Normative Multi-Agent Systems
Social Viewpoints for Arguing about Coalitions / Guido Boella ; Leendert van der Torre ; Serena Villata
Changing Institutional Goals and Beliefs of Autonomous Agents
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations / Jan Broersen
When to Use a Multi-Agent System? / Paul Bogg ; Ghassan Beydoun ; Graham Low
Multiagent Incremental Learning in Networks / Gauvain Bourgne ; Amal El Fallah Seghrouchni ; Nicolas Maudet ; Henry Soldanos
UML-F in the Design of an Agent-Oriented Software Framework / Daniel Cabrera-Paniagua ; Claudio Cubillos
Interactive Learning of Expert Criteria for Rescue Simulations / Thanh-Quang Chu ; Alain Boucher ; Duc-An Vo ; Hong-Phuong Nguyen ; Jean-Daniel Zucker
Modularity in Agent Programming Languages: An Illustration in Extended 2APL / Christian P. Mol ; Bas R. Steunebrink
On the Pheromone Update Rules of Ant Colony Optimization Approaches for the Job Shop Scheduling Problem / Dong Do Duc ; Huy Q. Dinh ; Huan Hoang Xuan
Preliminary Result on Secure Protocols for Multiple Issue Negotiation Problems / Katsuhide Fujita ; Takayuki Ito ; Mark Klein
Performance Analysis about Parallel Greedy Approximation on Combinatorial Auctions / Naoki Fukuta
Towards an Evaluation Framework for MAS Software Engineering / Emilia Garcia ; Adriana Giret ; Vicente Botti
From Obligations to Organizational Structures in Multi-Agent Systems / J. Octavio Gutierrez-Garcia ; Jean-Luc Koning ; Felix F. Ramos-Corchado
Addressing the Brittleness of Agent Interaction / Mohd Fadzil Hassan ; Dave Robertson
Dividing Agents on the Grid for Large Scale Simulation / Dac Phuong Ho ; The Duy Bui ; Nguyen Luong Do
An Interest Rate Adjusting Method with Bayesian Estimation in Social Lending / Masashi Iwakami
A Temporal Logic for Stochastic Multi-Agent Systems / Wojciech Jamroga
Applying the Logic of Multiple-Valued Argumentation to Social Web: SNS and Wikipedia / Shusuke Kuribara ; Safia Abbas ; Hajime Sawamura
Simulation of Halal Food Supply Chain with Certification System: A Multi-Agent System Approach / YiHua Lam
A Novel Approach for Conflict Resolution in Context-Awareness Using Semantic Unification of Multi-Cognition / Keonsoo Lee ; Minkoo Kim
Improving Trade-Offs in Bilateral Negotiations under Complete and Incomplete Information Settings / Ivan Marsa-Maestre ; Miguel A. Lopez-Carmona ; Juan R. Velasco
PAMS - A New Collaborative Framework for Agent-Based Simulation of Complex Systems / Trong Khanh Nguyen ; Nicolas Marilleau ; Tuong Vinh Ho
Methodological Steps and Issues When Deriving Individual Based-Models from Equation-Based Models: A Case Study in Population Dynamics / Ngoc Doanh Nguyen ; Pierre Auger
Abstraction of Agent Cooperation in Agent Oriented Programming Language / Nguyen Tuan Duc ; Ikuo Takeuchi
A Multiagent-System Framework for Hierarchical Control and Monitoring of Complex Process Control Systems / Vu Van Tan ; Dae-Seung Yoo ; Myeong-Jae Yi
Agent Reasoning with Semantic Web in Web Blogs / Dinh Que Tran ; Tuan Nha Hoang
Design of a Multiagent System over Mobile Devices for the Planning of Touristic Travels / Miguel Valdes
Author Index
Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological Processes of Agent-Based Modeling and Simulation Approaches: Open Challenges and Research Perspectives / Alexis Drogoul
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-Agent Environments / Ngoc Thanh Nguyen
Keynote Speech: Agent Oriented Software Engineering: Why and How / Lin Padgham
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra / Jochen Pfalzgraf
Contributed Papers
Applying Link Grammar Formalismin the Development of English-Indonesian Machine Translation System / Teguh Bharata Adji ; Baharum Baharudin ; Norshuhani Zamin
Case Studies in Model Manipulation for Scientific Computing / Jacques Carette ; Spencer Smith ; John McCutchan ; Christopher Anand ; Alexandre Korobkine
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle / Peter Chapman ; James McKinna ; Christian Urban
AISC Meets Natural Typography / James H. Davenport
The Monoids of Order Eight and Nine / Andreas Distler ; Tom Kelsey
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation / Lucas Dixon ; Ross Duncan
A Full First-Order Constraint Solver for Decomposable Theories / Khalil Djelloul
Search Techniques for Rational Polynomial Orders / Carsten Fuhs ; Rafael Navarro-Marset ; Carsten Otto ; Jurgen Giesl ; Salvador Lucas ; Peter Schneider-Kamp
Strategies for Solving SAT in Grids by Randomized Search / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Towards an Implementation of a Computer Algebra System in a Functional Language / Oleg Lobachev ; Rita Loogen
Automated Model Building: From Finite to Infinite Models / Nicolas Peltier
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple / Eugenio Roanes-Lozano ; Luis M. Laita ; Eugenio Roanes-Macias
On the Construction of Transformation Steps in the Category of Multiagent Systems / Thomas Soboll
Increasing Interpretations / Harald Zankl ; Aart Middeldorp
Contributions to Calculemus 2008
Invited Talk
Validated Evaluation of Special Mathematical Functions / Franky Backeljauw ; Stefan Becuwe ; Annie Cuyt
MetiTarski: An Automatic Prover for the Elementary Functions / Behzad Akbarpour ; Lawrence C. Paulson
High-Level Theories / William M. Farmer
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL / Amine Chaieb
A Global Workspace Framework for Combining Reasoning Systems / John Charnley ; Simon Colton
Effective Set Membership in Computer Algebra and Beyond
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems / Cesar Dominguez
Symbolic Computation Software Composability / Sebastian Freundt ; Peter Horn ; Alexander Konovalov ; Dan Roozemond
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server / J. Santiago Jorge ; Victor M. Gulias ; Laura M. Castro
Automating Side Conditions in Formalized Partial Functions / Cezary Kaliszyk
Combining Isabelle and QEPCAD-B in the Prover's Palette / Laura I. Meikle ; Jacques D. Fleuriot
Contributions to MKM 2008
Digital Mathematics Libraries: The Good, the Bad, the Ugly / Thierry Bouche
Automating Signature Evolution in Logical Theories / Alan Bundy
A Tactic Language for Hiproofs / David Aspinall ; Ewen Denney ; Christoph Luth
Logic-Free Reasoning in Isabelle/Isar / Stefan Berghofer ; Makarius Wenzel
A Mathematical Type for Physical Variables / Joseph B. Collins
Unit Knowledge Management / Jonathan Stratford
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors / Dominik Dietrich ; Ewaryst Schulz ; Marc Wagner
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar / Akio Fujiyoshi ; Masakazu Suzuki ; Seiichi Uchida
Specifying Strategies for Exercises / Bastiaan Heeren ; Johan Jeuring ; Arthur van Leeuwen ; Alex Gerdes
Mediated Access to Symbolic Computation Systems / Jonathan Heras ; Vico Pascual ; Julio Rubio
Herbrand Sequent Extraction / Stefan Hetzl ; Alexander Leitsch ; Daniel Weller ; Bruno Woltzenlogel Paleo
Visual Mathematics: Diagrammatic Formalization and Proof / John Howse ; Gem Stapleton
Normalization Issues in Mathematical Representations / Manfred Kerber
Notations for Living Mathematical Documents / Michael Kohlhase ; Christine Muller ; Florian Rabe
Cross-Curriculum Search for Intergeo / Paul Libbrecht ; Cyrille Desmoulins ; Christian Mercat ; Colette Laborde ; Michael Dietrich ; Maxim Hendriks
Augmenting Presentation MathML for Search / Bruce R. Miller ; Abdou Youssef
Automated Classification and Categorization of Mathematical Knowledge / Radim Rehurek ; Petr Sojka
Kantian Philosophy of Mathematics and Young Robots / Aaron Sloman
Transforming the arxiv to XML / Heinrich Stamerjohanns
On Correctness of Mathematical Texts from a Logical and Practical Point of View / Konstantin Verchinine ; Alexander Lyaletski ; Andrei Paskevich ; Anatoly Anisimov
The Mood and Memory of Believable Adaptable Socially Intelligent Characters / Mark Burkitt ; Daniela M. Romano
Agents for Healthcare and Training
Visualizing the Importance of Medical Recommendations with Conversational Agents / Gersende Georg
Evaluation of Justina: A Virtual Patient with PTSD / Patrick Kenny ; Thomas D. Parsons ; Albert A. Rizzo
Elbows Higher! Performing, Observing and Correcting Exercises by a Virtual Trainer / Zsofia Ruttkay ; Herwin van Welbergen
A Virtual Therapist That Responds Empathically to Your Answers / Matthijs Pontier ; Ghazanfar F. Siddiqui
Agents in Games, Museums and Virtual Worlds
IDEAS4Games: Building Expressive Virtual Characters for Computer Games / Marc Schroder ; Marcela Charfuelan ; Christoph Endres ; Sathish Pammi ; Martin Rumpler ; Oytun Turk
Context-Aware Agents to Guide Visitors in Museums / Ichiro Satoh
Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents / Anton Bogdanovych ; Simeon Simoff ; Marc Esteva
Posters
Enculturating Conversational Agents Based on a Comparative Corpus Study / Afia Akhter Lipi ; Yuji Yamaoka
The Reactive-Causal Architecture: Towards Development of Believable Agents / Ali Orhan Aydin ; Mehmet Ali Orgun ; Abhaya Nayak
Gesture Recognition in Flow in the Context of Virtual Theater / Ronan Billon ; Alexis Nedelec ; Jacques Tisseau
Automatic Generation of Conversational Behavior for Multiple Embodied Virtual Characters: The Rules and Models behind Our System / Werner Breitfuss
Implementing Social Filter Rules in a Dialogue Manager Using Statecharts / Jenny Brusk
Towards Realistic Real Time Speech-Driven Facial Animation / Aleksandra Cerekovic ; Goranka Zoric ; Karlo Smid ; Igor S. Pandzic
Avatar Customization and Emotions in MMORPGs / Shun-an Chung ; Jim Jiunde Lee
Impact of the Agent's Localization in Human-Computer Conversational Interaction / Aurelie Cousseau ; Francois Le Pichon
Evolving Expression of Emotions in Virtual Humans Using Lights and Pixels / Celso de Melo
Motivations and Personality Traits in Decision-Making / Etienne de Sevin
A Flexible Behavioral Planner in Real-Time
Face to Face Interaction with an Intelligent Virtual Agent: The Effect on Learning Tactical Picture Compilation / Willem A. van Doesburg ; Rosemarijn Looije ; Willem A. Melder ; Mark A. Neerincx
Creating and Scripting Second Life Bots Using MPML3D / Birgit Endrass
Piavca: A Framework for Heterogeneous Interactions with Virtual Characters
Interpersonal Impressions of Agents for Developing Intelligent Systems / Kaoru Sumi ; Mizue Nagata
Comparing an On-Screen Agent with a Robotic Agent in Non-Face-to-Face Interactions / Takanori Komatsu ; Yukari Abe
Sustainability and Predictability in a Lasting Human-Agent Interaction / Toshiyuki Kondo ; Daisuke Hirakawa ; Takayuki Nozawa
Social Effects of Virtual Assistants. A Review of Empirical Results with Regard to Communication / Nicole C. Kramer
SoNa: A Multi-agent System to Support Human Navigation in a Community, Based on Social Network Analysis / Shizuka Kumokawa ; Victor V. Kryssanov ; Hitoshi Ogawa
Animating Unstructured 3D Hand Models / Jituo Li ; Li Bai ; Yangsheng Wang
Verification of Expressiveness of Procedural Parameters for Generating Emotional Motions / Yueh-Hung Lin ; Chia-Yang Liu ; Hung-Wei Lee ; Shwu-Lih Huang ; Tsai-Yen Li
Individualised Product Portrayals in the Usability of a 3D Embodied Conversational Agent in an eBanking Scenario / Alexandra Matthews ; Nicholas Anderson ; James Anderson ; Mervyn Jack
Multi-agent Negotiation System in Electronic Environments / Dorin Militaru
A Study of the Use of a Virtual Agent in an Ambient Intelligence Environment / German Montoro ; Pablo A. Haya ; Sandra Baldassarri ; Eva Cerezo ; Francisco Jose Seron
Automatic Torso Engagement for Gesturing Characters / Michael Neff
Modeling the Dynamics of Virtual Agent's Social Relations / Nicolas Sabouret ; Vincent Corruble
Proposal of an Artificial Emotion Expression System Based on External Stimulus and Emotional Elements / Seungwon Oh ; Minsoo Hahn
A Reactive Architecture Integrating an Associative Memory for Sensory-Driven Intelligent Behavior / David Panzoli ; Herve Luga ; Yves Duthen
Social Responses to Virtual Humans: Automatic Over-Reliance on the "Human" Category / Sung Park ; Richard Catrambone
Adaptive Self-feeding Natural Language Generator Engine / Jovan David Rebolledo Mendez ; Kenji Nakayama
A Model of Motivation for Virtual-Worlds Avatars / Genaro Rebolledo-Mendez ; David Burden ; Sara de Freitas
Towards Virtual Emotions and Emergence of Social Behaviour / Dirk M. Reichardt
Using Virtual Agents for the Teaching of Requirements Elicitation in GSD / Miguel Romero ; Aurora Vizcaino ; Mario Piattini
A Virtual Agent's Behavior Selection by Using Actions for Focusing of Attention / Haris Supic
Emergent Narrative and Late Commitment / Ivo Swartjes ; Edze Kruizinga ; Mariet Theune
"I Would Like to Trust It but" Perceived Credibility of Embodied Social Agents: A Proposal for a Research Framework / Federico Tajariol ; Valerie Maffiolo ; Gaspard Breton
Acceptable Dialogue Start Supporting Agent for Avatar-Mediated Multi-tasking Online Communication / Takahiro Tanaka ; Kyouhei Matsumura ; Kinya Fujita
Do You Know How I Feel? Evaluating Emotional Display of Primary and Secondary Emotions / Julia Tolksdorf
Comparing Emotional vs. Envelope Feedback for ECAs / Astrid von der Putten ; Christian Reipen ; Antje Wiedmann
Intelligent Agents Living in Social Virtual Environments - Bringing Max into Second Life / Erik Weitnauer ; Nick M. Thomas ; Felix Rabe
Author Index
Emotion and Empathy
The Relation between Gaze Behavior and the Attribution of Emotion: An Empirical Study / Brent Lance ; Stacy C. Marsella
Affect Simulation with Primary and Secondary Emotions / Christian Becker-Asano ; Ipke Wachsmuth
Automatic Bidding for the Game of Skat / Thomas Keller ; Sebastian Kupferschmid
Automobile Driving Behavior Recognition Using Boosting Sequential Labeling Method for Adaptive Driver Assistance Systems / Wathanyoo Khaisongkram ; Pongsathorn Raksincharoensak ; Masamichi Shimosaka ; Taketoshi Mori ; Tomomasa Sato ; Masao Nagai
Identifying and Analysing Germany's Top Blogs / Darko Obradovic ; Stephan Baumann
Planar Features for Visual SLAM / Tobias Pietzsch
Extracting and Querying Relations in Scientific Papers / Ulrich Schafer ; Hans Uszkoreit ; Christian Federmann ; Torsten Marek ; Yajing Zhang
Efficient Hierarchical Reasoning about Functions over Numerical Domains / Viorica Sofronie-Stokkermans
A Drum Machine That Learns to Groove / Axel Tidemann ; Yiannis Demiris
Posters
Believing Finite-State Cascades in Knowledge-Based Information Extraction / Benjamin Adrian ; Andreas Dengel
A Methodological Approach for the Effective Modeling of Bayesian Networks / Martin Atzmueller ; Florian Lemmerich
Plan Repair in Hybrid Planning / Julien Bidot ; Bernd Schattenberg ; Susanne Biundo
Visual Terrain Traversability Estimation Using a Combined Slope/Elevation Model / Tim Braun ; Henning Bitsch ; Karsten Berns
Symbolic Classification of General Two-Player Games
Partial Symbolic Pattern Databases for Optimal Sequential Planning
Optimal Scheduling with Resources for Application Execution in 3G Networks / Roman Englert
ESO: Evolutionary Self-organization in Smart-Appliances Ensembles / Stefan Goldmann ; Ralf Salomon
On-Line Detection of Rule Violations in Table Soccer / Armin Hornung ; Dapeng Zhang
Extracting and Verifying Hyponymy Relations Based on Multiple Patterns and Features / Lei Liu ; Sen Zhang ; Lu Hong Diao ; Shu Ying Yan ; Cun Gen Cao
News Annotations for Navigation by Semantic Similarity / Walter Kasper ; Jorg Steffen
EANT+KALMAN: An Efficient Reinforcement Learning Method for Continuous State Partially Observable Domains / Yohannes Kassahun ; Jose de Gea ; Jan Hendrik Metzen ; Mark Edgington ; Frank Kirchner
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models / Yohei Kurata ; Hui Shi
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning / Christoph Mies ; Alexander Ferrein ; Gerhard Lakemeyer
A Recognition Interface for Bridging the Semantic Desktop and the Physical World / Hiroshi Miyake ; Koichi Kise
Learning by Observing: Case-Based Decision Making in Complex Strategy Games / Armin Stahl
Toward Alignment with a Virtual Human - Achieving Joint Attention / Nadine Pfeiffer-Lessmann ; Ipke Wachsmuth
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions / Walid S. Saba
FACT-Graph: Trend Visualization by Frequency and Co-occurrence / Ryosuke Saga ; Masahiro Terachi ; Zhongqi Sheng ; Hiroshi Tsuji
Enhancing Animated Agents in an Instrumented Poker Game / Marc Schroder ; Patrick Gebhard ; Marcela Charfuelan ; Christoph Endres ; Michael Kipp ; Sathish Pammi ; Martin Rumpler ; Oytun Turk
Homography Based State Estimation for Aerial Robots / Jakob Schwendner
A Symbolic Pattern Classifier for Interval Data Based on Binary Probit Analysis / Renata M.C.R. de Souza ; Francisco Jose A. Cysneiros ; Diego C.F. Queiroz ; Roberta A. de A. Fagundes
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions / H. Joe Steinhauer
Visual-Based Emotion Detection for Natural Man-Machine Interaction / Samuel Strupp ; Norbert Schmitz
Simplest Scenario for Mutual Nested Modeling in Human-Machine-Interaction / Rustam Tagiew
Bayesian Network for Future Home Energy Consumption / Atsushi Takahashi ; Shingo Aoki ; Shuki Inoue
Learning Dance Movements by Imitation: A Multiple Model Approach / Pinar Ozturk
Demos
Ontology-Based Information Extraction and Reasoning for Business Intelligence Applications / Thierry Declerck ; Bernd Kiefer
A Scalable Architecture for Cross-Modal Semantic Annotation and Retrieval / Manuel Moller ; Michael Sintek
Prototype Prolog API for Mindstorms NXT / Grzegorz J. Nalepa
VARDA Rule Design and Visualization Tool-Chain / Igor Wojnicki
COSAIR: A Platform for AI Education and Research in Computer Strategy Games
Research Center Ambient Intelligence: Assisted Bicycle Team Training / Bernd Schurmann ; Roland Volk
Author Index
Invited Talks
Folk Reducibility and AI-Complete Problems / Randy Goebel
Meme Media and Knowledge Federation / Yuzuru Tanaka ; Jun Fujima ; Micke Kuwahara
Knowledge Patterns (Extended Abstract) / Peter Clark
Computational Semantics and Knowledge Engineering / Johan Bos
Principles for Knowledge Engineering on the Web / Guus Schreiber
Knowledge Patterns and Knowledge Representation
Applying Ontology Design Patterns in Bio-ontologies / Mikel Egana ; Alan Rector ; Robert Stevens ; Erick Antezana
A Pattern and Rule-Based Approach for Reusing Adaptive Hypermedia Creator's Models / Nadjet Zemirline ; Chantal Reynaud ; Yolaine Bourda ; Fabrice Popineau
Natural Language-Based Approach for Helping in the Reuse of Ontology Design Patterns / Guadalupe Aguado de Cea ; Asuncion Gomez-Perez ; Elena Montiel-Ponsoda ; Mari Carmen Suarez-Figueroa
On the Influence of Description Logics Ontologies on Conceptual Similarity / Claudia d'Amato ; Steffen Staab ; Nicola Fanizzi
Learning Disjointness for Debugging Mappings between Lightweight Ontologies / Christian Meilicke ; Johanna Volker ; Heiner Stuckenschmidt
Towards a Rule-Based Matcher Selection / Malgorzata Mochol ; Anja Jentzsch
An Analysis of the Origin of Ontology Mismatches on the Semantic Web / Paul R. Smart ; Paula C. Engelbrecht
Preference-Based Uncertain Data Integration / Matteo Magnani ; Danilo Montesi
Natural Language, Knowledge Acquisition and Annotations
Unsupervised Discovery of Compound Entities for Relationship Extraction / Cartic Ramakrishnan ; Pablo N. Mendes ; Shaojun Wang ; Amit P. Sheth
Formal Concept Analysis: A Unified Framework for Building and Refining Ontologies / Rokia Bendaoud ; Amedeo Napoli ; Yannick Toussaint
Contextualized Knowledge Acquisition in a Personal Semantic Wiki / Ludger van Elst ; Malte Kiesel ; Sven Schwarz ; Georg Buscher ; Andreas Lauer ; Andreas Dengel
Using the Intension of Classes and Properties Definition in Ontologies for Word Sense Disambiguation / Khaled Khelif ; Fabien Gandon ; Olivier Corby ; Rose Dieng-Kuntz
Mapping General-Specific Noun Relationships to WordNet Hypernym/Hyponym Relations / Gael Dias ; Raycho Mukelov ; Guillaume Cleuziou
Analysing Ontological Structures through Name Pattern Tracking / Ondrej Svab-Zamazal ; Vojtech Svatek
Semi-automatic Construction of an Ontology and of Semantic Annotations from a Discussion Forum of a Community of Practice / Bassem Makni ; Hacene Cherfi
OMEGA: An Automatic Ontology Metadata Generation Algorithm / Rachanee Ungrangsi ; Elena Simperl
Automatic Tag Suggestion Based on Resource Contents / Bruno Oliveira ; Pavel Calado ; H. Sofia Pinto
Integration of Semantically Annotated Data by the KnoFuss Architecture / Andriy Nikolov ; Victoria Uren ; Enrico Motta ; Anne de Roeck
Search, Query and Interaction
A Visual Approach to Semantic Query Design Using a Web-Based Graphical Query Designer / Alistair Russell ; Dave Braines ; Yannis Kalfoglou ; Jie Bao ; Nigel R. Shadbolt
Search Query Generation with MCRDR Document Classification Knowledge / Yang Sok Kim ; Byeong Ho Kang
Ontological Profiles in Enterprise Search / Geir Solskinnsbakk ; Jon Atle Gulla
Ontologies
A Generic Ontology for Collaborative Ontology-Development Workflows / Abraham Sebastian ; Natalya F. Noy ; Tania Tudorache ; Mark A. Musen
GoodRelations: An Ontology for Describing Products and Services Offers on the Web / Martin Hepp
An Ontology-Centric Approach to Sensor-Mission Assignment / Mario Gomez ; Alun Preece ; Matthew P. Johnson ; Geeth de Mel ; Wamberto Vasconcelos ; Christopher Gibson ; Amotz Bar-Noy ; Konrad Borowiecki ; Thomas La Porta ; Diego Pizzocaro ; Hosam Rowaihy ; Gavin Pearson ; Tien Pham
Ontology Based Legislative Drafting: Design and Implementation of a Multilingual Knowledge Resource / Tommaso Agnoloni ; Lorenzo Bacci ; Enrico Francesconi
Situated Cognition in the Semantic Web Era / Paul Compton ; Rodrigo Martinez-Bejar ; Mamatha Rudrapatna ; Arcot Sowmya
E-Business Vocabularies as a Moving Target: Quantifying the Conceptual Dynamics in Domains
A Platform for Object-Action Semantic Web Interaction / Roberto Garcia ; Juan Manuel Gimeno ; Ferran Perdrix ; Rosa Gil ; Marta Oliva
Author Index
Invited Talks
Knowledge Patterns (Extended Abstract) / Peter Clark
Computational Semantics and Knowledge Engineering / Johan Bos
Healthcare Knowledge Management: The Art of the Possible / Syed Sibte Raza Abidi
Health Care Knowledge Elicitation
Using Lexical, Terminological and Ontological Resources for Entity Recognition Tasks in the Medical Domain / Maria Taboada ; Maria Meizoso ; Diego Martínez ; José J. Des
Learning Medical Ontologies from the Web / David Sánchez ; Antonio Moreno
Mining Hospital Data to Learn SDA* Clinical Algorithms / David Riaño ; Joan Albert López-Vallverdú ; Samson Tu
Generating Macro-Temporality in Timed Transition Diagrams / Aida Kamišalić ; Tatjana Welzer
Health Care Knowledge Transformation
Automatic Combination of Formal Intervention Plans Using SDA* Representation Model / Francis Real
The Data Abstraction Layer as Knowledge Provider for a Medical Multi-agent System / Montserrat Batet ; Karina Gibert ; Aida Valls
Enlarging a Medical Actor Profile Ontology with New Care Units / Joan Casals
Health Care Knowledge-Based Intelligent Systems
A Concept-Based Framework for Retrieving Evidence to Support Emergency Physician Decision Making at the Point of Care / Dympna O'Sullivan ; Ken Farion ; Stan Matwin ; Wojtek Michalowski ; Szymon Wilk
Decision Making System Based on Bayesian Network for an Agent Diagnosing Child Care Diseases / Vijay Kumar Mago ; M. Syamala Devi ; Ravinder Mehta
Piesys: A Patient Model-Based Intelligent System for Continuing Hypertension Management / Constantinos Koutsojannis ; Ioannis Hatzilygeroudis
An Intelligent Platform to Provide Home Care Services / David Isern ; Gianfranco Pedone ; Laszlo Varga
Author Index
Health Care Knowledge Management
Healthcare Knowledge Management: The Art of the Possible / Syed Sibte Raza Abidi
Learning Classifier Systems: Looking Back and Glimpsing Ahead / Jaume Bacardit ; Ester Bernado-Mansilla ; Martin V. Butz
Knowledge Representations
Analysis of Population Evolution in Classifier Systems Using Symbolic Representations / Pier Luca Lanzi ; Stefano Rocca ; Kumara Sastry ; Stefania Solari
Investigating Scaling of an Abstracted LCS Utilising Ternary and S-Expression Alphabets / Charalambos Ioannides ; Will Browne
Evolving Fuzzy Rules with UCS: Preliminary Results / Albert Orriols-Puig ; Jorge Casillas
Analysis of the System
A Principled Foundation for LCS / Jan Drugowitsch ; Alwyn M. Barry
Revisiting UCS: Description, Fitness Sharing, and Comparison with XCS
Mechanisms
Analysis and Improvements of the Classifier Error Estimate in XCSF / Daniele Loiacono ; Alwyn Barry
A Learning Classifier System with Mutual-Information-Based Fitness / Robert Elliott Smith ; Max Kun Jiang
On Lookahead and Latent Learning in Simple LCS / Larry Bull
A Learning Classifier System Approach to Relational Reinforcement Learning / Drew Mellor
Linkage Learning, Rule Representation, and the X-Ary Extended Compact Classifier System / Xavier Llora ; Claudio F. Lima ; Fernando G. Lobo ; David E. Goldberg
New Directions
Classifier Conditions Using Gene Expression Programming (Invited Paper) / Stewart W. Wilson
Evolving Classifiers Ensembles with Heterogeneous Predictors / Matteo Zanini
Substructural Surrogates for Learning Decomposable Classification Problems
Empirical Evaluation of Ensemble Techniques for a Pittsburgh Learning Classifier System / Natalio Krasnogor
Applications
Technology Extraction of Expert Operator Skills from Process Time Series Data / Setsuya Kurahashi ; Takao Terano
Analysing Learning Classifier Systems in Reactive and Non-reactive Robotic Tasks / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben
Author Index
Introduction
Learning Classifier Systems: Looking Back and Glimpsing Ahead / Jaume Bacardit ; Ester Bernado-Mansilla ; Martin V. Butz
Reasoning about XML with Temporal Logics and Automata / Leonid Libkin ; Cristina Sirangelo
Distributed Consistency-Based Diagnosis / Vincent Armant ; Philippe Dague ; Laurent Simon
Proof-Theory 1 / Session 3:
From One Session to Many: Dynamic Tags for Security Protocols / Myrto Arapinis ; Stephanie Delaune ; Steve Kremer
A Conditional Logical Framework / Furio Honsell ; Marina Lenisa ; Luigi Liquori ; Ivan Scagnetto
Nominal Renaming Sets / Murdoch J. Gabbay ; Martin Hofmann
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic / Sean McLaughlin ; Frank Pfenning
Invited Talk
Model Checking-My 27-Year Quest to Overcome the State Explosion Problem (Abstract / Edmund M. Clarke
Automata / Session 4:
On the Relative Succinctness of Nondeterministic Buchi and co-Buchi Word Automata / Benjamin Aminof ; Orna Kupferman ; Omer Lev
Recurrent Reachability Analysis in Regular Model Checking / Anthony Widjaja To
Alternation Elimination by Complementation (Extended Abstract) / Christian Dax ; Felix Klaedtke
Discounted Properties of Probabilistic Pushdown Automata / Tomas Brazdil ; Vaclav Brozek ; Jan Holecek ; Antonin Kucera
Linear Arithmetic / Session 5:
A Quantifier Elimination Algorithm for Linear Real Arithmetic / David Monniaux
M[epsilon](LIA)-Model Evolution with Linear Integer Arithmetic Constraints / Peter Baumgartner ; Alexander Fuchs ; Cesare Tinelli
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic / Philipp Rummer
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking / Jori Dubrovin
Verification / Session 6:
On Bounded Reachability of Programs with Set Comprehensions / Margus Veanes ; Ando Saabas
Program Complexity in Hierarchical Module Checking / Aniello Murano ; Margherita Napoli ; Mimmo Parente
Valigator: A Verification Tool with Bound and Invariant Generation / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovacs
Reveal: A Formal Verification Tool for Verilog Designs / Zaher S. Andraus ; Mark H. Liffiton ; Karem A. Sakallah
Invited Talks
A Formal Language for Cryptographic Pseudocode / Michael Backes ; Matthias Berg ; Dominique Unruh
Reasoning Using Knots / Thomas Eiter ; Magdalena Ortiz ; Mantas Simkus
Knowledge Representation 2 / Session 7:
Role Conjunctions in Expressive Description Logics / Birte Glimm ; Yevgeny Kazakov
Default Logics with Preference Order: Principles and Characterisations / Tore Langholm
On Computing Constraint Abduction Answers / Michael Maher ; Ge Huang
Fast Counting with Bounded Treewidth / Michael Jakl ; Stefan Rummele ; Stefan Woltran
Proof-Theory 2 / Session 8:
Cut Elimination for First Order Godel Logic by Hyperclause Resolution / Matthias Baaz ; Agata Ciabattoni ; Christian G. Fermuller
Focusing Strategies in the Sequent Calculus of Synthetic Connectives / Kaustuv Chaudhuri
An Algorithmic Interpretation of a Deep Inference System / Kai Brunnler ; Richard McKinley
Weak [beta eta]-Normalization and Normalization by Evaluation for System F / Andreas Abel
Quantified Constraints / Session 9:
Variable Dependencies of Quantified CSPs / Marko Samer
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings / Luca Pulina ; Armando Tacchella
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates / Witold Charatonik ; Michal Wrona
A Logic of Singly Indexed Arrays / Peter Habermehl ; Radu Iosif ; Tomas Vojnar
Modal and Temporal Logics / Session 10:
On the Computational Complexity of Spatial Logics with Connectedness Constraints / Roman Kontchakov ; Ian Pratt-Hartmann ; Frank Wolter ; Michael Zakharyaschev
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification / Davide Bresolin ; Dario Della Monica ; Valentin Goranko ; Angelo Montanari ; Guido Sciavicco
The Variable Hierarchy for the Lattice [mu]-Calculus / Walid Belkhir ; Luigi Santocanale
A Formalised Lower Bound on Undirected Graph Reachability / Ulrich Schopp
Rewriting / Session 11:
Improving Context-Sensitive Dependency Pairs / Beatriz Alarcon ; Fabian Emmes ; Carsten Fuhs ; Jurgen Giesl ; Raul Gutierrez ; Salvador Lucas ; Peter Schneider-Kamp ; Rene Thiemann
Complexity, Graphs, and the Dependency Pair Method / Nao Hirokawa ; Georg Moser
Uncurrying for Termination / Aart Middeldorp ; Harald Zankl
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation / John P. Gallagher ; Mads Rosendahl
A Higher-Order Iterative Path Ordering / Cynthia Kop ; Femke van Raamsdonk
Author Index
Constraint Solving / Session 1:
Symmetry Breaking for Maximum Satisfiability / Joao Marques-Silva ; Ines Lynce ; Vasco Manquinho
Efficient Generation of Unsatisfiability Proofs and Cores in SAT / Roberto Asin ; Robert Nieuwenhuis ; Albert Oliveras ; Enric Rodriguez-Carbonell
A Visualization-Based Exploratory Technique for Classifier Comparison with Respect to Multiple Metrics and Multiple Domains / Rocio Alaiz-Rodriguez ; Nathalie Japkowicz ; Peter Tischer
Pleiades: Subspace Clustering and Evaluation / Ira Assent ; Emmanuel Muller ; Ralph Krieger ; Timm Jansen ; Thomas Seidl
SEDiL: Software for Edit Distance Learning / Laurent Boyer ; Yann Esposito ; Amaury Habrard ; Jose Oncina ; Marc Sebban
Monitoring Patterns through an Integrated Management and Mining Tool / Evangelos E. Kotsifakos ; Irene Ntoutsi ; Yannis Vrahoritis ; Yannis Theodoridis
A Knowledge-Based Digital Dashboard for Higher Learning Institutions / Wan Maseri Binti Wan Mohd ; Abdullah Embong ; Jasni Mohd Zain
SINDBAD and SiQL: An Inductive Database and Query Language in the Relational Model / Jorg Wicker ; Lothar Richter ; Kristina Kessler
Author Index
Regular Papers
Exceptional Model Mining / Dennis Leman ; Ad Feelders ; Arno Knobbe
A Joint Topic and Perspective Model for Ideological Discourse / Wei-Hao Lin ; Eric Xing ; Alexander Hauptmann
New Closed-Form Bounds on the Partition Function / Krishnamurthy Dvijotham ; Soumen Chakrabarti ; Subhasis Chaudhuri
Large Margin vs. Large Volume in Transductive Learning / Ran El-Yaniv ; Dmitry Pechyony ; Vladimir Vapnik
Incremental Exemplar Learning Schemes for Classification on Embedded Devices / Ankur Jain ; Daniel Nikovski
A Collaborative Filtering Framework Based on Both Local User Similarity and Global User Similarity / Heng Luo ; Changyong Niu ; Ruimin Shen ; Carsten Ullrich
A Critical Analysis of Variants of the AUC / Stijn Vanderlooy ; Eyke Hullermeier
Improving Maximum Margin Matrix Factorization / Markus Weimer ; Alexandros Karatzoglou ; Alex Smola
Data Mining and Knowledge Discovery Journal Abstracts
Finding Reliable Subgraphs from Large Probabilistic Graphs / Petteri Hintsanen ; Hannu Toivonen
A Space Efficient Solution to the Frequent String Mining Problem for Many Databases / Adrian Kugel ; Enno Ohlebusch
The Boolean Column and Column-Row Matrix Decompositions / Pauli Miettinen
SkyGraph: An Algorithm for Important Subgraph Discovery in Relational Graphs / Apostolos N. Papadopoulos ; Apostolos Lyritsis ; Yannis Manolopoulos
Adequate Condensed Representations of Patterns / Arnaud Soulet ; Bruno Cremilleux
Two Heads Better Than One: Pattern Discovery in Time-Evolving Multi-aspect Data / Jimeng Sun ; Charalampos E. Tsourakakis ; Evan Hoke ; Christos Faloutsos ; Tina Eliassi-Rad
Regular Papers
TOPTMH: Topology Predictor for Transmembrane [alpha]-Helices / Rezwan Ahmed ; Huzefa Rangwala ; George Karypis
Learning to Predict One or More Ranks in Ordinal Regression Tasks / Jaime Alonso ; Juan Jose del Coz ; Jorge Diez ; Oscar Luaces ; Antonio Bahamonde
Cascade RSVM in Peer-to-Peer Networks / Hock Hee Ang ; Vivekanand Gopalkrishnan ; Steven C.H. Hoi ; Wee Keong Ng
An Algorithm for Transfer Learning in a Heterogeneous Environment / Andreas Argyriou ; Andreas Maurer ; Massimiliano Pontil
Minimum-Size Bases of Association Rules / Jose L. Balcazar
Combining Classifiers through Triplet-Based Belief Functions / Yaxin Bi ; Shengli Wu ; Xuhui Shen ; Pan Xiong
An Improved Multi-task Learning Approach with Applications in Medical Diagnosis / Jinbo Bi ; Tao Xiong ; Shipeng Yu ; Murat Dundar ; R. Bharat Rao
Semi-supervised Laplacian Regularization of Kernel Canonical Correlation Analysis / Matthew B. Blaschko ; Christoph H. Lampert ; Arthur Gretton
Sequence Labelling SVMs Trained in One Pass / Antoine Bordes ; Nicolas Usunier ; Leon Bottou
Semi-supervised Classification from Discriminative Random Walks / Jerome Callut ; Kevin Francoisse ; Marco Saerens ; Pierre Dupont
Learning Bidirectional Similarity for Collaborative Filtering / Bin Cao ; Jian-Tao Sun ; Jianmin Wu ; Qiang Yang ; Zheng Chen
Bootstrapping Information Extraction from Semi-structured Web Pages / Andrew Carlson ; Charles Schafer
Online Multiagent Learning against Memory Bounded Adversaries / Doran Chakraborty ; Peter Stone
Scalable Feature Selection for Multi-class Problems / Boris Chidlovskii ; Loic Lecerf
Learning Decision Trees for Unbalanced Data / David A. Cieslak ; Nitesh V. Chawla
Credal Model Averaging: An Extension of Bayesian Model Averaging to Imprecise Probabilities / Giorgio Corani ; Marco Zaffalon
A Fast Method for Training Linear SVM in the Primal / Trinh-Minh-Tri Do ; Thierry Artieres
On the Equivalence of the SMO and MDM Algorithms for SVM Training / Jorge Lopez ; Alvaro Barbero ; Jose R. Dorronsoro
Nearest Neighbour Classification with Monotonicity Constraints / Wouter Duivesteijn ; Ad Feelders
Modeling Transfer Relationships Between Learning Tasks for Improved Inductive Transfer / Eric Eaton ; Marie desJardins ; Terran Lane
Mining Edge-Weighted Call Graphs to Localise Software Bugs / Frank Eichinger ; Klemens Bohm ; Matthias Huber
Hierarchical Distance-Based Conceptual Clustering / Ana Maria Funes ; Cesar Ferri ; Jose Hernandez-Orallo ; Maria Jose Ramirez-Quintana
Mining Frequent Connected Subgraphs Reducing the Number of Candidates / Andres Gago Alonso ; Jose Eladio Medina Pagola ; Jesus Ariel Carrasco-Ochoa ; Jose Fco. Martinez-Trinidad
Unsupervised Riemannian Clustering of Probability Density Functions / Alvina Goh ; Rene Vidal
Online Manifold Regularization: A New Learning Setting and Empirical Study / Andrew B. Goldberg ; Ming Li ; Xiaojin Zhu
A Fast Algorithm to Find Overlapping Communities in Networks / Steve Gregory
A Case Study in Sequential Pattern Mining for IT-Operational Risk / Valerio Grossi ; Andrea Romei ; Salvatore Ruggieri
Tight Optimistic Estimates for Fast Subgroup Discovery / Henrik Grosskreutz ; Stefan Ruping ; Stefan Wrobel
Watch, Listen & Learn: Co-training on Captioned Images and Videos / Sonal Gupta ; Joohyun Kim ; Kristen Grauman ; Raymond Mooney
Parameter Learning in Probabilistic Databases: A Least Squares Approach / Bernd Gutmann ; Angelika Kimmig ; Kristian Kersting ; Luc De Raedt
Improving k-Nearest Neighbour Classification with Distance Functions Based on Receiver Operating Characteristics / Md. Rafiul Hassan ; M. Maruf Hossain ; James Bailey ; Kotagiri Ramamohanarao
One-Class Classification by Combining Density and Class Probability Estimation / Kathryn Hempstalk ; Eibe Frank ; Ian H. Witten
Efficient Frequent Connected Subgraph Mining in Graphs of Bounded Treewidth / Tamas Horvath ; Jan Ramon
Proper Model Selection with Significance Test / Jin Huang ; Charles X. Ling ; Harry Zhang ; Stan Matwin
A Projection-Based Framework for Classifier Performance Evaluation / Nathalie Japkowicz ; Pritika Sanghi ; Peter Tischer
Suitability Maps Based on the LSP Method / Jozo J. Dujmovic ; Guy De Tre ; Nico Van de Weghe
Aggregated Mean Ratios of an Interval Induced from Aggregation Operations / Yuji Yoshida
WOWA Enhancement of the Preference Modeling in the Reference Point Method / Wlodzimierz Ogryczak
Uninorms and Non-contradiction / Ana Pradera
Choquet Stieltjes Integral, Losonczi's Means and OWA Operators / Vicenc Torra ; Yasuo Narukawa
The Polytope of Fuzzy Measures and Its Adjacency Graph / Elias F. Combarro ; Pedro Miranda
Decision Making
On Consensus Measures in Fuzzy Group Decision Making / F.J. Cabrerizo ; S. Alonso ; I.J. Perez ; E. Herrera-Viedma
SBM and Bipolar Models in Data Envelopment Analysis with Interval Data / Masahiro Inuiguchi ; Fumiki Mizoshita
A Comparison between Two Approaches to Threat Evaluation in an Air Defense Scenario / Fredrik Johansson ; Goran Falkman
Clustering and Similarity
Fuzzy Classification Function of Standard Fuzzy c-Means Algorithm for Data with Tolerance Using Kernel Function / Yuchi Kanzawa ; Yasunori Endo ; Sadaaki Miyamoto
A Similarity Measure for Sequences of Categorical Data Based on the Ordering of Common Elements / Cristina Gomez-Alonso ; Aida Valls
Analytical and Numerical Evaluation of the Suppressed Fuzzy C-Means Algorithm / Laszlo Szilagyi ; Sandor M. Szilagyi ; Zoltan Benyo
Generalized Agglomerative Clustering with Application to Information Systems
Computational Intelligence and Optimization
A Comprehensive Study on Reducts in Dominance-Based Rough Set Approach / Yoshifumi Kusunoki
Graph-Based Active Learning Based on Label Propagation / Jun Long ; Jianping Yin ; Wentao Zhao ; En Zhu
Golden Complementary Dual in Quadratic Optimization / Akifumi Kira ; Seiichi Iwamoto
Data Privacy
A Linear-Time Multivariate Micro-aggregation for Privacy Protection in Uniform Very Large Data Sets / Agusti Solanas ; Roberto Di Pietro
Improving Microaggregation for Complex Record Anonymization / Jordi Pont-Tuset ; Jordi Nin ; Pau Medrano-Gracia ; Josep Ll. Larriba-Pey ; Victor Muntes-Mulero
A Shared Steganographic File System with Error Correction / Josep Domingo-Ferrer ; Maria Bras-Amoros
Author Index
Invited Papers
Toward Elucidating Language Functions in the Brain / Michio Sugeno
Logic for Automated Mechanism Design and Analysis / Michael Wooldridge
Coordination in Multi-Agent Systems: Towards a Technology of Agreement / Sascha Ossowski
Research Papers
Optimistic-Pessimistic Q-Learning Algorithm for Multi-Agent Systems / Natalia Akchurina
How to Program Organizations and Roles in the JADE Framework / Matteo Baldoni ; Guido Boella ; Valerio Genovese ; Roberto Grenna ; Leendert van der Torre
Agent Models for Concurrent Software Systems / Lawrence Cabac ; Till Dorges ; Michael Duvigneau ; Daniel Moldt ; Christine Reese ; Matthias Wester-Ebbinghaus
Filtering Algorithm for Agent-Based Incident Communication Support in Mobile Human Surveillance / Duco N. Ferro ; Catholijn M. Jonker
Joint Equilibrium Policy Search for Multi-Agent Scheduling Problems / Thomas Gabel ; Martin Riedmiller
Making Allocations Collectively: Iterative Group Decision Making under Uncertainty / Christian Guttmann
Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines / Koen Hindriks ; Peter Novak
Knowledge and Strategic Ability for Model Checking: A Refined Approach / Wojciech Jamroga
Agent Learning Instead of Behavior Implementation for Simulations - A Case Study Using Classifier Systems / Franziska Klugl ; Reinhard Hatko ; Martin V. Butz
Providing Integrated Development Environments for Multi-Agent Systems / Simon Lynch ; Keerthi Rajendran
Implementing Organisations in JADE / Cristian Madrigal-Mora ; Esteban Leon-Soto ; Klaus Fischer
A Fair Mechanism for Recurrent Multi-unit Auctions / Javier Murillo ; Victor Munoz ; Beatriz Lopez ; Didac Busquets
Multi-Agent Reinforcement Learning for Intrusion Detection: A Case Study and Evaluation / Arturo Servin ; Daniel Kudenko
Teaching Distributed Artificial Intelligence with RoboRally / Ingo J. Timm ; Tjorben Bogon ; Andreas D. Lattner ; Rene Schumann
Refactoring in Multi Agent System Development / Ali Murat Tiryaki ; Erdem Eser Ekinci ; Oguz Dikenelli
Autonomous Scheduling with Unbounded and Bounded Agents / Chetan Yadati ; Cees Witteveen ; Yingqian Zhang ; Mengxiao Wu ; Han la Poutre
Author Index
Invited Talks
Logic for Automated Mechanism Design and Analysis / Michael Wooldridge
Coordination in Multi-Agent Systems: Towards a Technology of Agreement / Sascha Ossowski
Video Scene Retrieval Using Online Video Annotation / Tomoki Masuda ; Daisuke Yamamoto ; Shigeki Ohira
Spatio-Temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior / Yoshifumi Nishida ; Yoichi Motomura ; Goro Kawakami ; Naoaki Matsumoto ; Hiroshi Mizoguchi
Logic and Engineering of Natural Language Semantics / Part II:
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007 / Kei Yoshimoto
Semantic Heterogeneity in Evidentials / Eric McCready
Acts of Promising in Dynamified Deontic Logic / Tomoyuki Yamada
Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker's Referents, and Semantic Referents / Norihiro Ogata
Inverse Scope as Metalinguistic Quotation in Operational Semantics / Chung-chieh Shan
A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope / Rui Otake
Coordinating and Subordinating Dependencies / Alastair Butler
Left-Peripheral and Sentence-Internal Topics in Japanese / Hiroaki Nakamura
Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach / Masahiro Kobayashi
Breaking Quotations / Emar Maier
A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase / Mana Kobuchi-Philip
A Presuppositional Analysis of Definite Descriptions in Proof Theory / Koji Mineshima
Meaning Games / Koiti Hasida ; Shun Shiramatsu ; Kazunori Komatani ; Tetsuya Ogata ; Hiroshi G. Okuno
Risk Informatics / Part III:
International Workshop on Risk Informatics (RI2007) / Takashi Washio ; Shusaku Tsumoto
Chance Discovery in Credit Risk Management / Shinichi Goda ; Yukio Ohsawa
Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy / Kimiko Matsuoka ; Shigeki Yokoyama ; Kunitomo Watanabe
Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping / Shoji Hirano
Learning with Logics and Logics for Learning / Part IV:
The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007) / Akihiro Yamamoto ; Kouichi Hirata
Mining Maximal Flexible Patterns in a Sequence / Hiroki Arimura ; Takeaki Uno
Computing Characteristic Sets of Bounded Unions of Polynomial Ideals / Itsuo Takamatsu ; Masanori Kobayashi ; Hiroo Tokunaga
Towards a Logical Reconstruction of CF-Induction / Yoshitaka Yamamoto ; Oliver Ray ; Katsumi Inoue
Juris-Informatics / Part V:
First International Workshop on Juris-Informatics / Katsumi Nitta ; Ken Satoh ; Satoshi Tojo
Towards Translation of Legal Sentences into Logical Forms / Makoto Nakamura ; Shunsuke Nobuoka ; Akira Shimazu
Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences / Yasuhiro Ogawa ; Shintaro Inagaki ; Katsuhiko Toyama
Characterized Argument Agent for Training Partner / Takahiro Tanaka ; Norio Maeda ; Daisuke Katagami
Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning / Francesca Toni
Author Index
Awarded Papers / Part I:
Overview of Awarded Papers: The 21st Annual Conference of JSAI / Katashi Nagao
Elisabeth Andr?, Laila Dybkjr, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, J?rg Siekmann, Michael Weber, Institute of Electrical and Electronics Engineers.
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
Knowledge Exploratory for Service Management and Innovation / Yoshinori Hara
From Corporate Memory to Corporate Knowledge / Dennis Tsichritzis
Knowledge Sharing
Behavior and Social Influence in Knowledge Sharing: Intention Formation and the Moderating Role of Knowledge Type / Joseph C. Shih ; C.K. Farn
A Lightweight Approach for Knowledge Sharing in Distributed Software Teams / Walid Maalej ; Hans-Jorg Happel
Collaboration-Oriented Knowledge Management Using Interaction Patterns / Ulrich Reimer ; Uwe Heck ; Stephan Streit
Collaboration Platforms
The Right Expert at the Right Time and Place: From Expertise Identification to Expertise Selection / Pavel Serdyukov ; Ling Feng ; Arthur van Bunningen ; Sander Evers ; Harold van Heerde ; Peter Apers ; Maarten Fokkinga ; Djoerd Hiemstra
Semantic and Event-Based Approach for Link Prediction / Till Wohlfarth ; Ryutaro Ichise
Social Semantic Bookmarking / Simone Braun ; Valentin Zacharias
Content-Oriented Retrieval
Closing Information Gaps with Inverse Search
Representing and Retrieving Knowledge Artifacts / Rosina Weber ; Sid Gunawardena ; George Abraham
Knowledge Acquisition
Extracting Advantage Phrases That Hint at a New Technology's Potentials / Risa Nishiyama ; Hironori Takeuchi ; Tetsuya Nasukawa ; Hideo Watanabe
Extracting Causal Knowledge Using Clue Phrases and Syntactic Patterns / Hiroki Sakaji ; Satoshi Sekine ; Shigeru Masuyama
Context-Based Text Mining for Insights in Long Documents / Shiho Ogino ; Yoshiko Shirata
Knowledge Management Solutions
A Knowledge Management Approach for Structural Capital / Dimitris Karagiannis ; Florian Waldner ; Anita Stoeger ; Marin Nemetz
Developing a Reference Method for Knowledge Auditing / Theodoros Levantakis ; Remko Helms ; Marco Spruit
An Empirical Study on the Correlation between Knowledge Management Level and Efficiency in Ceramic Tile Industry / Gholamreza Khoshsima ; Mehdi Ebrahiminejad
Knowledge Mining from Data, Text and the Web
Web-Based Knowledge Database Construction Method for Supporting Design / Kiyotaka Takahashi ; Aki Sugiyama ; Yoshiki Shimomura ; Takeshi Tateyama ; Ryosuke Chiba ; Masaharu Yoshioka ; Hideaki Takeda
Classifying Digital Resources in a Practical and Coherent Way with Easy-to-Get Features / Chong Chen ; Hongfei Yan ; Xiaoming Li
Finding Functional Groups of Objective Rule Evaluation Indices Using PCA / Hidenao Abe ; Shusaku Tsumoto ; Miho Ohsaki ; Takahira Yamaguchi
Ontology
Organizational Knowledge Transfer of Intelligence Skill Using Ontologies and a Rule-Based System / Masao Okabe ; Masahiko Yanagisawa ; Hiroshi Yamazaki ; Keido Kobayashi ; Akiko Yoshioka
Ontology Based Object Categorization for Robots / Benjamin Johnston ; Fangkai Yang ; Rogan Mendoza ; Xiaoping Chen ; Mary-Anne Williams
Ontology-Based Expertise Finding / Maryam Fazel-Zarandi ; Eric Yu
Knowledge Utilization
Design for Learning and Teaching: A Knowledge-Based Approach to Design Products / Mahmoud Moradi ; Stephane Brunel ; Marc Zolghadri ; Bruno Vallespir
Towards "Kiga-kiku" Services on Speculative Computation / Naoki Fukuta ; Ken Satoh
Context Model Based CF Using HMM for Improved Recommendation / Jong-Hun Kim ; Chang-Woo Song ; Kyung-Yong Chung ; Un-Gu Kang ; Kee-Wook Rim ; Jung-Hyun Lee
Author Index
Invited Papers
Knowledge Exploratory for Service Management and Innovation / Yoshinori Hara
From Corporate Memory to Corporate Knowledge / Dennis Tsichritzis
Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods / Bernhard Bauer ; Jorg P. Muller ; Stephan Roser
The Goal Oriented Teams (GORITE) Framework / Ralph Ronnquist
Regular Papers
Agents Do It for Money - Accounting Features in Agents / Jan Keiser ; Benjamin Hirsch ; Sahin Albayrak
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions / Huib Aldewereld ; Frank Dignum ; John-Jules Ch. Meyer
Interoperability for Bayesian Agents in the Semantic Web / Elder Rizzon Santos ; Moser Silva Fagundes ; Rosa Maria Vicari
The A&A Programming Model and Technology for Developing Agent Environments in MAS / Alessandro Ricci ; Mirko Viroli ; Andrea Omicini
A Practical Agent Programming Language / Mehdi Dastani
A Common Semantic Basis for BDI Languages / Louise A. Dennis ; Berndt Farwer ; Rafael H. Bordini ; Michael Fisher ; Michael Wooldridge
Adding Structure to Agent Programming Languages / Peter Novak ; Jurgen Dix
Modules as Policy-Based Intentions: Modular Agent Programming in GOAL / Koen Hindriks
Specifying and Verifying a MAS: The Robots on Mars Case Study / Bruno Mermet ; Gaele Simon ; Bruno Zanuttini ; Arnaud Saval
Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs / Guillermo Vigueras ; Juan A. Botia
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking / Ulrich Furbach ; Jan Murray ; Falk Schmidsberger ; Frieder Stolzenburg
Agent Contest Competition
Agent Contest Competition: 3rd Edition
Developing a Team of Gold Miners Using Jason / Jomi F. Hubner
Going for Gold with 2APL / L. Astefanoaei ; C.P. Mol ; M.P. Sindlar ; N.A.M. Tinnemeier
JIAC IV in Multi-Agent Programming Contest 2007 / Axel Hessler
An Agent Team Based on FLUX for the ProMAS Contest 2007 / Stephan Schiffel ; Michael Thielscher ; Doan Thu Trang
Author Index
Invited Papers
Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods / Bernhard Bauer ; Jorg P. Muller ; Stephan Roser
The Goal Oriented Teams (GORITE) Framework / Ralph Ronnquist
Lazy Planning under Uncertainty by Optimizing Decisions on an Ensemble of Incomplete Disturbance Trees / Boris Defourny ; Damien Ernst ; Louis Wehenkel
Exploiting Additive Structure in Factored MDPs for Reinforcement Learning / Thomas Degris ; Olivier Sigaud ; Pierre-Henri Wuillemin
Algorithms and Bounds for Rollout Sampling Approximate Policy Interation / Christos Dimitrakakis ; Michail G. Lagoudakis
Efficient Reinforcement Learning in Parameterized Models: Discrete Parameter Case / Kirill Dyagilev ; Shie Mannor ; Nahum Shimkin
Regularized Fitted Q-Iteration: Application to Planning / Amir massoud Farahmand ; Mohammad Ghavamzadeh ; Csaba Szepesvari
A Near Optimal Policy for Channel Allocation in Cognitive Radio / Sarah Filippi ; Olivier Cappe ; Fabrice Clerot ; Eric Moulines
Evaluation of Batch-Mode Reinforcement Learning Methods for Solving DEC-MDPs with Changing Action Sets / Thomas Gabel ; Martin Riedmiller
Basis Expansion in Natural Actor Critic Methods / Sertan Girgin ; Philippe Preux
Reinforcement Learning with the Use of Costly Features / Robby Goetschalckx ; Scott Sanner ; Kurt Driessens
Variable Metric Reinforcement Learning Methods Applied to the Noisy Mountain Car Problem / Verena Heidrich-Meisner ; Christian Igel
Optimistic Planning of Deterministic Systems / Jean-Francois Hren ; Remi Munos
Policy Iteration for Learning an Exercise Policy for American Options / Yuxi Li ; Dale Schuurmans
Tile Coding Based on Hyperplane Tiles / Daniele Loiacono ; Pier Luca Lanzi
Use of Reinforcement Learning in Two Real Applications / Jose D. Martin-Guerrero ; Emilio Soria-Olivas ; Marcelino Martinez-Sober ; Antonio J. Serrrano-Lopez ; Rafael Magdalena-Benedito ; Juan Gomez-Sanchis
Applications of Reinforcement Learning to Structured Prediction / Francis Maes ; Ludovic Denoyer ; Patrick Gallinari
Policy Learning-A Unified Perspective with Applications in Robotics / Jan Peters ; Jens Kober ; Duy Nguyen-Tuong
Probabilistic Inference for Fast Learning in Control / Carl Edward Rasmussen ; Marc Peter Deisenroth
United We Stand: Population Based Methods for Solving Unknown POMDPs / Noel Welsh ; Jeremy Wyatt
New Error Bounds for Approximations from Projected Linear Equations / Huizhen Yu ; Dimitri P. Bertsekas
Lazy Planning under Uncertainty by Optimizing Decisions on an Ensemble of Incomplete Disturbance Trees / Boris Defourny ; Damien Ernst ; Louis Wehenkel
Exploiting Additive Structure in Factored MDPs for Reinforcement Learning / Thomas Degris ; Olivier Sigaud ; Pierre-Henri Wuillemin
Algorithms and Bounds for Rollout Sampling Approximate Policy Interation / Christos Dimitrakakis ; Michail G. Lagoudakis
Neuroeconomics: Yet Another Field Where Rough Sets Can Be Useful? / Janusz Kacprzyk
Research Directions in the KES Centre / Lakhmi Jain ; Jeffrey Tweedale
Logical and Mathematical Foundations
On Irreducible Descriptive Sets of Attributes for Information Systems / Mikhail Moshkov ; Andrzej Skowron ; Zbigniew Suraj
Dominance-Based Rough Set Approach and Bipolar Abstract Rough Approximation Spaces / Salvatore Greco ; Benedetto Matarazzo ; Roman Slowinski
Paraconsistent Logic Programs with Four-Valued Rough Sets / Jan Maluszynski ; Andrzej Szalas ; Aida Vitoria
An Equivalent Definition of Rough Sets / Guilong Liu ; James Kuodo Huang
A Note on Attribute Reduction in the Decision-Theoretic Rough Set Model / Yan Zhao ; S.K.M. Wong ; Yiyu Y. Yao
An Interpretation of Belief Functions on Infinite Universes in the Theory of Rough Sets / Wei-Zhi Wu ; Ju-Sheng Mi
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders / Ryszard Janicki
On Rough Equalities and Rough Equivalences of Sets / Bala Krushna Tripathy ; Anirban Mitra ; Jaladhar Ojha
Data Analysis
Statistical Independence of Multi-variables from the Viewpoint of Linear Algebra / Shusaku Tsumoto ; Shoji Hirano
Rough Mereology in Classification of Data: Voting by Means of Residual Rough Inclusions / Lech Polkowski ; Piotr Artiemjew
Rough Set Approach to Information Tables with Imprecise Decisions / Masahiro Inuiguchi ; Bingjun Li
Computing Approximations of Dominance-Based Rough Sets by Bit-Vector Encodings / Chien-Chung Chan ; Gwo-Hshiung Tzeng
A Framework for Multiagent Mobile Robotics: Spatial Reasoning Based on Rough Mereology in Player/Stage System / Pawel Osmialowski
Natural versus Granular Computing: Classifiers from Granular Structures
Data Mining
Inducing Better Rule Sets by Adding Missing Attribute Values / Jerzy W. Grzymala-Busse ; Witold J. Grzymala-Busse
Rule Induction: Combining Rough Set and Statistical Approaches / Wojciech Jaworski
Action Rules Discovery without Pre-existing Classification Rules / Zbigniew W. Ras ; Agnieszka Dardzinska
Hierarchical Learning in Classification of Structured Objects / Tuan Trung Nguyen
A Comparison of the LERS Classification System and Rule Management in PRSM / Yiyu Yao
Similarity Relation in Classification Problems / Andrzej Janusz
Probabilistic Granule Analysis / Ivo Duntsch ; Gunther Gediga
Paraconsistent Case-Based Reasoning Applied to a Restoration of Electrical Power Substations / Helga Gonzaga Martins ; Germano Lambert-Torres ; Luiz Eduardo Borges da Silva ; Claudio Inacio de Almeida Costa ; Maurilio Pereira Coutinho
Solving the Attribute Reduction Problem with Ant Colony Optimization / Hong Yu ; Guoyin Wang ; Fakuan Lan
Actor Critic Learning: A Near Set Approach / Shamama Anwar ; K. Sridhar Patnaik
Compact Rule Learner on Weighted Fuzzy Approximation Spaces for Class Imbalanced and Hybrid Data / Yang Liu ; Boqin Feng ; Guohua Bai
Feature Selection Based on the Rough Set Theory and Expectation-Maximization Clustering Algorithm / Farideh Fazayeli ; Lipo Wang ; Jacek Mandziuk
Outlier Detection Based on Granular Computing / Yuming Chen ; Duoqian Miao ; Ruizhi Wang
Implementing a Rule Generation Method Based on Secondary Differences of Two Criteria / Hidenao Abe
Lower and Upper Approximations of Rules in Non-deterministic Information Systems / Hiroshi Sakai ; Ryuji Ishibashi ; Michinori Nakata
A New Approach to Fuzzy-Rough Nearest Neighbour Classification / Richard Jensen ; Chris Cornelis
Decision Support Systems
Towards Approximation of Risk / Marcin Szczuka
Business Aviation Decision-Making Using Rough Sets / Yu-Ping Ou Yang ; How-Ming Shieh ; Leon Yen
Phase Transition in SONFIS and SORST / Hamed O. Ghaffari ; Mostafa Sharifzadeh ; Witold Pedrycz
A New Rough Sets Decision Method Based on PCA and Ordinal Regression / Dun Liu ; Tianrui Li ; Pei Hu
Rough Set Flow Graphs and Max - * Fuzzy Relation Equations in State Prediction Problems / Zofia Matusiewicz ; Krzysztof Pancerz
Clustering
Precision of Rough Set Clustering / Pawan Lingras ; Min Chen
A Dynamic Approach to Rough Clustering / Georg Peters ; Richard Weber
Learning Patterns from Clusters Using Reduct / Alka Arora ; Shuchita Upadhyaya ; Rajni Jain
Pattern Recognition and Image Processing
Experiments with Rough Set Approach to Face Recognition / Xuguang Chen ; Wojciech Ziarko
Standard and Fuzzy Rough Entropy Clustering Algorithms in Image Segmentation / Dariusz Malyszko ; Jaroslaw Stepaniuk
Efficient Mining of Jumping Emerging Patterns with Occurrence Counts for Classification / Lukasz Kobylinski ; Krzysztof Walczak
Evolutionary Algorithm for Fingerprint Images Filtration / Marcin Jedryka ; Wladyslaw Skarbek
Hierarchical Tree for Dissemination of Polyphonic Noise / Rory Lewis ; Amanda Cohen ; Wenxin Jiang ; Zbigniew Ras
A Data Driven Emotion Recognition Method Based on Rough Set Theory / Yong Yang ; Fei Luo ; Zhenjing Li
Learning from Soft-Computing Methods on Abnormalities in Audio Data / Alicja Wieczorkowska
Bioinformatics
Shadowed Clustering for Speech Data and Medical Image Segmentation / Bishal Barman ; Sushmita Mitra
Computational Intelligence Techniques Applied to Magnetic Resonance Spectroscopy Data of Human Brain Cancers / Alan J. Barton ; Julio J. Valdes
A Hybrid Model for Aiding in Decision Making for the Neuropsychological Diagnosis of Alzheimer's Disease / Ana Karoline Araujo de Castro ; Placido Rogerio Pinheiro ; Mirian Caliope Dantas Pinheiro
Special Sessions
Rough Sets in Data Warehousing (Extended Abstract) / Dominik Slezak ; Jakub Wroblewski ; Victoria Eastwood ; Piotr Synak
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
Frequent Itemset Mining from Databases Including One Evidential Attribute / Mohamed Anis Bach Tobji ; Boutheina Ben Yaghlane ; Khaled Mellouli
Evaluating Trustworthiness from Past Performances: Interval-Based Approaches / Jonathan Ben-Naim ; Henri Prade
A Comparative Study of Six Formal Models of Causal Ascription / Salem Benferhat ; Jean-Francois Bonnefon ; Philippe Chassy ; Rui Da Silva Neves ; Didier Dubois ; Florence Dupin de Saint-Cyr ; Daniel Kayser ; Farid Nouioua ; Sara Nouioua-Boutouhami ; Salma Smaoui
An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs / Karim Tabia
Transitive Observation-Based Causation, Saliency, and the Markov Condition
A Family of Tolerant Antidivision Operators for Database Fuzzy Querying / Patrick Bosc ; Olivier Pivert
Uncertainty Management for the Retrieval of Economic Information from Distributed Markets / Rene Brunner ; Felix Freitag ; Leandro Navarro
Loopy Propagation in a Probabilistic Description Logic / Fabio Gagliardi Cozman ; Rodrigo Bellizia Polastro
On the Performance of Fuzzy Data Querying / Mariela Curiel ; Claudia Gonzalez ; Leonid Tineo ; Angelica Urrutia
Tractable Reasoning with Bayesian Description Logics / Claudia d'Amato ; Nicola Fanizzi ; Thomas Lukasiewicz
Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases / Nicola Di Mauro ; Teresa M.A. Basile ; Stefano Ferilli ; Floriana Esposito
Fusing Uncertain Structured Spatial Information / Robert Jeansoulin
A Neuro Fuzzy Approach for Handling Structured Data / Alessio Ferone ; Alfredo Petrosino
A Framework for the Partial Evaluation of SPARQL Queries / Sergio Flesca ; Filippo Furfaro ; Andrea Pugliese
An Evolutionary Perspective on Approximate RDF Query Answering / Christophe Gueret ; Eyal Oren ; Stefan Schlobach ; Martijn Schut
Clustering Uncertain Data Via K-Medoids / Francesco Gullo ; Giovanni Ponti ; Andrea Tagarelli
Speeding Up the NRA Algorithm / Peter Gursky ; Peter Vojtas
Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory / Ying Jiang ; Hui Dong
A Personalized Approach to Experience-Aware Service Ranking and Selection / Friederike Klan ; Birgitta Konig-Ries
Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results / Scott Langevin ; Marco Valtorta
Optimization of Queries over Interval Probabilistic Data / Matteo Magnani ; Danilo Montesi
Polynomial Time Queries over Inconsistent Databases / Cristian Molinaro
Using OBDDs for Efficient Query Evaluation on Probabilistic Databases / Dan Olteanu ; Jiewen Huang
A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs / Emad Saad
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
Scaling Most Probable World Computations in Probabilistic Logic Programs / Gerardo I. Simari ; Maria Vanina Martinez ; Amy Sliva ; V.S. Subrahmanian
Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs / Anbu Yue ; Weiru Liu ; Anthony Hunter
Author Index
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
A Citizen's Portal for the City of Bergen / Lars Marius Garshol
Visualisation and Representation of Topic Maps
TMchartis - A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps / Hendrik Thomas ; Rike Brecht ; Bernd Markscheffel ; Stephan Bode ; Karsten Spekowius
Open Educational Topic Maps: A Text-Oriented Perspective / Lars Johnsen
Using Topic Maps for Visually Exploring Various Data Sources in a Web-Based Environment / Eicke Godehardt ; Nadeem Bhatti
Collaborative Applications
Topincs Wiki - A Topic Maps Powered Wiki / Robert Cerny
Bookmap - A Topic Maps Based Web Application for Organising Bookmarks / Tobias Hofmann ; Martin Pradella
Standards Related Research
A Theory of Scope
Comparing Topic Maps Constraint Specification Languages / Giovani Rubert Librelotto ; Renato Preigschadt de Azevedo ; Jose Carlos Ramalho ; Pedro Rangel Henriques
Information Integration with Topic Maps
Knowledge-Oriented Middleware Using Topic Maps / Robert Barta
Large Scale Knowledge Representation of Distributed Biomedical Information / Volker Stumpflen ; Thorsten Barnickel ; Karamfilka Nenova
Versioning of Topic Map Templates and Scalability / Markus Ueberall ; Oswald Drobnik
Social Software with Topic Maps
Toward a Topic Maps Amanuensis / Jack Park
Cooperative Building of Multiple Points-of-View Topic Maps with Hypertopic / L'Hedi Zaher ; Jean-Pierre Cahier ; Claude Guittard
Metadata Creation in Socio-semantic Tagging Systems: Towards Holistic Knowledge Creation and Interchange / Roy Lachica ; Dino Karabeg
Topic Maps Engines
Ruby Topic Maps / Benjamin Bock
Topic Maps and Dublin Core
Expressing Dublin Core in Topic Maps / Steve Pepper
Mapping Between the Dublin Core Abstract Model DCAM and the TMDM / Lutz Maicher
Information Management with Topic Maps
On Path-Centric Navigation and Search Techniques for Personal Knowledge Stored in Topic Maps / Jens Heider ; Julian Schutte
KAIFIA: Knowledge Assisted Intelligent Framework for Information Access / Atta Badii ; Chattun Lallah ; Oleksandr Kolomiyets ; Meng Zhu ; Michael Crouch
Open Space and Poster Sessions
Report from the Open Space and Poster Sessions
Author Index
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
Modeling, Understanding, and Interacting with Humans / Yoshihiko Nakamura
Humanoids, Brain and Cognitive Sciences / Giulio Sandini
Simulation
XPERSim: A Simulator for Robot Learning by Experimentation / Iman Awaad ; Beatriz Leon
From Simulated to Real Scenarios: A Framework for Multi-UAVs / Andrea Cesetti ; Adriano Mancini ; Emanuele Frontoni ; Primo Zingaretti ; Sauro Longhi
Simulation of Multi-Robot Teams with Flexible Level of Detail / Martin Friedmann ; Karen Petersen ; Oskar von Stryk
MM-ulator: Towards a Common Evaluation Platform for Mixed Mode Environments / Matthias Kropff ; Christian Reinl ; Kim Listmann ; Katayon Radkhah ; Faisal Karim Shaikh ; Arthur Herzog ; Armin Strobel ; Daniel Jocobi
A Multi-agent 3D Simulation Environment for Clothing Industry / Rezia Molfino ; Enrico Carca ; Matteo Zoppi ; Fabio Bonsignorio ; Massimo Callegari ; Andrea Gabrielli ; Marco Principi
A Lunar Surface Operations Simulator / Hari Nayar ; Bob J. Balaram ; Jonathan Cameron ; Abhinandan Jain ; Christopher Lim ; Rudranarayan Mukherjee ; Stephen Peters ; Marc Pomerantz ; Leonard Reder ; Partha Shakkottai ; Stephen Wall
YARS: A Physical 3D Simulator for Evolving Controllers for Real Robots / Keyan Zahedi ; Arndt von Twickel ; Frank Pasemann
Programming
A Software Platform for Component Based RT-System Development: OpenRTM-Aist / Noriaki Ando ; Takashi Suehiro ; Tetsuo Kotoku
A Software System for Robotic Learning by Experimentation / Ronny Hartanto ; Bettriz Leon ; Paul Ploger
A Mobile Robt Control Framework: From Simulation to Reality / Stephen Balakrisky ; Frederick M. Proctor ; Christopher J. Scrapper ; Thomas R. Kramer
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots / Mirko Bordignon ; Lars Lindegaard Mikkelsen ; Ulrik Pagh Schultz
Real-Time Software for Mobile Robot Simulation and Experimentation in Cooperative Environments / Andreu Corominas Murtra ; Josep M. Mirats Tur ; Oscar Sandoval ; Alberto Sanfeliu
Knowledge Processing Middleware / Fredrik Heintz ; Jonas Kvarnstrom ; Patrick Doherty
Towards Automatied Online Diagnosis of Robt Navigation Software / Alexander Kleiner ; Gerald Steinbauer ; Franz Wotawa
A Common Framework for Co-operative Robotics: An Open, Fault Tolerant Architecture for Multi-league RoboCup Teams / Luis Mota ; Luis Paulo Reis
Multilevel Testing of Control Software for Teams of Autonomous Mobile Robots / Sebastian Petters ; Dirk Thomas
ppPDC Communication Framework - A New Tool for Distributed Robotics / Grezgorz Polakow ; Mieczyslaw Metzger
The Experimental Robotics Framework / Joao Xavier ; Helder Araujo
Applications
Where Am I? A Simulated GPS Sensor for Outdoor Robotic Applications / Benjamin Balaguer ; Stefano Carpin
An Emphatic Humanoid Robot with Emotional Latent Semantic Behavior / Antonio Chella ; Giovanni Pilato ; Rosario Sorbello ; Giorgio Vassallo ; Francesco Cinquegrani ; Salvatore Maria Anzalone
Developing Robot Motions by Simulated Touch Sensors / Fabio Dalla Libera ; Takashi Minato ; Enrico Pagello ; Emanuele Menegatti
3D Simulation of a Motorized Operation Microscope / Markus Finke ; Achim Schweikard
Real-Time Least-Square Fitting of Ellipses Applied to the RobotCub Platform / Nicola Greggio ; Luigi Manfredi ; Cecilia Laschi ; Paolo Dario ; Maria Chiara Carrozza
An Introduction to a New Commentator for RoboCup 3D Soccer Simulation / Amin Habibi Shahri
Authority Sharing in a Swarm of UAVs: Simulation and Experiments with Operators / Francois Legras ; Arnaud Glad ; Olivier Simonin ; Francois Charpillet
Rescue Robot Navigation: Static Stability Estimation in Random Step Environment / Evgeni Magid ; Kentaro Ozawa ; Takashi Tsubouchi ; Eiji Koyanagi ; Tomoaki Yoshida
Performance Evaluation of Repeated Auctions for Robust Task Execution / Maitreyi Nanjanath ; Maria Gini
Conceptual Frameowork to Maintain Multiple and Floating Relationship among Coordinate Reference Systems for Robotics / Itsuki Noda ; Hiroki Shimora ; Hidehisa Akiyama
Conceptual Design of a Power Distribution Line Maintenance Robot Using a Developed CG Simulator and Experimental Robot System / Kiyoshi Tsukahara ; Yorihiko Tanaka ; Yingxin He ; Toshihisa Miyamoto ; Kyouichi Tatsuno
Author Index
Invited Talks
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
GrAM: Reasoning with Grounded Action Models by Combining Knowledge Representation and Data Mining / Nicolai v. Hoyningen-Huene ; Bernhard Kirchlechner ; Michael Beetz
Reinforcement Learning of Predictive Features in Affordance Perception / Lucas Paletta ; Gerald Fritz
A Functional Model for Affordance-Based Agents / Martin Raubal
Affordances in an Ecology of Physically Embedded Intelligent Systems / Alessandro Saffiotti ; Mathias Broxvall
Use of Affordances in Geospatial Ontologies / Sumit Sen
Learning the Affordances of Tools Using a Behavior-Grounded Approach / Alexander Stoytchev
Function-Based Reasoning for Goal-Oriented Image Segmentation / Melanie A. Sutton ; Louise Stark
The MACS Project: An Approach to Affordance-Inspired Robot Control / Erich Rome ; Erol Şahin ; Georg Dorffner ; Ralph Breithaupt ; Jörg Irran ; Florian Kintzler ; Stefan May ; Emre Uğur
Author Index
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
Combining Cognitive with Computational Trust Reasoning / Eugen Staab ; Thomas Engel
Welfare States and Social Trust: 'Crowding-Out' Dilemma / Larysa Tamilina
A Trust-Based Incentive Mechanism for E-Marketplaces / Jie Zhang ; Robin Cohen ; Kate Larson
An Agent-Based Trust Model for Service-Oriented Systems / Manling Zhu ; Zhi Jin
Trust: Formal Models
Agents Selecting Trustworthy Recommendations in Mobile Virtual Communities / G. Lenzini ; N. Sahli ; H. Eertink
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective / Emiliano Lorini ; Robert Demolombe
Reputation Models
Using the Repart Simulator to Analyze Different Reputation-Based Partnership Formation Strategies within a Marketplace Scenario / Priscilla Avegliano ; Jaime Simão Sichman
Art Competition: Agent Designs to Handle Negotiation Challenges / Andrew Diniz da Costa ; Carlos J.P. de Lucena ; Viviane Torres da Silva ; Sérgio C. Azevedo ; Fábio A. Soares
Towards Reputation Enhanced Electronic Negotiations for Service Oriented Computing / Stefan König ; Sebastian Hudert ; Torsten Eymann ; Mario Paolucci
Soari: A Service Oriented Architecture to Support Agent Reputation Models Interoperability / Luis G. Nardin ; Anarosa A.F. Brandão ; Jaime S. Sichman ; Laurent Vercouter
Reputation and Uncertainty Reduction: Simulating Partner Selection / Walter Quattrociocchi ; Rosaria Conte
Experimental Evaluation of Deceptive Information Filtering in Context-Aware Service Selection / Murat Şensoy
Author Index
Trust: Theory and Application
Teammate Selection Using Multi-dimensional Trust and Attitude Models / Jaesuk Ahn ; David DeAngelis ; K. Suzanne Barber
Noise Detection in Agent Reputation Models Using IMM Filtering / Javier Carbo ; Jesus Garcia ; Jose M. Molina
PR-OWL: A Bayesian Ontology Language for the Semantic Web / Paulo Cesar G. da Costa ; Kathryn B. Laskey ; Kenneth J. Laskey
Discovery and Uncertainty in Semantic Web Services / Francisco Martin-Recuerda
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion / Matthias Nickles ; Ruth Cobos
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies / Andriy Nikolov ; Victoria Uren ; Enrico Motta ; Anne de Roeck
An Ontology-Based Bayesian Network Approach for Representing Uncertainty in Clinical Practice Guidelines / Hai-Tao Zheng ; Bo-Yeong Kang ; Hong-Gee Kim
Fuzzy and Possibilistic Models
A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions / Fernando Bobillo ; Miguel Delgado ; Juan Gomez-Romero
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Uncertainty Issues and Algorithms in Automating Process Connecting Web and User / Alan Eckhardt ; Tomas Horvath ; Dusan Maruscak ; Robert Novotny ; Peter Vojtas
Granular Association Rules for Multiple Taxonomies: A Mass Assignment Approach / Trevor P. Martin ; Yun Shen ; Ben Azvine
A Fuzzy Semantics for the Resource Description Framework / Mauro Mazzieri ; Aldo Franco Dragoni
Reasoning with the Fuzzy Description Logic f-SHIN: Theory, Practice and Applications / Giorgos Stoilos ; Giorgos Stamou ; Jeff Z. Pan ; Nick Simou ; Vassilis Tzouvaras
Inductive Reasoning and Machine Learning
Towards Machine Learning on the Semantic Web / Volker Tresp ; Markus Bundschus ; Achim Rettinger ; Yi Huang
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies / Joaquin Borrego-Diaz ; Antonia M. Chavez-Gonzalez
Modeling MAS Properties with MAS-ML Dynamic Diagrams / Viviane Torres da Silva ; Ricardo Choren ; Carlos J.P. de Lucena
Providing Contextual Norm Information in Open Multi-Agent Systems / Carolina FelÃcissimo ; Jean-Pierre Briot ; Caroline Chopinaud ; Amal El Fallah Seghrouchni
Towards Agent-Based Scenario Development for Strategic Decision Support / Maarten Mensonides ; Bob Huisman ; Virginia Dignum
Preliminary Validation of MOBMAS (Ontology-Centric Agent Oriented Methodology): Design of a Peer-to-Peer Information Sharing MAS / Quynh-Nhu Numi Tran ; Ghassan Beydoun ; Graham Low ; Cesar Gonzalez-Perez
A Methodology to Bring MAS to Information Systems / Emmanuelle Grislin-Le Strugeon ; Abdouroihamane Anli ; Emmanuel Adam
On the Evaluation of Agent-Oriented Software Engineering Methodologies: A Statistical Approach / Abdel-Halim Hafez Elamy and Behrouz Far
Agent-Oriented Software Engineering
From Early to Late Requirements: A Goal-Based Approach / Alicia MartÃnez ; Oscar Pastor ; John Mylopoulos ; Paolo Giorgini
Comparing Three Formal Analysis Approaches of the Tropos Family / Dominik Schmitz ; Gerhard Lakemeyer ; Matthias Jarke
Integration of Aspects with i Models / Fernanda Alencar ; Jaelson Castro ; Ana Moreira ; João Araújo ; Carla Silva ; Ricardo Ramos
Applications
Enhancing Information Sharing Through Agents / Marco Mari ; Agostino Poggi ; Michele Tomaiuolo ; Paola Turci
Tooth Agent: A Multi-agent System for Virtual Communities Support / Volha Bryl ; Stefano Fante
Author Index
Modelling
Modeling MAS Properties with MAS-ML Dynamic Diagrams / Viviane Torres da Silva ; Ricardo Choren ; Carlos J.P. de Lucena
Providing Contextual Norm Information in Open Multi-Agent Systems / Carolina FelÃcissimo ; Jean-Pierre Briot ; Caroline Chopinaud ; Amal El Fallah Seghrouchni
Design vs. Self-organization / Mikhail Prokopenko1:
Foundations and Formalizations of Self-organization / Daniel Polani2:
Distributed Management and Control / Part II:
Self-Organizing Traffic Lights: A Realistic Simulation / Seung-Bae Cools ; Carlos Gershenson ; Bart D'Hooghe3:
A Self-organizing Sensing System for Structural Health Monitoring of Aerospace Vehicles / N. Hoschke ; C. J. Lewis ; D. C. Price ; D. A. Scott ; V. Gerasimov ; P. Wang4:
Decentralized Decision Making for Multiagent Systems / George Mathews ; Hugh Durrant-Whyte5:
Learning Mutation Strategies for Evolution and Adaptation of a Simulated Snakebot / Ivan Tanev6:
Self-Organization as Phase Transition in Decentralized Groups of Robots: A Study Based on Boltzmann Entropy / Gianluca Baldassarre7:
Distributed Control of Microscopic Robots in Biomedical Applications / Tad Hogg8:
Self-Organizing Computation / Part III:
Self-Organizing Digital Systems / Nicholas J. Macias ; Lisa J. K. Durbeck9:
Self-organizing Nomadic Services in Grids / Tino Schlegel ; Ryszard Kowalczyk10:
Immune System Support for Scheduling / Young Choon Lee ; Albert Y. Zomaya11:
Formal immune Networks: Self-Organization and Real-World Applications / Alexander O. Tarakanov12:
A Model for Self-Organizing Data Visualization Using Decentralized Multiagent Systems / Andrew Vande Moere13:
Emergence of Traveling Localizations in Mutualistic-Excitation Media / Andrew Adamatzky14:
Discussion / Part IV:
A Turing Test for Emergence / Fabio Boschetti ; Randall Gray15:
Index
Introduction / Part I:
Design vs. Self-organization / Mikhail Prokopenko1:
Foundations and Formalizations of Self-organization / Daniel Polani2:
Comparison of Simulated Annealing, Interval Partitioning and Hybrid Algorithms in Constrained Global Optimization / C.S. Pedamallu ; L. Ozdamar
Four-bar Mechanism Synthesis for n Desired Path Points Using Simulated Annealing / H. Martinez-Alfaro
"MOSS-II" Tabu/Scatter Search for Nonlinear Multiobjective Optimization / R.P. Beausoleil
Feature Selection for Heterogeneous Ensembles of Nearest-neighbour Classifiers Using Hybrid Tabu Search / M.A. Tahir ; J.E. Smith
A Parallel Ant Colony Optimization Algorithm Based on Crossover Operation / A. Kalinli ; F. Sarikoc
An Ant-bidding Algorithm for Multistage Flowshop Scheduling Problem: Optimization and Phase Transitions / A. V. Donati ; V. Darley ; B. Ramachandran
Dynamic Load Balancing Using an Ant Colony Approach in Micro-cellular Mobile Communications Systems / S.-S. Kim ; A.E. Smith ; S.-J. Hong
New Ways to Calibrate Evolutionary Algorithms / A.E. Eiben ; M.C. Schut
Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms / M. Schoenauer ; P. Saveant ; V. Vidal
Local Search Based on Genetic Algorithms / C. Garcia-Martinez ; M. Lozano
Designing Efficient Evolutionary Algorithms for Cluster Optimization: A Study on Locality / F.B. Pereira ; J.M.C. Marques ; T. Leitao ; J. Tavares
Aligning Time Series with Genetically Tuned Dynamic Time Warping Algorithm / P. Kumar ; A. Gupta ; Rajshekhar ; V.K. Jayaraman ; B.D. Kulkarni
Evolutionary Generation of Artificial Creature's Personality for Ubiquitous Services / J-H. Kim ; C-H. Lee ; K-H. Lee ; N.S. Kuppuswamy
Some Guidelines for Genetic Algorithm Implementation in MINLP Batch Plant Design Problems / A. Ponsich ; C. Azzaro-Pantel ; S. Domenech ; L. Pibouleau
Coevolutionary Genetic Algorithm to Solve Economic Dispatch / M.M.A. Samed ; M.A. da S.S. Ravagnani
An Evolutionary Approach to Solve a Novel Mechatronic Multiobjective Optimization Problem / E. Mezura-Montes ; E.A. Portilla-Flores ; C.A. Coello Coello ; J. Alvarez-Gallegos ; C.A. Cruz-Villar
Optimizing Stochastic Functions Using a Genetic Algorithm: An Aeronautic Military Application / H.V. Junior
Learning Structure Illuminates Black Boxes - An Introduction to Estimation of Distribution Algorithms / J. Grahl ; S. Minner ; P.A.N. Bosman
Making a Difference to Differential Evolution / Z. Yang ; J. He ; X. Yao
Hidden Markov Models Training Using Population-based Metaheuristics / S. Aupetit ; N. Monmarche ; M. Slimane
Inequalities and Target Objectives for Metaheuristic Search - Part I: Mixed Binary Optimization / F. Glover
Index
Comparison of Simulated Annealing, Interval Partitioning and Hybrid Algorithms in Constrained Global Optimization / C.S. Pedamallu ; L. Ozdamar
Four-bar Mechanism Synthesis for n Desired Path Points Using Simulated Annealing / H. Martinez-Alfaro
"MOSS-II" Tabu/Scatter Search for Nonlinear Multiobjective Optimization / R.P. Beausoleil
Agents and Healthcare: Usability and Acceptance / U. Cortes ; R. Annicchiarico ; C. Urdiales
Health Agents: Agent-Based Distributed Decision Support System for Brain Tumour Diagnosis and Prognosis / M. Lluch-Ariet ; F. Estanyol ; M. Mier ; C. Delgado ; H. Gonzalez-Velez ; T. Dalmas ; M. Robles ; C. Saez ; J. Vicente ; S. Van Huffel ; J. Luts ; C. Arus ; A.P. Candiota Silveira ; M. Julia-Sape ; A. Peet ; A. Gibb ; Y. Sun ; B. Celda ; M.C. Martinez Bisbal ; G. Valsecchi ; D. Dupplaw ; B. Hu ; P. Lewis
SAPHIRE: A Multi-Agent System for Remote Healthcare Monitoring through Computerized Clinical Guidelines / G.B. Laleci ; A. Dogac ; M. Olduz ; I. Tasyurt ; M. Yuksel ; A. Okcan
EU PROVENANCE Project: An Open Provenance Architecture for Distributed Applications / J. Vazquez-Salceda ; S. Alvarez ; T. Kifor ; L.Z. Varga ; S. Miles ; L. Moreau ; S. Willmott
Argumentation-Based Agents to Increase Human Organ Availability for Transplant / P. Tolchinsky ; D. Grecu
K4Care: Knowledge-Based Homecare e-Services for an Ageing Europe / F. Campana ; A. Moreno ; D. Riano ; L. Varga
Supported Human Autonomy for Recovery and Enhancement of Cognitive and Motor Abilities Using Agent Technologies / C. Barrue ; A. Martinez ; A. Villar ; C. Caltagirone
Agents and Healthcare: A Glance to the Future / A. Federici
Agents and Healthcare: Usability and Acceptance / U. Cortes ; R. Annicchiarico ; C. Urdiales
Health Agents: Agent-Based Distributed Decision Support System for Brain Tumour Diagnosis and Prognosis / M. Lluch-Ariet ; F. Estanyol ; M. Mier ; C. Delgado ; H. Gonzalez-Velez ; T. Dalmas ; M. Robles ; C. Saez ; J. Vicente ; S. Van Huffel ; J. Luts ; C. Arus ; A.P. Candiota Silveira ; M. Julia-Sape ; A. Peet ; A. Gibb ; Y. Sun ; B. Celda ; M.C. Martinez Bisbal ; G. Valsecchi ; D. Dupplaw ; B. Hu ; P. Lewis
SAPHIRE: A Multi-Agent System for Remote Healthcare Monitoring through Computerized Clinical Guidelines / G.B. Laleci ; A. Dogac ; M. Olduz ; I. Tasyurt ; M. Yuksel ; A. Okcan
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence., Tony Allen, Richard Ellis, M. Petridis, British Computer Society., Miltos Petridis
On a Novel ACO-Estimator and its Application to the Target Motion Analysis Problem / Lars Nolle
Medical Systems
Clinical Practice Guidelines: a Case Study of Combining OWL-S, OWL,and SWRL / M. Argüello ; J. Des
Explaining Medical Model Exceptions in ISOR / Olga Vorobieva ; Rainer Schmidt
Automatically Acquiring Structured Case Representations: The SMART Way / Stella Asiimwe ; Susan Craw ; Nirmalie Wiratunga ; Bruce Taylor
Analysing PET Scans Data for Predicting Response to Chemotherapy in Breast Cancer Patients / Elias Gyftodimos ; Laura Moss ; Derek Sleeman ; Andrew Welch
HCI & Natural Language Systems
Selecting the Content of Textual Descriptions of Geographically Located Events in Spatio-Temporal Weather Data / Ross J Turner ; Somayajulu Sripada ; Ehud Reiter ; Ian P Davy
CALMsystem: A Conversational Agent for Learner Modelling / Alice L Kerly ; Richard K Ellis ; Susan Bull
Scripting Human-Agent Interactions in a Generic ECA Framework / Hung-Hsuan Huang ; Aleksandra Cerekovic ; Igor S. Pandzic ; Yukiko Nakano ; Toyoaki Nishida
Imaging & Sensing Systems
A Comparison of two Methods for Finding Groups using Heat Maps and Model Based Clustering / Fabrice P. R. Colas ; Ingrid Meulenbelt ; Jeanine J. Houwing-Duistermaat ; P. Eline Slagboom ; Joost N. Kok
Automated Tool for Diagnosis of Sinus Analysis CT Scans / Abdel-Razzak Natsheh ; Prasad V S Ponnapalli ; Nader Anani ; Atef El-Kholy
Intensity-Based Image Registration Using Multiple Distributed Agents / Roger J Tait ; Gerald Schaefer ; Adrian A Hopgood
Decision Support Systems
Police Forensic Science Performance Indicators - a New Approach to Data Validation / Richard Adderley ; John Bond
Application of Data Mining for Supply Chain Inventory Forecasting / Nenad Stefanovic ; Dusan Stefanovic ; Bozidar Radenkovic
Decision Making in Fund Raising Management: a Knowledge Based Approach / Luca Barzanti ; Nicola Dragoni ; Andrea Degli Esposti. Mauro Gaspari
Player Collaboration in Virtual Environments using Hierarchical Task Network Planning / Daniele Masato ; Stuart Chalmers ; Alun Preece
Autonomous Machines
Fly-by-Agent: Controlling a Pool of UAVs via a Multi-Agent System / Jeremy Baxter ; Graham Horn ; Daniel Leivers
An Extended Hyperbola Model for Road Tracking for Video-based Personal Navigation / Li Bai ; Yan Wang ; Michael Fairhurst
Evolving Motion Control for a Modular Robot / Sunil P Lal ; Koji Yamada ; Satoshi Endo
Industrial Systems
Genetic Programming for the Design of Lace Knitting Stitch Patterns / Anikó Ekárt
Comparative studies of Statistical and Neural Networks Models for Short and Long Term Load Forecasting: a Case Study in the Brazilian Amazon Power Suppliers / Guilherme A. B. Conde ; Ádamo L. de Santana ; Carlos Renato L. Francês ; Cláudio A. Rocha ; Liviane Rego ; Vanja Gato
Alan Holland
Short Papers
Towards the Development of OMNIVORE: An Evolving Intelligent Intrusion Detection System / Stavros Lekkas ; Ludmil Mikhailov
Clonal Selection for Licence Plate Character Recognition / Rentian Huang ; H.Tawfik ; A.K. Nagar
RSIE a Inference Engine for Reflexive Systems / Yann Barloy ; Jean-Marc Nigro
Nexus: Self-organising Agent-based Peer-to-Peer Middleware for Battlespace Support / Alex Healing ; Robert Ghanea-Hercock ; Hakan Duman ; Michal Jakob
Information-Based Control of Decentralised Sensor Networks / David Nicholson ; Sarvapali D. Ramchurn ; Alex Rogers
Managing Intelligence Resources Using Semantic Matchmaking and Argumentation / Alun Preece ; Timothy J. Norman ; Mario Gomez ; Nir Oren
Agent Applications in Defense Logistics / Todd Carrico ; Mark Greaves
AGENTFLY: Towards Multi-Agent Technology in Free Flight Air Traffic Control / David Sislak ; Michal Pechoucek ; Premysl Volf ; Dusan Pavlicek ; Jiri Samek ; Vladimir Marik ; Paul Losiewicz
Controlling Teams of Uninhabited Air Vehicles / Jeremy W. Baxter ; Graham S. Horn
Simulating Fighter Pilots / Clint Heinze ; Michael Papasimeon ; Simon Goss ; Martin Cross ; Russell Connell
MAS Combat Simulation / H. Van Dyke Parunak
Using Multi-Agent Teams to Improve the Training of Incident Commanders / Nathan Schurr ; Milind Tambe
Preface
Nexus: Self-organising Agent-based Peer-to-Peer Middleware for Battlespace Support / Alex Healing ; Robert Ghanea-Hercock ; Hakan Duman ; Michal Jakob
Information-Based Control of Decentralised Sensor Networks / David Nicholson ; Sarvapali D. Ramchurn ; Alex Rogers
Intelligent Design and Evolutionary Computation / Thomas English ; Garrison W. Greenwood1:
Inference of Genetic Networks Using an Evolutionary Algorithm / Shuhei Kimura2:
Synthetic Biology: Life, Jim, but Not As We Know It / Jennifer Hallinan3:
Dancing with Swarms: Utilizing Swarm Intelligence to Build, Investigate, and Control Complex Systems / Christian Jacob4:
Art / Part II:
Evolutionary Design in Art / Jon McCormack
Natural Processes and Artificial Procedures / Erwin Driessens ; Maria Verstappen5:
Evolutionary Exploration of Complex Fractals / Daniel Ashlock ; Brooke Jamieson6:
Evolving the Mandelbrot Set to Imitate Figurative Art / JJ Ventrella7:
Evolutionary L-systems / 8:
Embryogeny / Part III:
Evolutionary Design in Embryogeny
Embryogenesis of Artificial Landscapes / Stephen Gent ; Kenneth Bryden9:
On Form and Function: The Evolution of Developmental Control / Sanjeev Kumar10:
Modularity in a Computational Model of Embryogeny / Chris P. Bowers11:
Engineering / Part IV:
Evolutionary Design in Engineering / Kalyanmoy Deb
Engineering Optimization Using Evolutionary Algorithms: A Case Study on Hydro-thermal Power Scheduling / 12:
Multimodal Function Optimization of Varied-Line-Spacing Holographic Grating / Qing Ling ; Gang Wu ; Qiuping Wang13:
GPBG: A Framework for Evolutionary Design of Multidomain Engineering Systems Using Genetic Programming and Bond Graphs / Jianjun Hu ; Zhun Fan ; Jiachuan Wang ; Shaobo Li ; Kisung Seo ; Xiangdong Peng ; Janis Terpenny ; Ronald Rosenberg ; Erik Goodman14:
Index
Biology / Part I:
Evolutionary Design in Biology / Kay C. Wiese
Intelligent Design and Evolutionary Computation / Thomas English ; Garrison W. Greenwood1:
Symbolic Indexing, Boolean Search and Range Query Mechanism / 8.4.3:
Results / 8.4.4:
Combining Textual and Visual Information for Semantic Labeling of Images and Videos / Pinar Duygulu ; Muhammet Başstan ; Derya Ozkan8.4.5:
Semantic Labeling of Images / 9.1:
Translation Approach / 9.3:
Learning Correspondences Between Words and Regions / 9.3.1:
Linking Visual Elements to Words in News Videos / 9.3.2:
Translation Approach to Solve Video Association Problem / 9.3.3:
Experiments on News Videos Data Set / 9.3.4:
Naming Faces in News / 9.4:
Integrating Names and Faces / 9.4.1:
Finding Similarity of Faces / 9.4.2:
Finding the Densest Component in the Similarity Graph / 9.4.3:
Conclusions and Discussion / 9.4.4:
Machine Learning for Semi-structured Multimedia Documents: Application to Pornographic Filtering and Thematic Categorization. / Ludovic Denoyer ; Patrick Gallinari10:
Previous Work / 10.1:
Structured Document Classification / 10.2.1:
Multimedia Documents / 10.2.2:
Multimedia Generative Model / 10.3:
Classification of Documents / 10.3.1:
Generative Model / 10.3.2:
Description / 10.3.3:
Learning the Meta Model / 10.4:
Maximization of Lstructure / 10.4.1:
Maximization of Lcontent / 10.4.2:
Local Generative Models for Text and Image / 10.5:
Modelling a Piece of Text with Naive Bayes / 10.5.1:
Image Model / 10.5.2:
Models and Evaluation / 10.6:
Corpora / 10.6.2:
Results over the Pornographic Corpus / 10.6.3:
Results over the Wikipedia Multimedia Categorization Corpus / 10.6.4:
Conclusion / 10.7:
Classification and Clustering of Music for Novel Music Access Applications / Thomas Lidy ; Andreas Rauber11:
Feature Extraction from Audio / 11.1:
Low-Level Audio Features / 11.2.1:
MPEG-7 Audio Descriptors / 11.2.2:
MFCCs / 11.2.3:
MARSYAS Features / 11.2.4:
Rhythm Patterns / 11.2.5:
Statistical Spectrum Descriptors / 11.2.6:
Rhythm Histograms / 11.2.7:
Automatic Classifications of Music into Genres / 11.3:
Evaluation Through Music Classification / 11.3.1:
Benchmark Data Sets for Music Classification / 11.3.2:
Creating and Visualizing Music Maps Based on Self-organizing Maps / 11.4:
Class Visualization / 11.4.1:
Hit Histograms / 11.4.2:
U-Matrix / 11.4.3:
P-Matrix / 11.4.4:
U*-matrix / 11.4.5:
Gradient Fields / 11.4.6:
Component Planes / 11.4.7:
Smoothed Data Histograms / 11.4.8:
PlaySOM - Interaction with Music Maps / 11.5:
Interface / 11.5.1:
Interaction / 11.5.2:
Playlist Creation / 11.5.3:
PocketSOMPlayer - Music Retrieval on Mobile Devices / 11.6:
Playing Scenarios / 11.6.1:
Index / 11.6.3:
Introduction to Learning Principles for Multimedia Data / Part I:
Introduction to Bayesian Methods and Decision Theory / Simon P. Wilson ; Rozenn Dahyot ; Padraig Cunningham1:
Methods for Design for Micro-Assembly / Chapter 1:
Application of a DF[mu]A Methodology to Facilitate the Assembly of a Micro/Nano Measurement Device / Carsten Tietje ; Richard Leach ; Michele Turitto ; Ronaldo Ronaldo ; Svetan Ratchev
A DFA Framework for Hybrid Microsystems / Marcel Tichem ; Dafina Tanase
Statistical Assemblies with Form Errors - A 2D Example / Pierre-Antoine Adragna ; Hugues Favreliere ; Serge Samper ; Maurice Pillet
Methods and Solutions for Micro-Product Design / Chapter 2:
A Classification and Coding System for Micro-Assembly / Amar Kumar Behera ; Shiv G. Kapoor ; Richard E. DeVor
A Method for Three Dimensional Tolerance Analysis and Synthesis applied to Complex and Precise Assemblies / Frederic Germain ; Dimitri Denimal ; Max Giordano
New Designs for Submillimetric Press-Fitting / Ludovic Charvier ; Fabien Bourgeois ; Jacques Jacot ; Gregoire Genolet ; Hubert Lorenz
Design and Testing of an Ortho-Planar Micro-Valve / O. Smal ; B. Raucent ; F. Ceyssens ; R. Puers ; M. De Volder ; D. Reynaerts
Robust Design of a Lens System of Variable Refraction Power with respect to the Assembly Process / Ingo Sieber ; Ulrich Gengenbach ; Rudolf Scharnowell
Micro-Assembly Processes and Applications / Part II:
Process Modelling for Micro-Assembly / Chapter 3:
Product-Process Ontology for Managing Assembly Specific Knowledge between Product Design and Assembly System Simulation / Minna Lanz ; Fernando Garcia ; Timo Kallela ; Reijo Tuokko
Bridging the Gap - From Process Related Documentation to an Integrated Process and Application Knowledge Management in Micro Systems Technology / Markus Dickerhof ; Anna Parusel
Distributed Simulation in Manufacturing using High Level Architecture / J. Rodriguez Alvarado ; R. Velez Osuna ; R. Tuokko
High Precision Packaging and Assembly Processes / Chapter 4:
Adaptive Packaging Solution for a Microlens Array placed over a Micro-UV-LED Array / Markus Luetzelschwab ; Dominik Weiland ; Marc P. Y. Desmulliez
Solder Bumping - A Flexible Joining Approach for the Precision Assembly of Optoelectronical Systems / Erik Beckert ; Thomas Burkhardt ; Ramona Eberhardt ; Andreas Tunnermann
FluidAssem - A New Method of Fluidic-Based Assembly with Surface Tension / N. Boufercha ; J. Sagebarthl ; M. Burgard ; N. Othman ; D. Schlenker ; W. Schafer ; H. Sandmaier
Concepts for Hybrid Micro Assembly using Hot Melt Joining / Sven Rathmann ; Annika Raatz ; Jurgen Hesselbach
Application of Microstereolithography Technology in Micromanufacturing / Hongyi Yang ; Gregory Tsiklos
In Situ Micro-Assembly / Thomas Papastathis
Micro-Assembly Applications / Chapter 5:
Interest of the Inertial Tolerancing Method in the case of Watch Making Micro Assembly
Precision Assembly of Active Microsystems with a Size-Adapted Assembly System / Kerstin Schottler
Assembly of Osseous Fragments in Orthopaedic Surgery: The Need for New Standards of Evaluation / Olivier Cartiaux ; Laurent Paul ; Pierre-Louis Docquier ; Xavier Banse ; Benoit Raucent
Gripping and Feeding Solutions for Micro-Assembly / Part III:
Micro-Gripping Methods and Applications / Chapter 6:
A Critical Review of Releasing Strategies in Microparts Handling / Gualtiero Fantoni ; Marcello Porta
A Low Cost Coarse/Fine Piezoelectrically Actuated Microgripper with Force Measurement Adapted to the EUPASS Control Structure / Kanty Rabenorosoa ; Yassine Haddab ; Philippe Lutz
Development of a Monolithic Shape Memory Alloy Manipulator / Kostyantyn Malukhin ; Kornel Ehmann
Statically Determined Gripper Construction / Ronald Plak ; Roger Gortzen ; Erik Puik
Precision Positioning down to Single Nanometres Based on Micro Harmonic Drive Systems / Andreas Staiger ; Reinhard Degen
Assembly of a Micro Ball-Bearing using a Capillary Gripper and a Microcomponent Feeder / C. Lenders ; J.-B. Valsamis ; M. Desaedeleer ; A. Delchambre ; P. Lambert
High Precision Positioning and Feeding Techniques / Chapter 7:
Pneumatic Contactless Microfeeder: Design Optimisation and Experimental Validation
Pneumatic Positioning System for Precision Assembly / Martin Freundt ; Christian Brecher ; Christian Wenzel ; Nicolas Pyschny
Manufacturing of Devices for the Parallel Precision Alignment of Multiple Micro Components / Martin Weinzierl
Micro-Metrology / Chapter 8:
Towards a Traceable Infrastructure for Low Force Measurements / Richard K. Leach ; Christopher W. Jones
When Manufacturing Capability Exceeds Control Capability: The Paradox of High Precision Products / S. Koelemeijer Chollet ; M. Braun ; F. Bourgeois ; J. Jacot
Impact Forces Reduction for Micro-Assembly
Development of Micro-Assembly Production Systems / Part IV:
Design of Modular Reconfigurable Micro-Assembly Systems / Chapter 9:
Strategies and Devices for a Modular Desktop Factory / Arne Burisch
A Decision Making Tool for Reconfigurable Assembly Lines - EUPASS Project / F. Wehrli ; S. Dufey
Standardised Interface and Construction Kit for Micro-Assembly / Matthias Haag ; Samuel Harer ; Andreas Hoch ; Florian Simons
Towards a Publish/Subscribe Control Architecture for Precision Assembly with the Data Distribution Standard / Marco Ryll
Smart Assembly - Data and Model Driven / Juhani Heilala ; Heli Helaakoski ; Irina Peltomaa
Assembly System Integration / Chapter 10:
Man - Robot Co-operation - New Technologies and New Solutions / Timo Salmi ; Ilari Marastio ; Timo Malm ; Esa Laine
Integration of Design and Assembly using Augmented Reality / Juha Saaski ; Tapio Salonen ; Mika Hakkarainen ; Sanni Siltanen ; Charles Woodward ; Juhani Lempiainen
Concept for an Industrial Ubiquitous Assembly Robot / Mikko Sallinen
Introduction: Problem Solving, EC and EMO / Joshua Knowles ; David Corne ; Kalyanmoy Deb
Exploiting Multiple Objectives: From Problems to Solutions / Part I:
Multiobjective Optimization and Coevolution / Sevan Gregory Ficici
Constrained Optimization via Multiobjective Evolutionary Algorithms / Efren Mezura-Montes ; Carlos A. Coello Coello
Tackling Dynamic Problems with Multiobjective Evolutionary Algorithms / Lam T. Bui ; Minh-Ha Nguyen ; Jurgen Branke ; Hussein A. Abbass
Computational Studies of Peptide and Protein Structure Prediction Problems via Multiobjective Evolutionary Algorithms / Vincenzo Cutello ; Giuseppe Narzisi ; Giuseppe Nicosia
Can Single-Objective Optimization Profit from Multiobjective Optimization? / Frank Neumann ; Ingo Wegener
Modes of Problem Solving with Multiple Objectives: Implications for Interpreting the Pareto Set and for Decision Making / Julia Handl
Machine Learning with Multiple Objectives / Part II:
Multiobjective Supervised Learning / Jonathan E. Fieldsend ; Richard M. Everson
Reducing Bloat in GP with Multiple Objectives / Stefan Bleuler ; Johannes Bader ; Eckart Zitzler
Multiobjective GP for Human-Understandable Models: A Practical Application / Katya Rodriguez-Vazquez ; Peter J. Fleming
Multiple Objectives in Design and Engineering / Part III:
Innovization: Discovery of Innovative Design Principles Through Multiobjective Evolutionary Optimization / Aravind Srinivasan
User-Centric Evolutionary Computing: Melding Human and Machine Capability to Satisfy Multiple Criteria / Ian C. Parmee ; Johnson A. R. Abraham ; Azahar Machwe
Multi-competence Cybernetics: The Study of Multiobjective Artificial Systems and Multi-fitness Natural Systems / Amiram Moshaiov
Scaling up Multiobjective Optimization / Part IV:
Fitness Assignment Methods for Many-Objective Problems / Evan J. Hughes
Modeling Regularity to Improve Scalability of Model-Based Multiobjective Optimization Algorithms / Yaochu Jin ; Aimin Zhou ; Qingfu Zhang ; Bernhard Sendhoff ; Edward Tsang
Objective Set Compression / Edwin D. de Jong ; Anthony Bucci
On Handling a Large Number of Objectives A Posteriori and During Optimization / Dimo Brockhoff ; Dhish Kumar Saxena
Index
Introduction: Problem Solving, EC and EMO / Joshua Knowles ; David Corne ; Kalyanmoy Deb
Exploiting Multiple Objectives: From Problems to Solutions / Part I:
Multiobjective Optimization and Coevolution / Sevan Gregory Ficici
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence., Max A. Bramer, Frans Coenen, M. Petridis, British Computer Society., Miltos Petridis
Adventures in Personalized Web Search / Barry Smyth
Best Technical Paper
An Evolutionary Algorithm-Based Approach to Robust Analog Circuit Design using Constrained Multi-Objective Optimization / Giuseppe Nicosia ; Salvatore Rinaudo ; Eva Sciacca
Construction of Heuristics for a Search-Based Approach to Solving Sudoku / Sian Jones ; Paul Roach ; Stephanie Perkins
Escaping Local Optima: Constraint Weights vs. Value Penalties
Dynamic Rule Mining for Argumentation Based Systems / Maya Wardeh ; Trevor Bench-Capon ; Frans Coenen
AI Techniques
Extending Jess to Handle Uncertainty / David Corsar ; Derek Sleeman ; Anne McKenzie
Modelling Affective-based Music Compositional Intelligence with the Aid of ANS Analyses / Toshihito Sugimoto ; Roberto Legaspi ; Akihiro Ota ; Koichi Moriyama ; Satoshi Kurihara ; Masayuki Numao
Supporting Temporal Information in Medical Care Planning / Kirsty Bradbrook ; Graham Winstanley
Learning Sets of Sub-Models for Spatio-Temporal Prediction / Andrew Bennett ; Derek Magee
Data Mining And Machine Learning
Frequent Set Meta Mining: Towards Multi-Agent Data Mining / Kamal Ali Albashiri ; Rob Sanderson ; Paul Leng
A Flexible Framework to Experiment With Ontology Learning Techniques / Ricardo A Gacitua ; Peter Sawyer ; Paul Rayson
Evolving a Dynamic Predictive Coding Mechanism for Novelty Detection / Simon J. Haggett ; Dominique F. Chu ; Ian W. Marshall
Selecting Bi-Tags for Sentiment Analysis of Text / Rahman Mukras ; Nirmalie Wiratunga ; Robert Lothian
Multi-Agent Systems
Merging Intelligent Agency and the Semantic Web / John Debenham ; Carles Sierra
Can Agents Without Concepts Think? An Investigation Using a Knowledge Based System / Nicky Moss ; Adrian Hopgood ; Martin Weller
Effective Selection of Abstract Plans for Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Kensuke Fukuda ; Toshihiro Takada
Expressive Security Policy Rules using Layered Conceptual Graphs / Madalina Croitoru ; Liang Xiao ; David Dupplaw ; Paul Lewis
Data Mining
Relevance Feedback for Association Rules by Leveraging Concepts from Information Retrieval / Georg Ru? ; Mirko Bottcher ; Detlef Nauck ; Rudolf Kruse
Visualization and Grouping of Graph Patterns in Molecular Databases / Edgar H. de Graaf ; Walter A. Kosters ; Joost N. Kok ; Jeroen Kazius
Routing Protocols for Next-Generation Networks Inspired by Collective Behaviors of Insect Societies: An Overview / Muddassar Farooq ; Gianni A. Di Caro
Applications / Part II:
Evolution, Self-organization and Swarm Robotics / Vito Trianni ; Stefano Nolfi ; Marco Dorigo
Particle Swarms for Dynamic Optimization Problems / Tim Blackwell ; Jurgen Branke
An Agent-Based Approach to Self-organized Production / Thomas Seidel ; Jeanette Hartwig ; Richard L. Sanders ; Dirk Helbing
Organic Computing and Swarm Intelligence / Daniel Merkle ; Martin Middendorf ; Alexander Scheidler
Introduction / Part I:
Biological Foundations of Swarm Intelligence / Madeleine Beekman ; Gregory A. Sword ; Stephen J. Simpson
Swarm Intelligence in Optimization / Christian Blum ; Xiaodong Li
Towards Brain-inspired Web Intelligence / Ning Zhong
Data Mining Technologies Inspired from Visual Principle / Zongben Xu
Semantic Web Services
A Context Model for Service Composition Based on Dynamic Description Logic / Wenjia Niu ; Zhongzhi Shi ; Liang Chang
Evaluation of Ontologies and DL Reasoners / Muhammad Fahad ; Muhammad Abdul Qadir ; Syed Adnan Hussain Shah
ER2OWL: Generating OWL ontology from ER Diagram
Knowledge Acquisition and Management
Voice Knowledge Acquisition System / Stefan du Chateau ; Danielle Boulanger ; Eunika Mercier-Laurent
Granularity of Knowledge from Different Sources / Maria A. Mach ; Mieczyslaw L. Owoc
Fuzzy Ontology Models Based on Fuzzy Linguistic Variable for Knowledge Management and Information Retrieval / Jun Zhai ; Yiduo Liang ; Jiatao Jiang ; Yi Yu
Data Mining
Blog Classification: Adding Linguistic Knowledge to Improve the K-NN Algorithm / Ines Bayoudh ; Nicolas Bechet ; Mathieu Roche
A Modified Clustering Method with Fuzzy Ants / Jianbin Chen ; Deying Fang ; Yun Xue
An New Algorithm for Modeling Regression Curve / JiSheng Hao ; Lerong Ma ; Wendong Wang
Web Search
Enhancing Web Search with Heterogeneous Semantic Knowledge / Rui Huang
Exploring Words with Semantic Correlations from Chinese Wikipedia / Yun Li ; Kaiyan Huang ; Seiji Tsuchiya ; Fuji Ren ; Yixin Zhong
A Heuristic Knowledge Reduction Algorithm Based on Partition Subdivision and Consistent Degree / Wen Huo ; Xiaoguang Hong
Cognition-based Intelligent Information Processing Object-based Image Retrieval with Attention Analysis and Spatial Rerank- ing / Ke Gao ; Shouxun Lin ; Yongdong Zhang ; Sheng Tang
Forecasting Stock Exchange Movements Using Artificial Neural Network Models and Hybrid Models / Erkam GURESEN ; Gulgun KAYAKUTLU
A Robot Emotion Generation Mechanism Based on PAD Emotion Space / Qingji Gao ; Kai Wang ; Haijuan Liu
Study of Personalized Network Tutoring System Based on Emotional-cognitive Interaction / Manfei Qi ; Ding Ma ; Wansen Wang
Image Processing
A Novel Fingerprint Matching Method Combining Geometric and Texture Features / Mei Xie ; Chengpu Yu ; Jin Qi
Distinctive Image Region Features from Color Invariant Moments / L. Guo ; Z. Shi ; J. Zhao ; R. Zhang
Inter-video Similarity for Video Parsing / Arne Jacobs ; Andree Ludtke ; Otthein Herzog
Image Segmentation of Historical Handwriting from Palm Leaf Manu-scripts / Olarik Surinta ; Rapeeporn Chamchong
Virtual Organization and Applications
Virtual Organizations: Trends and Models / Mohammad Reza Nami ; Abbaas Malekpour
A Survey on UML Based Regression Testing / Aamer Nadeem
Virtual Organizations: An Overview
Risk Management and Computational Linguistics
A Risk Assessment System with Automatic Extraction of Event Types / Philippe Capet ; Thomas Delavallade ; Takuya Nakamura ; Agnes Sandor ; Cedric Tarsitano ; Stavroula Voyatzi
Addressing Risk Assessment for Patient Safety in Hospitals through Informa-tion Extraction in Medical Reports / Denys Proux ; Frederique Segond ; Solweig Gerbier ; Marie Helene Metzger
An SMS-based System Architecture (Logical Model) to Support Management of Information Exchange in Emergency Situations / Zygmunt Vetulani ; Jacek Marciniak ; Pawel Konieczka ; Justyna Walkowska
Semi Automatic Ontology Instantiation in the Domain of Risk Manage-ment / Jawad Makki ; Anne-Marie Alquier ; Violaine Prince
Author Index
Keynote Presentations
Semantic Computing / Phillip C-y Sheu
Towards Brain-inspired Web Intelligence / Ning Zhong
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
Joint Conversation Specification and Compliance / Shamimabi Paurobally ; Michael Wooldridge
Interoperation in Protocol Enactment / Amit K. Chopra ; Munindar P. Singh
Contributed Papers: Modeling
Integrating Agent Models and Dynamical Systems / Tibor Bosse ; Alexei Sharpanskykh ; Jan Treur
Contributed Papers: Goals
Composing High-Level Plans for Declarative Agent Programming / Felipe Meneguzzi ; Michael Luck
Satisfying Maintenance Goals / Koen V. Hindriks ; M. Birna van Riemsdijk
Towards Alternative Approaches to Reasoning About Goals / Patricia H. Shaw ; Rafael H. Bordini
Contributed Papers: Foundational Concepts
Reflections on Agent Beliefs / John W. Lloyd ; Kee Siong Ng
Modeling Agents' Choices in Temporal Linear Logic / Duc Quang Pham ; James Harland ; Michael Winikoff
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints / Martin J. Kollingbaum ; Wamberto Vasconcelos ; Andres García-Camino ; Timothy J. Norman
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
Contributed Papers: Communication
Structured Argumentation in a Mediator for Online Dispute Resolution / Ioan Alfred Letia ; Adrian Groza
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Component-Based Standardisation of Agent Communication / Frank Guerin
Author Index
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
To Adapt or Not to Adapt - Consequences of Adapting Driver and Traffic Light Agents / Ana L.C. Bazzan ; Denise de Oliveira ; Franziska Klügl ; Kai Nagel
Optimal Control in Large Stochastic Multi-agent Systems / Bart van den Broek ; Wim Wiegerinck ; Bert Kappen
Continuous-State Reinforcement Learning with Fuzzy Approximation / Lucian Busoniu ; Damien Ernst ; Bart De Schutter ; Robert Babuśka
Using Evolutionary Game-Theory to Analyse the Performance of Trading Strategies in a Continuous Double Auction Market / Kai Cai ; Jinzhong Niu ; Simon Parsons
Parallel Reinforcement Learning with Linear Function Approximation / Matthew Grounds ; Daniel Kudenko
Combining Reinforcement Learning with Symbolic Planning
Agent Interactions and Implicit Trust in IPD Environments / Enda Howley ; Colm O'Riordan
Collaborative Learning with Logic-Based Models / Michal Jakob ; Jan To&zbreve;i&cbreve;ka ; Michal Pěchouček
Priority Awareness: Towards a Computational Model of Human Fairness for Multi-agent Systems / Steven de Jong ; Karl Tuyls ; Katja Verbeeck ; Nico Roos
Bifurcation Analysis of Reinforcement Learning Agents in the Selten's Horse Game / Alessandro Lazaric ; Enrique Munoz de Cote ; Fabio Dercole ; Marcello Restelli
Bee Behaviour in Multi-agent Systems: A Bee Foraging Algorithm / Nyree Lemmens ; Ann Nowe
Stable Cooperation in the N-Player Prisoner's Dilemma: The Importance of Community Structure / Humphrey Sorensen
Solving Multi-stage Games with Hierarchical Learning Automata That Bootstrap / Maarten Peeters ; Ann Nowé
Auctions, Evolution, and Multi-agent Learning / Steve Phelps ; Peter McBurney ; Elizabeth Sklar
Multi-agent Reinforcement Learning for Intrusion Detection / Arturo Servin
Networks of Learning Automata and Limiting Games / Peter Vrancx
Multi-agent Learning by Distributed Feature Extraction / Michael Wurst
Author Index
To Adapt or Not to Adapt - Consequences of Adapting Driver and Traffic Light Agents / Ana L.C. Bazzan ; Denise de Oliveira ; Franziska Klügl ; Kai Nagel
Optimal Control in Large Stochastic Multi-agent Systems / Bart van den Broek ; Wim Wiegerinck ; Bert Kappen
Continuous-State Reinforcement Learning with Fuzzy Approximation / Lucian Busoniu ; Damien Ernst ; Bart De Schutter ; Robert Babuśka
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Regular Papers
Improving Angle Based Mappings / Frank Rehm ; Frank Klawonn
Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks / Manolis Maragoudakis ; Nikolaos Cosmas ; Aristogiannis Garbis
Boosting over Groups and Its Application to Acronym-Expansion Extraction / Weijian Ni ; Yalou Huang ; Dong Li ; Yang Wang
A Genetic-Based Feature Construction Method for Data Summarisation / Rayner Alfred
Suicidal Risk Evaluation Using a Similarity-Based Classifier / S. Chattopadhyay ; P. Ray ; H.S. Chen ; M.B. Lee ; H.C. Chiang
Gene Selection for Cancer Classification Using DCA / Hoai An Le Thi ; Van Vinh Nguyen ; Samir Ouchani
FARS: A Multi-relational Feature and Relation Selection Approach for Efficient Classification / Bo Hu ; Hongyan Liu ; Jun He ; Xiaoyong Du
Enhancing Text Categorization Using Sentence Semantics / Shady Shehata ; Fakhri Karray ; Mohamed Kamel
Mining Evolving Web Sessions and Clustering Dynamic Web Documents for Similarity-Aware Web Content Management / Jitian Xiao
Data Quality in Privacy Preservation for Associative Classification / Nattapon Harnsamut ; Juggapong Natwichai ; Xingzhi Sun ; Xue Li
Timeline Analysis of Web News Events / Jiangtao Qiu ; Chuan Li ; Shaojie Qiao ; Taiyong Li ; Jun Zhu
Analysis of Alarm Sequences in a Chemical Plant / Savo Kordic ; Peng Lam ; Huaizhong Li
Speed Up SVM Algorithm for Massive Classification Tasks / Thanh-Nghi Do ; Van-Hoa Nguyen ; Francois Poulet
Mining Supplemental Frequent Patterns / Yintian Liu ; Yingming Liu ; Tao Zeng ; Kaikuo Xu ; Rong Tang
A Distributed Privacy-Preserving Association Rules Mining Scheme Using Frequent-Pattern Tree / Chunhua Su ; Kouichi Sakurai
Dichotomy Method toward Interactive Testing-Based Fault Localization / Ji-Rong Sun ; Zhi-Shu Li ; Jian-Cheng Ni
Maintaining the Maximum Normalized Mean and Applications in Data Stream Mining / Jan Peter Patist
Identification of Interface Residues Involved in Protein-Protein Interactions Using Naive Bayes Classifier / Chishe Wang ; Jiaxing Cheng ; Shoubao Su ; Donzhe Xu
Negative Generator Border for Effective Pattern Maintenance / Mengling Feng ; Jinyan Li ; Limsoon Wong ; Yap-Peng Tan
CommTracker: A Core-Based Algorithm of Tracking Community Evolution / Yi Wang ; Bin Wu ; Xin Pei
Face Recognition Using Clustering Based Optimal Linear Discriminant Analysis / Wenxin Yang ; Shuqin Rao ; Jina Wang ; Jian Yin ; Jian Chen
A Novel Immune Based Approach for Detection of Windows PE Virus / Yu Zhang ; Tao Li ; Jia Sun ; Renchao Qin
Using Genetic Algorithms for Parameter Optimization in Building Predictive Data Mining Models / Ashish Sureka ; Kishore Varma Indukuri
Using Data Mining Methods to Predict Personally Identifiable Information in Emails / Liqiang Geng ; Larry Korba ; Xin Wang ; Yunli Wang ; Hongyu Liu ; Yonghua You
Iterative Reinforcement Cross-Domain Text Classification / Di Zhang ; Gui-Rong Xue ; Yong Yu
Extracting Decision Rules from Sigmoid Kernel / Quanzhong Liu ; Yang Zhang ; Zhengguo Hu
DMGrid: A Data Mining System Based on Grid Computing / Liutong Xu ; Guanhui Geng ; Xiangang Zhao ; Nan Du
S-SimRank: Combining Content and Link Information to Cluster Papers Effectively and Efficiently / Yuanzhe Cai ; Pei Li
Open Domain Recommendation: Social Networks and Collaborative Filtering / Sarah K. Tyler ; Yi Zhang
An Effective Approach for Identifying Evolving Three-Dimensional Structural Motifs in Protein Folding Data / Hui Yang ; Lin Han
Texture Image Retrieval Based on Contourlet Transform and active Perceptual Similarity Learning / Huaijing Qu ; Yuhua Peng ; Honglin Wan ; Min Han
A Temporal Dominant Relationship Analysis Method / Jing Yang ; Yuanxi Wu ; Cuiping Li ; Hong Chen ; Bo Qu
Leakage-Aware Energy Efficient Scheduling for Fixed-Priority Tasks with Preemption Thresholds / XiaoChuan He ; Yan Jia
Short Papers
Learning and Inferences of the Bayesian Network with Maximum Likelihood Parameters / JiaDong Zhang ; Kun Yue ; WeiYi Liu
TARtool: A Temporal Dataset Generator for Market Basket Analysis / Asem Omari ; Regina Langer ; Stefan Conrad
Dimensionality Reduction for Classification: Comparison of Techniques and Dimension Choice / Frank Plastria ; Steven De Bruyne ; Emilio Carrizosa
Trajectories Mining for Traffic Condition Renewing / Danhuai Guo
Mining Bug Classifier and Debug Strategy Association Rules for Web-Based Applications / Lian Yu ; Changzhu Kong ; Lei Xu ; Jingtao Zhao ; HuiHui Zhang
Test the Overall Significance of p-Values by Using Joint Tail Probability of Ordered p-Values as Test Statistic / Yongxiang Fang ; Ernst Wit
Mining Interesting Infrequent and Frequent Itemsets Based on MLMS Model / Xiangjun Dong ; Zhendong Niu ; Donghua Zhu ; Zhiyun Zheng ; Qiuting Jia
Text Learning and Hierarchical Feature Selection in Webpage Classification / Xiaogang Peng ; Zhong Ming ; Haitao Wang
The RSO Algorithm for Reducing Number of Set Operations in Association Rule Mining / Muhammad Sarwar ; Onaiza Maqbool
Predictive Performance of Clustered Feature-Weighting Case-Based Reasoning / Sung Ho Ha ; Jong Sik Jin ; Jeong Won Yang
Selecting the Right Features for Bipartite-Based Text Clustering / Chao Qu ; Yong Li ; Jie Zhang ; Tianming Hu ; Qian Chen
Image Emotional Classification Based on Color Semantic Description / Kaiping Wei ; Bin He ; Tao Zhang ; Wenya He
A Semi-supervised Clustering Algorithm Based on Must-Link Set / Haichao Huang ; Yong Cheng ; Ruilian Zhao
T-rotation: Multiple Publications of Privacy Preserving Data Sequence / Youdong Tao ; Yunhai Tong ; Shaohua Tan ; Shiwei Tang ; Dongqing Yang
The Integrated Methodology of KPCA and Wavelet Support Vector Machine for Predicting Financial Distress / Jian-guo Zhou ; Tao Bai ; Ji-ming Tian
Outlier Detection Based on Voronoi Diagram / Jilin Qu
AWSum - Data Mining for Insight / Anthony Quinn ; Andrew Stranieri ; John Yearwood ; Gaudenz Hafen
Integrative Neural Network Approach for Protein Interaction Prediction from Heterogeneous Data / Xue-wen Chen ; Mei Liu ; Yong Hu
Rules Extraction Based on Data Summarisation Approach Using DARA
A Rough-Apriori Technique in Mining Linguistic Association Rules / Yun-Huoy Choo ; Azuraliza Abu Bakar ; Abdul Razak Hamdan
Mining Causal Knowledge from Diagnostic Knowledge / Xiangdong An ; Nick Cercone
Modified Particle Swarm Optimizer with Adaptive Dynamic Weights for Cancer Combinational Chemotherapy / Harish Chandra Soundararajan ; Jagannathan Raman ; R. Muthucumaraswamy
MPSQAR: Mining Quantitative Association Rules Preserving Semantics / Chunqiu Zeng ; Jie Zuo ; Shengqiao Ni ; Liang Tang ; Yue Zhang
Using Support Vector Regression for Classification / Bo Huang ; Zhihua Cai ; Qiong Gu ; Changjun Chen
Dynamic Growing Self-organizing Neural Network for Clustering / Daxin Tian ; Yueou Ren ; Qiuju Li
A Design of Reward Function Based on Knowledge in Multi-agent Learning / Bo Fan ; Jiexin Pu
A Learning Method of Detecting Anomalous Pedestrian / Yue Liu ; Jun Zhang ; Zhijing Liu
Moment+: Mining Closed Frequent Itemsets over Data Stream / Haifeng Li
CDPM: Finding and Evaluating Community Structure in Social Networks / Li Wan ; Jianxin Liao ; Xiaomin Zhu
Using Matrix Model to Find Association Rule Core for Diverse Compound Critiques / Li Yu
Link-Contexts for Ranking / Jessica Gronski
DC-Tree: An Algorithm for Skyline Query on Data Streams / Cui-Ping Li
Sequential Pattern Mining for Protein Function Prediction / Miao Wang ; Xue-qun Shang ; Zhan-huai Li
Improving Web Search by Categorization, Clustering, and Personalization / Dengya Zhu ; Heinz Dreher
JSNVA: A Java Straight-Line Drawing Framework for Network Visual Analysis / Qi Ye ; Bai Wang
Recognition of Data Records in Semi-structured Web-Pages Using Ontology and X[superscript 2] Statistical Distribution / Amin Keshavarzi ; Amir Masoud Rahmani ; Mehran Mohsenzadeh ; Reza Keshavarzi
Organizing Structured Deep Web by ClusteringQuery Interfaces Link Graph / Pengpeng Zhao ; Li Huang ; Wei Fang ; Zhiming Cui
CBP: A New Efficient Method for Mining Multilevel and Generalized Frequent Itemsets / Yu Xing Mao ; Bai Le Shi
Supporting Customer Retention through Real-Time Monitoring of Individual Web Usage / Peter I. Hofgesang
A Comparative Study of Correlation Measurements for Searching Similar Tags / Yu Chen ; Yexi Jiang ; Jie Gong
Structure of Query Modification Process: Branchings / Nikolai Buzikashvili
Mining Top-n Local Outliers in Constrained Spatial Networks / Chongsheng Zhang ; Zhongbo Wu
Mining Concept-Drifting Data Streams with Multiple Semi-Random Decision Trees / Peipei Li ; Xuegang Hu ; Xindong Wu
Automatic Web Tagging and Person Tagging Using Language Models / Qiaozhu Mei
Real-Time Person Tracking Based on Data Field / Shuliang Wang ; Juebo Wu ; Feng Cheng ; Hong Jin
Author Index
Keynotes
An Introduction to Transfer Learning / Qiang Yang
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Some Simplified Forms of Reasoning with Distance-Based Entailments / Ofer Arieli ; Anna Zamansky
A Belief-Theoretic Reputation Estimation Model for Multi-context Communities / Ebrahim Bagheri ; M. Barouni-Ebrahimi ; Reza Zafarani ; Ali A. Ghorbani
A Frequency Mining-Based Algorithm for Re-ranking Web Search Engine Retrievals
Multi-agent Framework for a Virtual Enterprise of Demand-Responsive Transportation / Daniel Cabrera ; Claudio Cubillos
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning / Alan Davoust ; Michael W. Floyd ; Babak Esfandiari
Aspects of Inconsistency Resolution in Modular Ontologies / Faezeh Ensan ; Weichang Du
Fast Markov Blanket Discovery Algorithm Via Local Learning within Single Pass / Shunkai Fu ; Michel C. Desmarais
Finding Topics in Email Using Formal Concept Analysis and Fuzzy Membership Functions / Liqiang Geng ; Larry Korba ; Yunli Wang ; Xin Wang ; Yonghua You
Recognizing Biomedical Named Entities in Chinese Research Abstracts / Baohua Gu ; Fred Popowich ; Veronica Dahl
Point-Based Planning for Predictive State Representations / Masoumeh T. Izadi ; Doina Precup
Comparison of Pleomorphic and Structural Features Used for Breast Cancer Malignancy Classification / Lukasz Jelen ; Adam Krzyzak ; Thomas Fevens
Towards a Faster Inference Algorithm in Multiply Sectioned Bayesian Networks / Karen H. Jin ; Dan Wu
Using Dependence Diagrams to Summarize Decision Rule Sets / Kamran Karimi ; Howard J. Hamilton
A Fast Computation of Inter-class Overlap Measures Using Prototype Reduction Schemes / Sang-Woon Kim ; B. John Oommen
A Reputation Model Framework for Artificial Societies: A Case Study in Child Vehicle Safety Simulation / Ziad Kobti ; Shamual Rahaman ; Anne W. Snowdon ; Robert D. Kent
Selective Sampling for Classification / Francois Laviolette ; Mario Marchand ; Sara Shanian
Full Border Identification for Reduction of Training Sets / Guichong Li ; Trevor J. Stocki ; R. Kurt Ungar
Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF / Serguei A. Mokhov
Predicting User Preferences Via Similarity-Based Clustering / Mian Qin ; Scott Buffett ; Michael W. Fleming
Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems / Tyrel Russell ; Peter van Beek
An Intelligent Automatic Face Contour Prediction System / Seref Sagiroglu ; Necla Ozkaya
Word Clustering with Validity Indices / Ahmad El Sayed ; Julien Velcin ; Djamel Zighed
The Role of Nominalizations in Prepositional Phrase Attachment in GENIA / Jonathan Schuman ; Sabine Bergler
A Statistical Model for Topic Segmentation and Clustering / M. Mahdi Shafiei ; Evangelos E. Milios
Image Transformation: Inductive Transfer between Multiple Tasks Having Multiple Outputs / Daniel L. Silver ; Liangliang Tu
Using Unsupervised Learning for Network Alert Correlation / Reuben Smith ; Maxwell Dondo ; Peter Mason
Verbs Speak Loud: Verb Categories in Learning Polarity and Strength of Opinions / Marina Sokolova ; Guy Lapalme
A Stochastic Point-Based Algorithm for POMDPs / Ludovic Tobin
Semi-supervised Self-training for Sentence Subjectivity Classification / Bin Wang ; Bruce Spencer ; Charles X. Ling ; Harry Zhang
A Novel Approach for Social Behavior Analysis of the Blogosphere / Mohammad-Amin Jashki ; Hamidreza Baghi
Seller Bidding in a Trust-Based Incentive Mechanism for Dynamic E-Marketplaces / Jie Zhang ; Robin Cohen
Author Index
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist / Stephen Muggleton
Tutorials
Logic, Probability and Learning, or an Introduction to Statistical Relational Learning
Text Mining
From ILP to PILP
Computer Vision and Pattern Recognition
Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications / C.G. Gonzalez ; W. Bonventi Jr. ; A.L. Vieira Rodrigues
Multi-Dimensional Dynamic Time Warping for Image Texture Similarity / Rodrigo Fernandes de Mello ; Iker Gondra
Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven Facial Animation / Lucas D. Terissi ; Juan Carlos Gomez
Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis / Carlos Eduardo Thomaz ; Gilson Antonio Giraldi
Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory
Enhancing the Interaction between Agents and Users / Marcelo Armentano ; Silvia Schiaffino ; Analia Amandi
Re-routing Agents in an Abstract Traffic Scenario / Ana L.C. Bazzan ; Franziska Klugl
A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm / Gutierrez Soares Caixeta ; Rita Maria da Silva Julia
An Experimental Approach to Online Opponent Modeling in Texas Hold'em Poker / Dinis Felix ; Luis Paulo Reis
Individual and Social Behaviour in the IPA Market with RL / Eduardo Rodrigues Gomes ; Ryszard Kowalczyk
Optimizing Preferences within Groups: A Case Study on Travel Recommendation / Fabiana Lorenzi ; Fernando dos Santos ; Paulo R. Ferreira Jr.
Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems / Diego R. Pereira ; Luciano V. Goncalves ; Gracaliz P. Dimuro ; Antonio C.R. Costa
Probabilistic Multiagent Patrolling / Tiago Sak ; Jacques Wainer ; Siome Klein Goldenstein
Knowledge Representation and Reasoning
Proving Epistemic and Temporal Properties from Knowledge Based Programs / Mario Benevides ; Carla Delgado ; Michel Carlini
Detecting Code Evolution in Programming Learning / Thais Castro ; Hugo Fuks ; Alberto Castro
Revising Specifications with CTL Properties Using Bounded Model Checking / Marcelo Finger ; Renata Wassermann
Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach / Alexandre Rademaker ; Edward Hermann Haeusler
A Case for Numerical Taxonomy in Case-Based Reasoning / Luis A.L. Silva ; John A. Campbell ; Nicholas Eastaugh ; Bernard F. Buxton
Methodical Construction of Symbolic Diagrams / Paulo A.S. Veloso ; Sheila R.M. Veloso
Machine Learning and Data Mining
Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis / Maria J.P. Dantas ; Leonardo da C. Brito ; Paulo C.M. Machado ; Paulo H.P. de Carvalho
Fitting a Least Absolute Deviation Regression Model on Interval-Valued Data / Andre Luis Santiago Maia ; Francisco de A.T. de Carvalho
Missing Value Imputation Using a Semi-supervised Rank Aggregation Approach / Edson T. Matsubara ; Ronaldo C. Prati ; Gustavo E.A.P.A. ; Maria C. Monard
A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis Function / Alexandre da Silva Simoes ; Anna Helena Reali Costa
A Robust Methodology for Comparing Performances of Clustering Validity Criteria / Lucas Vendramin ; Ricardo J.G.B. Campello ; Eduardo R. Hruschka
Natural Language Processing
An Experiment in Spanish-Portuguese Statistical Machine Translation / Wilker Ferreira Aziz ; Thiago Alexandre Salgueiro Pardo ; Ivandre Paraboni
On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation / Helena de M. Caseli ; Maria das Gracas V. Nunes ; Mikel L. Forcada
Robotics
Experiments in the Coordination of Large Groups of Robots / Leandro Soriano Marcolino ; Luiz Chaimowicz
Evolving an Artificial Homeostatic System / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben ; Phil Husbands
Author Index
Invited Papers
Logical and Relational Learning / Luc De Raedt
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
A Study of Schedule Robustness for Job Shop with Uncertainty / Ines Gonzalez-Rodriguez ; Jorge Puente ; Ramiro Varela ; Camino R. Vela
A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition / Ourania Hatzi ; Georgios Meditskos ; Dimitris Vrakas ; Nick Bassiliades ; Dimosthenis Anagnostopoulos ; Ioannis Vlahavas
Towards the Use of XPDL as Planning and Scheduling Modeling Tool: The Workflow Patterns Approach / Arturo Gonzalez-Ferrer ; Juan Fdez-Olivares ; Luis Castillo ; Lluvia Morales
Constraint Satisfaction and Optimization
A Heuristic Method for Balanced Graph Partitioning: An Application for the Demarcation of Preventive Police Patrol Areas / Thiago Assuncao ; Vasco Furtado
Using Indexed Finite Set Variables for Set Bounds Propagation / Ruben Duarte Viegas ; Marco Correia ; Pedro Barahona ; Francisco Azevedo
Probabilistic Reasoning
Extension of Bayesian Network Classifiers to Regression Problems / Antonio Fernandez ; Antonio Salmeron
Transfer Learning for Bayesian Networks / Roger Luis ; L. Enrique Sucar ; Eduardo F. Morales
Machine Learning
A Dipolar Competitive Neural Network for Video Segmentation / R.M. Luque ; D. Lopez-Rodriguez ; E. Dominguez ; E.J. Palomo
Rough Evolutionary Fuzzy System Based on Interactive T-Norms / Graciela L. Meza Lovon ; Maria Bernadete Zanusso
K-Means Initialization Methods for Improving Clustering by Simulated Annealing / Gabriela Trazzi Perim ; Estefhan Dazzi Wandekokem ; Flavio Miguel Varejao
Data Reduction Method for Categorical Data Clustering / Erendira Rendon ; J. Salvador Sanchez ; Rene A. Garcia ; Itzel Abundez ; Citlalih Gutierrez ; Eduardo Gasca
A Multi-measure Nearest Neighbor Algorithm for Time Series Classification / Fabio Fabris ; Idilio Drago ; Flavio M. Varejao
Detection of Anomalies in Large Datasets Using an Active Learning Scheme Based on Dirichlet Distributions / Karim Pichara ; Alvaro Soto ; Anita Araneda
The SKM Algorithm: A K-Means Algorithm for Clustering Sequential Data / Jose G. Dias ; Maria Joao Cortinhal
Multiagent Systems
Ensuring Time in Real-Time Commitments / Marti Navarro ; Stella Heras ; Vicente Julian
Hybrid Multi-agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes / Juan A. Fraile ; Javier Bajo ; Juan M. Corchado
Mixing Greedy and Evolutive Approaches to Improve Pursuit Strategies / Juan Reverte ; Francisco Gallego ; Rosana Satorre ; Faraon Llorens
The Evolution of Negotiation and Impasse in Two-Party Multi-issue Bargaining / Fernando Lopes ; A.Q. Novais ; Helder Coelho
Characters with Character / Isabel Machado Alexandre
Natural Language Processing
Automatic Generalization of a QA Answer Extraction Module Based on Semantic Roles / P. Moreda ; H. Llorens ; E. Saquete ; M. Palomar
A Multilingual Application for Automated Essay Scoring / Daniel Castro-Castro ; Rocio Lannes-Losada ; Montse Maritxalar ; Ianire Niebla ; Celia Perez-Marques ; Nancy C. Alamo-Suarez ; Aurora Pons-Porrata
Combining Frequent and Discriminating Attributes in the Generation of Definite Descriptions / Diego Jesus de Lucena ; Ivandre Paraboni
A Machine Learning Approach to Portuguese Pronoun Resolution / Ramon Re Moya Cuevas
Text Classification on Embedded Manifolds / Catarina Silva ; Bernardete Ribeiro
An Improved Connectionist Translator between Natural Languages / Gustavo A. Casan ; Maria Asuncion Castano
Intelligent Information Systems and NLP
A Framework for Information Retrieval Based on Fuzzy Relations and Multiple Ontologies / Maria Angelica A. Leite ; Ivan L.M. Ricarte
Recommendation System for Automatic Recovery of Broken Web Links / Juan Martinez-Romo ; Lourdes Araujo
Conceptual Subtopic Identification in the Medical Domain / Rafael Berlanga-Llavori ; Henry Anaya-Sanchez ; Ernesto Jimenez-Ruiz
Real-Time Open-Domain QA on the Portuguese Web / Antonio Branco ; Lino Rodrigues ; Joao Silva ; Sara Silveira
Hyponymy Extraction and Web Search Behavior Analysis Based on Query Reformulation / Rui P. Costa ; Nuno Seco
Semantics of Place: Ontology Enrichment / Bruno Antunes ; Ana Alves ; Francisco C. Pereira
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System / M. Ilic ; J. Leite ; M. Slota
Text Retrieval through Corrupted Queries / Juan Otero ; Jesus Vilares ; Manuel Vilares
Robotics
Dynamic Velocity Field Angle Generation for Obstacle Avoidance in Mobile Robots Using Hydrodynamics / Claudia Perez-D'Arpino ; Wilfredis Medina-Melendez ; Leonardo Fermin ; Jose Guzman ; Gerardo Fernandez-Lopez ; Juan Carlos Grieco
Motion Planning for Cooperative Multi-robot Box-Pushing Problem / Ezra Federico Parra-Gonzalez ; Gabriel Ramirez-Torres ; Gregorio Toscano-Pulido
Multi-robot Exploration and Mapping Using Self Biddings / Juan C. Elizondo-Leal ; Gregorio Toscano Pulido
Coordinated Multi-robot Exploration with SRT-Radial / Alfredo Toriz P. ; Abraham Sanchez L. ; Maria A. Osorio L.
On the Selection of a Classification Technique for the Representation and Recognition of Dynamic Gestures / Hector H. Aviles ; Wendy Aguilar ; Luis A. Pineda
Applications
A Fuzzy Hybrid Intelligent System for Human Semen Analysis / Esmeralda Ramos ; Haydemar Nunez ; Roberto Casanas
Genetic Programming for Predicting Protein Networks / Beatriz Garcia ; Ricardo Aler ; Agapito Ledezma ; Araceli Sanchis
Fragmentation and Frontier Evolution for Genetic Algorithms Optimization in Music Transcription / Nuno Fonseca ; Anna Paula Rocha
Applying Genetic Programming to Civil Engineering in the Improvement of Models, Codes and Norms / Juan L. Perez ; Monica Miguelez ; Juan R. Rabunal ; Fernando Martinez Abella
Author Index
Knowledge Representation
Topology and Knowledge of Multiple Agents / Bernhard Heinemann
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning / A. Burrieza ; E. Munoz-Velasco ; M. Ojeda-Aciego
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Semantics and Experience in the Future Web / Enric Plaza
Research Papers
Recognizing the Enemy: Combining Reinforcement Learning with Strategy Selection Using Case-Based Reasoning / Bryan Auslander ; Stephen Lee-Urban ; Chad Hogg ; Hector Munoz-Avila
Formal and Experimental Foundations of a New Rank Quality Measure / Steven Bogaerts ; David Leake
Provenance, Trust, and Sharing in Peer-to-Peer Case-Based Web Search / Peter Briggs
Visualizing and Evaluating Complexity of Textual Case Bases / Sutanu Chakraborti ; Ulises Cervino Beresi ; Nirmalie Wiratunga ; Stewart Massie ; Robert Lothian ; Deepak Khemani
Conservative Adaptation in Metric Spaces / Julien Cojan ; Jean Lieber
Opportunistic Acquisition of Adaptation Knowledge and Cases-The IakA Approach / Amelie Cordier ; Beatrice Fuchs ; Leonardo Lana de Carvalho ; Alain Mille
Noticeably New: Case Reuse in Originality-Driven Tasks / Belen Diaz-Agudo ; Juan A. Recio-Garcia ; Josep-Lluis Arcos
Experience-Based Design of Behaviors in Videogames / Gonzalo Florez Puga ; Pedro Gonzalez-Calero
Considerations for Real-Time Spatially-Aware Case-Based Reasoning: A Case Study in Robotic Soccer Imitation / Michael W. Floyd ; Alan Davoust ; Babak Esfandiari
Retrieval Based on Self-explicative Memories / Albert Fornells ; Eva Armengol ; Elisabet Golobardes
Increasing Precision of Credible Case-Based Inference / Thomas Gabel ; Martin Riedmiller
Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts and Extensions / Ilya Vladimirskiy ; Belen Prados Suarez ; Eva Stauch
Using Case Provenance to Propagate Feedback to Cases and Adaptations / Scott A. Dial
Towards Case-Based Support for e-Science Workflow Generation by Mining Provenance / Joseph Kendall-Morwick
Knowledge Planning and Learned Personalization for Web-Based Case Adaptation / Jay Powell
Cases, Predictions, and Accuracy Learning and Its Application to Effort Estimation / Jingzhou Li ; Brenan Mackas ; Michael M. Richter ; Guenther Ruhe
Evaluation of Feature Subset Selection, Feature Weighting, and Prototype Selection for Biomedical Applications / Suzanne Little ; Ovidio Salvetti ; Petra Perner
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy / Cindy Marling ; Jay Shubrook ; Frank Schwartz
Conversational Case-Based Reasoning in Self-healing and Recovery / David McSherry ; Sa'adah Hassan ; David Bustard
Situation Assessment for Plan Retrieval in Real-Time Strategy Games / Kinshuk Mishra ; Santiago Ontanon ; Ashwin Ram
Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC) / Babak Mougouie
Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning / Pedro Almeida ; Marco Jorge ; Luis Cortesao ; Filipe Martins ; Marco Vieira ; Paulo Gomes
Predicting the Presence of Oil Slicks After an Oil Spill / Juan Manuel Corchado ; Aitor Mata
Case Based Interpretation of Soil Chromatograms / Minu Mary Joseph ; Saritha Variganti
Case-Based Troubleshooting in the Automotive Context: The SMMART Project / Stefania Bandini ; Ettore Colombo ; Giuseppe Frisoni ; Fabio Sartori ; Joakim Svensson
Rapid Prototyping of CBR Applications with the Open Source Tool myCBR / Armin Stahl ; Thomas R. Roth-Berghofer
Author Index
Invited Talks
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Information Flow Analysis in Autonomous Agent and Peer-to-Peer Systems for Self-organizing Electronic Health Records / Ben Tse ; Raman Paranjape ; Samuel R.H. Joseph
P2P Infrastructure
Hybrid DHT Design for Mobile Environments / Stefan Zoels ; Simon Schubert ; Wolfgang Kellerer ; Zoran Despotovic
DANTE: A Self-adapting Peer-to-Peer System / Luis Rodero Merino ; Luis Lopez ; Antonio Fernandez ; Vicent Cholvi
The Exclusion of Malicious Routing Peers in Structured P2P Systems / Bong-Soo Roh ; O-Hoon Kwon ; Sung Je Hong ; Jong Kim
Agents in P2P
Cooperative CBR System for Peer Agent Committee Formation / Hager Karoui ; Rushed Kanawati ; Laure Petrucci
Mobile Agent-Based Approach for Resource Discovery in Peer-to-Peer Networks / Jaafar Gaber ; Mohamed Bakhouya
P2P Search
Chora: Expert-Based P2P Web Search / Halldor Isak Gylfason ; Omar Khan ; Grant Schoenebeck
K-link: A Peer-to-Peer Solution for Organizational Knowledge Management / Giuseppe Pirro' ; Domenico Talia ; Massimo Ruffolo
An Analysis of Interest-Community Facilitated Peer-to-Peer Search / Elth Ogston
Applications
Mitigating the Impact of Liars by Reflecting Peer's Credibility on P2P File Reputation Systems / So Young Lee
A Comparative Study of Reasoning Techniques for Service Selection / Murat Sensoy ; Pinar Yolum
PROSA: P2P Resource Organisation by Social Acquaintances / Vincenza Carchiolo ; Michele Malgeri ; Giuseppe Mangioni ; Vincenzo Nicosia
Studying Viable Free Markets in Peer-to-Peer File Exchange Applications without Altruistic Agents / David Cabanillas ; Steven Willmott
Distributed Multi-layered Network Management for NEC Using Multi-Agent Systems / Richard Vaughan ; James Wise ; Paul Huey ; Michael Alcock ; Jonathan Vaughan ; Steven Shingler ; Graham Atkins
Facilitating Collaboration in a Distributed Software Development Environment Using P2P Architecture / Maryam Purvis ; Martin Purvis ; Bastin Tony Roy Savarimuthu
A Peer to Peer Grid Computing System Based on Mobile Agents / Joon-Min Gil ; Sung-Jin Choi
Author Index
Invited Paper
Information Flow Analysis in Autonomous Agent and Peer-to-Peer Systems for Self-organizing Electronic Health Records / Ben Tse ; Raman Paranjape ; Samuel R.H. Joseph