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
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
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
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
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
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
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
Design Patterns for Decentralised Coordination in Self-organising Emergent Systems / Tom De Wolf ; Tom Holvoet
Measuring Stigmergy: The Case of Foraging Ants / Laszlo Gulyas ; Laszlo Laufer ; Richard Szabo
Algorithms and Techniques
Dynamic Decentralized Any-Time Hierarchical Clustering / Richard Rohwer ; Theodore C. Belding
Behaviosites: A Novel Paradigm for Affecting Distributed Behavior / Amit Shabtay ; Zinovi Rabinovich ; Jeffrey S. Rosenschein
Applications
Programming Modular Robots with the TOTA Middleware / Marco Mamei ; Franco Zambonelli
ASOS: An Adaptive Self-organizing Protocol for Surveillance and Routing in Sensor Networks / Jorge Simao
Towards the Control of Emergence by the Coordination of Decentralized Agent Activity for the Resource Sharing Problem / Frederic Armetta ; Salima Hassas ; Simone Pimont ; Olivier Lefevre
Self-organization and Evolutionary Computing
Reinforcement Learning for Online Control of Evolutionary Algorithms / A.E. Eiben ; Mark Horvath ; Wojtek Kowalczyk ; Martijn C. Schut
Greedy Cheating Liars and the Fools Who Believe Them / Stefano Arteconi ; David Hales ; Ozalp Babaoglu
Evolution and Hypercomputing in Global Distributed Evolvable Virtual Machines Environment / Mariusz Nowostawski ; Martin Purvis
A Decentralised Car Traffic Control System Simulation Using Local Message Propagation Optimised with a Genetic Algorithm / Martin Kelly ; Giovanna Di Marzo Serugendo
Author Index
Overall Design and Fundations
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
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
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Exploiting the Environment for Coordinating Agent Intentions / Paul Valckenaers
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS / Alessandro Ricci ; Mirko Viroli ; Andrea Omicini
Mediated Interaction and Stigmery
Environment as Active Support of Interaction / Julien Saunier ; Flavien Balbo ; Fabien Badeig
Environmental Support for Tag Interactions / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts / Luca Gardelli ; Enrico Oliva
Trace Signals: The Meanings of Stigmergy / Luca Tummolini ; Cristiano Castelfranchi
Regulation Function of the Environment in Agent-Based Simulation / Stefania Bandini ; Giuseppe Vizzari
Governing Environment
Establishing Global Properties of Multi-Agent Systems Via Local Laws / Wenxuan Zhang ; Constantin Serban ; Naftaly Minsky
E4MAS Through Electronic Institutions / Josep Lluis Arcos ; Pablo Noriega ; Juan A. Rodriguez-Aguilar ; Carles Sierra
Spatially Distributed Normative Infrastructure / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems / Rodrigo Paes ; Gustavo Carvalho ; Maira Gatti ; Carlos Lucena ; Jean-Pierre Briot ; Ricardo Choren
Applications
Urban Traffic Control with Co-Fields / Marco Camurri ; Marco Mamei ; Franco Zambonelli
Designing Self-organising MAS Environments: The Collective Sort Case / Matteo Casadei
Author Index
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data / Mohamed Hacene Rouane ; Marianne Huchard ; Amedeo Napoli ; Petko Valtchev
Computing Intensions of Digital Library Collections / Carlo Meghini ; Nicolas Spyratos
Custom Asymmetric Page Split Generalized Index Search Trees and Formal Concept Analysis / Ben Martin
The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees / Sebastien Ferre
A Parameterized Algorithm for Exploring Concept Lattices / Peggy Cellier ; Olivier Ridoux ; Mireille Ducasse
About the Lossless Reduction of the Minimal Generator Family of a Context / Tarek Hamrouni ; Sadok Ben Yahia ; Engelbert Mephu Nguifo
Some Notes on Pseudo-closed Sets / Sebastian Rudolph
Performances of Galois Sub-hierarchy-building Algorithms / Gabriela Arevalo ; Anne Berry ; Guillaume Perrot ; Alain Sigayret
Galois Connections Between Semimodules and Applications in Data Mining / Francisco J. Valverde-Albacete ; Carmen Pelaez-Moreno
On Multi-adjoint Concept Lattices: Definition and Representation Theorem / Jesus Medina ; Manuel Ojeda-Aciego ; Jorge Ruiz-Calvino
Base Points, Non-unit Implications, and Convex Geometries / Heiko Reppe
Lattices of Relatively Axiomatizable Classes / Dmitry E. Pal'chunov
A Solution of the Word Problem for Free Double Boolean Algebras / Bjorn Vormbrock
On the MacNeille Completion of Weakly Dicomplemented Lattices / Leonard Kwuida ; Branimir Seselja ; Andreja Tepavcevic
Polynomial Embeddings and Representations / Tim Becker
The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices
Bipartite Ferrers-Graphs and Planar Concept Lattices / Christian Zschalig
Author Index
Relational Galois Connections / Bernhard Ganter
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
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
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
Overview of Awarded Papers - The 20th Annual Conference of JSAI / Hideaki Takeda
Translational Symmetry in Subsequence Time-Series Clustering / Tsuyoshi Ide
Visualization of Contents Archive by Contour Map Representation / Hidekazu Kubota ; Toyoaki Nishida ; Yasuyuki Sumi
Discussion Ontology: Knowledge Discovery from Human Activities in Meetings / Hironori Tornobe ; Katashi Nagao
Predicting Types of Protein-Protein Interactions Using a Multiple-Instance Learning Model / Hiroshi Yamakawa ; Koji Maruhashi ; Yoshio Nakao
Lattice for Musical Structure and Its Arithmetics / Keiji Hirata ; Satoshi Tojo
Viewlon: Visualizing Information on Semantic Sensor Network / Masayuki Furuyama ; Jun Mukai ; Michita Imai
Cooperative Task Achievement System Between Humans and Robots Based on Stochastic Memory Model of Spatial Environment / Tetsunari Inamura ; Tomohiro Kawaji ; Tomoyuki Sonoda ; Kei Okada ; Masayuki Inaba
Analysis on a Relation Between Enterprise Profit and Financial State by Using Data Mining Techniques / Yasuo Shinnou ; Katsutoshi Yada ; Hiroshi Motoda ; Takashi Okada
Unusual Condition Detection of Bearing Vibration in Hydroelectric Power Plants for Risk Management / Takashi Onoda ; Norihiko Ito ; Kenji Shimizu
Structural Health Assessing by Interactive Data Mining Approach in Nuclear Power Plant / Yufei Shu
Developing Mining-Grid Centric e-Finance Portals for Risk Management / Jia Hu ; Muneaki Ohshima ; Ning Zhong
Knowledge Discovery from Click Stream Data and Effective Site Management / Kosuke Ohno
Sampling-Based Stream Mining for Network Risk Management / Kenichi Yoshida
Relation Between Abductive and Inductive Types of Nursing Risk Management / Akinori Abe ; Hiromi Itoh Ozaku ; Noriaki Kuwahara ; Kiyoshi Kogure
Author Index
Awarded Papers / Part I：
Overview of Awarded Papers - The 20th Annual Conference of JSAI / Hideaki Takeda
Translational Symmetry in Subsequence Time-Series Clustering / Tsuyoshi Ide
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
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
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
Resource-Adaptive Cognitive Processes / Jörg Siekmann ; Matthew W. Crocker
Resource-Bounded Cognitive Processes in Human Information Processing / Part I：
Visuo-spatial Working Memory as a Limited Resource of Cognitive Processing / Hubert D. Zimmer ; Stefan Münzer ; Katja Umla-Runge
From Resource-Adaptive Navigation Assistance to Augmented Cognition / Jörg Baus
Error-Induced Learning as a Resource-Adaptive Process in Young and Elderly Individuals / Nicola K. Ferdinand ; Anja Weiten ; Axel Mecklinger ; Jutta Kray
An ERP-Approach to Study Age Differences in Cognitive Control Processes / Ben Eppinger
Simulating Statistical Power in Latent Growth Curve Modeling: A Strategy for Evaluating Age-Based Changes in Cognitive Resources / Timo von Oertzen ; Paolo Ghisletta ; Ulman Lindenberger
Conflicting Constraints in Resource-Adaptive Language Comprehension / Andrea Weber ; Pia Knoeferle
The Evolution of a Connectionist Model of Situated Human Language Understanding / Marshall R. Mayberry
Resource-Adaptive Processes in Human-Machine Interaction / Part II：
Assessment of a User's Time Pressure and Cognitive Load on the Basis of Features of Speech / Anthony Jameson ; Juergen Kiefer ; Christian Müller ; Barbara Gro?mann-Hutter ; Frank Wittig ; Ralf Rummer
The Shopping Experience of Tomorrow: Human-Centered and Resource-Adaptive / Wolfgang Wahlster ; Michael Feld ; Patrick Gebhard ; Dominikus Heckmann ; Ralf Jung ; Michael Kruppa ; Michael Schmitz ; Lübomira Spassova ; Rainer Wasinger
Seamless Resource-Adaptive Navigation / Tim Schwartz ; Christoph Stahl
Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling / Magdalena Wolska ; Mark Buckley ; Helmut Horacek ; Ivana Kruijff-Korbayová ; Manfred Pinkal
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs / Christoph Benzmüller ; Marvin Schiller
Resource-Adaptive Rationality in Machines / Part III：
Comparison of Machine Learning Techniques for Bayesian Networks for User-Adaptive Systems
Scope Underspecification with Tree Descriptions: Theory and Practice / Alexander Koller ; Stefan Thaler
Dependency Grammar: Classification and Exploration / Ralph Debusmann ; Marco Kuhlmann
?Mega: Resource-Adaptive Processes in an Automated Reasoning System / Serge Autexier ; Dominik Dietrich
Resource-Adaptive Cognitive Processes / Jörg Siekmann ; Matthew W. Crocker
Resource-Bounded Cognitive Processes in Human Information Processing / Part I：
Visuo-spatial Working Memory as a Limited Resource of Cognitive Processing / Hubert D. Zimmer ; Stefan Münzer ; Katja Umla-Runge
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
Reduction Based Symbolic Value Partition / Fan Min ; Qihe Liu ; Chunlan Fang ; Jianzhong Zhang
Investigative Data Mining for Counterterrorism / Muhammad Akram Shaikh ; Jiaxin Wang ; Hongbo Liu ; Yixu Song
Data Integration Using Lazy Types / Nicolas Marin ; Maria Amparo Vila
Data Generalization Algorithm for the Extraction of Road Horizontal Alignment Design Elements Using the GPS/INS Data / Sunhee Choi ; Junggon Sung
Personalized E-Learning Process Using Effective Assessment and Feedback / Cheonshik Kim ; Myunghee Jung ; Shaikh Muhammad Allayear ; Sung Soon Park
Optimally Pricing European Options with Real Distributions / Chieh-Chung Sheng ; Hsiao-Ya Chiu ; An-Pin Chen
Applying Stated Preference Methods to Investigate Effects of Traffic Information on Route Choice / Hye-Jin Cho ; Kangsoo Kim
A Study on Determining the Priorities of ITS Services Using Analytic Hierarchy and Network Processes / Byung Doo Jung ; Young-in Kwon ; Hyun Kim ; Seon Woo Lee
An Introduction of Indicator Variables and Their Application to the Characteristics of Congested Traffic Flow at the Merge Area / Sang-Gu Kim ; Youngho Kim ; Taewan Kim ; YoungTae Son
Imaging, Speech, and Complex Data
Image Resize Application of Novel Stochastic Methods of Function Recovery / Daniel Howard ; Joseph Kolibal
Automatic Face Analysis System Based on Face Recognition and Facial Physiognomy / Eung-Joo Lee ; Ki-Ryong Kwon
Moving Cast Shadow Elimination Algorithm Using Principal Component Analysis in Vehicle Surveillance Video / Wooksun Shin ; Jongseok Um ; Doo Heon Song ; Changhoon Lee
Automatic Marker-Driven Three Dimensional Watershed Transform for Tumor Volume Measurement / Yong-su Chae ; Desok Kim
A Study on the Medical Image Transmission Service Based on IEEE 802.15.4a / Yang-Sun Lee ; Jae-Min Kwak ; Sung-Eon Cho ; Ji-Woong Kim ; Heau-Jo Kang
Detecting Image Based Spam Email / Wanli Ma ; Dat Tran ; Dharmendra Sharma
Efficient Fixed Codebook Search Method for ACELP Speech Codecs / Eung-Don Lee ; Jae-Min Ahn
Conventional Beamformer Using Post-filter for Speech Enhancement / Soojeong Lee ; Kiho Choi ; Soonhyob Kim
Bandwidth Extension of a Narrowband Speech Coder for Music Delivery over IP / Young Han Lee ; Hong Kook Kim ; Mi Suk Lee ; Do Young Kim
A User-Oriented GIS Search Service Using Ontology in Location-Based Services / Hyunsuk Hwang ; Seonghyun Shin ; Changsoo Kim
A Filtered Retrieval Technique for Structural Information / Young-Ho Park ; Yong-Ik Yoon ; Jong-Woo Lee
Applications of Artificial Intelligence
An Analysis of a Lymphoma/Leukaemia Dataset Using Rough Sets and Neural Networks / Kenneth Revett ; Marcin Szczuka
A Frequency Adaptive Packet Wavelet Coder for Still Images Using CNN / N. Venkateswaran ; J. Vignesh ; S. Santhosh Kumar ; S. Rahul ; M. Bharadwaj
Reduced RBF Centers Based Multi-user Detection in DS-CDMA Systems / Jungsik Lee ; Ravi Sankar ; Jaejeong Hwang
Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic Algorithm and Neural Network Approach / Kwang-Kyu Seo ; Won-Ki Kim
A Solution for Bi-level Network Design Problem Through Nash Genetic Algorithm / Jong Ryul Kim ; Jung Bok Jo ; Hwang Kyu Yang
An Alternative Measure of Public Transport Accessibility Based on Space Syntax / Chulmin Jun ; Jay Hyoun Kwon ; Yunsoo Choi ; Impyeong Lee
Adaptive Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS / Sung-Soo Kim ; Seung B. Ahn
Particle Swarm Optimization for a Multi-UCAV Cooperative Task Scheduling / Xiaohua Huo ; Lincheng Shen ; Tao Long
Expert System Using Fuzzy Petri Nets in Computer Forensics / Hyun-Uk Hwang ; Min-Soo Kim ; Bong-Nam Noh
MMORPG Map Evaluation Using Pedestrian Agents / Christian Anthony L. Go ; Tristan Basa ; Won-Hyung Lee
The Analysis of Game Playing Experiences: Focusing on Massively Multiplayer Online Role-Playing Game / Seungkeun Song ; Joohyeon Lee ; Jun Jo
Hybrid, Smart, and Ubiquitous Systems
How to Overcome Main Obstacles to Building a Virtual Telematics Center / Bong Gyou Lee
Real-Time Travel Time Estimation Using Automatic Vehicle Identification Data in Hong Kong / Mei Lam Tam ; William H.K. Lam
A Context-Aware Elevator Scheduling System for Smart Apartment Buildings / Ohhoon Kwon ; Hyokyung Bahn ; Kern Koh
A MOM-Based Home Automation Platform / Chun-Yuan Chen ; Chi-Huang Chiu ; Shyan-Ming Yuan
An Error Sharing Agent for Multimedia Collaboration Environment Running on Pervasive Networks / Eung Nam Ko
A Hybrid Intelligent Multimedia Service Framework in Next Generation Home Network Environment / Jong Hyuk Park ; Jungsuk Song ; Byoung-Soo Koh ; Deok-Gyu Lee ; Byoung-Ha Park
Integration of Artificial Market Simulation and Text Mining for Market Analysis / Kiyoshi Izumi ; Hiroki Matsui ; Yutaka Matsuo
Agent-Based Intelligent Decision Support for the Home Healthcare Environment / Louie Cervantes ; Yong-Seok Lee ; Hyunho Yang ; Sung-hyun Ko ; Jaewan Lee
An Aware-Environment Enhanced Group Home: AwareRium / Hideaki Kanai ; Toyohisa Nakada ; Goushi Tsuruma ; Susumu Kunifuji
The Situation Dependent Application Areas of EPC Sensor Network in u-Healthcare / Yoonmin Hwang ; Garam Park ; Eunji Ahn ; Jaejeung Rho ; Jonwoo Sung ; Daeyoung Kim
Ubiquitous Healthcare System Using Context Information Based on the DOGF / Chang-Sun Shin ; Dong-In Ahn ; Dong-Seok Kim ; Su-Chong Joo
Hardware and Software Engineering
Load Balancing Using Dynamic Replication Scheme for the Distributed Object Group / Romeo Mark A. Mateo ; Marley Lee
Design and Implementation of a Performance Analysis and Visualization Toolkit for Cluster Environments / Tien-Hsiung Weng ; Hsiao-Hsi Wang ; Tsung-Ying Wu ; Ching-Hsien Hsu ; Kuan-Ching Li
Enterprise Application Framework for Constructing Secure RFID Application / Hyundong Lee ; Kiyeal Lee ; Mokdong Chung
A GDB-Based Real-Time Tracing Tool for Remote Debugging of SoC Programs / Myeong-Chul Park ; Young-Joo Kim ; In-Geol Chun ; Seok-Wun Ha ; Yong-Kee Jun
A Novel Buffer Cache Scheme Using Java Card Object with High Locality for Efficient Java Card Applications / Won-Ho Choi ; Ha-Yong Jeon ; Rhys Rosholt ; Gwang Jung ; Min-Soo Jung
Design and Implementation of the Decompiler for Virtual Machine Code of the C++ Compiler in the Ubiquitous Game Platform / YangSun Lee ; YoungKeun Kim ; HyeokJu Kwon
Mobile Pharmacology / Patrik Eklund ; Johan Karlsson ; Annica Naslund
Wireless Control System for Pet Dogs in a Residential Environment / Ji-Won Jung ; Dong-Sung Kim
Intelligent Embedded Real-Time Software Architecture for Dynamic Skill Selection and Identification in Multi-shaped Robots / Laxmisha Rai ; Soon Ju Kang
Networking and Telecommunications
The Accurate Performance Evaluation of Time Hopping UWB Systems with Pulse Based Polarity / Jang-Woo Park ; Kyung-Ryoung Cho ; Nam-Hong Jo
Improvement of Adaptive Modulation System with Optimal Turbo Coded V-BLAST Technique / Kyunghwan Lee ; Kwangwook Choi ; Sangjin Ryoo ; Kyoungwon Lee ; Mingoo Kang ; Intae Hwang ; Taejin Jung ; Daejin Kim ; Cheolsung Kim
Header Compression of RTP/UDP/IP Packets for Real Time High-Speed IP Networks / Kyung-shin Kim ; Moon-sik Kang ; In-tae Ryoo
Repetition Coding Aided Time-Domain Cancellation for Inter-Carrier Interference Reduction in OFDM Systems / Jeong-Wook Seo ; Won-Gi Jeon ; Jong-Ho Paik ; Dong-Ku Kim
On Scheduling Transmissions for Hidden Terminal Problems in Dynamic RFID Systems
Efficient RFID Authentication Protocol for Minimizing RFID Tag Computation / Keunwoo Rhee ; Jin Kwak ; Wan S. Yi ; Chanho Park ; Sangjoon Park ; Hyungkyu Yang ; Seungjoo Kim ; Dongho Won
Design of WLAN Secure System Against Weaknesses of the IEEE 802.1x / Seong-pyo Hong ; Jong-an Park ; Seung-jo Han ; Jae-young Pyun ; Joon Lee
A Sophisticated Base Station Centralized Simple Clustering Protocol for Sensor Networks / Giljae Lee ; Yoonjoo Kwon ; Woojin Seok ; Jaiseung Kwak ; Okhwan Byeon
Plus-Tree: A Routing Protocol for Wireless Sensor Networks / Yongsuk Park ; Eun-Sun Jung
Optimization and Routing Discovery for Ad Hoc Wireless Networks: A Cross Layer Approach / Reizel Casaquite ; Won-Joo Hwang
Analysis of the Characteristics of Rain Attenuation in the 12.25GHz Band for Wireless Networking / Dong You Choi
Author Index
Data Analysis, Modelling, and Learning
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
Evolutionary Optimization of ZIP60: A Controlled Explosion in Hyperspace / Dave Cliff
Savings in Combinatorial Auctions Through Transformation Relationships / Andrea Giovannucci ; Jesus Cerquides ; Juan A. Rodriguez-Aguilar
On Efficient Procedures for Multi-issue Negotiation / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
TacTex-05: An Adaptive Agent for TAG SCM / David Pardoe ; Peter Stone ; Mark VanMiddlesworth
Market Efficiency, Sales Competition, and the Bullwhip Effect in the TAC SCM Tournaments / Patrick R. Jordan ; Christopher Kiekintveld ; Jason Miller ; Michael P. Wellman
Agent Compatibility and Coalition Formation: Investigating Two Interacting Negotiation Strategies / Carlos Merida-Campos ; Steven Willmott
TAC-REM - The Real Estate Market Game: A Proposal for the Trading Agent Competition / Scott Buffett ; Maria Fasli
Evolutionary Stability of Behavioural Types in the Continuous Double Auction / Perukrishnen Vytelingum
A Fast Method for Learning Non-linear Preferences Online Using Anonymous Negotiation Data / D.J.A. Somefun ; J.A. La Poutre
Adaptive Pricing for Customers with Probabilistic Valuations / Michael Benisch ; James Andrews ; Norman Sadeh
Agents' Bidding Strategies in a Combinatorial Auction Controlled Grid Environment / Michael Schwind ; Tim Stockheim ; Oleg Gujo
A Comparison of Sequential and Simultaneous Auctions
A Market-Pressure-Based Performance Evaluator for TAC-SCM / Brett Borghetti ; Eric Sodomka ; Maria Gini ; John Collins
Competing Sellers in Online Markets: Reserve Prices, Shili Bidding, and Auction Fees / Enrico H. Gerding ; Alex Rogers ; Rajdeep K. Dash
Robust Incentive-Compatible Feedback Payments / Radu Jurca ; Boi Faltings
The CrocodileAgent 2005: An Overview of the TAG SCM Agent / Ana Petric ; Vedran Podobnik ; Gordan Jezic
A Fuzzy Constraint Based Model for Automated Purchase Negotiations / Miguel A. Lopez-Carmona ; Juan R. Velasco
Author Index
Evolutionary Optimization of ZIP60: A Controlled Explosion in Hyperspace / Dave Cliff
Savings in Combinatorial Auctions Through Transformation Relationships / Andrea Giovannucci ; Jesus Cerquides ; Juan A. Rodriguez-Aguilar
On Efficient Procedures for Multi-issue Negotiation / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
Learning to Select Team Strategies in Finite-Timed Zero-Sum Games / Manuela Veloso
Expressive Intelligence: Artificial Intelligence, Games and New Media / Michael Mateas
Artificial Ontologies and Real Thoughts: Populating the Semantic Web? / Khurshid Ahmad
Knowledge Representation and Reasoning
Model-Based Diagnosability Analysis for Web Services / Stefano Bocconi ; Claudia Picardi ; Xavier Pucel ; Daniele Theseider Dupre ; Louise Trave-Massuyes
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming / Marco Cadoli ; Diego Calvanese ; Giuseppe De Giacomo ; Toni Mancini
Model Checking and Preprocessing / Andrea Ferrara ; Paolo Liberatore ; Marco Schaerf
Some Issues About Cognitive Modelling and Functionalism / Francesco Gagliardi
Understanding the Environment Through Wireless Sensor Networks / Salvatore Gaglio ; Luca Gatani ; Giuseppe Lo Re ; Marco Ortolani
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0 / Laura Giordano ; Valentina Gliozzi ; Nicola Olivetti ; Gian Luca Pozzato
Ranking and Reputation Systems in the QBF Competition / Massimo Narizzano ; Luca Pulina ; Armando Tacchella
A Top Down Interpreter for LPAD and CP-Logic / Fabrizio Riguzzi
Multiagent Systems, Distributed AI
A Multi-layered General Agent Model / Stefania Costantini ; Arianna Tocchio ; Francesca Toni ; Panagiota Tsintza
Goal Generation with Ordered Beliefs / Celia da Costa Pereira ; Andrea G.B. Tettamanzi
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic / Alberto Martelli
Knowledge Engineering, Ontologies and the Semantic Web
Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture / Daniele Bagni ; Marco Cappella ; Maria Teresa Pazienza ; Marco Pennacchiotti ; Armando Stellato
English Querying over Ontologies: E-QuOnto / Raffaella Bernardi ; Francesca Bonin ; Domenico Carbotta ; Camilo Thorne
Use of Ontologies in Practical NL Query Interpretation / Leonardo Lesmo ; Livio Robaldo
Advanced Tree-Based Kernels for Protein Classification / Elisa Cilia ; Alessandro Moschitti
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers / Giuseppe Della Penna ; Francesca Fallucchi ; Benedetto Intrigila ; Daniele Magazzeni
Trip Around the HMPerceptron Algorithm: Empirical Findings and Theoretical Tenets / Roberto Esposito ; Daniele P. Radicioni
A Hierarchical Clustering Procedure for Semantically Annotated Resources
Similarity-Guided Clause Generalization / S. Ferilli ; T.M.A. Basile ; N. Di Mauro ; M. Biba ; F. Esposito
Structured Hidden Markov Model: A General Framework for Modeling Complex Sequences / Ugo Galassi ; Attilio Giordana ; Lorenza Saitta
Nearest Local Hyperplane Rules for Pattern Classification / Gabor Takacs ; Bela Pataki
Natural Language Processing
The JIGSAW Algorithm for Word Sense Disambiguation and Semantic Indexing of Documents / P. Basile ; M. Degemmis ; A.L. Gentile ; P. Lops ; G. Semeraro
Data-Driven Dialogue for Interactive Question Answering / Roberto Basili ; Diego De Cao ; Cristina Giannone ; Paolo Marocco
GlossExtractor: A Web Application to Automatically Create a Domain Glossary / Roberto Navigli ; Paola Velardi
A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction / Daniele Pighin
Inferring Coreferences Among Person Names in a Large Corpus of News Collections / Octavian Popescu ; Bernardo Magnini
Dependency Tree Semantics: Branching Quantification in Underspecification
Information Retrieval and Extraction
User Modelling for Personalized Question Answering / Silvia Quarteroni ; Suresh Manandhar
A Comparison of Genetic Algorithms for Optimizing Linguistically Informed IR in Question Answering / Jorg Tiedemann
A Variant of N-Gram Based Language Classification / Andrija Tomovic ; Predrag Janicic
Planning and Scheduling
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals / Enrico Giunchiglia ; Marco Maratea
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems / Roberto Micalizio ; Pietro Torasso
Boosting the Performance of Iterative Flattening Search / Angelo Oddi ; Nicola Policella ; Amedeo Cesta ; Stephen F. Smith
Real-Time Trajectory Generation for Mobile Robots / Alireza Sahraei ; Mohammad Taghi Manzuri ; Mohammad Reza Razvan ; Masoud Tajfard ; Saman Khoshbakht
Robust Color-Based Skin Detection for an Interactive Robot / Alvise Lastra ; Alberto Pretto ; Stefano Tonello ; Emanuele Menegatti
Building Quality-Based Views of the Web / Enrico Triolo ; Nicola Polettini ; Diego Sona ; Paolo Avesani
Special Track: AI and Robotics
Reinforcement Learning in Complex Environments Through Multiple Adaptive Partitions / Andrea Bonarini ; Alessandro Lazaric ; Marcello Restelli
Uses of Contextual Knowledge in Mobile Robots / D. Calisi ; A. Farinelli ; G. Grisetti ; L. Iocchi ; D. Nardi ; S. Pellegrini ; D. Tipaldi ; V.A. Ziparo
Natural Landmark Detection for Visually-Guided Robot Navigation / Enric Celaya ; Jose-Luis Albarral ; Pablo Jimenez ; Carme Torras
Real-Time Visual Grasp Synthesis Using Genetic Algorithms and Neural Networks / Antonio Chella ; Haris Dindo ; Francesco Matraxia ; Roberto Pirrone
Attention-Based Environment Perception in Autonomous Robotics / Irene Macaluso ; Lorenzo Riano
A 3D Virtual Model of the Knee Driven by EMG Signals / Massimo Sartori ; Gaetano Chemello ; Enrico Pagello
Special Track: AI and Expressive Media
'O Francesca, ma che sei grulla?' Emotions and Irony in Persuasion Dialogues / Irene Mazzotta ; Nicole Novielli ; Vincenzo Silvestri ; Fiorella de Rosis
Music Expression Understanding Based on a Joint Semantic Space / Luca Mion ; Giovanni De Poli
Towards Automated Game Design / Mark J. Nelson
Tonal Harmony Analysis: A Supervised Sequential Learning Approach
Words Not Cast in Stone / Carlo Strapparava ; Alessandro Valitutti ; Oliviero Stock
Special Track: Intelligent Access to Multimedia Information
Annotations as a Tool for Disclosing Hidden Relationships Between Illuminated Manuscripts / Maristella Agosti ; Nicola Ferro ; Nicola Orio
Mining Web Data for Image Semantic Annotation / Riccardo Petitti ; Dario Saracino
Semantic Annotation of Complex Human Scenes for Multimedia Surveillance / Carles Fernandez ; Pau Baiget ; Xavier Roca ; Jordi Gonzalez
Synthesis of Hypermedia Using OWL and Jess / Alberto Machi ; Antonino Lo Bue
NaviTexte, a Text Navigation Tool / Javier Couto ; Jean-Luc Minel
TV Genre Classification Using Multimodal Information and Multilayer Perceptrons / Maurizio Montagnuolo ; Alberto Messina
Posters
Hierarchical Text Categorization Through a Vertical Composition of Classifiers / Andrea Addis ; Giuliano Armano ; Francesco Mascia ; Eloisa Vargiu
Text Categorization in Non-linear Semantic Space / Claudio Biancalana ; Alessandro Micarelli
A System Supporting Users of Cultural Resource Management Semantic Portals / Andrea Bonomi ; Glauco Mantegari ; Alessandro Mosca ; Matteo Palmonari ; Giuseppe Vizzari
Interactive Analysis of Time in Film Stories / Francesco Mele ; Antonio Calabrese ; Roberta Marseglia
Towards MKDA: A Knowledge Discovery Assistant for Researches in Medicine / Vincenzo Cannella ; Giuseppe Russo ; Daniele Peri ; Edoardo Ardizzone
Mobile Robots and Intelligent Environments / Francesco Capezio ; Fulvio Mastrogiovanni ; Antonio Sgorbissa ; Renato Zaccaria
Multi-robot Interacting Through Wireless Sensor Networks
Design of a Multiagent Solution for Demand-Responsive Transportation / Claudio Cubillos ; Sandra Gaete ; Franco Guidi-Polanco ; Claudio Demartini
Planning the Behaviour of a Social Robot Acting as a Majordomo in Public Environments / Berardina De Carolis ; Giovanni Cozzolongo
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions / C. Maria Keet
Recognizing Chinese Proper Nouns with Transformation-Based Learning and Ontology / Peifeng Li ; Qiaoming Zhu ; Lei Wang
Toward Image-Based Localization for AIBO Using Wavelet Transform / Yoshiaki Jitsukawa ; Ryuichi Ueda ; Tamio Arai
Crosslingual Retrieval in an eLearning Environment / Cristina Vertan ; Kiril Simov ; Petya Osenova ; Lothar Lemnitzer ; Alex Killing ; Diane Evans ; Paola Monachesi
Constraint-Based School Timetabling Using Hybrid Genetic Algorithms / Tuncay Yigit
Author Index
Invited Talks
Learning to Select Team Strategies in Finite-Timed Zero-Sum Games / Manuela Veloso
Expressive Intelligence: Artificial Intelligence, Games and New Media / Michael Mateas
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
Pronoun Resolution and the Influence of Syntactic and Semantic Information on Discourse Prominence / Ralph Rose
Language Analysis and Representation
Anaphora Resolution as Equality by Default / Ariel Cohen
Null Subjects Are Reflexives, Not Pronouns / Antonio Branco
Using Very Large Parsed Corpora and Judgment Data to Classify Verb Reflexivity / Erik-Jan Smits ; Petra Hendriks ; Jennifer Spenader
An Empirical Investigation of the Relation Between Coreference and Quotations: Can a Pronoun Located in Quotations Find Its Referent? / Shana Watters ; Jeanette Gundel
Resolution Methodology and Algorithms
Applying Backpropagation Networks to Anaphor Resolution / Roland Stuckardt
Improving Coreference Resolution Using Bridging Reference Resolution and Automatically Acquired Synonyms / Ryohei Sasano ; Daisuke Kawahara ; Sadao Kurohashi
Evaluating Hybrid Versus Data-Driven Coreference Resolution / Iris Hendrickx ; Veronique Hoste ; Walter Daelemans
Computational Systems and Applications
Automatic Anaphora Resolution for Norwegian (ARN) / Gordana Ilic Holen
"Who Are We Talking About?" Tracking the Referent in a Question Answering Series / Matteo Negri ; Milen Kouylekov
Anaphora Resolution: To What Extent Does It Help NLP Applications? / Ruslan Mitkov ; Richard Evans ; Constantin Orasan ; Le An Ha ; Viktor Pekar
Author Index
Human Processing and Performance
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
Neural Correlates of Anticipation in Cerebellum, Basal Ganglia, and Hippocampus / Jason G. Fleischer
The Role of Anticipation in the Emergence of Language / Samarth Swarup ; Les Gasser
Superstition in the Machine / Alexander Riegler
Individual Anticipatory Frameworks
From Actions to Goals and Vice-Versa: Theoretical Analysis and Models of the Ideomotor Principle and TOTE / Cristiano Castelfranchi ; Joachim Hoffmann
Project "Animat Brain": Designing the Animat Control System on the Basis of the Functional Systems Theory / Vladimir G. Red'ko ; Konstantin V. Anokhin ; Mikhail S. Burtsev ; Alexander I. Manolov ; Oleg P. Mosalov ; Valentin A. Nepomnyashchikh ; Danil V. Prokhorov
Cognitively Inspired Anticipatory Adaptation and Associated Learning Mechanisms for Autonomous Agents / Aregahegn Negatu ; Sidney D'Mello ; Stan Franklin
Schema-Based Design and the AKIRA Schema Language: An Overview / Gianguglielmo Calvi
Learning Predictions and Anticipations
Training and Application of a Visual Forward Model for a Robot Camera Head / Wolfram Schenck ; Ralf Moller
A Distributed Computational Model of Spatial Memory Anticipation During a Visual Search Task / Jeremy Fix ; Julien Vitay ; Nicolas P. Rougier
A Testbed for Neural-Network Models Capable of Integrating Information in Time / Stefano Zappacosta ; Stefano Nolfi
Construction of an Internal Predictive Model by Event Anticipation / Philippe Capdepuy ; Daniel Polani ; Chrystopher L. Nehaniv
Anticipatory Individual Behavior
The Interplay of Analogy-Making with Active Vision and Motor Control in Anticipatory Robots / Kiril Kiryazov ; Georgi Petkov ; Maurice Grinberg ; Boicho Kokinov ; Christian Balkenius
An Intrinsic Neuromodulation Model for Realizing Anticipatory Behavior in Reaching Movement Under Unexperienced Force Fields / Toshiyuki Kondo ; Koji Ito
Anticipating Rewards in Continuous Time and Space: A Case Study in Developmental Robotics / Arnaud J. Blanchard ; Lola Canamero
Anticipatory Model of Musical Style Imitation Using Collaborative and Competitive Reinforcement Learning / Arshia Cont ; Shlomo Dubnov ; Gerard Assayag
Anticipatory Social Behavior
An Anticipatory Trust Model for Open Distributed Systems / Mario Gomez ; Javier Carbo ; Clara Benac-Earle
Anticipatory Alignment Mechanisms for Behavioral Learning in Multi Agent Systems / Gerben G. Meyer ; Nick B. Szirbik
Backward vs. Forward-Oriented Decision Making in the Iterated Prisoner's Dilemma: A Comparison Between Two Connectionist Models / Emilian Lalev
An Experimental Study of Anticipation in Simple Robot Navigation / Birger Johansson
Author Index
Introduction
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
Trajectory-Based Representation of Human Actions / Antonios Oikonomopoulos ; Ioannis Patras ; Nikos Paragios
Modelling the Communication Atmosphere: A Human Centered Multimedia Approach to Evaluate Communicative Situations / Tomasz M. Rutkowski ; Danilo P. Mandic
Modeling Influence Between Experts / Wen Dong
Anthropocentric Interaction Models for Human Computing / Part III：
Social Intelligence Design and Human Computing / Toyoaki Nishida
Feedback Loops in Communication and Human Computing / Rieks op den Akker ; Dirk Heylen
Evaluating the Future of HCI: Challenges for the Evaluation of Emerging Applications / Ronald Poppe ; Rutger Rienks ; Betsy van Dijk
Gaze-X: Adaptive, Affective, Multimodal Interface for Single-User Office Scenarios / Ludo Maat
SmartWeb Handheld - Multimodal Interaction with Ontological Knowledge Bases and Semantic Web Services / Daniel Sonntag ; Ralf Engel ; Gerd Herzog ; Alexander Pfalzgraf ; Norbert Pfleger ; Massimo Romanelli ; Norbert Reithinger
A Learning-Based High-Level Human Computer Interface for Face Modeling and Animation / Volker Blanz
Challenges for Virtual Humans in Human Computing / Dennis Reidsma ; Zsofia Ruttkay
Affect Detection and an Automated Improvisational AI Actor in E-Drama / Li Zhang ; Marco Gillies ; John A. Barnden ; Robert J. Hendley ; Mark G. Lee ; Alan M. Wallington
Author Index
Foundations of Human Computing / Part I：
Foundations of Human Computing: Facial Expression and Emotion / Jeffrey F. Cohn
WI Based Multi-aspect Data Analysis in a Brain Informatics Portal / Ning Zhong ; Shinichi Motomura
Agent and Data Mining
Agent-Mining Interaction: An Emerging Area / Longbing Cao ; Chao Luo ; Chengqi Zhang
Evaluating Knowledge Intensive Multi-agent Systems / Christos Dimou ; Andreas L. Symeonidis ; Pericles A. Mitkas
Towards an Ant System for Autonomous Agents / Zoheir Ezziane
Semantic Modelling in Agent-Based Software Development / Peter Graubmann ; Mikhail Roshchin
Combination Methodologies of Multi-agent Hyper Surface Classifiers: Design and Implementation Issues / Qing He ; Xiu-Rong Zhao ; Ping Luo ; Zhong-Zhi Shi
Security in a Mobile Agent Based DDM Infrastructure / Xining Li
Automatic Extraction of Business Rules to Improve Quality in Planning and Consolidation in Transport Logistics Based on Multi-agent Clustering / Igor Minakov ; George Rzevski ; Petr Skobelev ; Simon Volman
Intelligent Agents for Real Time Data Mining in Telecommunications Networks / Luis E. Rocha-Mier ; Leonid Sheremetov ; Ildar Batyrshin
Architecture of Typical Sensor Agent for Learning and Classification Network / Vladimir Samoylov
Self-organizing Multi-agent Systems for Data Mining / Ichiro Satoh
Role-Based Decision Mining for Multiagent Emergency Response Management / Alexander Smirnov ; Mikhail Pashkin ; Tatiana Levashova ; Nikolay Shilov ; Alexey Kashevnik
Agent Competition and Data Mining
Virtual Markets: Q-Learning Sellers with Simple State Representation / Natalia Akchurina ; Hans Kleine Buning
Fusion of Dependence Networks in Multi-agent Systems - Application to Support Net-Enabled Littoral Surveillance / Mohamad K. Allouche ; Eloi Bosse
Multi-agent Framework for Simulation of Adaptive Cooperative Defense Against Internet Attacks / Igor Kotenko ; Alexander Ulanov
On Competing Agents Consistent with Expert Knowledge / Edward Pogossian ; Vachagan Vahradyan ; Arthur Grigoryan
On-Line Agent Teamwork Training Using Immunological Network Model / Lev Stankevich ; Denis Trotsky
Text Mining, Semantic Web, and Agents
Combination of Rough Sets and Genetic Algorithms for Text Classification / Rujiang Bai ; Xiaoyue Wang ; Junhua Liao
Multi-agent Meta-search Engine Based on Domain Ontology / Marat Kanteev
Efficient Search Technique for Agent-Based P2P Information Retrieval / Byungryong Kim ; Kichang Kim
Classification of Web Documents Using Concept Extraction from Ontologies / Marina Litvak ; Mark Last ; Slava Kisilevich
Emotional Cognitive Agents with Adaptive Ontologies / Leonid I. Perlovsky
Viral Knowledge Acquisition Through Social Networks / Dmitri Soshnikov ; Mikhail Chernomordikov
Chinese Weblog Pages Classification Based on Folksonomy and Support Vector Machines
Author Index
Invited Talks
Peer-to-Peer Data Mining, Privacy Issues, and Games / Hillol Kargupta ; Kanishka Bhaduri ; Kamalika Das
Ontos Solutions for Semantic Web: Text Mining, Navigation and Analytics / Vladimir Khoroshevsky ; Irina Efimenko ; Grigory Drobyazko ; Polina Kananykina ; Victor Klintsov ; Dmitry Lisitsin ; Viacheslav Seledkin ; Anatoli Starostin ; Vyacheslav Vorobyov
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
Usages of Generalization in Case-Based Reasoning / Eva Armengol
Research Papers
Team Playing Behavior in Robot Soccer: A Case-Based Reasoning Approach / Raquel Ros ; Ramon Lopez de Mantaras ; Josep Lluis Arcos ; Manuela Veloso
Acquiring Word Similarities with Higher Order Association Mining / Sutanu Chakraborti ; Nirmalie Wiratunga ; Robert Lothian ; Stuart Watt
Label Ranking in Case-Based Reasoning / Klaus Brinker ; Eyke Hullermeier
When Similar Problems Don't Have Similar Solutions / Stewart Massie ; Susan Craw
Mixed-Initiative Relaxation of Constraints in Critiquing Dialogues / David McSherry ; David W. Aha
A Methodology for Analyzing Case Retrieval from a Clustered Case Memory / Albert Fornells ; Elisabet Golobardes ; Josep Maria Martorell ; Josep Maria Garrell ; Nuria Macia ; Ester Bernado
Using Cases Utility for Heuristic Planning Improvement / Tomas de la Rosa ; Angel Garcia Olaya ; Daniel Borrajo
Case-Based Reasoning Adaptation for High Dimensional Solution Space / Ying Zhang ; Panos Louvieris ; Maria Petrou
Case-Based Planning and Execution for Real-Time Strategy Games / Santiago Ontanon ; Kinshuk Mishra ; Neha Sugandh ; Ashwin Ram
Case Authoring: From Textual Reports to Knowledge-Rich Cases / Stella Asiimwe ; Bruce Taylor
Case Provenance: The Value of Remembering Case Sources / David Leake ; Matthew Whitehead
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge / Jay Powell
Representation and Structure-Based Similarity Assessment for Agile Workflows / Mirjam Minor ; Alexander Tartakovski ; Ralph Bergmann
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation / Jean Lieber
Methodological Assistance for Integrating Data Quality Evaluations into Case-Based Reasoning Systems / Annett Bierer
Case-Based Anomaly Detection / Alessandro Micarelli ; Giuseppe Sansonetti
Case-Based Reasoning in Robot Indoor Navigation / Stefano Panzieri
Case-Based Group Recommendation: Compromising for Success / Kevin McCarthy ; Lorraine McGinty ; Barry Smyth
Catching the Drift: Using Feature-Free Case-Based Reasoning for Spam Filtering / Sarah Jane Delany ; Derek Bridge
Enhancing Case-Based, Collaborative Web Search / Oisin Boydell
An Analysis of Case-Based Value Function Approximation by Approximating State Transition Graphs / Thomas Gabel ; Martin Riedmiller
From Anomaly Reports to Cases / Alessandro Donati ; Emmanuel Vicari
Assessing Classification Accuracy in the Revision Stage of a CBR Spam Filtering System / Jose Ramon Mendez ; Carlos Gonzalez ; Daniel Glez-Pena ; Florentino Fdez-Riverola ; Fernando Diaz ; Juan Manuel Corchado
Application Papers
Intelligent Guidance and Suggestions Using Case-Based Planning / Javier Bajo ; Sara Rodriguez
Case-Based Reasoning for Invoice Analysis and Recognition / Hatem Hamza ; Yolande Belaid ; Abdel Belaid
Watershed Segmentation Via Case-Based Reasoning / Maria Frucci ; Petra Perner ; Gabriella Sanniti di Baja
A Case-Based Song Scheduler for Group Customised Radio / Claudio Baccigalupo ; Enric Plaza
Helping Software Engineers Reusing UML Class Diagrams / Paulo Gomes ; Pedro Gandola ; Joel Cordeiro
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System / Amelie Cordier ; Beatrice Fuchs ; Alain Mille
Classify and Diagnose Individual Stress Using Calibration and Fuzzy Case-Based Reasoning / Shahina Begum ; Mobyen Uddin Ahmed ; Peter Funk ; Ning Xiong ; Bo von Scheele
Prototypical Cases for Knowledge Maintenance in Biomedical CBR / Isabelle Bichindaritz
Case-Based Support for Library Reference Services / Yen Bui
Knowledge Extraction and Summarization for an Application of Textual Case-Based Interpretation / Eni Mustafaraj ; Martin Hoof ; Bernd Freisleben
Author Index
Invited Papers
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I：
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
Incorporating Engineering Formalisms into Automated Model Builders / Matthew Easley
Integrating Domain Knowledge in Equation Discovery
Communicability Criteria of Law Equations Discovery / Takashi Washio ; Hiroshi Motoda
Quantitative Revision of Scientific Models / Kazumi Saito
Discovering Communicable Models from Earth Science Data / Mark Schwabacher ; Christopher Potter ; Steven Klooster ; Alicia Torregrosa
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools / Feng Zhao ; Chris Bailey-Kellogg ; Xingang Huang ; Juan Ordonez
Computational Discovery in Pure Mathematics / Simon Colton
Computational Scientific Discovery in Biomedicine / II：
Automatic Computational Discovery of Chemical Reaction Networks Using Genetic Programming / John R. Koza ; William Mydlowec ; Guido Lanza ; Lessen Yu ; Martin A. Keane
Discovery of Genetic Networks Through Abduction and Qualitative Simulation / Blaz Zupan ; Ivan Bratko ; Janez Demsar ; Peter Juvan ; Adam Kuspa ; John A. Halter ; Gad Shaulsky
Learning Qualitative Models of Physical and Biological Systems / Simon M. Garrett ; George M. Coghill ; Ashwin Srinivasan ; Ross D. King
Logic and the Automatic Acquisition of Scientific Knowledge: An Application to Functional Genomics / Andreas Karwath ; Amanda Clare ; Luc Dehaspe
Drug Discovery as an Example of Literature-Based Discovery / Marc Weeber
Literature Based Discovery Support System and Its Application to Disease Gene Identification / Dimitar Hristovski ; Borut Peterlin ; Janez Stare
Author Index
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I：
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
An Improved Particle Swarm Optimizer for Truss Structure Optimization / Lijuan Li ; Zhibin Huang ; Feng Liu
Two-Phase Quantum Based Evolutionary Algorithm for Multiple Sequence Alignment / Hongwei Huo ; Vojislav Stojkovic
A Further Discussion on Convergence Rate of Immune Genetic Algorithm to Absorbed-State / Xiaoping Luo ; Wenyao Pang ; Ji Huang
Linear Programming Relax-PSO Hybrid Bound Algorithm for a Class of Nonlinear Integer Programming Problems / Yuelin Gao ; Chengxian Xu ; Jimin Li
An Improved Ant Colony System and Its Application / Xiangpei Hu ; Qiulei Ding ; Yongxian Li ; Dan Song
Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines / Shulin Wang ; Huowang Chen ; Ji Wang ; Dingxing Zhang ; Shutao Li
Gene Selection Using Wilcoxon Rank Sum Test and Support Vector Machine for Cancer Classification / Chen Liao ; Zhiyuan Luo
General Particle Swarm Optimization Based on Simulated Annealing for Multi-specification One-Dimensional Cutting Stock Problem / Xianjun Shen ; Yuanxiang Li ; Bojin Zheng ; Zhifeng Dai
Neurodynamic Analysis for the Schur Decomposition of the Box Problems / Quanju Zhang ; Fuye Feng ; Zhenghong Wei
A New Model Based Multi-objective PSO Algorithm / Jingxuan Wei ; Yuping Wang
Evolutionary Computation
A New Multi-objective Evolutionary Optimisation Algorithm: The Two-Archive Algorithm / Kata Praditwong ; Xin Yao
Labeling of Human Motion by Constraint-Based Genetic Algorithm / Fu Yuan Hu ; Hau San Wong ; Zhi Qiang Liu ; Hui Yang Qu
Genetic Algorithm and Pareto Optimum Based QoS Multicast Routing Scheme in NGI / Xingwei Wang ; Pengcheng Liu ; Min Huang
A Centralized Network Design Problem with Genetic Algorithm Approach / Gengui Zhou ; Zhenyu Cao ; Jian Cao ; Zhiqing Meng
CGA: Chaotic Genetic Algorithm for Fuzzy Job Scheduling in Grid Environment / Dan Liu ; Yuanda Cao
Population-Based Extremal Optimization with Adaptive Levy Mutation for Constrained Optimization / Min-Rong Chen ; Yong-Zai Lu ; Genke Yang
An Analysis About the Asymptotic Convergence of Evolutionary Algorithms / Lixin Ding ; Jinghu Yu
Game Model Based Co-evolutionary Algorithm and Its Application for Multiobjective Nutrition Decision Making Optimization Problems / Gaoping Wang ; Liyuan Bai
A Novel Optimization Strategy for the Nonlinear Systems Identification / Xin Tan ; Huaqian Yang
A New Schema Survival and Construction Theory for One-Point Crossover / Liang Ming
Adaptive Parallel Immune Evolutionary Strategy / Cheng Bo ; Guo Zhenyu ; Cao Binggang ; Wang Junping
About the Time Complexity of Evolutionary Algorithms Based on Finite Search Space / Yingzhou Bi
Learning Systems and Multi-agents
New Radial Basis Function Neural Network Training for Nonlinear and Nonstationary Signals / Seng Kah Phooi ; Ang L. M
Structure-Based Rule Selection Framework for Association Rule Mining of Traffic Accident Data / Rangsipan Marukatat
A Multi-classification Method of Temporal Data Based on Support Vector Machine / Lifang Peng ; Yihua Zhu
Towards a Management Paradigm with a Constrained Benchmark for Autonomic Communications / Frank Chiang ; Robin Braun
A Feature Selection Algorithm Based on Discernibility Matrix / Fuyan Liu ; Shaoyi Lu
Using Hybrid Hadamard Error Correcting Output Codes for Multi-class Problem Based on Support Vector Machines / Shilei Huang ; Xiang Xie ; Jingming Kuang
Range Image Based Classification System Using Support Vector Machines / Seyed Eghbal Ghobadi ; Klaus Hartmann ; Otmar Loffeld ; Wolfgang Weihs
Two Evolutionary Methods for Learning Bayesian Network Structures / Alain Delaplace ; Thierry Brouard ; Hubert Cardot
Fuzzy Q-Map Algorithm for Reinforcement Learning / YoungAh Lce ; SeokMi Hong
Spatial Data Mining with Uncertainty / Binbin He ; Cuihua Chen
Locally Weighted LS-SVM for Fuzzy Nonlinear Regression with Fuzzy Input-Output / Dug Hun Hong ; Changha Hwang ; Jooyong Shim ; Kyung Ha Seok
Learning SVM with Varied Example Cost: A kNN Evaluating Approach / Chan-Yun Yang ; Che-Chang Hsu ; Jr-Syu Yang
Using Evolving Agents to Critique Subjective Music Compositions / Chuen-Tsai Sun ; Ji-Lung Hsieh ; Chung-Yuan Huang
Multi-agent Coordination Schemas in Decentralized Production Systems / Gang Li ; Yongqiang Li ; Linyan Sun ; Ping Ji
Ontology-Based RFID System Model for Supporting Semantic Consistency in Ubiquitous Environment / Dongwon Jeong ; Keunhwan Jeon ; Jang-won Kim ; Jinhyung Kim ; Doo-Kwon Baik
Multiagent Search Strategy for Combinatorial Optimization Problems in Ant Model / SeungGwan Lee
Cryptography
Secure and Efficient Trust Negotiation / Fuchun Guo ; Zhide Chen ; Yi Mu ; Li Xu ; Shengyuan Zhang
Hardware/Software Co-design of a Secure Ubiquitous System / Masa-aki Fukase ; Hiroki Takeda ; Tomoaki Sato
Efficient Implementation of Tate Pairing on a Mobile Phone Using Java / Yuto Kawahara ; Tsuyoshi Takagi ; Eiji Okamoto
ID-Based (t, n) Threshold Proxy Signcryption for Multi-agent Systems / Fagen Li ; Yupu Hu ; Shuanggen Liu
A Differential Power Analysis Attack of Block Cipher Based on the Hamming Weight of Internal Operation Unit / JeaHoon Park ; HoonJae Lee ; JaeCheol Ha ; YongJe Choi ; HoWon Kim ; SangJae Moon
Chosen Message Attack Against Mukherjee-Ganguly-Chaudhuri's Message Authentication Scheme / Mun-Kyu Lee ; Dowon Hong ; Dong Kyue Kim
Binary Sequences with Three and Four Level Autocorrelation / Ying Cai ; Zhen Han
Security Analysis of Public-Key Encryption Scheme Based on Neural Networks and Its Implementing / Niansheng Liu ; Donghui Guo
Enhanced Security Scheme for Managing Heterogeneous Server Platforms / Jiho Kim ; Duhyun Bae ; Sehyun Park ; Ohyoung Song
A New Parallel Multiplier for Type II Optimal Normal Basis / Chang Han Kim ; Yongtae Kim ; Sung Yeon Ji ; IlWhan Park
Identity-Based Key-Insulated Signature Without Random Oracles / Jian Weng ; Shengli Liu ; Kefei Chen ; Changshe Ma
Research on a Novel Hashing Stream Cipher / Yong Zhang ; Xia-mu Niu ; Jun-cao Li ; Chun-ming Li
XTR[superscript +]: A Provable Security Public Key Cryptosystem / Zehui Wang ; Zhiguo Zhang
Proxy Ring Signature: Formal Definitions, Efficient Construction and New Variant / Jin Li ; Xiaofeng Chen ; Tsz Hon Yuen ; Yanming Wang
Linkability Analysis of Some Blind Signature Schemes / Jianhong Zhang ; Jian Mao
Information Processing and Intrusion Detection
An Efficient Device Authentication Protocol Using Bioinformatic / Yoon-Su Jeong ; Bong-Keun Lee ; Sang-Ho Lee
Subjective and Objective Watermark Detection Using a Novel Approach - Barcode Watermarking / Vidyasagar Potdar ; Song Han ; Elizabeth Chang ; Chen Wu
Forward Secure Threshold Signature Scheme from Bilinear Pairings / Jia Yu ; Fanyu Kong ; Rong Hao
Low-Cost Authentication Protocol of the RFID System Using Partial ID / Yong-Zhen Li ; Ning Sun
A VLSI Implementation of Minutiae Extraction for Secure Fingerprint Authentication / Sung Bum Pan ; Daesung Moon ; Kichul Kim ; Yongwha Chung
Image-Adaptive Watermarking Using the Improved Signal to Noise Ratio / Xinshan Zhu
New Malicious Code Detection Based on N-Gram Analysis and Rough Set Theory / Boyun Zhang ; Jianping Yin ; Jingbo Hao
An Efficient Watermarking Technique Using ADEW and CBWT for Copyright Protection / Goo-Rak Kwon ; Seung-Won Jung ; Sung-Jea Ko
An Image Protection Scheme Using the Wavelet Coefficients Based on Fingerprinting Technique / Jin-Wook Shin ; Ju Cheng Yang ; Sook Yoon ; Dong-Sun Park
iOBS3: An iSCSI-Based Object Storage Security System / Huang Jianzhong ; Xie Changsheng
An Efficient Algorithm for Clustering Search Engine Results / Hui Zhang ; Bin Pang ; Ke Xie ; Hui Wu
Network Anomalous Attack Detection Based on Clustering and Classifier / Hongyu Yang ; Feng Xie ; Yi Lu
Fair Reputation Evaluating Protocol for Mobile Ad Hoc Network / Zhu Lei ; DaeHun Nyang ; KyungHee Lee ; Hyotaek Lim
A Load Scattering Algorithm for Dynamic Routing of Automated Material Handling Systems / Alex K.S. Ng ; Janet Efstathiou ; Henry Y.K. Lau
Software Agents Action Securities
A Key Distribution Scheme Based on Public Key Cryptography for Sensor Networks / Xiaolong Li ; Yaping Lin ; Siqing Yang ; Yeqing Yi ; Jianping Yu ; Xinguo Lu
Collision-Resilient Multi-state Query Tree Protocol for Fast RFID Tag Identification / Jae-Min Seol ; Seong-Whan Kim
Toward Modeling Sensor Node Security Using Task-Role Based Access Control with TinySec / Misun Moon ; Dong Seong Kim ; Jong Sou Park
An Intelligent Digital Content Protection Framework Between Home Network Receiver Devices / Qingqi Pei ; Kefeng Fan ; Jinxiu Dai
An Efficient Anonymous Registration Scheme for Mobile IPv4 / Xuefei Cao ; Weidong Kou ; Huaping Li ; Jie Xu
An Elliptic Curve Based Authenticated Key Agreement Protocol for Wireless Security / SeongHan Shin ; Kazukuni Kobara ; Hideki Imai
An Efficient and Secure RFID Security Method with Ownership Transfer / Kyosuke Osaka ; Kenichi Yamazaki ; Osamu Takahashi
Security and Privacy on Authentication Protocol for Low-Cost RFID / Young-Bok Cho ; Nam-Kyoung Um
Securing Overlay Activities of Peers in Unstructured P2P Networks / Jun-Cheol Park ; Geonu Yu
Security Contexts in Autonomic Systems / Kaiyu Wan ; Vasu Alagar
Knowledge Structure on Virus for User Education / Madihah Saudi ; Nazean Jomhari
An Efficient Anonymous Fingerprinting Protocol / Yang Bo ; Lin Piyuan ; Zhang Wenzheng
Senior Executives Commitment to Information Security - from Motivation to Responsibility / Jorma Kajava ; Juhani Anttila ; Rauno Varonen ; Reijo Savola ; Juha Roning
A Hierarchical Key Distribution Scheme for Conditional Access System in DTV Broadcasting / Mengyao Zhu ; Ming Zhang ; Xiaoling Chen ; Ding Zhang ; Zhijie Huang
Combining User Authentication with Role-Based Authorazition Based on Identity-Based Signature / Jin Wang ; Daxing Li ; Xi Bai ; Zhongtian Jia
Modeling and Simulation for Security Risk Propagation in Critical Information Systems / Young-Gab Kim ; Soo-Hyun Park ; Jongin Lim
Information Assurance Evaluation for Network Information Systems / Xin Lu ; Zhi Ma
Generalization of the Selective-ID Security Model for HIBS Protocols / Zhongwen Li ; Yang Xiang ; Dongsheng He
Access Control and Authorization for Security of RFID Multi-domain Using SAML and XACML / Taek-Hyun Shin ; Byunggil Lee
Discriminatively Learning Selective Averaged One-Dependence Estimators Based on Cross-Entropy Method / Fangguo Zhang ; Qing Wang ; Chuan-hua Zhou ; Bao-hua Zhao
Image-Adaptive Spread Transform Dither Modulation Using Human Visual Model
Image and Signal Processing
Improvement of Film Scratch Inpainting Algorithm Using Sobel Based Isophote Computation over Hilbert Scan Line / Ki-Hong Ko
A Watershed Algorithmic Approach for Gray-Scale Skeletonization in Thermal Vein Pattern Biometrics / Lingyu Wang ; Graham Leedham
Estimation of Source Signals Number and Underdetermined Blind Separation Based on Sparse Representation / Ronghua Li ; Beihai Tan
Edge Detection Based on Mathematical Morphology and Iterative Thresholding / Xiangzhi Bai ; Fugen Zhou
Image Denoising Based on Wavelet Support Vector Machine / Shaoming Zhang ; Ying Chen
Variational Decomposition Model in Besov Spaces and Negative Hilbert-Sobolev Spaces / Min Li ; Xiangchu Feng
Performance Analysis of Cooperative Hopfield Networks for Stereo Matching / Wenhui Zhou ; Zhiyu Xiang ; Weikang Gu
An Improved Entropy Function and Chaos Optimization Based Scheme for Two-Dimensional Entropic Image Segmentation / Cheng Ma ; Chengshun Jiang
Face Pose Estimation and Synthesis by 2D Morphable Model / Li Yingchun ; Su Guangda
Study of the Wavelet Basis Selections / Hua Cui ; Guoxiang Song
Pattern Recognition
Feature Weighted Rival Penalized EM for Gaussian Mixture Clustering: Automatic Feature and Model Selections in a Single Paradigm / Yiu-ming Cheung ; Hong Zeng
Fingerprint Matching Using Invariant Moment Features / Jin Wook Shin ; Dong Sun Park
Survey of Distance Measures for NMF-Based Face Recognition / Yun Xue ; Chong Sze Tong ; Weipeng Zhang
Weighted Kernel Isomap for Data Visualization and Pattern Classification / Rui-jun Gu ; Wen-bo Xu
DT-CWT Feature Combined with ONPP for Face Recognition / Yuehui Sun ; Minghui Du
Precise Eye Localization with AdaBoost and Fast Radial Symmetry / Wencong Zhang ; Hong Chen ; Peng Yao ; Bin Li ; Zhenquan Zhuang
Real-Time Expression Recognition System Using Active Appearance Model and EFM / Kyoung-Sic Cho ; Yong-Guk Kim ; Yang-Bok Lee
Feature Extraction Using Histogram Entropies of Euclidean Distances for Vehicle Classification / Ming Bao ; Luyang Guan ; Xiaodong Li ; Jing Tian ; Jun Yang
Full-Space LDA with Evolutionary Selection for Face Recognition / Xin Li ; Xianji Wang ; Zhengquan Zhuang
Subspace KDA Algorithm for Non-linear Feature Extraction in Face Identification / Wen-Sheng Chen ; Pong C Yuen ; Jian Huang ; Jianhuang Lai
Author Index
Bio-inspired Computing
An Improved Particle Swarm Optimizer for Truss Structure Optimization / Lijuan Li ; Zhibin Huang ; Feng Liu
Two-Phase Quantum Based Evolutionary Algorithm for Multiple Sequence Alignment / Hongwei Huo ; Vojislav Stojkovic
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
Hypermedia Discourse: Contesting Networks of Ideas and Arguments / Simon Buckingham Shum
Dynamic Epistemic Logic and Knowledge Puzzles / H.P. van Ditmarsch ; W. van der Hoek ; B. P. Kooi
Peirce on Icons and Cognition / Christopher Hookway
Conceptual Graphs
Using Cognitive Archetypes and Conceptual Graphs to Model Dynamic Phenomena in Spatial Environments / Hedi Haddad ; Bernard Moulin
A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules / Jean-François Baget
A Knowledge Management Optimization Problem Using Marginal Utility in a Metric Space with Conceptual Graphs / Jeffrey A. Schiffel
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise / Rallou Thomopoulos ; Jean-Françoils Baget ; Ollivier Haemmerlé
An Inferential Approach to the Generation of Referring Expressions / Madalina Croitoru ; Kees van Deemter
A Conceptual Graph Description of Medical Data for Brain Tumour Classification / Bo Hu ; Srinandan Dashmapatra ; Paul Lewis ; David Dupplaw ; Liang Xiao
A Conceptual Graph Based Approach to Ontology Similarity Measure
A Comparison of Different Conceptual Structures Projection Algorithms / Heather D. Pfeiffer ; Roger T. Hartley
A Conceptual Graph Approach to Feature Modeling / Randall C. Bachmeyer ; Harry S. Delugach
From Conceptual Structures to Semantic Interoperability of Content / Pavlin Dobrev ; Ognian Kalaydjiev ; Galia Angelova
Formal Concept Analysis
Faster Concept Analysis / Adam D. Troy ; Guo-Qiang Zhang ; Ye Tian
The Design Space of Information Presentation: Formal Design Space Analysis with FCA and Semiotics / Michael May ; Johannes Petersen
Reducing the Representation Complexity of Lattice-Based Taxonomies / Sergei Kuznetsov ; Sergei Obiedkov ; Camille Roth
An FCA Perspective on n-Distributivity / Heiko Reppe
Towards a Semantology of Music / Rudolf Wille ; Renate Wille-Henning
Analysis of the Publication Sharing Behaviour in BibSonomy / Robert Jäschke ; Andreas Hotho ; Christoph Schmitz ; Gerd Stumme
The MILL-Method for Informal Learning Logistics / Andreas Faatz ; Manuel Goertz ; Eicke Godehardt ; Robert Lokaiczyk
Bilingual Word Association Networks / Uta Priss ; L. John Old
Using FCA for Encoding Closure Operators into Neural Networks / Sebastian Rudolph
Conceptual Structures
Are Consistency Projection: A New Generalization Relation for Graphs / Michael Liquiere
Mining Frequent Closed Unordered Trees Through Natural Representations / José L. Balcázar ; Albert Bifet ; Antoni Lozano
Devolved Ontology for Smart Applications / Iain Duncan Stalker ; Nikolay Mehandjiev ; Martin Carpenter
Historical and Conceptual Foundation of Diagrammatical Ontology / Peter Øhrstrøm ; Sara L. Uckelman ; Henrik Schärfe
Learning Common Outcomes of Communicative Actions Represented by Labeled Graphs / Boris A. Galitsky ; Boris Kovalerchuk ; Sergei O. Kuznetsov
Belief Flow in Assertion Networks / Sujata Ghosh ; Benedikt Löwe ; Erik Scorelle
Conceptual Fingerprints: Lexical Decomposition by Means of Frames - A Neuro-cognitive Model / Wiebke Petersen ; Markus Werning
Constants and Functions in Peirce's Existential Graphs / Frithjof Dau
Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution / Mary Keeler
Short Papers
Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams / David Cox
Quo Vadis, CS? On the (non)-Impact of Conceptual Structures on the Semantic Web / Markus Krötzsch ; Pascal Hitzler
A Framework for Analyzing and Testing Overlapping Requirements with Actors in Conceptual Graphs / Bryan J. Smith
Implementation of SPARQL Query Language Based on Graph Homomorphism / Olivier Corby ; Catherine Faron-Zucker
Cooperative CG-Wrappers for Web Content Extraction / Fotis Kokkoras ; Nick Bassiliades ; Ioannis Vlahavas
Conceptual Graphs and Ontologies for Information Retrieval / Catherine Comparot ; Nathalie Hernandez
Representation Levels Within Knowledge Representation / Joseph J. Pfeiffer
Supporting Lexical Ontology Learning by Relational Exploration / Johanna Völker
Characterizing Implications of Injective Partial Orders / Gemma C. Garriga
DVDSleuth: A Case Study in Applied Formal Concept Analysis for Navigating Web Catalogs / Jon Ducrou
Navigation in Knowledge-Based System for Helpdesk Based on FCA / Vladimír Sklenář ; Martin Radvanský ; Michal Dobeš
Functional Properties of Formal Concept Analysis / Hideo Mori
Towards an Ontology to Conceptualize Solution Analysis Tasks in CSCL Environments / Rafael Duque ; Crescencio Bravo ; Manuel Ortega
Author Index
Invited Papers
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
Coordinating Tasks in Agent Organizations
Redesign of Organizations as a Basis for Organizational Change / Mark Hoogendoorn ; Catholijn M. Jonker ; Jan Treur
Modelling and Analyzing Institutions / II：
Specifying and Reasoning About Multiple Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model / Benjamin Gateau ; Olivier Boissier ; Djamel Khadraoui ; Eric Dubois
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions / Huib Aldewereld
Specification and Verification of Institutions Through Status Functions / Francesco Vigano ; Marco Colombetti
Normative Models and Issues / III：
Spatially Distributed Normative Objects / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Informing Regulatory Dynamics in Open MASs / Carolina Felicissimo ; Ricardo Choren ; Jean-Pierre Briot ; Carlos Lucena
Operationalisation of Norms for Electronic Institutions / Andres Garcia-Camino ; Pablo Noriega ; Juan Antonio Rodriguez-Aguilar ; Carles Sierra
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach / Juan-Antonio Rodriguez-Aguilar ; Wamberto Vasconcelos
An Agent-Based Model for Hierarchical Organizations / Luis Erasmo Montealegre Vazquez ; Fabiola Lopez y Lopez
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems / Dorian Gaertner ; Keith Clark ; Marek Sergot
Norm Evolution and Dynamics / IV：
Towards Self-configuration in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez
Norm Conflicts and Inconsistencies in Virtual Organisations / Martin J. Kollingbaum ; Timothy J. Norman ; Alun Preece ; Derek Sleeman
Using Dynamic Electronic Institutions to Enable Digital Business Ecosystems / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
A Peer-to-Peer Normative System to Achieve Social Order / Amandine Grizard ; Laurent Vercouter ; Tiberiu Stratulat ; Guillaume Muller
Autonomy, Coordination and Social Order / V：
What Is Commitment? Physical, Organizational, and Social (Revised) / Carl Hewitt
Modelling and Monitoring Social Expectations in Multi-agent Systems / Stephen Cranefield
Influence-Based Autonomy Levels in Agent Decision-Making / Bob van der Vecht ; Andre P. Meyer ; Martijn Neef ; John-Jules Ch. Meyer
Centralized Regulation of Social Exchanges Between Personality-Based Agents / Gracaliz Pereira Dimuro ; Luciano Vargas Goncalves ; Alexandre Hubner
Cooperative Interactions: An Exchange Values Model / Maira R. Rodrigues ; Michael Luck
Author Index
Modelling and Analyzing Organizations / I：
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
Interoperable Bayesian Agents for Collaborative Learning Environments / Elisa Boff ; Elder Rizzon Santos ; Moser S. Fagundes ; Rosa Maria Vicari
Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs / Luis Castillo ; Lluvia Morales ; Arturo Gonzalez-Ferrer ; Juan Fernandez-Olivares ; Oscar Garcia-Perez
On the Initialization of Two-Stage Clustering with Class-GTM / Raul Cruz-Barbosa ; Alfredo Vellido
Three-Dimensional Anisotropic Noise Reduction with Automated Parameter Tuning: Application to Electron Cryotomography / J.J. Fernandez ; S. Li ; V. Lucic
A Middle-Ware for the Automated Composition and Invocation of Semantic Web Services Based on Temporal HTN Planning Techniques / Tomas Garzon ; Francisco Palao
A Multiobjective Approach to Fuzzy Job Shop Problem Using Genetic Algorithms / Ines Gonzalez-Rodriguez ; Jorge Puente ; Camino R. Vela
CTC: An Alternative to Extract Explanation from Bagging / Ibai Gurrutxaga ; Jesus M[superscript a] Perez ; Olatz Arbelaitz ; Javier Muguerza ; Jose I. Martin ; Ander Ansuategi
Ranking Attributes Using Learning of Preferences by Means of SVM / Alejandro Hernandez-Arauzo ; Miguel Garcia-Torres ; Antonio Bahamonde
Improving HLRTA*([kappa]) / Carlos Hernandez ; Pedro Meseguer
Sliding Mode Control of a Wastewater Plant with Neural Networks and Genetic Algorithms / Miguel A. Jaramillo-Moran ; Juan C. Peguero-Chamizo ; Enrique Martinez de Salazar ; Montserrat Garcia del Valle
Efficient Pruning of Operators in Planning Domains / Anders Jonsson
Heuristics for Planning with Action Costs / Emil Keyder
Mixed Narrative and Dialog Content Planning Based on BDI Agents / Carlos Leon ; Samer Hassan ; Pablo Gervas ; Juan Pavon
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs / R.M. Gasca ; C. Del Valle ; M.T. Gomez-Lopez ; R. Ceballos
Interest Point Detectors for Visual SLAM / Oscar Martinez Mozos ; Arturo Gil ; Monica Ballesta ; Oscar Reinoso
TBL Template Selection: An Evolutionary Approach / Ruy Luiz Milidiu ; Julio Cesar Duarte ; Cicero Nogueira dos Santos
Finiteness Properties of Some Families of GP-Trees / Cesar L. Alonso ; Jose Luis Montana
A Workflow for the Networked Ontologies Lifecycle: A Case Study in FAO of the UN / Oscar Munoz-Garcia ; Asuncion Gomez-Perez ; Marta Iglesias-Sucasas ; Soonho Kim
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance / A. Burrieza ; E. Munoz-Velasco ; M. Ojeda-Aciego
A Solution to the Rural Postman Problem Based on Artificial Ant Colonies / Maria Luisa Perez-Delgado
Olive Fly Infestation Prediction Using Machine Learning Techniques / Jose del Sagrado ; Isabel Maria del Aguila
Feature Selection Based on Sensitivity Analysis / Noelia Sanchez-Marono ; Amparo Alonso-Betanzos
Fitness Function Comparison for GA-Based Feature Construction / Leila S. Shafti ; Eduardo Perez
Generation of OWL Ontologies from Concept Maps in Shallow Domains / Alfredo Simon ; Luigi Ceccaroni ; Alejandro Rosete
Effectiveness Study of Lexically Mapping Two Thesauri / M. Taboada ; R. Lalin ; D. Martinez ; S. Tellado
Author Index
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
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
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down" / Maarten Sierhuis
The Construction of Multi-agent Systems as an Engineering Discipline / Jorge J. Gomez-Sanz
Current Issues in Multi-Agent Systems Development / Rafael H. Bordini ; Mehdi Dastani ; Michael Winikoff
Architecture-Centric Software Development of Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
Organization Oriented Programming: From Closed to Open Organizations / Olivier Boissier ; Jomi Fred Hübner ; Jaime Simão Sichman
Analysis, Design, Development and Verification of Agent Societies
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions / Marco Stuit ; Nick B. Szirbik
Model Driven Development of Multi-Agent Systems with Repositories of Social Patterns / Rubén Fuentes-Fernández ; Jorge J. Gómez-Sanz ; Juan Pavón
A Norm-Governed Systems Perspective of Ad Hoc Networks / Alexander Artikis ; Lloyd Kamara ; Jeremy Pitt
Interaction and Coordination in Agent Societies
A Definition of Exceptions in Agent-Oriented Computing / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Toward an Ontology of Regulation: Socially-Based Support for Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; William J. Clancey ; Matthew Johnson
An Algorithm for Conflict Resolution in Regulated Compound Activities / Andrés García-Camino ; Pablo Noriega ; Juan-Antonio Rodríguez-Aguilar
Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach / Geylani Kardas ; Arda Goknil ; Oguz Dikenelli ; N. Yasemin Topaloglu
Formal Modelling of a Coordination System: From Practice to Theory, and Back Again / Eloy J. Mata ; Pedro Álvarez ; José A. Bañares ; Julio Rubio
Autonomic Agent Societies
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols / Tim Miller ; Peter McBurney
Dynamic Specifications in Norm-Governed Open Computational Societies / Dimosthenis Kaponis
Enhancing Self-organising Emergent Systems Design with Simulation / Carole Bernon ; Marie-Pierre Gleizes ; Gauthier Picard
Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents / Eva Bou ; Maite López-Sánchez ; J.A. Rodríguez-Aguilar
Managing Resources in Constrained Environments with Autonomous Agents / C. Muldoon ; G.M.P. O'Hare ; M.J. O'Grady
Trust in Agent Societies
Towards a Computational Model of Creative Societies Using Curious Design Agents / Rob Saunders
Privacy Management in User-Centred Multi-agent Systems / Guillaume Piolle ; Yues Demazeau ; Jean Caelen
Effective Use of Organisational Abstractions for Confidence Models / Ramón Hermoso ; Holger Billhardt ; Roberto Centeno ; Sascha Ossowski
Competence Checking for the Global E-Service Society Using Games / Kostas Stathis ; George Lekeas ; Christos Kloukinas
Author Index
Engineering of Multi-agent Systems
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down" / Maarten Sierhuis
The Construction of Multi-agent Systems as an Engineering Discipline / Jorge J. Gomez-Sanz
The Past, Present, and Future of IEC 61499 / Alois Zoitl ; Thomas Strasser ; Ken Hall ; Ray Staron ; Christoph Sunder ; Bernard Favre-Bulle
Can Multi-Agents Wake Us from IC Design Productivity Nightmare? / Peter van Staa ; Christian Sebeke
Motivation
From Intelligent Agents to Intelligent Beings / Paul Valckenaers ; Hadeli Hadeli ; Bart Saint Germain ; Paul Verstraete ; Jan Van Belle ; Hendrik Van Brussel
Multi-agent Reflection in Autonomic Systems / Jan Tozicka ; Michal Pechoucek ; Martin Rehak ; Magdalena Prokopova
Auctions with Arbitrary Deals / Tamas Mahr ; Mathijs de Weerdt
Architectures and Services
Service Composition in Holonic Multiagent Systems: Model-Driven Choreography and Orchestration / Christian Hahn ; Klaus Fischer
Flexible Roles in a Holonic Multi-Agent System / Emmanuel Adam ; Rene Mandiau
Agent-Based Inter-Organizational Workflow Management System / Paulo Leitao ; Joao Mendes
Co-operative Co-evolutionary System for Solving Dynamic VRPTW Problems with Crisis Situations / Rafal Drezewski ; Lukasz Dronka ; Jaroslaw Kozlak
Anonymity Architecture for Mobile Agent Systems / Rafal Leszczyna
SitCom - Development Platform for Multimodal Perceptual Services / Pascal Fleury ; Jan Curin ; Jan Kleindienst
New Technologies and Techniques
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems / Yazen Al-Safi ; Valeriy Vyatkin
Methods to Observe the Clustering of Agents Within a Multi-Agent System / Raymond J. Staron ; Pavel Tichy ; Radek Sindelar ; Francisco P. Maturana
Distributed Director Facilitator in a Multiagent Platform for Networked Embedded Controllers / Omar J. Lopez Orozco ; Jose L. Martinez Lastra
Agent Methods for Network Intrusion Detection and Response / David Medvigy ; Magda Prokopova ; Lukas Foltyn
Detecting Intrusions in Agent System by Means of Exception Handling / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Smart Caching Algorithm for Software Agents Based on Re-Execution Probability / Jarogniew Rykowski
Planning and Scheduling
Metaheuristic Agent Teams for Job Shop Scheduling Problems / Mehmet E. Aydin
Distributed Production Scheduling Using Federated Agent Architecture / Jayeola Femi Opadiji ; Toshiya Kaihara
A Study on Real-Time Scheduling for Holonic Manufacturing Systems - Simulation for Estimation of Future Status by Individual Holons / Koji Iwamura ; Atsushi Nakano ; Yoshitaka Tanimizu ; Nobuhiro Sugimura
Adaptive Planning for Supply Chain Networks / Michael Andreev ; George Rzevski ; Petr Skobelev ; Peter Shveykin ; Alexander Tsarev ; Andrew Tugashev
An Agent Based Modelling Approach for Stochastic Planning Parameters / Wilhelm Dangelmaier ; Benjamin Klopper ; Alexander Blecken
Design Issues
A Holonic Metamodel for Agent-Oriented Analysis and Design / Massimo Cossentino ; Nicolas Gaud ; Stephane Galland ; Vincent Hilaire ; Abderrafiaa Koukam
Using Adaptable Design to Classify Interactions Within a Distributed Control Architecture / Christopher Dan Fletcher ; Robert William Brennan ; Peihua Gu
Application of the Holonic Approach in Distributed Control Systems Designing / Dariusz Choinski ; Witold Nocon ; Mieczyslaw Metzger
Design and Implementation of Adaptive Agents for Complex Manufacturing Systems / Jens Zimmermann ; Lars Monch
Dynamic Configuration and Management of e-Supply Chains Based on Internet Public Registries Visited by Clusters of Software Agents / Konrad Fuks ; Arkadiusz Kawa ; Waldemar Wieczerzycki
Applications
A Multiagent Control System for Shop Floor Assembly / Goncalo Candido ; Jose Barata
MagentaToolkit: A Set of Multi-agent Tools for Developing Adaptive Real-Time Applications / Vyacheslav Andreev
On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499 / Geoff Black
Zero Downtime Reconfiguration of Distributed Automation Systems: The [characters not reproducible]CEDAC Approach / Martijn N. Rooker ; Oliver Hummer ; Gerhard Ebenhofer
Holonic Multiagent-Based System for Distributed Control of Semi-industrial Pilot Plants / Grzegorz Polakow
Collision Avoidance Algorithms: Multi-agent Approach / Pavel Vrba ; Vladimir Marik ; Libor Preucil ; Miroslav Kulich ; David Sislak
Creating Contract Templates for Car Insurance Using Multi-agent Based Text Understanding and Clustering / Igor Minakov ; Simon Volman
Multi-agent-Based Diagnostics of Automotive Electronic Systems / Dusan Pavlicek ; Ondrej Flek
PIHolS Workshop
Performance in Industrial Holonic Systems / Vadim Ermolayev ; Wolf-Ekkehard Matzke
Towards Industrial Strength Business Performance Management
Ontology-Based Competence Management for Team Configuration / Vladimir Tarasov ; Thomas Albertsen ; Alexey Kashevnik ; Kurt Sandkuhl ; Nikolay Shilov ; Alexander Smirnov
Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems / Teppo Pirttioja ; Ilkka Seilonen ; Antti Pakonen ; Aarne Halme ; Kari Koskinen
Applications of Virtual Reality in Design and Simulation of Holonic Manufacturing Systems: A Demonstration in Die-Casting Industry / Mert Bal ; Majid Hashemipour
Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool / Giuseppe Narzisi ; Joshua S. Mincer ; Silas Smith ; Bud Mishra
Holonic Simulation of a Design System for Performance Analysis / Richard Sohnius ; Eyck Jentzsch
Author Index
Invited Talks
The Past, Present, and Future of IEC 61499 / Alois Zoitl ; Thomas Strasser ; Ken Hall ; Ray Staron ; Christoph Sunder ; Bernard Favre-Bulle
Can Multi-Agents Wake Us from IC Design Productivity Nightmare? / Peter van Staa ; Christian Sebeke
ＥＢ
