SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Richard Ellis, Miltos Petridis, British Computer Society.
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
Spectral Clustering in Social Networks / Miklós Kurucz ; András A. Benczúr ; Károly Csalogány ; László Lukács
Looking for Great Ideas: Analyzing the Innovation Jam / Wojciech Gryc ; Mary Helander ; Rick Lawrence ; Yan Liu ; Claudia Perlich ; Chandan Reddy ; Saharon Rosset
Segmentation and Automated Social Hierarchy Detection through Email Network Analysis / Germán Creamer ; Ryan Rowe ; Shlomo Hershkop ; Salvatore J. Stolfo
Mining Research Communities in Bibliographical Data / Osmar R. Zaïane ; Jiyang Chen ; Randy Goebel
Dynamics of a Collaborative Rating System / Kristina Lerman
Applying Link-Based Classification to Label Blogs / Smriti Bhagat ; Graham Cormode ; Irina Rozenbaum
Why We Twitter: An Analysis of a Microblogging Community / Akshay Java ; Xiaodan Song ; Tim Finin ; Belle Tseng
A Recommender System Based on Local Random Walks and Spectral Methods / Zeinab Abbassi ; Vahab S. Mirrokni
Author Index
Spectral Clustering in Social Networks / Miklós Kurucz ; András A. Benczúr ; Károly Csalogány ; László Lukács
Looking for Great Ideas: Analyzing the Innovation Jam / Wojciech Gryc ; Mary Helander ; Rick Lawrence ; Yan Liu ; Claudia Perlich ; Chandan Reddy ; Saharon Rosset
Segmentation and Automated Social Hierarchy Detection through Email Network Analysis / Germán Creamer ; Ryan Rowe ; Shlomo Hershkop ; Salvatore J. Stolfo
Personality-Based Practical Reasoning / Thomas L. van der Weide ; Frank Dignum ; John-Jules Ch. Meyer ; Henry Prakken ; Gerard A.W. Vreeswijk
Argumentation Based Resolution of Conflicts between Desires and Normative Goals / Sanjay Modgil ; Michael Luck
A Constrained Argumentation System for Practical Reasoning / Leila Amgoud ; Caroline Devred ; Marie-Christine Lagasquie-Schiex
An Argumentation Framework Based on Strength for Ontology Mapping / Cássia Trojahn ; Paulo Quaresma ; Renata Vieira
Contextual Extension with Concept Maps in the Argument Interchange Format / Ioan Alfred Letia ; Adrian Groza
Argumentation and Dialogue / Part II：
Command Dialogues / Katie Atkinson ; Rod Girle ; Peter McBurney ; Simon Parsons
Argumentation and Artifact for Dialogue Support / Enrico Oliva ; Mirko Viroli ; Andrea Omicini
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation / Trevor Bench-Capon
Annotation and Matching of First-Class Agent Interaction Protocols / Tim Miller
Strategic and Pragmatic Issues / Part III：
Argumentation-vs. Proposal-Based Negotiation: An Empirical Case Study on the Basis of Game-Theoretic Solution Concepts / Angelika Först ; Achim Rettinger ; Matthias Nickles
Argumentation-Based Information Exchange in Prediction Markets / Santi Ontañón ; Enric Plaza
An Argumentative Approach for Modelling Coalitions Using ATL / Nils Bulling ; Carlos I. Chesñevar ; Jürgen Dix
A Dialogue Mechanism for Public Argumentation Using Conversation Policies / Yuqing Tang
Author Index
Argument-Based Reasoning / Part I：
Personality-Based Practical Reasoning / Thomas L. van der Weide ; Frank Dignum ; John-Jules Ch. Meyer ; Henry Prakken ; Gerard A.W. Vreeswijk
Argumentation Based Resolution of Conflicts between Desires and Normative Goals / Sanjay Modgil ; Michael Luck
On the Optimality of Spatial Attention for Object Detection / Jonathan Harel ; Christof Koch
Decoding What People See from Where They Look: Predicting Visual Stimuli from Scanpaths / Moran Cerf ; Alex Huth ; Wolfgang Einhäuser
A Novel Hierarchical Framework for Object-Based Visual Attention / Rebecca Marfil ; Antonio Bandera ; Juan Antonio Rodríguez ; Francisco Sandoval
Where Do We Grasp Objects? - An Experimental Verification of the Selective Attention for Action Model (SAAM) / Christoph Böhme ; Dietmar Heinke
Contextual Cueing and Saliency
Integrating Visual Context and Object Detection within a Probabilistic Framework / Roland Perko ; Christian Wojek ; Bernt Schiele ; Ale&sbreve; Leonardis
The Time Course of Attentional Guidance in Contextual Cueing / Andrea Schankin ; Anna Schubö
Conspicuity and Congruity in Change Detection / Jean Underwood ; Emma Templeman ; Geoffrey Underwood
Spatiotemporal Saliency
Spatiotemporal Saliency: Towards a Hierarchical Representation of Visual Saliency / Neil D.B. Bruce ; John K. Tsotsos
Motion Saliency Maps from Spatiotemporal Filtering / Anna Belardinelli ; Fiora Pirri ; Andrea Carbone
Attentional Networks
Model Based Analysis of fMRI-Data: Applying the sSoTS Framework to the Neural Basic of Preview Search / Eirini Mavritsaki ; Harriet Allen ; Glyn Humphreys
Modelling the Efficiencies and Interactions of Attentional Networks / Fehmida Hussain ; Sharon Wood
The Jamf Attention Modelling Framework / Johannes Steger ; Niklas Wilming ; Felix Wolfsteller ; Nicolas Höning ; Peter Köning
Attentional Modeling
Modeling Attention and Perceptual Grouping to Salient Objects / Thomas Geerinck ; Hichem Sahli ; David Henderickx ; Iris Vanhamel ; Valentin Enescu
Attention Mechanisms in the Chrest Cognitive Architecture / Peter C.R. Lane ; Fernand Gobet ; Richard Ll. Smith
Modeling the Interactions of Bottom-Up and Top-Down Guidance in Visual Attention / Kathleen Maetens ; Eric Soetens
Relative Influence of Bottom-Up and Top-Down Attention / Matei Mancas
Towards Standardization of Evaluation Metrics and Methods for Visual Attention Models / Muhammad Zaheer Aziz ; Bärbel Mertsching
Comparing Learning Attention Control in Perceptual and Decision Space / Maryam S. Mirian ; Majid Nili Ahmadabadi ; Babak N. Araabi ; Ronald R. Siegwart
Automated Visual Attention Manipulation / Tibor Bosse ; Rianne van Lambalgen ; Peter-Paul van Maanen ; Jan Treur
Author Index
Attention in Scene Exploration
On the Optimality of Spatial Attention for Object Detection / Jonathan Harel ; Christof Koch
Decoding What People See from Where They Look: Predicting Visual Stimuli from Scanpaths / Moran Cerf ; Alex Huth ; Wolfgang Einhäuser
Creating Brain-Like Intelligence / Bernhard Sendhoff ; Edgar Körner ; Olaf Sporns
From Complex Networks to Intelligent Systems
Stochastic Dynamics in the Brain and Probabilistic Decision-Making / Gustavo Deco ; Edmund T. Rolls
Formal Tools for the Analysis of Brian-Like structure and Dynamics / Jürgen Jost
Morphological Computation - Connecting Brain, Body, and Environment / Rolf Pfeifer ; Gabriel Gómez
Trying to Grasp a Sketch of a Brain for Grasping / Helge Ritter ; Robert Haschke ; Jochen J. Steil
Learning Actions through Imitation and Exploration: Towards Humanioid Robots That Learn from Humans / David B. Grimes ; Rajesh P.N. Rao
Towards Learning by Interacting Britta Wrede / Katharina J. Rohlfing ; Marc Hanheide ; Gerhard Sagerer
Planning and Moving in Dynamic Environments: A Statistical Machine Learning Approach / Sethu Vijayakumar ; Marc toussaint ; Giorgios Petkos ; Mathew Howard
Towards Cognitive Robotics / Christian Goerick
Approaches and Challenges for Cognitive Vision Systems / Julian Eggert ; Heiko Wersing
Some Requirements for Human-Like Robots: Why the Recent Over-Emphasis on Embodiment Has Held Up Progress / Aaron Sloman
Co-evolution of Rewards and Meta-parameters in Embodied Evolution / Stefan Elfwing ; Eiji Uchibe ; Kenji Doya
Active Vision for Goal-Oriented Humanoid Robot Walking / Mototaka Suzuki ; Tommaso Gritti ; Dario Floreano
Congnitive Adequacy in Brain-Like Intelligence / Christoph S. Herrmann ; Frank W. Ohl
Multimodal Human Machine Interactions in Virtual and Augmented Reality / Gérard Chollet ; Anna Esposito ; Annie Gentes ; Patrick Horain ; Walid Karam ; Zhenbo Li ; Catherine Pelachaud ; Patrick Perrot ; Dijana Petrovska-Delacrétaz ; Dianle Zhou ; Leila Zouari
Speech through the Ear, the Eye, the Mouth and the Hand / Marion Dohen
Multimodality Issues in Conversation Analysis of Greek TV Interviews / Maria Koutsombogera ; Harris Papageorgiou
Representing Communicative Function and Behavior in Multimodal Communication / Hannes Högni Vilhjálmsson
Using the iCat as Avatar in Remote Meetings / Dirk Heylen ; Mannes Poel ; Anton Nijholt
Using Context to Disambiguate Communicative Signals / Mark ter Maat
Modeling Aspects of Multimodal Lithuanian Human - Machine Interface / Rytis Maskeliunas
Using a Signing Avatar as a Sign Language Research Tool / Delroy Nelson
Data Fusion at Different Levels / Marcos Faundez-Zanuy
Voice Technology Applied for Building a Prototype Smart Room / Josef Chaloupka ; Jan Nouza ; Jindrich Zdansky ; Petr Cerva ; Jan Silovsky ; Martin Kroul
Towards Facial Gestures Generation by Speech Signal Analysis Using Huge Architecture / Goranka Zoric ; Karlo Smid ; Igor S. Pandzic
Multi-modal Speech Processing Methods: An Overview and Future Research Directions Using a Matlab Based Audio-Visual Toolbox / Andrew Abel ; Amir Hussain
From Extensity to Protensity in Cas: Adding Sounds to Icons / Alina E. Lascu ; Alexandru V. Georgescu
Statistical Modeling of Interpersonal Distance with Range Imaging Data / René Hempel ; Patrick Westfeld
Verbal and Nonverbal Communication Signals
How the Brain Processes Language in Different Modalities / Bencie Woll
From Speech and Gestures to Dialogue Acts / Maciej Karpinski
The Language of Interjections / Isabella Poggi
Gesture and Gaze in Persuasive Political Discourse / Laura Vincze
Content in Embedded Sentences: A Typology by Context Shift / Uli Sauerland ; Mathias Schenner
A Distributional Concept for Modeling Dialectal Variation in TTS / Freidrich Neubarth ; Christian Kranzler
Regionalized Text-to-Speech Systems: Personal Design and Application Scenarios / Michael Pucher ; Gudrun Schuchmann ; Peter Fröhlich
Vocal Gestures in Slovak: Emotions and Prosody / &Sbreve;tefan Be&nbreve;u&sbreve; ; Milan Rusko
Spectrum Modification for Emotional Speech Synthesis / Anna P&rbreve;ibilová ; Ji&rbreve;í P&rbreve;ibil
Comparison of Grapheme and Phoneme Based Acoustic Modeling in LVCSR Task in Slovak / Michal Mirilovi&cbreve; ; Jozef Juhár ; Anton &Cbreve;i&zbreve;már
Recognition of Emotions in German Speech Using Gaussian Mixture Models / Martin Vondra ; Robert Vích
Electroglottogram Analysis of Emotionally Styled Phonation / Peter J. Murphy ; Anne-Maria Laukkanen
Emoticonsciousness / Carl Vogel ; Jerom F. Janssen
Urban Environmental Information Perception and Multimodal Communication: The Air Quality Example / Li Zhu ; Kostas Karatzas ; John Lee
Underdetermined Blind Source Separation Using Linear Separation System / Jan Cermak ; Zdenek Smekal
Articulatory Synthesis of Speech and Singing: State of the Art and Suggestions for Future Research / Bernd J. Kröger ; Peter Birkholz
Qualitative and Quantitative Crying Analysis of New Born Babies Delivered Under High Risk Gestation / Antonio Verduzco-Mendoza ; Emilio Arch-Tirado ; Carlos A. Reyes García ; Jaime Leybón Ibarra ; Juan Licona Bonilla
Recognizing Facial Expressions Using Model-Based Image Interpretation / Matthias Wimmer ; Christoph Mayer ; Bernd Radig
Face Localization in 2D Frontal Face Images Using Luminosity Profiles Analysis / Marco Grassi ; Francesco Piazza
Author Index
Interactive and Unsupervised Multimodal Systems
Multimodal Human Machine Interactions in Virtual and Augmented Reality / Gérard Chollet ; Anna Esposito ; Annie Gentes ; Patrick Horain ; Walid Karam ; Zhenbo Li ; Catherine Pelachaud ; Patrick Perrot ; Dijana Petrovska-Delacrétaz ; Dianle Zhou ; Leila Zouari
Speech through the Ear, the Eye, the Mouth and the Hand / Marion Dohen
Introduction to Quantum Probability for Social and Behavioral Scientists / Jerome R. Busemeyer
Invited Talk
Revealing Quantum Entanglement via Locally Noneffective Operations / Dagmar Bru? ; Sevag Gharibian ; Hermann Kampermann
Foundations
Fractals and the Fock-Bargmann Representation of Coherent States / Giuseppe Vitiello
Generalising Unitary Time Evolution / Kirsty Kitto ; Peter Bruza ; Laurianne Sitbon
Comparison of Quantum and Bayesian Inference Models / Jennifer Trueblood
Quantum-Like Representation of Macroscopic Configurations / Andrei Khrennikov
Quantum Cognition
Experimental Evidence for Quantum Structure in Cognition / Diederik Aerts ; Sven Aerts ; Liane Gabora
Extracting Spooky-Activation-at-a-Distance from Considerations of Entanglement / Douglas Nelson ; Cathy McEvoy
Quantum Amplitude Amplification Algorithm: An Explanation of Availability Bias / Riccardo Franco
Quantum Coherence without Quantum Mechanics in Modeling the Unity of Consciousness / Marcin Jan Schroeder
Quantum Mechanics and Decision Theory
An Exploration of Type Indeterminacy in Strategic Decision-Making / Ariane Lambert-Mogiliansky
Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory / Bart D'Hooghe
Quantum Mechanics and Computation
Quantum and Classical Structures in Nondeterminstic Computation / Dusko Pavlovic
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms / Peter Nyman
Quantum Theory, the Chinese Room Argument and the Symbol Grounding Problem / Ravi V. Gomatam
Quantum Mechanics and Social Interaction
Conservation of Information: A New Approach to Organizing Human-Machine-Robotic Agents under Uncertainty / William F. Lawless ; Donald A. Sofge ; H.T. Goranson
On Voting Process and Quantum Mechanics / François Dubois
Nonseparability of Shared Intentionality / Christian Flender
Quantum Mechanics and Semantic Space
Semantic Spaces: Measuring the Distance between Different Subspaces / Guido Zuccon ; Leif A. Azzopardi ; C.J. van Rijsbergen
Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry / Yuexian Hou ; Dawei Song
Semantic Vector Combinations and the Synoptic Gospels / Dominic Widdows ; Trevor Cohen
Quantum Mechanics and Information Retrieval
Eraser Lattices and Semantic Contents: An Exploration of the Semantic Contents in Order Relations between Erasers / Alvaro F. Huertas-Rosero
Beyond Ontology in Information Systems
Structured Information Retrieval and Quantum Theory / Benjamin Piwowarski ; Mounia Lalmas
Quantum Mechanics and Economics
Hilbert Space Models Commodity Exchanges / Paul Cockshott
Quantum Calculus (q-Calculus) and Option Pricing: A Brief Introduction / Emmanuel Haven
Author Index
Tutorial
Introduction to Quantum Probability for Social and Behavioral Scientists / Jerome R. Busemeyer
Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium / Ka-man Lam ; Ho-Fung Leung
Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs / Yuichi Yabu ; Makoto Yokoo ; Atsushi Iwasaki
Mageframe: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm / Quintin J. Balsdon ; Elizabeth M. Ehlers
Using Multiagent System to Build Structural Earth Model / Beiting Zhu ; Zahia Guessoum ; Michel Perrin ; Bertrand Braunschweig ; Pierre Fery-Forgues ; Jean-François Rainaud
Agent-Supported Protein Structure Similarity Searching / Dariusz Mrozek ; Bozena Matysiak ; Wojciech Augustyn
Merging Roles in Coordination and in Agent Deliberation / Guido Boella ; Valerio Genovese ; Roberto Grenna ; Leendert van der Torre
Planning Actions with Social Consequences / Hsueh-Min Chang ; Von-Wun Soo
Layered Cooperation of Macro Agents and Micro Agents in Cooperative Active Contour Model / Noriko Matsumoto ; Norihiko Yoshida ; Shuji Narazaki
Contextual Agent Deliberation in Defeasible Logic / Mehdi Dastani ; Guido Governatori ; Antonino Rotolo ; Insu Song
Formalizing Excusableness of Failures in Multi-Agent Systems / Eugen Staab ; Thomas Engel
Design and Implementation of Security Mechanisms for a Hierarchical Community-Based Multi-Agent System / Kenichi Takahashi ; Yoshiki Mitsuyuki ; Tsunenori Mine ; Kouichi Sakurai ; Makoto Amamiya
A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case / Terence L. van Zyl
Multi-Agent Based Web Search with Heterogeneous Semantics / Rui Huang ; Zhongzhi Shi
Reasoning about Norms, Obligations, Time and Agents / Jan Broersen
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation / Shohei Yamane ; Toru Ishida
Fast Partial Reallocation in Combinatorial Auctions for Iterative Resource Allocation / Naoki Fukuta ; Takayuki Ito
Deliberation Process in a BDI Model with Bayesian Networks / Moser Silva Fagundes ; Rosa Maria Vicari ; Helder Coelho
An Asymmetric Protocol for Argumentation Games in Defeasible Logic / Jenny Eriksson Lundström ; Subhasis Thakur ; Vineet Padmanabhan
On the Design of Interface Agents for a DRT Transportation System / Claudio Cubillos ; Sandra Gaete ; Guillermo Cabrera
Supporting Requirements Analysis in Tropos: A Planning-Based Approach / Volha Bryl ; Paolo Giorgini ; John Mylopoulos
Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel / Graham Low ; Ghassan Beydoun ; Brian Henderson-Sellers ; Cesar Gonzalez-Perez
Entrainment in Human-Agent Text Communication / Ikuko Kanashiro ; Kazuki Kobayashi ; Yasuhiko Kitamura
A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation / Yusuke Tanaka ; Yuu Nakajima ; Hiromitsu Hattori
Analysis of Pederstrian Navigation Using Cellular Phones / Takatoshi Oishi ; Daisuke Morikawa
Identifying Structural Changes in Networks Generated from Agent-Based Social Simulation Models / Shah Jamal Alam ; Bruce Edmonds ; Ruth Meyer
A 3D Conversational Agent for Presenting Digital Information for Deaf People / Da Phuc Phan ; Thi Nhat Thanh Nguyen ; The Duy Bui
Multiagent-Based Defensive Strategy System for Military Simulation / Seheon Song ; Seokcheol Shin ; Minkoo Kim
Achieving DRBAC Authorization in Multi-trust Domains with MAS Architecture and PMI / Somchart Fugkeaw ; Piyawit Manpanpanich ; Sekpon Juntapremjitt
When and How to Smile: Emotional Expression for 3D Conversational Agents / Thi Duyen Ngo
GAMA: An Environment for Implementing and Running Spatially Explicit Multi-agent Simulations / Edouard Amouroux ; Thanh-Quang Chu ; Alain Boucher ; Alexis Drogoul
Multi-agent Based Incineration Process Control System with Qualitative Model / Hyeon-Kyeong Kim ; Seungdo Kim
Engineering Adaptive Multi-Agent Systems with ODAM Methodology / Xinjun Mao ; Jianming Zhao ; Ji Wang
Integrating Agent Technology and SIP Technology to Develop Telecommunication Applications with JadexT / Huocheng Wu ; Jie Li
A Generic Distributed Algorithm for Computing by Random Mobile Agents / Shehla Abbas ; Mohamed Mosbah ; Akka Zemmari
Coalition Structure Generation in Task-Based Settings Based on Cardinality Structure / She-Xiong Su ; Shan-Li Hu ; Sheng-Fu Zheng ; Chao-Feng Lin ; Xian-Wei Lai
A Specialised Architecture for Embedding Trust Evaluation Capabilities in Intelligent Mobile Agents / Justin R. Pike ; Ockmer L. Oosthuizen
Reasoning with Levels of Modalities in BDI Logic / Jeff Blee ; David Billington ; Abdul Sattar
Agent Dialogue as Partial Argumentation and Its Fixpoint Semantics (Extended Abstract) / Takayoshi Suzuki ; Hajime Sawamura
Developing Knowledge Models for Multi-agent Mediator Systems / Cheah Wai Shiang ; Leon Sterling
A Game Theoretic Approach for Deploying Intrusion Detection Agent / Yi-Ming Chen ; Dachrahn Wu ; Cheng-Kuang Wu
Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent / Zehua Zhang ; Xuejie Zhang
Towards Culturally-Situated Agent Which Can Detect Cultural Differences / Heeryon Cho ; Naomi Yamashita
Ontology-Based Emotion System for Digital Environment / Woo Yeon Hwang ; Jung-Jin Yang
An Agent Approach for Distributed Job-Shop Scheduling / Leonardo Espinoza ; Nibaldo RodrÃguez
Author Index
Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium / Ka-man Lam ; Ho-Fung Leung
Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs / Yuichi Yabu ; Makoto Yokoo ; Atsushi Iwasaki
Mageframe: A Modular Agent Framework to Support Various Communication Schemas Based on a Self-embedding Algorithm / Quintin J. Balsdon ; Elizabeth M. Ehlers
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz
Constraints
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource / Armin Wolf ; Gunnar Schrader
Efficient Edge-Finding on Unary Resources with Optional Activities (Revised and Extended Version) / Sebastian Kuhnert
Encoding of Planning Problems and Their Optimizations in Linear Logic / Lukáš Chrpa ; Pavel Surynek ; Jiří Vyskočil
Constraint-Based Timetabling System for the German University in Cairo / Slim Abdennadher ; Mohamed Aly ; Marlien Edward
Databases and Data Mining
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications / Andreas M. Boehm ; Dietmar Seipel ; Albert Sickmann ; Matthias Wetzka
Relational Models for Tabling Logic Programs in a Database / Pedro Costa ; Ricardo Rocha ; Michel Ferreira
Integrating XQuery and Logic Programming / Jesús M. Almendros-Jiménez ; Antonio Becerra-Terón ; Francisco J. Enciso-Baños
Causal Subgroup Analysis for Detecting Confounding / Martin Atzmueller ; Frank Puppe
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining
Extensions of Logic Programming
Integrating Temporal Annotations in a Modular Logic Language / Vitor Nogueira ; Salvador Abreu
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators / Grzegorz J. Nalepa ; Igor Wojnicki
The Kiel Curry System KICS / Bernd Braβel ; Frank Huch
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics / Francisco J. López-Fraguas ; Juan Rodríguez-Hortalá ; Jaime Sánchez-Hernández
Java Type Unification with Wildcards / Martin Plümicke
System Demonstrations
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT / Johannes Oetsch ; Martina Seidl ; Hans Tompits ; Stefan Woltran
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics / Martin Gebser ; Jörg Pührer ; Torsten Schaub
Author Index
Invited Talk
A Guide for Manual Construction of Difference-List Procedures / Ulrich Geske ; Hans-Joachim Goltz
A Density-Based Re-ranking Technique for Active Learning for Data Annotations / Jingbo Zhu ; Huizhen Wang ; Benjamin K. Tsou
CRF Models for Tamil Part of Speech Tagging and Chunking / S. Lakshmana Pandian ; T.V. Geetha
A Probabilistic Graphical Model for Recognizing NP Chunks in Texts / Minhua Huang ; Robert M. Haralick
Processing of Korean Natural Language Queries Using Local Grammars / Tae-Gil Noh ; Yong-Jin Han ; Seong-Bae Park ; Se- Young Park
Improving the Performance of a NER System by Post-processing, Context Patterns and Voting / Asif Ekbal ; Sivaji Bandyopadhyay
Research on Automatic Chinese Multi-word Term Extraction Based on Term Component / Wei Kang ; Zhifang Sui
A Novel Method of Automobiles' Chinese Nickname Recognition / Cheng Wang ; Wenyuan Yu ; Wenxin Li ; Zhuoqun Xu
Fast Semantic Role Labeling for Chinese Based on Semantic Chunking / Weiwei Ding ; Baobao Chang
Validity of an Automatic Evaluation of Machine Translation Using a Word-Alignment-Based Classifier / Katsunori Kotani ; Takehiko Yoshimi ; Takeshi Kutsumi ; Ichiko Sata
Lexicalized Syntactic Reordering Framework for Word Alignment and Machine Translation / Chung-chi Huang ; Wei-teh Chen ; Jason S. Chang
Found in Translation: Conveying Subjectivity of a Lexicon of One Language into Another Using a Bilingual Dictionary and a Link Analysis Algorithm / Jungi Kim ; Hun-Young Jung ; Sang-Hyob Nam ; Yeha Lee ; Jong-Hyeok Lee
Transliteration Based Text Input Methods for Telugu / V.B. Sowmya ; Vasudeva Varma
Harvesting Regional Transliteration Variants with Guided Search / Jin-Shea Kuo ; Haizhou Li ; Chih-Lung Lin
A Simple and Efficient Model Pruning Method for Conditional Random Fields / Hai Zhao ; Chunyu Kit
Query-Oriented Summarization Based on Neighborhood Graph Model / Furu Wei ; Yanxiang He ; Wenjie Li ; Lei Huang
An Extractive Text Summarizer Based on Significant Words / Xiaoyue Liu ; Jonathan J. Webster
Using Proximity in Query Focused Multi-document Extractive Summarization / Sujian Li ; Yu Zhang ; Wei Wang ; Chen Wang
Learning Similarity Functions in Graph-Based Document Summarization / You Ouyang ; Qin Lu
Extracting Domain-Dependent Semantic Orientations of Latent Variables for Sentiment Classification
Mining Cross-Lingual/Cross-Cultural Differences in Concerns and Opinions in Blogs / Hiroyuki Nakasaki ; Mariko Kawaba ; Takehito Utsuro ; Tomohiro Fukuhara
Partially Supervised Phrase-Level Sentiment Classification / Seung-Hoon Na ; Jungi Ki
A Novel Composite Kernel Approach to Chinese Entity Relation Extraction / Ji Zhang ; Yuexian Hou
Automatic Acquisition of Attributes for Ontology Construction / Gaoying Cui ; Yirong Chen
Speech Synthesis for Error Training Models in CALL / Xin Zhang ; Jiping Wan ; Guangguang Ma ; Tin Shing Chiu ; Weiping Ye ; Wenli Zhou ; Qiao Li
Probabilistic Methods for a Japanese Syllable Cipher / Sujith Ravi ; Kevin Knight
Posters
Dialogue Strategies to Overcome Speech Recognition Errors in Form-Filling Dialogue / Sangwoo Kang ; Songwook Lee ; Jungyun Seo
Research on Domain Term Extraction Based on Conditional Random Fields / Dequan Zheng ; Tiejun Zhao ; Jing Yang
PKUNEI - A Knowledge-Based Approach for Chinese Product Named Entity Semantic Identification
Experiment Research on Feature Selection and Learning Method in Keyphrase Extraction
Korean-Chinese Machine Translation Using Three-Stage Verb Pattern Matching / Chang Hao Yin ; Young Ae Seo ; Young-Gil Kim
Domain Adaptation for English-Korean MT System: From Patent Domain to IT Web News Domain / Ki-Young Lee ; Sung-Kwon Choi ; Oh-Woog Kwon ; Yoon-Hyung Roh
Constructing Parallel Corpus from Movie Subtitles / Han Xiao ; Xiaojie Wang
Meta-evaluation of Machine Translation Using Parallel Legal Texts / Billy Tak-Ming Wong
Flattened Syntactical Phrase-Based Translation Model for SMT / Qing Chen ; Tianshun Yao
An Integrated Approach for Concept Learning and Relation Extraction / Qingliang Zhao
Text Editing for Lecture Speech Archiving on the Web / Masashi Ito ; Tomohiro Ohno ; Shigeki Matsubara
Document Clustering Description Extraction and Its Application / Chengzhi Zhang ; Huilin Wang ; Yao Liu ; Hongjiao Xu
Event-Based Summarization Using Critical Temporal Event Term Chain / Maofu Liu ; Xiaolong Zhang
Acquiring Verb Subcategorization Frames in Bengali from Corpora / Dipankar Das
An Investigation of an Interontologia: Comparison of the Thousand-Character Text and Roget's Thesaurus / Sang-Rak Kim ; Jae-Gun Yang ; Jae-Hak J. Bae
Author Index
Regular Papers
A Density-Based Re-ranking Technique for Active Learning for Data Annotations / Jingbo Zhu ; Huizhen Wang ; Benjamin K. Tsou
CRF Models for Tamil Part of Speech Tagging and Chunking / S. Lakshmana Pandian ; T.V. Geetha
Modeling Power Distance in Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Intrusion of Agent-Based Social Simulation in Economic Theory / Bogdan Werth ; Scott Moss
Modelling and Simulation of Social Behaviour
A Model for HIV Spread in a South African Village / Shah Jamal Alam ; Ruth Meyer ; Emma Norling
Understanding Collective Cognitive Convergence / H.V. Parunak ; T.C. Belding ; R. Hilscher ; S. Brueckner
Dynamics of Agent Organizations: Application to Modeling Irregular Warfare / Maksim Tsvetovat ; Maciej Latek
Applications
Using Simulation to Evaluate Data-Driven Agents / Elizabeth Sklar ; Ilknur Icke
Evaluation of Automated Guided Vehicle Systems for Container Terminals Using Multi Agent Based Simulation / Lawrence Henesey ; Paul Davidsson ; Jan A. Persson
MASFMMS: Multi Agent Systems Framework for Malware Modeling and Simulation / Rohan Monga ; Kamalakar Karlapalem
Techniques, Infrastructure and Technologies
Towards a Formal Semantics of Event-Based Multi-agent Simulations / Jean-Pierre Muller
A User Interface to Support Dialogue and Negotiation in Participatory Simulations / Eurico Vasconcelos ; Jean-Pierre Briot ; Marta Irving ; Simone Barbosa ; Vasco Furtado
Towards Agents for Policy Making / Frank Dignum ; Virginia Dignum
Methods and Methodologies
A Quantitative Method for Comparing Multi-agent-Based Simulations in Feature Space / Ryota Arai ; Shigeyoshi Watanabe
Deepening the Demographic Mechanisms in a Data-Driven Social Simulation of Moral Values Evolution / Samer Hassan ; Luis Antunes ; Millan Arroyo
Cross-Disciplinary Views on Modelling Complex Systems / Craig R. Powell ; Bruce Edmonds
Towards a New Approach in Social Simulations: Meta-language / Raif Serkan Albayrak ; Ahmet K. Suerdem
Author Index
Simulation of Economic Behaviour
Modeling Power Distance in Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Intrusion of Agent-Based Social Simulation in Economic Theory / Bogdan Werth ; Scott Moss
Prolegomena to Dynamic Epistemic Preference Logic / Satoru Suzuki
Monads and Meta-lambda Calculus / Daisuke Bekki
Juris-Informatics / Part III：
Overview of JURISIN 2008 / Katsumi Nitta ; Ken Satoh ; Satoshi Tojo
Bootstrapping-Based Extraction of Disctionary Terms from Unsegmented Legal Text / Masato Hagiwara ; Yasuhiro Orgawa ; Katsuhiko Toyama
Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution / Hiroyuki Kido ; Masahito Kurihara
Treatment of Legal Sentences Including Itemized and Referential Expressions - Towards Translation into Logical Forms / Yusuke Kimura ; Makoto Nakamura ; Akira Shimazu
Computing Argumentation Semantics in Answer Set Programmin / Tashiko Wakaki
Laughter in Interaction and Body Movement / Part IV：
LIBM 2008 First International Workshop on Laughter in Interaction and Body Movement / Hitoshi Iida ; Masashi Okamoto ; Katsuya Takanashi
Laughter Around the End of Storytelling in Multi-party Interaction / Mika Enomoto ; Masahi Okamoto ; Masato Ohba
Preliminary Notes on the Sequential Organization of Smile and Laughter / Hiromichi Hosoma
Laughter for Defusing Tesion: Examples from Business Mettings in Japanese and in English / Kazuyo Murata
Robots Make Things Funnier / Jonas Sjöbergh
Laughter: Its Basic Nature and Its Background of Equivocal Impression / Yutaka Tani
Author Index
Awarded Papers / Part I：
Overview of Awarded Papers-The 22nd Annual Conference of JSAI / Makoto Yokoo
A Japanese Input Method for Mobile Terminals Using Surface EMG Signals / Akira Hatano ; Kenji Araki ; Masafumi Matsuhara
Financial Forecasting Using Character N-Gram Analysis and Readability Scores of Annual Reports / Matthew Butler ; Vlado KeÃœelj
Statistical Parsing with Context-Free Filtering Grammar / Michael Demko ; Gerald Penn
Machine Translation of Legal Information and Its Evaluation / Atefeh Farzindar
An Iterative Hybrid Filter-Wrapper Approach to Feature Selection for Document Clustering / Mohammad-Amin Jashki ; Majid Makki ; Ebrahim Bagheri ; Ali A. Ghorbani
Cost-Based Sampling of Individual Instances / William Klement ; Peter Flach ; Nathalie Japkowicz ; Stan Matwin
Context Dependent Movie Recommendations Using a Hierarchical Bayesian Model / Daniel Pomerantz ; Gregory Dudek
Automatic Frame Extraction from Sentences / Martin Scaiano ; Diana Inkpen
Control of Constraint Weights for a 2D Autonomous Camera / Md. Shafiul Alam ; Scott D. Goodwin
Training Global Linear Models for Chinese Word Segmentation / Dong Song ; Anoop Sarkar
A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems / Lijun Wu ; Jinshu Su ; Xiangyu Luo ; Zhihua Yang ; Qingliang Chen
Enumerating Unlabeled and Root Labeled Trees for Causal Model Acquisition / Yang Xiang ; Zoe Jingyu ; Yu Li
Compiling the Lexicographic Inference Using Boolean Cardinality Constraints / Safa Yahi ; Salem Benferhat
Short Papers
Improving Document Search Using Social Bookmarking / Hamidreza Baghi ; Yeugen Biletskiy
Rank-Based Transformation in Measuring Semantic Relatedness / Bartosz Broda ; Maciej Piasecki ; Stan Szpakowicz
Optimizing a Pseudo Financial Factor Model with Support Vector Machines and Genetic Programming
Novice-Friendly Natural Language Generation Template Authoring Environment / Maria Fernanda Caropreso ; Shahzad Khan ; Fazel Keshtkar
A SVM-Based Ensemble Approach to Multi-Document Summarization / Yllias Chali ; Sadid A. Hasan ; Shafiq R. Joty
Co-Training on Handwritten Digit Recognition / Jun Du ; Charles X. Ling
Evaluation Methods for Ordinal Classification / Lisa Gaudette
STFLS: A Heuristic Method for Static and Transportation Facility Location Allocation in Large Spatial Datasets / Wei Gu ; Xin Wang ; Liqiang Geng
An Ontology-Based Spatial Clustering Selection System / Danielle Ziebelin
Exploratory Analysis of Co-Change Graphs for Code Refactoring / Hassan Khosravi ; Recep Colak
Classifying Biomedical Abstracts Using Committees of Classifiers and Collective Ranking Techniques / Alexandre Kouznetsov ; Amir H. Razavi ; Oana Frunza ; Morvarid Sehatkar ; Leanne Seaward ; Peter O'Blenis
Large Neighborhood Search Using Constraint Satisfaction Techniques in Vehicle Routing Problem / Hyun-Jin Lee ; Sang-Jin Cha ; Young-Hoon Yu ; Geun-Sik Jo
From Sensorimotor to Higher-Level Cognitive Processes: An Introduction to Anticipatory Behavior Systems / Giovanni Pezzulo ; Martin V. Butz ; Olivier Sigaud ; Gianluca Baldassarre
Anticipation in Psychology: Focus on the Ideomotor View
ABC: A Psychological Theory of Anticipative Behavioral Control / Joachim Hoffmann
Anticipative Control of Voluntary Action: Towards a Computational Model / Pascal Haazebroek ; Bernhard Hommel
Theoretical and Review Contributions
Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes / Jürgen Schmidhuber
Steps to a Cyber-Physical Model of Networked Embodied Anticipatory Behavior / Fabio P. Bonsignorio
Neural Pathways of Embodied Simulation / Henrik Svensson ; Anthony F. Morse ; Tom Ziemke
Anticipation and Dynamical Systems
The Autopoietic Nature of the "Inner World": A Study with Evolved "Blind" Robots / Michela Ponticorvo ; Domenico Parisi ; Orazio Miglino
The Cognitive Body: From Dynamic Modulation to Anticipation / Alberto Montebelli ; Robert Lowe
Computational Modelling of Psychological Processes in the Individual and Social Domains
A Neurocomputational Model of Anticipation and Sustained Inattentional Blindness in Hierarchies
Anticipation of Time Spans: New Data from the Foreperiod Paradigm and the Adaptation of a Computational Model / Johannes Lohmann ; Oliver Herbort ; Annika Wagener ; Andrea Kiesel
Collision-Avoidance Characteristics of Grasping: Early Signs in Hand and Arm Kinematics / Janneke Lommertzen ; Eliana Costa e Silva ; Raymond H. Cuijpers ; Ruud G.J. Meulenbroek
The Role of Anticipation on Cooperation and Coordination in Simulated Prisoner's Dilemma Game Playing / Maurice Grinberg ; Emilian Laleu
Behavioral and Cognitive Capabilities Based on Anticipation
A Two-Level Model of Anticipation-Based Motor Learning for Whole Body Motion / Camille Salaün ; Vincent Padois
Space Perception through Visuokinesthetic Prediction / Wolfram Schenck
Anticipatory Driving for a Robot-Car Based on Supervised Learning / Irene Markelić ; Tomas Kuluiĉius ; Minija Tamosiunaite ; Florentin Wörgötter
Computational Frameworks and Algorithms for Anticipation, and Their Evaluation
Prediction Time in Anticipatory Systems / Birger Johansson ; Christian Balkenius
Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning / Matthias Rungger ; Hao Ding ; Olaf Stursberg
Anticipatory Learning Classifier Systems and Factored Reinforcement Learning / Olga Kozlova ; Christophe Meyer
Author Index
Introduction
From Sensorimotor to Higher-Level Cognitive Processes: An Introduction to Anticipatory Behavior Systems / Giovanni Pezzulo ; Martin V. Butz ; Olivier Sigaud ; Gianluca Baldassarre
Anticipation in Psychology: Focus on the Ideomotor View
A Robust Speech Recognition System for Service-Robotics Applications / Masrur Doostdar ; Stefan Schiffer ; Gerhard Lakemeyer
Papers with Oral Presentation
Intuitive Humanoid Motion Generation Joining User-Defined Key-Frames and Automatic Learning / Marco Antonelli ; Fabio Dalla Libera ; Emanuele Menegatti ; Takashi Minato ; Hiroshi Ishiguro
Landmark-Based Representations for Navigating Holonomic Soccer Robots / Daniel Beck ; Alexander Ferrein
Mutual Localization in a Team of Autonomous Robots Using Acoustic Robot Detection / David Becker ; Max Risler
Tracking of Ball Trajectories with a Free Moving Camera-Inertial Sensor / Oliver Birbach ; Jörg Kurlbaum ; Tim Laue ; Udo Frese
A Case Study on Improving Defense Behavior in Soccer Simulation 2D: The NeuroHassle Approach / Thomas Gabel ; Martin Riedmiller ; Florian Trost
Constraint Based Belief Modeling / Daniel Göhring ; Heinrich Mellmann ; Hans-Dieter Burkhard
Explicitly Task Oriented Probabilistic Active Vision for a Mobile Robot / Pablo Guerrero ; Javier Ruiz-del-Solar ; Miguel Romero
An Incremental SLAM Algorithm with Inter-calibration between State Estimation and Data Association / Xiucai Ji ; Hui Zhang ; Dan Hai ; Zhiqiang Zheng
Development of an Augmented Environment and Autonomous Learning for Quadruped Robots / Hayato Kobayashi ; Tsugutoyo Osaki ; Tetsuro Okuyama ; Akira Ishino ; Ayumi Shinohara
Automatic Parameter Optimization for a Dynamic Robot Simulation / Matthias Hebbel
Arbitrary Ball Recognition Based on Omni-Directional Vision for Soccer Robots / Huimin Lu ; Junhao Xiao ; Fei Liu
A Robust Statistical Collision Detection Framework for Quadruped Robots / Tekin Meriçli ; Çetin Meriçli ; H. Levent Akin
Increasing Foot Clearance in Biped Walking: Independence of Body Vibration Amplitude from Foot Clearance / Hamid Reza Moballegh ; Mojgan Mohajer ; Raul Rojas
Adapting ADDIE Model for Human Robot Interaction in Soccer Robotics Domain / Rajesh Elara Mohan ; Carlos A. Acosta Calderon ; Changjiu Zhou ; Tianwu Yang ; Liandong Zhang ; Yongming Yang
A Proposal of Bridging Activities between RoboCupJunior and Senior Leagues / Yasunori Nagasaka ; Tatsumasa Kitahara ; Tomoichi Takahashi
A Collaborative Multi-robot Localization Method without Robot Identification / Nezih Ergin Özkucur ; Bariş Kurt
Teamwork Design Based on Petri Net Plans / Pier Francesco Palamara ; Vittorio A. Ziparo ; Luca Iocchi ; Daniele Nardi ; Pedro Lima
Bayesian Spatiotemporal Context Integration Sources in Robot Vision Systems / Rodrigo Palma-Amestoy ; C. Garretón
Towards Cooperative and Decentralized Mapping in the Jacobs Virtual Rescue Team / Max Pfingsthorn ; Yashodhan Nevatia ; Todor Stoyanov ; Ravi Rathnam ; Stefan Markov ; Andreas Birk
Robust Supporting Role in Coordinated Two-Robot Soccer Attack / Mike Phillips ; Manuela Veloso
A Novel Approach to Efficient Error Correction for the SwissRanger Time-of-Flight 3D Camera / Jann Poppinga
Autonomous Evolution of High-Speed Quadruped Gaits Using Particle Swarm Optimization / Chunxia Rong ; Qining Wang ; Yan Huang ; Guangming Xie ; Long Wang
Designing Fall Sequences That Minimize Robot Damage in Robot Soccer / Paul Vallejos ; R. Marchant ; P. Zegers
The Use of Scripts Based on Conceptual Dependency Primitives for the Operation of Service Mobile Robots / Jesus Savage ; Alfredo Weitzenfeld ; Francisco Ayala ; Sergio Cuellar
An Omnidirectional Camera Simulation for the USARSim World / Tijn Schmits ; Arnoud Visser
Introducing Image Processing to RoboCupJunior: PALB VISION A First Implementation of Live Image Processing in RCJ Soccer / Christoph Siedentop ; Max Schwarz ; Sebastian Pfülb
Multi-robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue / Dali Sun ; Alexander Kleiner ; Thomas M. Wendt
Analysis Methods of Agent Behavior and Its Interpretation in a Case of Rescue Simulations
Spiral Development of Behavior Acquisition and Recognition Based on State Value / Yasutake Takahashi ; Yoshihiro Tamuro ; Minoru Asada
Determining Map Quality through an Image Similarity Metric / Ioana Varsadan
Real-Time Spatio-Temporal Analysis of Dynamic Scenes in 3D Soccer Simulation / Tobias Warden ; Andreas D. Lattner ; Ubbo Visser
Coaching Robots to Play Soccer via Spoken-Language / Carlos Ramos ; Peter Ford Dominey
Player Positioning in the Four-Legged League / Henry Work ; Eric Chown ; Tucker Hermans ; Jesse Butterfield ; Mark McGranaghan
Humanoid Robot Gait Generation Based on Limit Cycle Stability / Mingguo Zhao ; Ji Zhang ; Hao Dong ; Yu Liu ; Liguo Li ; Xuemin Su
Playing Creative Soccer: Randomized Behavioral Kinodynamic Planning of Robot Tactics / Stefan Zickler
Papers with Poster Presentation
A Robot Referee for Robot Soccer / Matías Arenas ; Simón Norambuena ; Sebastián Cubillos
Detection of Basic Behaviors in Logged Data in RoboCup Small Size League / Koshi Asano ; Kazuhito Murakami ; Tadashi Naruse
Using Different Humanoid Robots for Science Edutainment of Secondary School Pupils
Planetary Exploration in USARsim: A Case Study Including Real World Data from Mars
Face Recognition for Human-Robot Interaction Applications: A Comparative Study / Mauricio Correa ; Fernando Bernuy
xROB-S and iCon-X: Flexible Hardware, Visual Programming and Software Component Reuse / Stefan Enderle ; Wolfgang Günther ; Hans-Juergen Hilscher ; Holger Kenn
Multi-level Network Analysis of Multi-agent Systems / Pejman Iravani
A Decision-Theoretic Active Loop Closing Approach to Autonomous Robot Exploration and Mapping
Domestic Interaction on a Segway Base / W. Bradley Knox ; Juhyun Lee ; Peter Stone
Combining Policy Search with Planning in Multi-agent Cooperation / Jie Ma ; Stephen Cameron
Model-Free Active Balancing for Humanoid Robots / Sara McGrath ; John Anderson ; Jacky Baltes
Stereo-Vision Based Control of a Car Using Fast Line-Segment Extraction / Brian McKinnon
A Layered Metric Definition and Evaluation Framework for Multirobot Systems
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning / Isabelle Bloch
From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics / Petr Cintula
Conditionals and Independence in Many-Valued Logics / Daniele Mundici
Algorithms for Uncertain Inference
Inference from Multinomial Data Based on a MLE-Dominance Criterion / Alessio Benavoli ; Cassio P. de Campos
Local Computation Schemes with Partially Ordered Preferences / Hélène Fargier ; Nic Wilson
Inference in Hybrid Bayesian Networks with Deterministic Variables / Prakash P. Shenoy ; James C. West
Argumentation Systems
Extracting the Core of a Persuasion Dialog to Evaluate Its Quality / Leila Amgoud ; Florence Dupin de Saint-Cyr
On Revising Argumentation-Based Decision Systems / Srdjan Vesic
Encompassing Attacks to Attacks in Abstract Argumentation Frameworks / Pietro Baroni ; Federico Cerutti ; Massimiliano ; Giacomin ; Giovanni Guida
Social Argument Justification: Some Mechanisms and Conditions for Their Coincidence / Gustavo Adrián Bodanza ; Marcelo Roberto Auday
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension / Guido Boella ; Souhila Kaci ; Leendert van der Torre
An Algorithm for Generating Arguments in Classical Predicate Logic / Vasiliki Efstathiou ; Anthony Hunter
Modelling Argument Accrual in Possibilistic Defeasible Logic Programming / Mauro J. Gómez Lucero ; Carlos I. Chesñevar ; Guillermo R. Simari
Generalized Abstract Argumentation: Handling Arguments in FOL Fragments / Martín O. Moguillansky ; Nicolás D. Rotstein ; Marcelo A. Falappa
Bayesian Networks
Probability Density Estimation by Perturbing and Combining Tree Structured Markov Networks / Sourour Ammar ; Philippe Leray ; Boris Defourny ; Louis Wehenkel
Integrating Ontological Knowledge for Iterative Causal Discovery and Visualization / Montassar Ben Messaoud ; Nahla Ben Amor
Binary Probability Trees for Bayesian Networks Inference / Andrés Cano ; Manuel Gómez-Olmedo ; Serafín Moral
Marginals of DAG-Isomorphic Independence Models / Peter R. de Waal
The Probabilistic Interpretation of Model-Based Diagnosis / Ildikó Flesch ; Peter J.F. Lucas
Simplifying Learning in Non-repetitive Dynamic Bayesian Networks / Eric O. Postma
Surprise-Based Qualitative Probabilistic Networks / Zina M. Ibrahim ; Ahmed Y. Tawfik ; Alioune Ngom
Maximum Likelihood Learning of Conditional MTE Distributions / Helge Langseth ; Thomas D. Nielsen ; Rafael Rumí ; Antonio Salmerón
Belief Functions
A Generalization of the Pignistic Transform for Partial Bet / Thomas Burger ; Alice Caplier
Using Logic to Understand Relations between DSmT and Dempster-Shafer Theory / Lawrence Cholvy
Complexes of Outer Consonant Approximations / Fabio Cuzzolin
The Intersection Probability and Its Properties
Can the Minimum Rule of Possibility Theory Be Extended to Belief Functions? / Sébastien Destercke ; Didier Dubois
Capacity Refinements and Their Application to Qualitative Decision Evaluation
Knowledge Base Stratification and Merging Based on Degree of Support / Weiru Liu
Using Transfinite Ordinal Conditional Functions / Sébastien Konieczny
The Non-archmedean Polynomials and Merging of Stratified Knowledge Bases / Jianbing Ma
Encoding the Revision of Partially Preordered Information in Answer Set Programming / Mariette Sérayet ; Pierre Drap
A Distance-Based Operator to Revising Ontologies in DL SHOQ / Fangkai Yang ; Guilin Qi ; Zhisheng Huang
Classification and Clustering
An Experimental Study about Simple Decision Trees for Bagging Ensemble on Datasets with Classification Noise / Joaquín Abellás ; Andrés R. Masegosa
Incremental Maintenance of Frequent Itemsets in Evidential Databases / Mohamed Anis Bach Tobji ; Boutheina Ben Yaghlane ; Khaled Mellouli
A Bayesian Random Split to Build Ensembles of Classification Trees
HODE: Hidden One-Dependence Estimator / M. Julia Flores ; José A. Gámez ; Ana M. Martínez ; José M. Puerta
On the Effectiveness of Diversity When Training Multiple Classifier Systems / David Gacquer ; Véronique Delcroix ; François Delmotte ; Sylvain Piechowiak
On the Use of Clustering in Possibilistic Decision Tree Induction / Ilyes Jenhani ; Salem Benferhat ; Zied Elouedi
When in Doubt ... Be Indecisive / Linda C. van der Gaag ; Silja Renooij ; Wilma Steeneveld ; Henk Hogeveen
Conditioning, Independence, Inference
Acyclic Directed Graphs to Represent Conditional Independence Models / Marco Baioletti ; Giuseppe Busanello ; Barbara Vantaggi
Towards a Conscious Choice of a Similarity Measure: A Qualitative Point of View / Bernadette Bouchon-Meunier ; Giulianella Coletti ; Marie-Jeanne Lesot ; Maria Rifqi
Integrated Likelihood in a Finitely Additive Setting / Romano Scozzafava
Triangulation Heuristics for BN2O Networks / Petr Savicky ; Jiří Vomlel
Default Reasoning
A Default Logic Patch for Default Logic / Philippe Besnard ; Éric Grégoire ; Sébastien Ramon
A Note on Cumulative Stereotypical Reasoning / Giovanni Casini ; Hykel Hosni
Realizing Default Logic over Description Logic Knowledge Bases / Minh Dao-Tran ; Thomas Eiter ; Thomas Krennwallner
Dealing Automatically with Exceptions by Introducing Specificity in ASP / Laurent Garcia ; Stéphane Ngoma ; Pascal Nicolas
Foundations of Reasoning and Decision Making under Uncertainty
Generalised Label Semantics as a Model of Epistemic Vagueness / Jonathan Lawry ; Inés ; González-Rodríguez
Handling Analogical Proportions in Classical Logic / Fuzzy Logics Settings ; Laurent Miclet ; Henri Prade
Qualitative Possibilities and Necessities / Aleksandar Perović ; Zoran Ognjanović ; Miodrag Rašković ; Zoran Marković
Probabilistic Reasoning by SAT Solvers / Emad Saad
Fuzzy Sets and Fuzzy Logic
Supporting Fuzzy Rough Sets in Fuzzy Description Logics / Fernando Bobillo ; Umberto Straccia
Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets / Ivan Kramosil
Different Representations of Fuzzy Vectors / Jiuzhen Liang ; Mirko Navara ; Thomas Vetterlein
Elicitating Sugeno Integrals: Methodology and a Case Study / Agnés Rico ; Mathieu Serrurier ; Eric Raufaste
Implementation and Applications of Uncertain Systems
Robust Gene Selection from Microarray Data with a Novel Markov Boundary Learning Method: Application to Diabetes Analysis / Alex Aussem ; Sergio Rodrigues de Morais ; Florence Perraud ; Sophie Rome
Brain Tumor Segmentation Using Support Vector Machines / Raouia Ayachi
Ensemble Learning for Multi-source Information Fusion / Jörg Beyer ; Kai Heesche ; Werner Hauptmann ; Clemens Otte ; Rudolf Kruse
Bayesian Belief Network for Tsunami Warning Decision Support / Lilian Blaser ; Matthias Ohrnberger ; Carsten Riggelsen ; Frank Scherbaum
Anti-division Queries with Ordinal Layered Preferences / Patrick Bosc ; Olivier Pivert ; Olivier Soufflet
Predicting Stock and Portfolio Returns Using Mixtures of Truncated Exponentials / Barry R. Cobb
Logics for Reasoning under Uncertainty
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data / Ofer Arieli ; Anna Zamansky
A Simple Modal Logic for Reasoning about Revealed Beliefs / Mohua Banerjee
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases / Safa Yahi
A Logic for Complete Information Systems / Md. Aquil Khan
Markov Decision Processesß
An Uncertainty-Based Belief Selection Method for POMDP Value Iteration / Qi Feng ; Xuezhong Zhou ; Houkuan Huang ; Xiaoping Zhang
Optimal Threshold Policies for Multivariate Stopping-Time POMDPs / Vikram Krishnamurthy
An Evidential Measure of Risk in Evidential Markov Chains / Hélène Soubaras
Mathematical Fuzzy Logic
Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms / Stefano Aguzzoli ; Brunella Gerla ; Vincenzo Marra
Soft Constraints Processing over Divisible Residuated Lattices / Simone Bova
On the Convergence with Fixed Regulator in Residuated Structures / Lavinia Corina Ciungu
Open Partitions and Probability Assignments in Gödel Logic / Pietro Codara ; Ottavio M. D'Antona
Exploring Extensions of Possibilistic Logic over Gödel Logic / Pilar Dellunde ; Lluís Godo ; Enrico Marchioni
Author Index
Invited Talks
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning / Isabelle Bloch
From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics / Petr Cintula
Agents and Data Mining in Bio informatics: Joining Data Gathering and Automatic Annotation with Classification and Distributed Clustering / Ana L.C. Bazzan
Knowledge-Based Reinforcement Learning for Data Mining / Daniel Kudenko ; Marek Grzes
Ubiquitous Intelligence in Agent Mining / Longbing Cao ; Dan Luo ; Chengqi Zhang
Agents Based Data Mining and Decision Support System / Serge Parshutin ; Arkady Borisov
Agent-Driven Data Mining / II：
Agent-Enriched Data Mining Using an Extendable Framework / Kamal Ali Albashiri ; Frans Coenen
Auto-Clustering Using Particle Swarm Optimization and Bacterial Foraging / Jakob R. Olesen ; Jorge Cordero H. ; Yifeng Zeng
A Self-Organized Multiagent System for Intrusion Detection / Esteban J. Palomo ; Enríque Dominguez ; Rafael M. Luque ; Jose Muñoz
Towards Cooperative Predictive Data Mining in Competitive Environments / Viliam Lisý ; Michal Jakob ; Petr Benda ; èt&ebreve;pán Urban ; Michal P&ebreve;chouček
Data Mining Driven Agents / III：
Improving Agent Bidding in Power Stock Markets through a Data Mining Enhanced Agent Platform / Anthony C. Chrysopoulos ; Andreas L. Symeonidis ; Pericles A. Mitkas
Enhancing Agent Intelligence through Data Mining: A Power Plant Case Study / Christina Athanasopouiou ; Vasilis Ckatziathanasion
A Sequence Mining Method to Predict the Bidding Strategy of Trading Agents / Vivia Nikolaidou
Agent Mining Applications / IV：
Agent Assignment for Process Management: Pattern Based Agent Performance Evaluation / Stefan Jablonski ; Ramzan Talib
Concept Learning for Achieving Personalized Ontologies: An Active Learning Approach / Murat &Scedilla;ensoy ; Pinar Yolum
The Complex Dynamics of Sponsored Search Markets / Valentin Robu ; Han La Poutré ; Sander Bohte
Author Index
Invited Talks and Papers / I：
Agents and Data Mining in Bio informatics: Joining Data Gathering and Automatic Annotation with Classification and Distributed Clustering / Ana L.C. Bazzan
Knowledge-Based Reinforcement Learning for Data Mining / Daniel Kudenko ; Marek Grzes
Discovering Novel Adverse Drug Events Using Natural Language Processing and Mining of the Electronic Health Record / Carol Friedman
Computer Vision: A Plea for a Constructivist View / Catherine Garbay
Temporal Reasoning and Temporal Data Mining / 1：
Mining Healthcare Data with Temporal Association Rules: Improvements and Assessment for a Practical Use / Stefano Concaro ; Lucia Sacchi ; Carlo Cerra ; Pietro Fratino ; Riccardo Bellazzi
A Temporal Data Mining Approach for Discovering Knowledge on the Changes of the Patient's Physiology / Corrado Loglisci ; Donato Malerba
Severity Evaluation Support for Burns Unit Patients Based on Temporal Episodic Knowledge Retrieval / Jose M. Juarez ; Manuel Campos ; Jose Palma ; F. Palacios ; Roque Marin
Using Temporal Constraints to Integrate Signal Analysis and Domain Knowledge in Medical Event Detection / Feng Gao ; Yaji Sripada ; Jim Hunter ; Francois Portet
Towards the Merging of Multiple Clinical Protocols and Guidelines via Ontology-Driven Modeling / Samina Raza Abidi ; Syed Sibie Raza Abidi
Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures / Gersende Georg ; Hugo Hernault ; Marc Cavazza ; Helmut Prendinger ; Mitsuru Ishizuka
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance / Federico Chesani ; Paola Mello ; Gianpaolo Molino ; Marco Montali ; Sergio Storari ; Mauro Torchio
Goal-Based Decisions for Dynamic Planning / Elizabeth Black ; David W. Glasspool ; M. Adela Grando ; Vivek Patkar ; John Fox
Genetic Algorithm Based Scheduling of Radiotherapy Treatments for Cancer Patients / Dobrila Petrovic ; Mohammad Morshed ; Sanja Petrovic
Case-Based Reasoning / 3：
Feasibility of Case-Based Beam Generation for Robotic Radiosurgery / Alexander Sehlaefer ; Sonja Dieterich ; 106
Conversational Case-Based Reasoning in Medical Classification and Diagnosis / David McSherry
Medical Imaging / 4：
Histopathology Image Classification Using Bag of Features and Kernel Functions / Juan C. Caicedo ; Angel Cruz ; Fabio A. Gonzalez
Improving Probabilistic Interpretation of Medical Diagnoses with Multi-resolution Image Parameterization: A Case Study / Matja Kukar ; Luka èajn
Segmentation of Lung Tumours in Positron Emission Tomography Scans: A Machine Learning Approach / Aliaksei Kerhet ; Cormac Small ; Harvey Quon ; Terence Riauka ; Russell Greiner ; Alexander McEwan ; Wilson Roa
A System for the Acquisition, Interactive Exploration and Annotation of Stereoscopic Images / Karim Benzeroual ; Mohammed Haouach ; Christiane Guinot ; Gilles Venturini
Knowledge-Based and Decision-Support Systems / 5：
Implementing a Clinical Decision Support System for Glucose Control for the Intensive Cardiac Care / Rogier Barendse ; Jonathan Lipton ; Maarten van Ettinger ; Stefan Nelwan ; Niek van der Putten
Steps on the Road to Clinical Application of Decision Support - Example TREAT / Steen Andreassen ; Alina Zalotmina ; Knud Buus Pedersen ; John Gade ; Mical Paul ; Leonard Leibovici
Integrating Healthcare Knowledge Artifacts for Clinical Decision Support: Towards Semantic Web Based Healthcare Knowledge Morphing / Sajjad Hussain ; Syed Sibte Raza Abidi
A Knowledge-Based System to Support Emergency Medical Services for Disabled Patients / Luca Chittaro ; Roberto Ranon ; Elio Carchietli ; Agostino Zampa ; Emanuele Biasutti ; Luca De Marco ; Augusto Senerchia
A Mobile Clinical Decision Support System for Clubfoot Treatment / Weiqin Chen ; Dag Skjelvik
An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression / Azizi Ab Aziz ; Michel C.A. Klein ; Jan Treur
An Advanced Platform for Managing Complications of Chronic Diseases / Davide Capozzi ; Giordano Lanzola
One Telemedical Solution in Bulgaria / P. Mihova ; J. Vinarova ; I. Pendzhurov
A Novel Multilingual Report Generation System for Medical Applications / Kaya Kuru ; Sertan Girgin ; Kemal Arda
Ontologies, Terminologies and Natural Language / 6：
CORAAL - Towards Deep Exploitation of Textual Resources in Life Sciences / VÃt Nová?ek ; Tudor Groza ; Siegfried Handschuh
Using Existing Biomedical Resources to Detect and Ground Terms in Biomedical Literature / Kaarel Kaljurand ; Fabio Rinaldi ; Thomas Kappeler ; Gerold Schneider
An Ontology for the Care of the Elder at Home / David Riaño ; Francis Real ; Fabio Campana ; Sara Ercolani ; Roberta Annicchiarico
Ontology-Based Personalization and Modulation of Computerized Cognitive Exercises / Silvana Quaglini ; Silvia Panzarasa ; Tiziana Giorgiani ; Chiara Zucchella ; Michelangelo Bartolo ; Elena Sinforiani ; Giorgio Sandrini
HomeNL: Homecare Assistance in Natural Language. An Intelligent Conversational Agent for Hypertensive Patients Management / Lina Maria Rojas-Barahona ; Mario Stefanelli
Explaining Anomalous Responses to Treatment in the Intensive Care Unit / Laura Moss ; Derek Sleeman ; Malcolm Booth ; Malcolm Daniel ; Lyndsay Donaldson ; Charlotte Gilhooly ; Martin Hughes ; Malcolm Sim ; John Kinsella
CodeSlinger: An Interactive Biomedical Ontology Browser / Jeffery L. Painter ; Natalie L. Flowers
Data Mining, Machine Learning, Classification and Prediction / 7：
Subgroup Discovery in Data Sets with Multi-dimensional Responses: A Method and a Case Study in Traumatology / Lan Umek ; Bla Zupan ; Marko Toplak ; Annie Morin ; Jean-Hugues Chauchat ; Gregor Makovec ; Dragica Smrke
A Framework for Multi-class Learning in Micro-array Data Analysis / Nicoletta Dessà ; Barbara Pes
Mining Safety Signals in Spontaneous Reports Database Using Concept Analysis / Mohamed Rouane-Hacene ; Yannick Toussaint ; Petko Valtchev
Providing Objective Feedback on Skill Assessment in a Dental Surgical Training Simulator / Phattanapon Rhienmora ; Peter Haddawy ; Siriwan Suebnukarn ; Matthew N. Dailey
Voice Pathology Classification by Using Features from High-Speed Videos / Daniel Voigt ; Michael Döllinger ; Anxiong Yang ; Ulrich Eysholdt ; Jörg Lohscheller
Analysis of EEG Epileptic Signals with Rough Sets and Support Vector Machines / Joo-Heon Shin ; Dave Smith ; Roman Swiniarski ; F. Edward Dudek ; Andrew White ; Kevin Staley ; Krzysztof J. Cios
Automatic Detecting Documents Containing Personal Health Information / Yunli Wang ; Hongyu Liu ; Liqiang Geng ; Matthew S. Keays ; Yonghua You
Segmentation of Text and Non-text in On-Line Handwritten Patient Record Based on Spatio-Temporal Analysis / Rattapoom Waranusast ; Matthew Dailey
An Ontology-Based Method to Link Database Integration and Data Mining within a Biomedical Distributed KDD / David Perez-Rey ; Victor Maojo
The Role of Biomedical Dataset in Classification / Ajay Kumar Tanwani ; Muddassar Farooq
Online Prediction of Ovarian Cancer / Fedor Zhdanov ; Vladimir Vovk ; Brian Burford ; Dmitry Devetyarov ; Ilia Nouretdinov ; Alex Gammerman
Prediction of Mechanical Lung Parameters Using Gaussian Process Models / Steven Ganzert ; Stefan Kramer ; Knut Möller ; Daniel Steinmann ; Josef Guttmann
Learning Approach to Analyze Tumour Heterogeneity in DCE-MRI Data During Anti-cancer Treatment / Alessandro Daducci ; Umberto Castellani ; Marco Cristani ; Paolo Farace ; Pasquina Marzola ; Andrea Sbarbati ; Vittorio Murino
Predicting the Need to Perform Life-Saving Interventions in Trauma Patients by Using New Vital Signs and Artificial Neural Networks / Andriy I. Batchinsky ; Jose Salinas ; John A. Jones ; Corina Necsoiu ; Leopoldo C. Cancio
Probabilistic Modeling and Reasoning / 8：
Causal Probabilistic Modelling for Two-View Mammographic Analysis / Marina Velikova ; Maurice Samulski ; Peter J.F. Lucas ; Nico Karssemeijer
Data-Efficient Information-Theoretic Test Selection / Marianne Mueller ; Romer Rosales ; Harald Steck ; Sriram Krishnan ; Bharat Rao
Gene and Protein Data / 9：
Effect of Background Correction on Cancer Classification with Gene Expression Data / Adelaide Freitas ; Gladys Castillo ; Ana São Marcos
On Quality of Different Annotation Sources for Gene Expression Analysis / Francesca Mulas ; Tomaz Curk ; Blaz Zupan
An Architecture for Automated Reasoning Systems for Genome-Wide Studies / Angelo Nuzzo ; Alberto Riva
A Mutual Information Approach to Data Integration for Alzheimer's Disease Patients / Italo Zoppis ; Erica Gianazza ; Clizia Chinello ; Veronica Mainini ; Carmen Galbusera ; Carlo Ferrarese ; Gloria Galimberti ; Alessandro Sorbi ; Barbara Borroni ; Fulvio Magni ; Giancarlo Mauri
Author Index
Invited Talks
Discovering Novel Adverse Drug Events Using Natural Language Processing and Mining of the Electronic Health Record / Carol Friedman
Computer Vision: A Plea for a Constructivist View / Catherine Garbay
Towards Cognitive-Aware Multimodel Presentation: The Modality Effects in High-Load HCI / Yujia Cao ; Mariët Theune ; Anton Nijholt
Supporting Situation Awareness in Demanding Operating Environments through Wearable User Interfaces / Jari Laarni ; Juhani Heinilä ; Jukka Hökkinen ; Virpi Kalakoski ; Kari Kallinen ; Kristian Lukander ; Paula Löppönen ; Tapio Palomäki ; Niklas Ravaja ; Paula Saviaja ; Antti Väätänen
Development of a Technique for Predicting the Human Response to an Emergency Situation / Glyn Lawson ; Sarah Sharples ; David Clarke ; Sue Cobb
A Dynamic Task Representation Method for a Virtual Reality Application / Maria Chiara Leva ; Alison Mragaret Kay ; Fabio Mattei ; Tom Kontogiannis ; Massimilliano De Ambroggi ; Sam Cromie
An Investigation of Function Based Design Considering Affordances in Conceptual Design of Mechanical Movement / Ying-Chieh Liu ; Su-Ju Lu
CWE: Assistance Environment for the Evaluation Operating a Set of Variations of the Cognitive Walkthrough Ergonomic Inspection Method / Thomas Mahatody ; Christophe Kolski ; Mouldi Sagar
The Use of Multimodal Representation in Icon Interpretation / Siné McDougall ; Alexandra Forsythe ; Sarah Isherwood ; Agnes Petocz ; Irene Reppa ; Catherine Stevens
Beyond Emoticons: Combining Affect and Cognition in Icon Design / Gary Smith ; David Playfoot
Agency Attribution in Human-Computer Interaction / John E. McEneaney
Human-UAV Co-operation Based on Artificial Cognition / Claudia Meitinger ; Axel Schulte
Development of an Evaluation Method for Office Work Productivity / Kazune Miyagi ; Hiroshi Shimoda ; Hirotake Ishii ; Kenji Enomoto ; Mikio Iwakawa ; Masaaki Terano
Supporting Cognitive Collage Creation for Pedestrian Navigation / Augustinus H.J. Oomes ; Miroslav Bojic ; Gideon Bazen
Development of a Novel Platform for Greater Situational Awareness in the Urban Military Terrain / Stephen D. Prior ; Siu-Tsen Shen ; Anthony S. White ; Siddharth Odedra ; Mehmet Karamanoglu ; Mehmet Ali Erbil ; Tom Foran
The User Knows: Considering the Cognitive Contribution of the User in the Design of Auditory Warnings
Interaction and Cognition / Part II：
The Influence of Gender and Age on the Visual Codes Working Memory and the Display Duration - A Case Study of Fencers / Chih-Lin Chang ; Kai-Way Li ; Yung-Tsan Jou ; Hsu-Chang Pan ; Tai-Yen Hsu
Comparison of Mobile Device Navigation Information Display Alternatives from the Cognitive Load Perspective / Murat Can Cobanoglu ; Ahmet Alp Kindiroglu ; Selim Balcisoy
Visual complexity: Is That All There Is?
Operational Decision Making in Aluminium Smelters / Yashuang Gao ; Mark P. Taylor ; John J.J. Chen ; Michael J. Hautus
Designers of Different Cognitive Styles Editing E-Learning Materials Studied by Monitoring Physciological and Other Data Simultaneously / Károly Hercegfi ; Olga Csillik ; Éva Bodnár ; Judit Sass ; Lajos Izsó
Analyzing Control-Display Movement Compatibility: A Neuroimaging Study / S.M. Hadi Hosseini ; Maryam Rostami ; Makoto Takahashi ; Naoki Miura ; Motoaki Sugiura ; Ryuta Kawashima
Graphics and Semantics: The Relationship between What Is Seen and What Is Meant in Icon Design
The Effect of Objects Features on Multiple Object Tracking and Identification / Tianwei Liu ; Wenfeng Chen ; Yuming Xuan ; Xiaolan Fu
Organizing Smart Networks and Humans into Augmented Teams / Martijn Neef ; Martin van Rijn ; Danielle Keus ; Jan-Willem Marck
Quantitative Evaluation of Mental Workload by Using Model of Involuntary Eye Movement / Goro Obinata ; Satoru Tokuda ; Katsuyuki Fukuda ; Hiroto Hamada
Spatial Tasks on a Large, High-Resolution Tiled Display: Females Mentally Rotate Large Objects Faster Than Men / Bernt Ivar Olsen ; Bruno Laeng ; Kari-Ann Kristiansen ; Gunnar Hartvigsen
Neurocognitive Workload Assessment Using the Virtual Reality Cognitive Performance Assessment Test / Thomas D. Parsons ; Louise Cosand ; Christopher Courtney ; Arvind Iyer ; Albert A. Rizzo
Effects of Design Elements in Magazine Advertisements / Young Sam Ryu ; Taewon Suh ; Sean Dozier
The Influence of Shared-Representation on Shared Mental Models in Virtual Teams / Rose Saikayasit
Harnessing the Power of Multiple Tools to Predict and Mitigate Mental Overload / Charneta Sammas ; David Jones ; Kelly Hale ; Diane Mitchell
Acceptance of E-Invoicing in SMEs / Karl W. Sandberg ; Olof Wahlberg ; Yan Pan
Mental Models in Process Visualization - Could They Indicate the Effectiveness of an Operator's Training? / Karin Schweizer ; Denise Gramβ ; Susi Mühlhausen ; Birgit Vogel-Heuser
Effects of Report Order on Identification on Multidimensional Stimulus: Color and Shape / I-Hsuan Shen ; Kong-King Shieh
Tactical Reconnaissance Using Groups of Partly Autonomous UGVs / Peter Svenmarck ; Dennis Andersson ; Björn Lindahl ; John Hedström ; Patrik Lif
Driving Safety and Support / Part III：
Use of High-Fidelity Simulation to Evaluate Driver Performance with Vehicle Automation Systems / Timothy Brown ; Jane Moeckli ; Dawn Marshall
Applying the "Team Player" Approach on Car Design / Staffan Davidsson ; H&adeg;kan Alm
New HMI Concept for Motorcycles-The Saferider Approach / J.P. Frederik Diederichs ; Marco Fontana ; Giacomo Bencini ; Stella Nikolaou ; Roberto Montanari ; Andrea Spadoni ; Harald Widlroither ; Niccolè Baldanzini
Night Vision - Reduced Driver Distraction, Improved Safety and Satisfaction / Klaus Fuchs ; Bettina Abendroth ; Ralph Bruder
Measurement of Depth Attention of Driver in Frontal Scene / Mamiko Fukuoka ; Shun'ichi Doi ; Takahiko Kimura ; Toshiaki Miura
Understanding the Opinion Forming Processes of Experts and Customers During Evaluations of Automotive Sounds / Louise Humphreys ; Sebastiano Guidice ; Paul Jennings ; Rebecca Cain ; Garry Dunne ; Mark Allman-Ward
HR Changes in Driving Scenes with Danger and Difficulties Using Driving Simulator / Yukiyo Kuriyagawa ; Mieko Ohsuga ; Ichiro Kageyama
Driver Measurement: Methods and Applications / Shane McLaughin ; Jonathan Hankey ; Thomas Dingus
The Assessment of Driver's Arousal States from the Classification of Eye-Blink Patterns / Yoshihiro Noguchi ; Keiji Shimada ; Yoshiyuki Kamakura ; Yumiko Inoue
Guiding a Driver's Visual Attention Using Graphical and Auditory Animations / Tony Poitschke ; Florian Laquai ; Gerhard Rigoll
Fundamental Study for Relationship between Cognitive Task and Brain Activity During Car Driving / Shunji Shimizu ; Nobuhide Hirai ; Fumikazu Miwakeichi ; Senichiro Kikuchi ; Yasuhito Yoshizawa ; Masanao Sato ; Hiroshi Murata ; Eiju Watanabe ; Satoshi Kato
A Study on a Method to Call Drivers' Attention to Hazard / Hiroshi Takahashi
An Analysis of Saccadic Eye Movements and Facial Images for Assessing Vigilance Levels During Simulated Driving / Akinori Ueno ; Shoyo Tei ; Tomohide Nonomura ; Yuichi Inoue
Implementing Human Factors within the Design Process of Advanced Driver Assistance Systems (ADAS) / Boris van Waterschoot ; Mascha van der Voort
A Survey Study of Chinese Drivers' Inconsistent Risk Perception / Pei Wang ; Pei-Luen Patrick Rau ; Gavriel Salvendy
Design for Smart Driving: A Tale of Two Interfaces / Mark S. Young ; Stewart A. Birrell ; Neville A. Stanton
Aviation and Transport / Part IV：
Supervision of Autonomous Vehicles: Mutual Modeling and Interaction Management / Gilles Coppin ; François Legras ; Sylvie Saget
Conflicts in Human Operator - Unmanned Vehicles Interactions / Frédéric Dehais ; Stephane Mercier ; Catherine Tessier
Ergonomic Analysis of Different Computer Tools to Support the German Air Traffic Controllers / Muriel Didier ; Margeritta van Wilamowitz-Moellendorff
Behavior Model Based Recognition of Critical Pilot Workload as Trigger for Cognitive Operator Assistance / Diana Donath
A Design and Training Agenda for the Next Generation of Commercial Aircraft Flight Deck / Don Harris
Future Ability Requirements for Human Operators in Aviation / Catrin Hasse ; Carmen Bruden ; Dietrich Grasshoff ; Hinnerk Eiβfeldt
The Application of Human Error Template (HET) for Redesigning Standard Operational Procedures in Aviation Operations / Wen-Chin Li ; Yueh-Ling Hsu ; Lon-Wen Li
Effect of Aircraft Datablock Complexity and Exposure Time on Performance of Change Detection Task / Chen Ling ; Lesheng Hua
A Regulatory-Based Approach to Safety Analysis of Unmanned Aircraft Systems / James T. Luxhφj ; Ahmet Öztekin
Using Acoustic Sensor Technologies to Create a More Terrian Capable Unmanned Ground Vehicle
Critical Interaction Analysis in the Flight Deck / Chiara Santamaria Maurizio ; Patrizia Marti ; Simone Pozzi
Understanding the Impact of Rail Automation / Nora Balfe ; David Golightly ; Laura Millen
Cognitive Workload as a Predictor of Student Pilot Performance / Nathan F. Tilton ; Ronald Mellado Miller
Direct Perception Displays for Military Radar-Based Air Surveillance / Oliver Witt ; Morten Grandt ; Heinz Küttelwesch
A Selection of Human Factors Tools: Measuring HCI Aspects of Flight Deck Technologies / Rolf Zon ; Henk van Dijk
Author Index
Cognitive Approaches in HCI Design / Part I：
Towards Cognitive-Aware Multimodel Presentation: The Modality Effects in High-Load HCI / Yujia Cao ; Mariët Theune ; Anton Nijholt
Supporting Situation Awareness in Demanding Operating Environments through Wearable User Interfaces / Jari Laarni ; Juhani Heinilä ; Jukka Hökkinen ; Virpi Kalakoski ; Kari Kallinen ; Kristian Lukander ; Paula Löppönen ; Tapio Palomäki ; Niklas Ravaja ; Paula Saviaja ; Antti Väätänen
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning / Jacques Calmet
Software Engineering for Mathematics / Georges Gonthier
Calculemus Talks / 2：
Some Traditional Mathematical Knowledge Management / Patrick D.F. Ion
Math Handwriting Recognition in Windows 7 and Its Benefits / Marko Panic
Assembling the Digital Mathematics Library / David Ruddy
CAMAL 40 Years on - Is Small Still Beautiful? / John Fitch
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations / Gonzalo A. Aranda-Corral ; Joaquín Borrego-Díaz ; M. Magdalena Fernández-Lebrón
Combining Coq and Gappa for Certifying Floating-Point Programs / Sylvie Boldo ; Jean-Christophe Filliâtre ; Guillaume Melquiond
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy / Russell Bradford ; James H. Davenport ; Christopher J. Sangwin
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra / Aleks Kissinger
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System / Francisco-Jesus ; Martín-Mateos ; Julio Rubio ; Jose-Luis Ruiz-Reina
Combined Decision Techniques for the Existential Theory of the Reals / Grant Olney Passmore ; Paul B. Jackson
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators / Ekaterina Shemyakova
A Groupoid of Isomorphic Data Transformations / Paul Tarau
Algorithms for the Functional Decomposition of Laurent Polynomials
MKM Talks / 3：
A Linear Grammar Approach to Mathematical Formula Recognition from PDF / Josef B. Baker
Formal Proof: Reconciling Correctness and Understanding / Cristian S. Calude ; Christine Müller
A Review of Mathematical Knowledge Management / Jacques Carette ; William M. Farmer
OpenMath Content Dictionaries for SI Quantities and Units / Joseph B. Collins
Unifying Math Ontologies: A Tale of Two Standards / Michael Kohlhase
Integrating Web Services into Active Mathematical Documents / Jana Giceva ; Christoph Lange ; Florian Rabe
Representation for Interactive Exercises / George Goguadze
The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability / Davood G. Gozli ; Marco Pollanen ; Michael Reynolds
Canonical Forms in Interactive Exercise Assistants / Bastiaan Heeren ; Johan Jeuring
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice / Andrea Kohlhase
Compensating the Computational Bias of Spreadsheets with MKM Techniques
MathLang Translation to Isabelle Syntax / Robert Lamar ; Fairouz Kamareddine ; J.B. Wells
A Mathematical Approach to Ontology Authoring and Documentation
A Logically Saturated Extension of λ&bar;μμ&bar; / Lionel Elie Mamane ; Herman Geuvers ; James McKinna
From Tessellations to Table Interpretation / Ramana C. Jandhyala ; Mukkai Krishnamoorthy ; George Nagy ; Raghav Padmanabhan ; Sharad Seth ; William Silversmith
Finite Groups Representation Theory with CoQ / Sidi Ould Biha
Collaborative Assistant to Handle MathML Expressions / Aslam Muhammad ; Ana Maria Martinez Enriquez ; Gonzalo Escalada-Imaz
Confidence Measures in Recognizing Handwritten Mathematical Symbols / Oleg Golubitsky
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems / Jónathan Heras ; Vico Pascual
OpenMath in SCIEnce: SCSCP and POPCORN / Peter Horn ; Dan Roozemond
A Knowledge Repository for Indefinite Integration Based on Transformation Rules / A.D. Rich ; D.J. Jeffrey
Technologies to Manage Health Care Procedural Knowledge
Operationalizing Prostate Cancer Clinical Pathways: An Ontological Model to Computerize, Merge and Execute Institution-Specific Clinical Pathways / Samina Raza Abidi ; Syed Sibte Raza Abidi ; Lorna Butler ; Sajjad Hussain
An Autonomous Algorithm for Generating and Merging Clinical Algorithms / Francis Real ; David Riaño
OncoTheraper: Clinical Decision Support for Oncology Therapy Planning Based on Temporal Hierarchical Tasks Networks / Juan Fdez-Olivares ; Juan A. Cózar ; Luis Castillo
Modeling Clinical Protocols Using Semantic Media Wiki: The Case of the Oncocure Project / Claudio Eccher ; Antonella Ferro ; Andreas Seyfang ; Marco Rospocher ; Silvia Miksch
Methodologies to Manage Health Care Procedural Knowledge
A Conceptual Framework for Ontology Based Automating and Merging of Clinical Pathways of Comorbidities
Can Physicians Structure Clinical Guidelines? Experiments with a Mark-Up-Process Methodology / Erez Shalom ; Yuval Shahar ; Meirav Taieb-Maimon ; Guy Bar ; Susana B. Martins ; Ohad Young ; Laszlo Vaszar ; Yair Liel ; Avi Yarkoni ; Mary K. Goldstein ; Akiva Leibowitz ; Tal Marom ; Eitan Lunenfeld
Modeling the Form and Function of Clinical Practice Guidelines: An Ontological Model to Computerize Clinical Practice Guidelines / Shapoor Shayegani
User-Centered Evaluation Model for Medical Digital Libraries / Patty Kostkova ; Gemma Madle
Computer Systems to Manage Health Care Procedural Knowledge
Automatic Tailoring of an Actor Profile Ontology / Montserrat Batet ; Aida Valls ; Karina Gibert ; Sergio MartÃnez ; Ester Morales
A Methodological Specification of a Guideline for Diagnosis and Management of PreEclampsia / Avner Hatsek ; Adit Dubi-Sobol ; Arie Koyfman
Home Care Personalisation with Individual Intervention Plans / David Isern ; Antonio Moreno ; Gianfranco Pedone ; David Sánchez ; László Z. Varga
Electronic Health Record as a Knowledge Management Tool in the Scope of Health / Miguel Angel Montero ; Susana Prado
Author Index
Technologies to Manage Health Care Procedural Knowledge
Operationalizing Prostate Cancer Clinical Pathways: An Ontological Model to Computerize, Merge and Execute Institution-Specific Clinical Pathways / Samina Raza Abidi ; Syed Sibte Raza Abidi ; Lorna Butler ; Sajjad Hussain
An Autonomous Algorithm for Generating and Merging Clinical Algorithms / Francis Real ; David Riaño
Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization / Klaus Truemper
Selection of Subsets of Ordered Features in Machine Learning / O. Seredin ; A. Kopylov ; V. Mottl
Combination of Vector Quantization and Visualization / Olga Kurasova ; Alma Molyte
Discretization of Target Attributes for Subgroup Discovery / Katherme Moreland
Preserving Privacy in Time Series Data Classification by Discretization / Ye Zhu ; Yongjian Fu ; Huirong Fu
Using Resampling Techniques for Better Quality Discretization / Tairaur Qureshi ; Djamel A. Zighed
Classification
A Large Margin Classifier with Additional Features / Xinwang Liu ; Jianping Yin ; En Zhu ; Guomin Zhang ; Yubin Zhan ; Miaomiao Li
Sequential EM for Unsupervised Adaptive Gaussian Mixture Model Based Classifier / Bashar Awwad ; Shiekh Hasan ; John Q. Can
Optimal Double-Kernel Combination for Classification / Feng Wang ; Hongbin Zhang
Efficient AdaBoost Region Classification / M. Moed ; E.N. Smirnov
A Linear Classification Method in a Very High Dimensional Space Using Distributed Representation / Takao Kobayashi ; Ikuko Shimizu
PMCRI: A Parallel Modular Classification Rule Induction Framework / Frederic Stahl ; Max Bramer ; Mo Adda
Dynamic Score Combination: A Supervised and Unsupervised Score Combination Method / Roberto Tronci ; Giorgio Giacmto ; Fabio Roli
ODDboost: Incorporating Posterior Estimates into AdaBoost / Olga Barinova ; Dmitry Vetrov
Ensemble Classifier Learning
Ensemble Learning: A Study on Different Variants of the Dynamic Selection Approach / João Mendes-Moreira ; Alipio Mario Jorge ; Carlos Soares ; Jorge Freire de Sousa
Relevance and Redundancy Analysis for Ensemble Classifiers / Rakkrit Duangsoithong ; Terry Windeatt
Drift-A ware Ensemble Regression / Frank Rosenthal ; Peter Benjamin Volk ; Martin Hahmann ; Dirk Habich ; Wolfgang Lehner
Concept Drifting Detection on Noisy Streaming Data in Random Ensemble Decision Trees / Peipei Li ; Xuegang Hu ; Qianhui Liang ; Yunjun Gao
Association Rules and Pattern Mining
Mining Multiple Level Non-redundant Association Rules through Two-Fold Pruning of Redundancies / Corrado Loglisci ; Donato Malerba
Pattern Mining with Natural Language Processing: An Exploratory Approach / Ana Cristina Mendes ; Claudia Antunes
Is the Distance Compression Effect Overstated? Some Theory and Experimentation / Stephen France ; Douglas Carroll
Support Vector Machines
Fast Local Support Vector Machines for Large Datasets / Nicola Segata ; Enrico Blanzieri
The Effect of Domain Knowledge on Rule Extraction from Support Vector Machines / Nahla Barakat ; Andrew P. Bradley
Towards B-Coloring of SOM / Haythara Elghazel ; Khalid Benabdeslem
Clustering
CSBIterKmeans: A New Clustering Algorithm Based on Quantitative Assessment of the Clustering Quality / Tarek Smaoui ; Sascha Müller ; Christian Müller-Schloer
Agent-Based Non-distributed and Distributed Clustering / Ireneusz Czamowski ; Piotr Jedrzejowicz
An Evidence Accumulation Approach to Constrained Clustering Combination / Daniel Duarie Abdala ; Xiaoyi Jiang
Fast Spectral Clustering with Random Projection and Sampling / Tomoya Sakai ; Atsushi Imiya
How Much True Structure Has Been Discovered?: Validating Explorative Clustering on a Hold-Out Test Set / F. Höppner
Mining Lung Shape from X-Ray Images / Vassili Kovalev ; Altaksandr Prus ; Pavel Vankevich
A Wavelet-Based Method for Detecting Seismic Anomalies in Remote Sensing Satellite Data / Pan Xiong ; Yaxin Bi ; Xuhui Shen
Spectrum Steganalysis of WAV Audio Streams / Qingzhong Liu ; Andrew H. Sung ; Mengyu Qiao
Audio-Based Emotion Recognition in Judicial Domain: A Multilayer Support Vector Machines Approach / E. Fersim ; E. Messina ; G. Arosio ; P. Archetti
Learning with a Quadruped Chopstick Robot / Wei-Chung Lee ; Jong-Chen Chen ; Shou-zhe Wu ; Kuo-Ming Lin
Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes / Kaspar Riesen ; Horst Bunke
Text Mining
Using Graph-Kernels to Represent Semantic Information in Text Classification / Teresa Gonçalves ; Paulo Quaresma
A General Framework of Feature Selection for Text Categorization / Hongfang Jing ; Bin Wang ; Yahui Yang ; Yan Xu
New Semantic Similarity Based Model for Text Clustering Using Extended Gloss Overlaps / Walaa K. Gad ; Mohamed S. Kamel
Aspects of Data Mining
Learning Betting Tips from UsersÆ Bet Selections / Erik Štrumbelj ; Marko Robnik Šikonja ; Igor Kononenko
An Approach to Web-Scale Named-Entity Disambiguation / LuÃs Sarmento ; Eugenio Oliveira
A General Learning Method for Automatic Title Extraction from HTML Pages / Sahar Changuel ; Nicolas Labroche ; Bernadette Bouchon-Meunier
Regional Pattern Discovery in Geo-referenced Datasets Using PCA / Oner Ulvi Celepcikay ; Christoph F. Eick ; Carlos Ordonez
Memory-Based Modeling of Seasonality for Prediction of Climatic Time Series / Daniel Nikovski ; Ganesan Ramachandran
A Neural Approach for SMEÆs Credit Risk Analysis in Turkey / Gülnur Derelioglu ; Fikret Gürgen ; Nesrin Okay
Assisting Data Mining through Automated Planning / Fernando Fernández ; Daniel Borrajo ; Susana Fernández ; David Manzano
Predictions with Confidence in Applications / Mikhail Dashevskiy ; Zhiyuan Luo
Data Mining in Medicine
Aligning Bayesian Network Classifiers with Medical Contexts / Linda C. van der Gaag ; Silja Renooij ; Ad Feelders ; Arend de Groote ; Marinus J.C. Eijkemans ; Frank J. Broekmans ; Bart C.J.M. Fauser
Assessing the Eligibility of Kidney Transplant Donors / Francisco Reinaldo ; Carlos Femandes ; Md. Anishur Rahman ; Andreia Malucelli ; Rui Camacho
Lung Nodules Classification in CT Images Using SimpsonÆs Index, Geometrical Measures and One-Class SVM / Cleriston Araujo da Silva ; Aristófanes Corrêa Silva ; Stelmo Magalhães Barros Netto ; Anselmo Cardoso de Faioa ; Geraldo Braz Junior ; Rodolfo Acatauassú Nunes
Author Index
Attribute Discretization and Data Preparation
Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization / Klaus Truemper
Selection of Subsets of Ordered Features in Machine Learning / O. Seredin ; A. Kopylov ; V. Mottl
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
Full Papers
A Co-operative Intelligent Assisting Agent Architecture for Web Searching and Desktop Management / Nandan Chaturbhuj ; V. Shyam Prakash ; Shivashankar B. Nair
Prisoner's Dilemma Game on Network / Masahiro Ono ; Mitsuru Ishizuka
Addressing Constraint Failures in Agent Interaction Protocol / Fadzil Hassan ; Dave Robertson ; Chris Walton
Reasoning about Success and Failure in Intentional Agents / Timothy William Cleaver ; Abdul Sattar ; Kewen Wang
Agent-Base Workflow Management System Architecture-An Example on Conference Info System / Feng-Chao Yang
Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation / Gowun Jeong ; Hajime Sawamura
Dynamic Interaction Protocol Load in Multi-Agent System Collaboration / Maoguang Wang ; Zhongzhi Shi ; Wenpin Jiao
Towards a Component-Based Architecture for TeleAgents / Ockmer L. Oosthuizen ; Elizabeth M. Ehlers
Development of a Lightweight Middleware Technologies Supporting Mobile Agents / Gu Su Kim ; Jaegon Kim ; Hyun-jin Cho ; Won-taek Lim ; Young Ik Eom
The Roles of Active Perception in Intelligent Agent Systems / Raymond So ; Liz Sonenberg
Fairness in Cooperating Multi-agent Systems-Using Profit Sharing as an Example / Ming-Chih Hsu ; Von-Wun Soo
Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Normal Repeated 2 X 2 Risk Games / Ka-man Lam ; Ho-fung Leung
A Crowd Model for Emergency and Panic Situations: Structure, Characteristics and Behaviours / Mohd Bazli Ab Karim ; Abdullah Zawawi Talib ; Ahmad Izani Ismail ; Bahari Belaton
David Hutchison, David Ahlgren, John Anderson, Jacky Baltes, Thomas Braunl, Takeo Kanade, Ryohei Nakatsu, Ulrich R?ckert, Joaquin Sitte, Igor Verner, Ulf Witkowski, Ching-Chang Wong
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
Randomization Methods for Assessing the Significance of Data Mining Results / Heikki Mannila
Dealing with Music in Intelligent Ways / Gerhard Widmer
Intelligent Systems: From R.U.R. to ISMIS 2009 and beyond / Maria Zemankova
The Art of Management and the Technology of Knowledge-Based Systems / Jozef Kelemen ; Ivan Poláscaron;ek
Knowledge Discovery and Data Mining
Frequent Itemset Mining in Multirelational Databases / Aída Jiménez ; Fernando Berzal ; Juan-Carlos Cubero
A Multiple Scanning Strategy for Entropy Based Discretization / Jerzy W. Grzymala-Busse
Fast Subgroup Discovery for Continuous Target Concepts / Martin Atzmueller ; Florian Lemmerich
Discovering Emerging Graph Patterns from Chemicals / Guillaume Poezevara ; Bertrand Cuissart ; Bruno Crémilleux
Visualization of Trends Using RadViz / Lenka Nováková ; Olga Štěpánková
Action Rules Discovery Based on Tree Classifiers and Meta-actions / Zbigniew W. Raš ; Agnieszka Dardzińska
Action Rules and the GUHA Method: Preliminary Considerations and Results / Jan Rauch ; Milan Šimůnek
Semantic Analytical Reports: A Framework for Post-processing Data Mining Results / Tomás Kliegr ; Martin Ralbovský ; Vojtěch Svátek ; Vojtěch Jirkovský ; Jan Nemrava ; Jan Zemánek|p88
Applications of Intelligent Systems in Medicine
Medical Decision Making through Fuzzy Computational Intelligent Approaches / Elpiniki I. Papageorgiou
Fuzzy Cognitive Map Based Approach for Assessing Pulmonary Infections / Elpiniki J. Papageorgiou ; Nikolaos Papandrianos ; Georgia Karagianni ; G. Kyriazopoulos ; D. Sfyras
A Knowledge-Based Framework for Information Extraction from Clinical Practice Guidelines / Corrado Loglisci ; Michelangelo Ceci ; Donato Malerba
RaJoLink: A Method for Finding Seeds of Future Discoveries in Nowadays Literature / Tanja Urbančič ; Ingrid Petrič ; Bojan Cestnik
Logical and Theoretical Aspects of Intelligent Systems
Automatic Generation of P2P Mappings between Sources Schemas / Karima Toumani ; Helene Jaudoin ; Michel Schneider
An OWL Ontology for Fuzzy OWL 2 / Fernando Bobillo ; Umberto Straccia
Fuzzy Clustering for Categorical Spaces: An Application to Semantic Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications / Richard Dapoigny ; Patrick Barlatier
Quasi-Classical Model Semantics for Logic Programs - A Paracortsistent Approach / Zhihu Zhang ; Zuoquan Lin ; Shuang Ren
Prime Implicates and Reduced Implicate Tries / Neil V. Murray ; Erik Rosenthal
Logic for Reasoning about Components of Persuasive Actions / Katarzyna Budzynska ; Magdalena Kacprzak ; Pawel Rembelski
A Hybrid Method of Indexing Multiple-Inheritance Hierarchies / Jacek Lewandowski ; Henryk Rybinski
Text Mining
Theme Extraction from Chinese Web Documents Based on Page Segmentation and Entropy / Deqing Wang ; Hui Zhang ; Gang Zhou
Topic-Based Hard Clustering of Documents Using Generative Models / Giovanni Ponti ; Andrea Tagarelli
Boosting a Semantic Search Engine by Named Entities / Annalina Gaputo ; Pierpaolo Basile ; Giovanni Semeraro
Detecting Temporal Trends of Technical Phrases by Using Importance Indices and Linear Regression / Hidenao Abe ; Shusaku Tsumoto
Applications of Intelligent Systems in Music
Detecting Emotions in Classical Music from MIDI Files / Jacek Grekow ; Zbigniew W. Raś
Mining Musical Patterns: Identification of Transposed Motives / Waldo Fajardo ; Miguel Molina-Solana
Musical Instruments in Random Forest / Miron Kursa ; Witold Rudnicki ; Alicja Wieczorkowska ; Elzbieta Kubera ; Agnieszka Kubik-Komar
Application of Analysis of Variance to Assessment of Influence of Sound Feature Groups on Discrimination between Musical Instruments
Information Processing
Alternative Formulas for Rating Prediction Using Collaborative Filtering / Amar Saric ; Mirsad Hadzikadic ; David Wilson
On Three Classes of Division Queries Involving Ordinal Preferences / Patrick Bosc ; Olivier Pivert ; Olivier Soufflet
Analyses of Knowledge Creation Processes Based on Different Types of Monitored Data / Ján Parolič ; František Babi&&ccaron ; Jozef Wagner ; Ekaterina Simonenko ; Nicolas Spyratos ; Tsuyoshi Sugibuchi
Intelligent Information Processing in Semantically Enriched Web / Pavol Návrat ; Mária Bieliková ; Daniela Chudá ; Viera Rozinajová
Agents
Modeling Ant Activity by Means of Structured HMMs / Gueriael Cabanes ; Dominique Fresnau ; Ugo Galassi ; Attilio Giordana
Modern Approach for Building of Multi-Agent Systems / Lukasz Chornatek ; Aneta Poniszewska-Marańda
Relational Sequence Clustering for Aggregating Similar Agents / Grazia Bombini ; Nicola Di Mauro ; Stefano Ferilli
FutureTrust Algorithm in Specific Factors on Mobile Agents / Michal Wolski ; Mieczyslaui Klopotek
Machine Learning
Ensembles of Abstaining Classifiers Based on Rule Sets / Jerzy Blaszczyński ; Jerzy Stefanowski ; Magdalena Zajac
Elicitation of Sugeno Integrals: A Version Space Learning Perspective / Henri Prade ; Agnes Rico ; Mathieu Serrurier
Efficient MAP Inference for Statistical Relational Models through Hybrid Metaheuristies / Marenglen Biba
Combining Time and Space Similarity for Small Size Learning under Concept Drift / Indre Žliobaité
Similarity and Kernel Matrix Evaluation Based on Spatial Autocorrelation Analysis / Vincent Pisetta ; Djamel A. Zighed
Applications of Intelligent Systems
Job Offer Management: How Improve the Ranking of Candidates / Rémy Kessler ; Nicolas Béchet ; Juan-Manuel Torres-Moreno ; Mathieu Roche ; Marc El-Béze
Discovering Structured Event Logs from Unstructured Audit Trails for Workflow Mining / Liqiang Geng ; Scott Buffett ; Bruce Hamilton ; Xin Wang ; Larry Korba ; Hongyu Liu ; Yunli Wang
GIS-FLSolution: A Spatial Analysis Platform for Static and Transportation Facility Location Allocation Problem / Wei Gu
A CBR System for Knowing the Relationship between Flexibility and Operations Strategy / Daniel Arias-Aranda ; Juan L. Castro ; Maria Navarro ; Jose M. Zurita
Semantic-Based Top-k Retrieval for Competence Management / Eufemia Tinelli ; Simona Colucci ; Tommaso Di Noia ; Eugenio Di Sciascio
A New Strategy Based on GRASP to Solve a Macro Mine Planning / Mariá-Cristina Riff ; Eridan Otto ; Xavier Bonnaire
Food Wholesales Prediction: What Is Your Baseline? / Jorn Bakker ; Mykola Pechenizkiy
Complex Data
A Distributed Immunization Strategy Based on Autonomy-Oriented Computing / Jiming Liu ; Chao Gao ; Ning Zhong
Discovering Relevant Cross-Graph Cliques in Dynamic Networks / Loïc Cerf ; Tran Bao Nhan Nguyen ; Jean-Frangois Boulicaut
Statistical Characterization of a Computer Grid / Lovro Ilijašić ; Lorenza Saitta
On Social Networks Reduction / Václav Snásel ; Zdeněk Horák ; Jana Kočíbová ; Ajith Abraham
Networks Consolidation through Soft Computing / Sami Habib ; Paulvanná-Nayaki Marimuthu ; Mohammad Taha
Lacking Labels in the Stream: Classifying Evolving Stream Data with Few Labels / Clay Woolam ; Mohammad M. Masud ; Latifur Khan
Novelty Detection from Evolving Complex Data Streams with Time Windows / Annalisa Appice ; Costantina Caruso ; Fabio Fumarola
General AI
On Computational Creativity, 'Inventing' Theorem Proofs / Maria Fraňová ; Yves Kodratoff
Revisiting Constraint Models for Planning Problems / Roman Barták ; Daniel Toropila
Argumentation Context Systems: A Framework for Abstract Group Argumentation / Gerhard Brewka ; Thomas Eiter
A Revised Concept of Safety for General Answer Set Programs / Pedro Cabalar ; David Pearce ; Agustín Valverde
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs / Francesco Calimeri ; Susanna Cozza ; Giovambattista lanni ; Nicola Leone
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs / Minh Dao-Tran ; Thomas Biter ; Michael Fink ; Thomas Krennwallner
Complexity of the Stable Model Semantics for Queries on Incomplete Databases / Jos de Bruijn ; Siijn Heymans
Manifold Answer-Set Programs for Meta-reasoning / Wolfgang Faber ; Stefan Woltran
A Deductive System for PO(ID) Based on Least Fixpoint Logic / Ping Hou ; Marc Denecker
Computing Stable Models via Reductions to Difference Logic / Tomi Janhunen ; Mark Sevalnev
A Module-Based Framework for Multi-language Constraint Modeling / Matti Järvisalo ; Emilia Oikarinen ; Ilkka Niemela
Induction on Failure: Learning Connected Horn Theories / Tim Kimber ; Krysia Broda ; Alessandra Russo
On Reductive Semantics of Aggregates in Answer Set Programming / Joohyung Lee ; Yunsong Meng
A First Order Forward Chaining Approach for Answer Set Computing / Claire Lefèvre ; Pascal Nicolas
Knowledge Qualification through Argumentation / Loizos Michael ; Antonis Kakas
Simple Random Logic Programs / Gayathri Namasivayam ; Miroslaw Truszczyński
Max-ASP: Maximum Satisfiability of Answer Set Programs / MattiJärvisalo
Belief Revision with Bounded Treewidth / Reinhard Pichler ; Stefan Rümmele
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection / Jörg Pührer ; Hans Tompits
A Default Approach to Semantics of Logic Programs with Constraint Atoms / Yi-Dong Shen ; Jia-Huai You
The Complexity of Circumscriptive Inference in Post's Lattice / Michael Thomas
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence / Hui Wan ; Michael Kifer
Weight Constraint Programs with Functions / Yisong Wang ; Li-Yan Yuan ; Mingyi Zhang
Original Application Papers / Session 3：
Bridging the Gap between High-Level Reasoning and Low-Level Control / Ozan Caldiran ; Kadir Haspalamutgil ; Abdullah Ok ; Can Palaz ; Esra Erdem ; Volkan Patoglu
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming / James P. Delgrande ; Torsten Grote ; Aaron Hunter
An ASP-Based System for e-Tourism / Salvatore Maria Ielpa ; Salvatore Iiritano ; Francesco Ricca
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions / Johannes Oetsch ; Martina Seidl
Short Papers / Session 4：
Translating Preferred Answer Set Programs to Propositional Logic / Vernon Asuncion ; Yan Zhang
CR-Prolog as a Specification Language for Constraint Satisfaction Problems
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using C / Chitta Baral ; Tran Cao Son ; Enrico Ponlelli
Computing Weighted Solutions in Answer Set Programming / Duygu Çakmak ; Halit Erdoğan
Representing Multi-agent Planning in CLP / Agostino Dovier ; Andrea Formisano ; Enrico Pontelli
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results / Laura Giordano ; Valentina Gliozzi ; Nicola Olivetti ; Gian Luca Pozzato
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming / Luke Hopton ; Owen Cliffe ; Marina De Vos ; Julian Padget
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs / Guohua Liu
Layer Supported Models of Logic Programs / Luís Moniz Pereira ; Alexandre Miguel Pinto
Applying ASP to UML Model Validation / Mario Ornaghi ; Camillo Fiorentini ; Alberto Momigliano ; Francesco Pagano
The Logical Consequence Role in LPNMR: A Parameterized Computation Approach / Mauricio Osorio Galindo ; Simone Pascucci
Social Default Theories / Chiaki Sakama
System Descriptions / Session 5：
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver / Annamaria Bria
An ASP System with Functions, Lists, and Sets
A Simple Distributed Conflict-Driven Answer Set Solver / Enrico Ellguth ; Martin Gebser ; Markus Gusowski ; Benjamin Kaufmann ; Roland Kaminski ; Stefan Liske ; Torsten Schaub ; Lars Schneidenbach ; Bettina Schnor
An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic / Marc Finthammer ; Christoph Beierle ; Benjamin Berger ; Gabriele Kern Isberner
On the Input Language of ASP Grounder Gringo / Max Ostrowski ; Sven Thiele
The Conflict-Driven Answer Set Solver clasp: Progress Report
System F2LP - Computing Answer Sets of First-Order Formulas / Ravi Palla
The First Version of a New ASP Solver: ASPeRiX
An ASP-Based Data Integration System / Giorgio Terracina
GORGIAS-C: Extending Argumentation with Constraint Solving / Victor Noël
Summaries of Existing Successful Applications Papers / Session 6：
ANTON: Composing Logic and Logic Composing / Georg Boenn ; Martin Brain ; John ffitch
Modelling Normative Frameworks Using Answer Set Programing
Generating Optimal Code Using Answer Set Programming / Tom Crick ; John Fitch
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results / Alessandro Dal ; Palisú
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
HAPLO-ASP: Haplotype Inference Using Answer Set Programming / Ozan Erdem ; Ferhan Türe
Using Answer Set Programming to Enhance Operating System Discovery / François Gagnon ; Babak Esfandiari
Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System / Alessandra Mileo ; Davide Merico ; Roberto Bisiani
Short Application Papers / Session 7：
Some DLV Applications for Knowledge Management / Giovanni Grasso
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs / Harold Ishebabi ; Philipp Mahr ; Christophe Bobda
Optimal Multicore Scheduling: An Application of ASP Techniques / Virtu Kumar ; James Delgrande
(Panel on Future Applications). Position Papers by the Panelists / Session 8：
From Data Integration towards Knowledge Mediation
Integrating Answer Set Modules into Agent Programs / Stefania Costantini
What Next for ASP? (A Not-Entirely-Well-informed Opinion)
Using Lightweight Inference to Solve Lightweight Problems / Joost Vennekens
Present and Future Challenges for ASP Systems (Extended Abstract)
ASP: The Future Is Bright: A Position Paper
Exploiting ASP in Real-World Applications: Main Strengths and Challenges
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode
Towards an Embedded Approach to Declarative Problem Solving in ASP
System Competition. Summary of System Competition
The Second Answer Set Programming Competition / Stephen Bond
Author Index
Invited Talks / Session 1：
SAT, SMT and Applications / Armin Biere
Logic-Based Modeling in Systems Biology / Alexander Bockmayr
Graph-Based Discrete Differential Geometry for Critical Instance Filtering / Elena Marchiori
Integrating Novel Class Detection with Classification for Concept-Drifting Data Streams / Mohammad M. Masud ; Jing Gao ; Latifur Khan ; Jiawei Han ; Bhavani Thuraisingham
Neural Networks for State Evaluation in General Game Playing / Daniel Michulke ; Michael Thielscher
Learning to Disambiguate Search Queries from Short Sessions / Lilyana Mihalkova ; Raymond Mooney
Dynamic Factor Graphs for Time Series Modeling / Piotr Mirowski ; Yann LeCun
On Feature Selection, Bias-Variance, and Bagging / M. Arthur Munson ; Rich Caruana
Efficient Pruning Schemes for Distance-Based Outlier Detection / Nguyen Hoang Vu ; Vivekanand Gopalkrishnan
The Sensitivity of Latent Dirichlet Allocation for Information Retrieval / Laurence A.F. Park ; Kotagiri Ramamohanarao
Efficient Decoding of Ternary Error-Correcting Output Codes for Multiclass Classification / Sang-Hyeun Park ; Johannes Fiirnkranz
Boosting Active Learning to Optimality: A Tractable Monte-Carlo, Billiard-Based Algorithm / Philippe Rolet ; Michèle Sebag ; Olivier Teytaud
Capacity Control for Partially Ordered Feature Sets / Ulrich Rückert
Reconstructing Data Perturbed by Random Projections When the Mixing Matrix Is Known / Yingpeng Sang ; Hong Shtn ; Hui Tian
Identifying the Original Contribution of a Document via Language Modeling / Benyah Shaparenko ; Thorsten Joachims
Relaxed Transfer of Different Classes via Spectral Partition / Xiaoxiao Shi ; Wei Fan ; Qiang Yang ; Jiangtao Ren
Mining Databases to Mine Queries Faster / Arno Siebes ; Diyah Puspitaningrum
MACs: Multi-Attribute Co-clusters with High Correlation Information / Kelvin Sim ; Hon Nian Chua ; See-Kiong Ng
Bi-directional Joint Inference for Entity Resolution and Segmentation Using Imperatively-Defined Factor Graphs / Sameer Singh ; Karl Schultz ; Andrew McCallum
Kernels for Periodic Time Series Arising in Astronomy / Gabriel Wachman ; Roni Khardon ; Pavlos Protopapas ; Charles R. Alcock
K-Subspace Clustering / Dingding Wang ; Chris Ding ; Tao Li
Latent Dirichlet Bayesian Co-Clustering / Pu Wang ; Carlotta Domeniconi ; Kathryn Blackmond Laskey
Variational Graph Embedding for Globally and Locally Consistent Feature Extraction / Shuang-Hong Yang ; Hongyuan Zha ; S. Kevin Zhou ; Bao-Gang Hu
Protein Identification from Tandem Mass Spectra with Probabilistic Language Modeling / Yiming Yang ; Abhay Harpale ; Subramaniam Ganapathy
Causality Discovery with Additive Disturbances: An Information-Theoretical Perspective / Kun Zhang ; Aapo Hyvärinen
Subspace Regularization: A New Semi-supervised Learning Method / Yan-Ming Zhang ; Xinwen Hou ; Shiming Xiang ; Cheng-Lin Liu
Heteroscedastic Probabilistic Linear Discriminant Analysis with Semi-supervised Extension / Yu Zhang ; Dit-Yan Yeung
Semi-Supervised Multi-Task Regression / Dit- Yan Yeung
A Flexible and Efficient Algorithm for Regularized Fisher Discriminant Analysis / Zhihua Zhang ; Guang Dai ; Michael I. Jordan
Debt Detection in Social Security by Sequence Classification Using Both Positive and Negative Patterns / Yanchang Zhao ; Huaifeng Zhang ; Shanshan Wu ; Jian Pei ; Longbing Cao ; Chengqi Zhang ; Hans Bohlscheid
Combining Instance-Based Learning and Logistic Regression for Multilabel Classification / Weiwei Cheng ; Eyke Hüllermeier
On Structured Output Training: Hard Cases and an Efficient Alternative / Thomas Gärtner ; Shankar Vembu
Spares Kernel SVMs via Cutting-Plane Training / Thorsten Joachims ; Chun-Nam John Yu
Hybrid Least-Squares Algorithms for Approximate Policy Evaluation / Jeff Johns ; Marek Petrik ; Sridhar Mahadevan
A Self-training Approach to Cost Sensitive Uncertainty Sampling / Alexander Liu ; Goo Jan ; Joydeep Ghosh
Learning Multi-linear Representations of Distributions for Efficient Inference / Dan Roth ; Rajhans Samdani
Cost-Sensitive Learning Based on Bregman Divergences / Raúl Santos-Rodríguez ; Alicia Guerrero-Curieses ; Rocío Alaiz-Rodríguez ; Jesús Cid-Sueiro
Data Mining and Knowledge Discovery Journal Abstracts
RTG: A Recursive Realistic Graph Generator Using Random Typing / Leman Akoglu ; Christos Faloutsos
Taxonomy-Driven Lumping for Sequence Mining / Francesco Bonchi ; Carlos Castillo ; Debora Donato ; Aristides Gionis
On Subgroup Discovery in Numerical Domains / Henrik Grosskreutz ; Stefan Rüping
Harnessing the Strengths of Anytime Algorithms for Constant Data streams / Philipp Kranen ; Thomas Seidl
Identifying the Components / Matthijs van Leeuwen ; Jilles Vreeken ; Arno Siebes
Two-Way Analysis of High-Dimensional Collinear Data / Ilkka Huopaniemi ; Tommi Suvitaival ; Janne Nikkilä ; Matej OreÜič ; Samuel Kaski
A Fast Ensemble Pruning Algorithm Based on Pattern Mining Process / Qiang-Li Zhao ; Yan-Huang Jiang ; Ming Xu
Regular Papers
Evaluation Measures for Multi-class Subgroup Discovery / Tarek Abudawood ; Peter Flach
Empirical Study of Relational Learning Algorithms in the Phase Transition Framework / Erick Alphonse ; Aomar Osmani
Topic Significance Ranking of LDA Generative Models / Loulwah AlSumait ; Daniel Barbará ; James Gentle ; Carlotta Domeniconi
Communication-Efficient Classification in P2P Network / Hock Hee Ang ; Vivekanand Gopalkrishnan ; Wee Keong Ng ; Steven Hoi
A Generalization of Forward-Backward Algorithm / Ai Azuma ; Yuji Matsumoto
Mining Graph Evolution Rules / Michele Berlingerio ; Björn Bringmann
Parallel subspace Sampling for Particle Filtering in Dynamic Bayesian Networks / Eva Besada-Portas ; Sergey M. Plis ; Jesus M. de la Cruz ; Terran Lane
Adaptive XML Tree Classification on Evolving Data Streams / Albert Bifet ; Ricard Gavaldà
A Condensed Representation of Itemsets for Analyzing Their Evolution over Time / Mirko Boettcher ; Martin Spott ; Rudolf Kruse
Non-redundant Subgroup Discovery Using a Closure System / Mario Boley
PLSI: The True Fisher Kernel and beyond: IID Processes, Information Matrix and Model Identification in PLSI / Jean-Cédric Chappelier ; Emmanuel Eckard
Semi-supervised Document Clustering with Simultaneous Text Representation and Categorization / Yanhua Chen ; Lijun Wang ; Ming Dong
One Graph Is Worth a Thousand Logs: Uncovering Hidden Structures in Massive System Event Logs / Michal Aharon ; Gilad Barash ; Ira Cohen ; Eli Mordechai
Conference Mining via Generalized Topic Modeling / Alt Daud ; Juanzi Li ; Lizhu Zhou ; Faqir Muhammad
Within-Network Classification Using Local Structure Similarity / Christian Desrosiers ; George Karypis
Multi-task Feature Selection Using the Multiple Inclusion Criterioz (MIC) / Paramveer S. Dhillon ; Brian Tomasik ; Dean Foster ; Lyle Ungar
Kernel Polytope Faces Pursuit / Tom Diethe ; Zakria Hussain
Soft Margin Trees / Jorge Díez ; Juan José del Coz ; Antonio Bahamonde ; Oscar Luaces
Feature Weighting Using Margin and Radius Based Error Bound Optimization in SVMs / Huyen Do ; Alexandros Kalousis ; Melanie Hilario
Margin and Radius Based Multiple Kernel Learning / Adam Woznica
Inference and Validation of Networks / Mas N. Plaounas ; Marco Turchi ; Tijl De Bie
Binary Decomposition Methods for Multipartite Ranking / Johannes Fürmkranz ; Stijn Vanderlooy
Leveraging Higher Order Dependencies between Features for Text Classification / Murat C. Ganiz ; Nikita I. Lytkin ; William M. Pottenger
Syntactic Structural Kernels for Natural Language Interfaces to Databases / Alessandra Giordani ; Alessandro Moschitti
Active and Semi-supervised Data Domain Description / Nico Görnitz ; Marius Kloft ; Ulf Brefeld
A Matrix Factorization Approach for Integrating Multiple Data Views / Derek Greene ; Pádraig Cunningham
Transductive Classification via Dual Regularization / Quanquan Gu ; Jie Zhou
Stable and Accurate Feature Selection / Gokhan Gulgezen ; Zehra Cataltepe ; Lei Yu
Efficient Sample Reuse in EM-Based Policy Search / Hirotaka Hachiya ; Jan Peters ; Masashi Sugiyama
Applying Electromagnetic Field Theory Concepts to Clustering with Constraints / Huseyin Hakkoymaz ; Georgios Chatzimilioudis ; Dimitrios Gunopulos ; Heikki Mannila
An l1 Regularization Framework for Optimal Rule Combination / Yanjun Han ; Jue Wang
A Generic Approach to Topic Models / Gregor Heinrich
Feature Selection by Transfer Learning with Linear Regularized Models / Thibault Helleputte ; Pierre Dupont
Integrating Logical Reasoning and Probabilistic Chain Graphs / Arjen Hommersom ; Nivea Ferreira ; Peter J.F. Lucas
Max-Margin Weight Learning for Markov Logic Networks / Tuyen N. Huynh ; Raymond J. Mooney
Parameter-Free Hierarchical Co-clustering by n-Ary Splits / Dino lenco ; Ruggero G. Pensa ; Rosa Meo
Mining Peculiar Compositions of Frequent Substrings from Sparse Text Data Using Background Texts / Daisuke Ikeda ; Einoshin Suzuki
Minimum Free Energy Principle for Constraint-Based Learning Bayesian Networks / Takashi Isozaki ; Maomi Ueno
Kernel-Based Copula Processes / Sebastian Jaimungal ; Eddie K.H. Ng
Compositional Models for Reinforcement Learning / Nicholas K. Jong ; Peter Stone
Feature Selection for Value Function Approximation Using Bayesian Model Selection / Tobias Jung
Learning Preferences with Hidden Common Cause Relations / Kristian Kersting ; Zhao Xu
Feature Selection for Density Level-Sets / Shinichi Nakajima
Efficient Multi-start Strategies for Local Search Algorithms / Levente Kocsis ; András György
Considering Unseen States as Impossible in Factored Reinforcement Learning / Olga Kozlova ; Olivier Sigaud ; Pierre-Henri Wuillemin ; Christophe Meyer
Relevance Grounding for Planning in Relational Domains / Tobias Lang ; Marc Toussaint
Uncertainty in the Semantic Web (invited talk) / Thomas Lukasiewicz
Bridging the Gap between Abstract Argumentation Systems and Logic / Leila Amgoud ; Philippe Besnard
Modeling Unreliable Observations in Bayesian Networks by Credal Networks / Alessandro Antonucci ; Alberto Piatti
Interventions in Possibilistic Logic / Salem Benferhat ; Didier Dubois ; Henri Prade
An Analysis of Sum-Based Incommensurable Belief Base Merging / Sylvain Lagrue ; Julien Rossit
An Argument-Based Approach to Using Multiple Ontologies / Elizabeth Black ; Anthony Hunter ; Jeff Z. Pan
A Model Based on Possibilistic Certainty Levels for Incomplete Databases / Patrick Bosc ; Olivier Pivert
A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data / Marcela Capobianco ; Guillermo R. Simari
Making Sense of a Sequence of Events: A Psychologically Supported AI Implementation / Philippe Chassy
Explaining Inconsistencies in OWL Ontologies / Matthew Horridge ; Bijan Parsia ; Ulrike Sattler
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics / Pavel Klinov
Towards Relational Schema Uncertainty / Matteo Magnani ; Danilo Montesi
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics / Pere Pardo
Fast and Accurate Prediction of the Destination of Moving Objects / Austin Parker ; V.S. Subrahmanian ; John Grant
Weighted Description Logics Preference Formulas for Multiattribute Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Francesco M. Donini ; Eugenio Di Sciascio ; Michael P. Wellman
Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs / Emad Saad
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
Finite Satisfiability in Infinite-Valued &Lslash;ukasiewicz Logic / Steven Schockaert ; Jeroen Janssen ; Dirk Vermeir ; Martine De Cock
Compression of Probabilistic XML Documents / Irma Veldman ; Ander de Keijzer ; Maurice van Keulen
Query Answering in Belief Logic Programming / Hui Wan ; Michael Kifer
Towards Effective Elicitation of NIN-AND Tree Causal Models / Yang Xiang ; Yu Li ; Zoe Jingyu Zhu
An Evidence-Theoretic k-Nearest Neighbor Rule for Multi-label Classification / Zoulficar Younes ; Fahed Abdallah ; Thierry Denoœux
Multisensory Interaction of Audiovisual Stimuli on the Central and Peripheral Spatial Locations: A Behavioral Study / Qi Li ; Jingjing Yang ; Noriyoshi Kakura
A Functional Model of Limbic System of Brain / Takashi Kuremoto ; Tomonori Ohta ; Kunikazu Kobayashi ; Masanao Obayashi
Information Technologies for the Management and Use of Brain Data
Data Explosion, Data Nature and Dataology / Yangyong Zhu ; Yun Xiong
Using Svm to Predict High-Level Cognition from fMRI Data: A Case Study of 4*4 Sudoku Solving / Junjie Chen ; Kuncheng Li
Data-Brain Modeling for Systematic Brain Informatics / Jianhui Chen
Cognition-inspired Applications
Combine the Objective Features with the Subjective Feelings in Personal Multi-alternative Decision Making Modeling / Jiyun Li ; Jerome R. Busemeyer
Automatic and Semi-automatic Approaches for Selecting Prominent Spatial Filters of CSP in BCI Applications / Nakarin Suppakun ; Songrit Maneewongvatana
Building SMT-Based Software Model Checkers: An Experience Report / Alessandro Armando
Combining Nonmonotonic Knowledge Bases with External Sources / Thomas Eiter ; Gerhard Brewka ; Minh Dao-Iran ; Michael Fink ; Giovambattista lanni ; Thomas Krennwallner
Combining Description Logics, Description Graphs, and Rules / Boris Motik
Combining Equational Reasoning / Ashish Tiwari
Technical Papers
Superposition Modulo Linear Arithmetic SUP (LA) / Ernst Althaus ; Evgeny Kruglov ; Christoph Weidenbach
Unification Modulo Homomorphic Encryption / Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michaël Rusinowitch
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs / Takahito Aoto ; Toshiyuki Yamada
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles / Alessandro Artale ; Roman Kontchakov ; Vladislav Ryzhikov ; Michael Zakharyaschev
Runtime Verification Using a Temporal Description Logic / Franz Baader ; Andreas Bauer ; Marcel Lippmann
Axiomatization and Completeness of Lexicographic Products of Modal Logics / Philippe Balbiani
Automating Theories in Intuitionistic Logic / Guillaume Burel
Taming the Complexity of Temporal Epistemic Reasoning / Clare Dixon ; Michael Fisher ; Boris Konev
Putting ABox Updates into Action / Conrad Drescher ; Hongkai Liu ; Steffen Guhlemann ; Uwe Petersohn ; Peter Steinke ; Michael Thielscher
A Declarative Agent Programming Language Based on Action Theories / Stephan Schiffel
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas / Luca Pulina ; Armando Tacchella
Combining Theories with Shared Set Operations / Thomas Wies ; Ruzica Piskac ; Viktor Kuncak
Author Index
Invited Talks
Building SMT-Based Software Model Checkers: An Experience Report / Alessandro Armando
Combining Nonmonotonic Knowledge Bases with External Sources / Thomas Eiter ; Gerhard Brewka ; Minh Dao-Iran ; Michael Fink ; Giovambattista lanni ; Thomas Krennwallner
Industrial Application of Agent Systems: Lessons Learned and Future Challenges (Extended Abstract) / Birgit Burmeister
Full Papers
Multi-Agent Navigation Using Path-Based Vector Fields / Tristan Behrens ; Randolf Schärfig ; Tim Winkler
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems / Carla Delgado ; Mario Benevides
GOAL as a Planning Formalism / Koen V. Hindriks ; Tijmen Roberti
Towards Pattern-Oriented Design of Agent-Based Simulation Models / Franziska Klügl ; Lars Karlsson
Multi Criteria Decision Methods for Coordinating Case-Based Agents / Beatriz López ; Carles Pous ; Pablo Gay ; Albert Pla
Agent Cooperation for Monitoring and Diagnosing a MAP / Roberto Micalizio ; Pietro Torasso
Strategies for Exploiting Trust Models in Competitive Multi-Agent Systems / VÃctor Muñoz ; Javier Murillo ; DÃdac Busquets
A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents / Masaki Narita ; Takashi Katoh ; Bhed Bahadur Bista ; Toyoo Takata
Agent-Based Model for Decision Support in Multi-Site Manufacturing Enterprises / Zhan Sheng Ng ; Aaron Yu Siang Tan ; Arief Adhitya ; Rajagopalan Srinivasan
Embodied Organisations in MAS Environments / Michele Piunti ; Alessandro Ricci ; Olivier Boissier ; Jomi F. Hübner
MACSIMA: On the Effects of Adaptive Negotiation Behavior in Agent-Based Supply Networks / Christian Russ ; Alexander Walz
Towards Reactive Scheduling for Large-Scale Virtual Power Plants / Martin Tröschel ; Hans-Jürgen Appelrath
Concurrently Decomposable Constraint Systems / Cees Witteveen ; Wiebe van der Hoek ; Nico Roos
SMIZE: A Spontaneous Ride-Sharing System for Individual Urban Transit / Xin Xing ; Tobias Warden ; Tom Nicolai ; Otthein Herzog
Short Papers
Towards a Verification Framework for Communicating Rational Agents / Nils Bulling
Designing Organized Multiagent Systems through MDPs / Moser Fagundes ; Roberto Centeno ; Holger Billhardt ; Sascha Ossowski
A Reference Architecture for Modelling of Emotional Agent Systems / Julia Fix ; Daniel Moldt
Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems / Christian Guttmann
Modeling Tools for Platform Specific Design of Multi-Agent Systems / Geylani Kardas ; Erdem Eser Ekinci ; Bekir Afsar ; Oguz Dikenelli ; N. Yasemin Topaloglu
L2-SVM Training with Distributed Data / Stefano Lodi ; Ricardo Ñanculef ; Claudio Sartori
Framework for Dynamic Life Critical Situations Using Agents / Jenny Lundberg ; Anne HÃ¥kansson
Unifying JIAC Agent Development with AWE / Marco Lützenberger ; Tobias Küster ; Axel Heßler ; Benjamin Hirsch
Formalizing ARTIS Agent Model Using RT-Maude / Toufik Marir ; Farid Mokhati ; Hassina Seridi-Bouchelaghem
Implementing Over-Sensing in Heterogeneous Multi-Agent Systems on Top of Artifact-Based Environments
Exhibition Papers
Requirements and Tools for the Debugging of Multi-Agent Systems / Lawrence Cabac ; Till Dörges ; Michael Duvigneau
SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems / Michael Köhler-Bußmeier ; Matthias Wester-Ebbinghaus
An Architecture for Simulating Internet-of-Services Economies / Stefan König ; Isaac Pinyol ; Daniel Villatoro ; Jordi Sabater-Mir ; Torsten Eymann
Applying JIAC V to Real World Problems: The MAMS Case / Alexander Thiele ; Thomas Konnerth ; Silvan Kaiser ; Jan Keiser
Agent-Based Semantic Search at motoso.de / Nils Weber ; Lars Braubach ; Alexander Pokahr ; Winfried Lamersdorf
Author Index
Invited Talk
Industrial Application of Agent Systems: Lessons Learned and Future Challenges (Extended Abstract) / Birgit Burmeister
Methodological Approaches to High-Assurance Systems
Towards Safe Coordination in Multi-agent Systems / Anita Raja ; Michael Barley ; Xiaoqin Shelley Zhang
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems / H. Mouratidis ; P. Giorgini
Dependable Multi-agent Systems: Layered Reference Architecture and Representative Mechanisms / Peter C. Lockemann ; Jens Nimis
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems / Robert Alexander ; Martin Hall-May ; Georgios Despotou ; Tim Kelly
A Guardian Agent Approach to Safety in Medical Multi-agent Systems / S. Modgil ; J. Fox
A Distributed Numerical Approach for Managing Uncertainty in Large-Scale Multi-agent Systems / Michael Klibanov
Prevention and Response to Harm/Failures
The First Law of Robotics (A Call to Arms) / Daniel Weld ; Oren Etzioni
Safe Stochastic Planning: Planning to Avoid Fatal States / Hao Ren ; Ali Akhavan Bitaghsir ; Mike Barley
Building Coordinated Real-Time Control Plans / David J. Musliner ; Michael J.S. Pelican ; Kurt D. Krebsbach
A Framework for Goal-Based Semantic Compensation in Agent Systems / Amy Unruh ; James Bailey ; Kotagiri Ramamohanarao
Safe Agents in Space: Preventing and Responding to Anomalies in the Autonomous Sciencecraft Experiment / Daniel Tran ; Steve Chien ; Gregg Rabideau ; Benjamin Cichy
Stochastic Approaches to Predictability and Unpredictability
Uncertain Agent Verification through Probabilistic Model-Checking / Paolo Ballarini ; Michael Fisher ; Michael Wooldridge
Safety and Security Multi-agent Systems: Research Results from 2004-2006 / Diana Spears ; Wesley Kerr ; William Spears
Coordinating Randomized Policies for Increasing Security in Multiagent Systems / Praveen Paruchuri ; Milind Tambe ; Fernando Ordóñonez ; Sarit Kraus
Safety and Security in Human-Computer Interactions
Safety in the Context of Coordination via Adjustable Autonomy / Paul Scerri ; Katia Sycara
Command and Authorization Services for Multiple Humans Interacting with a Software Control Agent for Advanced Life Support / Cheryl Martin ; Debra Schreckenghost ; Pete Bonasso
Analyzing Dangers in Multiagent Rescue Using DEFACTO / Janusz Marecki ; Nathan Schurr
Using Multi-agent Systems to Specify Safe and Secure Services for Virtual Organisations / Stefan Poslad
MLBPR: MAS for Large-Scale Biometric Pattern Recognition / Ram Meshulam ; Shulamit Reches ; Aner Yarden
Self-Protection
Intentional Agents in Defense / Emiliano Lorini ; Cristiano Castelfranchi
Security and Privacy Issues in Agent-Based Location-Aware Mobile Commerce / Athanasios Karygiannis ; Emmanouil Antonakakis
Biologically-Inspired Concepts for Autonomic Self-protection in Multiagent Systems / Roy Sterriit ; Mike Hinchey
Author Index
Methodological Approaches to High-Assurance Systems
Towards Safe Coordination in Multi-agent Systems / Anita Raja ; Michael Barley ; Xiaoqin Shelley Zhang
Enhancing Secure Tropos to Effectively Deal with Security Requirements in the Development of Multiagent Systems / H. Mouratidis ; P. Giorgini
A Schemata Calculus for Propositional Logic / Vincent Aravantinos ; Ricardo Caferra ; Nicolas Peltier
Tableaux and Model Checking for Memory Logics / Carlos Areces ; Diego Figueira ; Daniel GorÃn ; Sergio Mera
Canonical Constructive Systems / Arnon Avron ; Ori Lahav
A Novel Architecture for Situation Awareness Systems / Franz Baader ; Andreas Bauer ; Peter Baumgartner ; Anne Cregan ; Alfredo Gabaldon ; Krystian Ji ; Kevin Lee ; David Rajaratnam ; Rolf Schwitter
On the Proof Theory of Regular Fixed Points / David Baelde
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus / Bianca Boretti ; Sara Negri
A Tableau-Based System for Spatial Reasoning about Directional Relations / Davide Bresolin ; Angelo Montanari ; Pietro Sala ; Guido Sciavicco
Terminating Tableaux for the Basic Fragment of Simple Type Theory / Chad E. Brown ; Gert Smolka
Modular Sequent Systems for Modal Logic / Kai Brünnler ; Lutz Stra?burger
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions / Marta Cialdea Mayer
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories / Silvio Ghilardi ; Silvio Ranise
Rough Set Approach to Knowledge Discovery about Preferences / Roman Slowiński
Toward a Self-referential Collective Intelligence: Some Philosophical Background of the IEML Research Program / Pierre Lévy
A-Teams and Their Applications / Piotr J&ecedil;drzejowicz
Collective Decision Making
Local Search Algorithms for Core Checking in Hedonic Coalition Games / Helena Keinänen
Information Foraging Theory as a Form of Collective Intelligence for Social Search / Longo Luca ; Barrett Stephen ; Dondio Pierpaolo
SAM: Semantic Argumentation Based Model for Collaborative Knowledge Creation and Sharing System / Krissada Maleewong ; Chutiporn Anutariya ; Vilas Wuwongse
A Conception for Modification of Learning Scenario in an Intelligent E-learning System / Adrianna Kozierkiewicz-Hetmańska
Distributed Data Mining Methodology with Classification Model Example / Marcin Gorawski ; Eusa Phiciennik-Psota
A Token-Based Mutual Exclusion Approach to Improve Collaboration in Distributed Environments / Mauricio Paletta ; Pilar Herrero
Discovering Medical Knowledge from Data in Patients' Files / Magdalena Szymkowiak ; Beata Jankowska
Towards an Increase of Collective Intelligence within Organizations Using Trust and Reputation Models / Emil Scarlat ; Iulia Maries
A New Ant Colony Optimization Algorithm with an Escape Mechanism for Scheduling Problems / Tsai-Duan Lin ; Ghuin-Chieh Hsu ; Da-Ren Chen ; Sheng-Yung Chiu
Recognizing Team Formations in Multiagent Systems: Applications in Robotic Soccer / Huberto Ayanegui-Santiago
Semi-traces and Their Application in Concurrency Control Problem / Hoang Chi Thanh
Design of the Directory Facilitator Supporting Fault-Tolerance in Multi-OSGi Agent System / Sang-Hwan Ryu ; Seung-Hyun Lee ; Kyung-Soo Jang ; Ho-Jin Shin ; Dong-Ryeol Shin
Multiagent Systems
Agent-Based Provisioning of Group-Oriented Non-linear Telecommunication Services / Vedran Podobnik ; Ana Petric ; Krunoslav Trzec ; Vedran Galetic ; Gordon Jezic
A Multi-agent Model of Deceit and Trust in Intercultural Trade / Gert Jan Hofstede ; Catholijn M. Jonker ; Tim Verwaart
Implementation of Epistemic Operators for Model Checking Multi-agent Systems / Marina Bagić Babac ; Marijon KunÜtić
Meta-game HOLOS as a Multi-agent Decision-Making Laboratory / Rolis&lslash;aw J. Kolbusz ; Romuald Kotowski ; Krzysztof Kasianiuk
Fuzzy Cognitive and Social Negotiation Agent Strategy for Computational Collective Intelligence / Amine Chohra ; Kurosh Madam ; Dalel Kanzari
A Multi-agent Architecture for Multi-robot Surveillance / David Vallejo ; Paolo Remagnino ; Dorothy N. Monekosso ; Luis Jiménez ; Carlos González
Designing Social Agents with Empathic Understanding / Zulfiqar A. Memon ; Jan Treur
Multi-agent Systems in Pedestrian Dynamics Modeling / Jaros&lslash;aw W&acedil;s ; Konrad Kulakowski
Towards a Model for Extraction of Possible Worlds and Accessibility Relation from Cognitive Agent's Experience / Grzegorz Skorupa ; Rados&lslash;aw Katarzyniak
Social Networks
On Deriving Tagsonomies: Keyword Relations Coming from Crowd / Michal Barla ; Mária Bieliková
D2ISCO: Distributed Deliberative CBR Systems with jCOLIBRI / Sergio González-Sanz ; Juan A. Recio-García ; Belén Díaz-Agudo
Model of a Collaboration Environment for Knowledge Management in Competence-Based Learning / Ró&zadot;ewski Przemys&lslash;aw ; Ciszczyk Magdalena
PlWiki - A Generic Semantic Wiki Architecture / Grzegorz J. Nalepa
Properties of Bridge Nodes in Social Networks / Katarzyna Musia&lslash; ; Krzysztof Juszczyszyn
Semantic Web
Use of Semantic Principles in a Collaborative System in Order to Support Effective Information Retrieval / FrantiÜek Babič ; Karol Furdík ; Ján Paralič ; Peter Bednár ; Jozef Wagner
Assessing Semantic Quality of Web Directory Structure / Marko Horvat ; Gordan Gledec ; Nikola Bogunović
BizKB: A Conceptual Framework for Dynamic Cross-Enterprise Collaboration / Hanh Huu Hoang ; Thanh Manh Le
A Simple Parallel Reasoning System for the ALC Description Logic / Adam Meissner
SemCards: A New Representation for Realizing the Semantic Web / Kristinn R. Thórisson ; Nova Spivack ; James M. Wissner
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC / Link Anh Nguyen ; Andrzej Sza&lslash;as
Semantically Enhanced Intellectual Property Protection System - SEIPro2S / Dariusz Ceglarek ; Konstanty Haniewicz ; Wojciech Rutkowski
Semantic Knowledge Representation in Terrorist Threat Analysis for Crisis Management Systems / Mariusz Ghmielewski ; Andrzej Ga&lslash;ka ; Piotr Jarema ; Kamil Krasowski ; Artur Kosinski
Consensus Choice for Reconciling Social Collaborations on Semantic Wikis / Jason J. Jung ; Ngoc Thanh Nguyen
Ontology Management
Ontology Mapping Composition for Query Transformation in Distributed Environment
Algebra of Ontology Modules for Semantic Agents / Krzysztof Goczy&lslash;a ; Aleksander Waloszek ; Wojciech Waloszek
Grouping Results of Queries to Ontological Knowledge Bases by Conceptual Clustering / Agnieszka &Lslash;awrynowicz
Applying the c.DnS Design Pattern to Obtain an-Ontology for Investigation Management System / Jolanta Cybulka
Ontology Applications for Achieving Situation Awareness in Military Decision Support Systems
A Collaborative Ontology-Based User Profiles System / Trong Hai Duong ; Mohammed Nazim Uddin ; Delong Li ; Geun Sik Jo
Ontology-Based Intelligent Agent for Grid Resource Management / Kyu Cheol Cho ; Chang Hyeon Noh ; Jong Sik Lee
Special Session: Dynamics of Real-World Social Networks
The Norm Game on a Model Network: A Critical Line / Marcin Rybak ; Antoni Dydejczyk ; Krzysztof Ku&lslash;akowski
Model for Trust Dynamics in Service Oriented Information Systems / Grzegorz Ko&lslash;aczek
Collective Prisoner's Dilemma Model of Artificial Society / Marek Chlebuś ; Wojciech Kamiński
Special Session: Nature-Inspired Collective Intelligence
DES Control Synthesis and Cooperation of Agents / FrantiÜek Čapkovič
Parameter Tuning for the Artificial Bee Colony Algorithm / Bahriye Akay ; Dervis Karaboga
A Modified Ant-Based Approach to Edge Detection / Do&gcaron;an Aydin
A Hybrid Evolutionary Approach for the Protein Classification Problem / Denise F. Tsunoda ; Heitor S. Lopes ; Alex A. Freitas
A Family of GEP-Induced Ensemble Classifiers / Joanna J&ecedil;drzejowicz
Handling Dynamic Networks Using Ant Colony Optimization on a Distributed Architecture / Sorin Ilie ; Costin Badica
Modelling Shortest Path Search Techniques by Colonies of Cooperating Agents / Dariusz Król ; &Lslash;ukasz Popiela
Natural Scene Retrieval Based on Graph Semantic Similarity for Adaptive Scene Classification / Nuraini Jami ; Sanggil Kang
Special Session: Web Systems Analysis
A Hybrid Architecture for E-Procurement / Giner Alor-Hernandez ; Alberto Aguilar-Lasserre ; Ulises Juarez-Martinez ; Ruben Posada-Gomez ; Guillermo Cortes-Robles ; Mario Alberto Garcia Martinez ; Juan Miguel Gomez ; Myriam Mencke ; Alejandro Rodriguez Gonzalez
Localization by Wireless Technologies for Managing of Large Scale Data Artifacts on Mobile Devices / Ondrej Krejcar
Avoiding Threats Using Multi Agent System Planning for Web Based Systems / Punam Bedi ; Vandana Gandotra ; Archana Singhal ; Vandita Vats ; Neha Mishra
Using WordNet to Measure the Similarity of Link Texts / Andrzej Siemiński
Mining Frequent Purchase Behavior Patterns for Commercial Websites / Li-Fu Hsu ; Chuin-Chieh Hsu ; Yi-Chen Ku
Block Map Technique for the Usability Evaluation of a Website / Kazimierz Choros ; Monika Muskala
Global Distribution of HTTP Requests Using the Fuzzy-Neural Decision-Making Mechanism / Leszek Borzemski ; Anna Zatwarnicka ; Krzysztof Zatuiamicki
Deterministic Processing of WWW Pages by the Web Service / Krzysztof Zatwarnicki
Special Session: Collective Intelligence for Economic Data Analysis
Comparative Analysis of Regression Tree Models for Premises Valuation Using Statistica Data Miner / Tadeusz Lasota ; Piotr Sachnowski ; Bogdan Trawiński
Electronic Trading on Electricity Markets within a Multi-agent Framework / Mariusz Kaleta ; Piotr Pa&lslash;ka ; Eugeniusz Toczylouiski ; Tomasz Traczyk
Comparative-Analysis of Premises Valuation Models Using KEEL, RapidMiner, and WEKA / Magdalena Graczyk
A Multi-agent System to Assist with Real Estate Appraisals Using Bagging Ensembles / Zbigniew Telec ; Krzysztof Trawiński
Chronicle: A Two-Stage Density-Based Clustering Algorithm for Dynamic Networks / Min-Soo Kim
Learning Large Margin First Order Decision Lists for Multi-class Classification / Huma Lodhi ; Stephen Muggleton ; Mike J.E Sternberg
Ceutrality Measures from Complex Networks in Active Learning / Robson Motta ; Alneu de Andrade Lopes ; Maria Cristina F. de Oliveira
Player Modeling for Intelligent Difficulty Adjustment / Olana Missura ; Thomas Gärtner
Discovering the Structures of Open Source Programs from Their Developer Mailing Lists / Susana Nascimenio ; Pedro Franco ; Dinh Anh Nguyen ; Koichiro Doi ; Akihiro YamamotoUnsupervised Fuzzy Clustering for the Segmentation and Annotation of Upwelling Regions in Sea Surface Temperature Images：
A Comparison of Community Detection Algorithms on Artificial Networks / Günce Keziban Orman ; Vincent Labatut
Towards an Ontology of Data Mining Investigations / Pan?e Panov ; Larisa N. Soldatova ; SaÜo D eroski
OMFP: An Approach for Online Mass Flow Prediction in CFB Boilers / Indr&ebdot; Äliobait&ebdot; ; Jorn Bakker ; Mykola Pechenizkiy
C-DenStream: Using Domain Knowledge on a Data Stream / Carlos Ruiz ; Ernestina Menasalvas ; Myra, Spiliopoulou
Discovering Influential Nodes for SIS Models in Social Networks / Kazumi Saito ; Masahiro Kimura ; Hiroshi Motoda
An Empirical Comparison of Probability Estimation Techniques for Probabilistic Rules / Jan-Nikolas Sulzmann ; Johannes Fürnkranz
Precision and Recall for Regression / Luis Torgo ; Rita Ribeiro
Mining Local Correlation Patterns in Sets of Sequences / Antti Ukkonen
Subspace Discovery for Promotion: A Cell Clustering Approach / Tianyi Wu
Contrasting Sequence Groups by Emerging Sequences / Kang Deng ; Osmar R. Zaïane
A Sliding Window Algorithm for Relational Frequent Patterns Mining from Data Streams / Fabio Fumarola ; Anna Ciampi
A Hybrid Collaborative Filtering System for Contextual Recommendations in Social Networks / Jorge Gonzalo-Alonso ; Paloma de Juan ; Elena García-Hortelano ; Carlos Á. Jglesias
Linear Programming Boosting by Column and Row Generation / Kohei Hatano ; Eiji Takimoto
Discovering Abstract Concepts to Aid Cross-Map Transfer for a Learning Agent / Cédric Herpson ; Vincent Corruble
A Dialectic Approach to Problem-Solving / Eric Martin ; Jean Sallantin
Gene Functional Annotation with Dynamic Hierarchical Classification Guided by Orthologs / Kazuhiro Seki ; Yoshihiro Kino ; Kuniaki Uehara
Simulation and Information: Quantifying over Epistemic Events / Hans van Ditmarsch ; Tim French
On the Dynamics of Institutional Agreements / Andreas Herzig ; Tiago de Lima ; Emiliano Lorini
From Trust in Information Sources to Trust in Communication Systems: An Analysis in Modal Logic / Robert Demolombe
Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms / Tomasz Michalak ; Andrew Dowell ; Peter McBurney ; Michael Wooldridge
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments / Michele Piunti ; Alessandro Ricci
Information-Based Argumentation / Carles Sierra ; John Debenham
Mediation = Information Revelation + Analogical Reasoning / Simeon Simoff ; Ramon López de Mà ntaras
Author Index
Reasoning about Other Agents' Beliefs under Bounded Resources / Natasha Alechina ; Brian Logan ; Hoang Nga Nguyen ; Abdur Rakib
Normative Multi-agent Programs and Their Logics / Mehdi Dastani ; Davide Grossi ; John-Jules Ch. Meyer ; Nick Tinnemeier
Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme / Slobodan Ribaric ; Nikola PaveÜic ; Valentina Zadrija
Parametric Uncertainty of Linear Discrete-Time Systems Described by Fuzzy Numbers / Petr HuÜek
A Flexible Neuro-Fuzzy Autoregressive Technique for Non-linear Time Series Forecasting / Alejandro Veloz ; Héctor Allende ; Claudio Moraga ; Rodrigo Solas
Agent Systems
Multiagent Security Evaluation Framework for Service Oriented Architecture Systems / Grzegorz Ko&lslash;aczek
Describing Evolutions of Multi-Agent Systems / Sergey Babenyshev ; Vladimir Rybakov
Functionality and Performance Issues in an Agent-Based Software Deployment Framework / Mario Kusek ; Kresimir Jurasovic ; Ignac Lovrek
A Consensus-Based Integration Method for Security Rules / Trong Hieu Tran ; Ngoc Thanh Nguyen
Knowledge Based and Expert Systems
Emotion Judgment Based on Relationship between Speaker and Sentential Actor / Seiji Tsuchiya ; Eriko Yoshimura ; Fuji Ren ; Hirokazu Watabe
A Knowledge Based Formal Language for Securing Information Systems / Yun Bai
Multi Criteria Decision Making in Fuzzy Description Logics: A First Step / Umberto Straccia
A Hybrid System Combining Description Logics and Rules for Inventive Design / Alexis Bultey ; Cecilia Zanni-Merk ; François Rousselot ; François de Beuvron
Domain Modeling Based on Engineering Standards / Carlos Toro ; Manuel Graña ; Jorge Posada ; Javier Vaquero ; Cesar Sanín ; Edward Szczerbicki
A Knowledge Based System for Minimum Rectangle Nesting / Grzegorz Chmaj ; Iwona Pozniak-Koszalka ; Andrzej Kasprzak
Other/Misc. Generic Intelligent Systems Topics
Evolutionary Algorithm for Solving Congestion Problem in Computer Networks / Dawid Ohia ; Leszek Koszalka
Automatic Speech-Lip Synchronization System for 3D Animation / Juan Monroy ; Francisco Bellas ; Richard J. Duro ; Ruben Lopez ; Antonio Puentes ; Jacques Isaac
Development of an Effective Travel Time Prediction Method Using Modified Moving Average Approach / Nihad Karim Chowdhury ; Rudra Pratap Deb Nath ; Hyunjo Lee ; Jaewoo Chang
Differential Evolution and Genetic Algorithms for the Linear Ordering Problem / Václav SnáÜel ; Pavel Krömer ; Jan PlatoÜ
Determining Optimal Crop Rotations by Using Multiobjective Evolutionary Algorithms / Ruth Pavón ; Ricardo Brunelli ; Christian von Lücken
Intelligent Vision and Image Processing
Object Recognition by Permanence of Ratios Based Fusion and Gaussian Bayes Decision / Tuan D. Pham
A New Wavelet-Fractal Image Compression Method / Vu Thanh Hien
Urban Vehicle Tracking Using a Combined 3D Model Detector and Classifier / Norbert Buch ; Fei Yin ; James Orwell ; Dimitrios Makris ; Sergio A. Velastin
UBIAS - Type Cognitive Systems for Medical Pattern Interpretation / Lidia Ogiela ; Marek R. Ogiela ; Ryszard Tadeusiewicz
A New Selective Confidence Measure-Based Approach for Stereo Matching / Nizar Fakhfakh ; Louahdi Khoudour ; El-Miloudi El-Koursi ; Jacques Jacot ; Alain Dufaux
Image Content Analysis for Cardiac 3D Visualizations / Miroslaw Trzupek
Knowledge Management, Ontologies and Data Mining
Illogical Adjective Phrase Detection for Computer Conversation / Tsukasa Kawaoka
A Non-sequential Representation of Sequential Data for Churn Prediction / Mark Eastwood ; Bogdan Gabrys
Dialectics-Based Knowledge Acquisition - A Case Study / Philippe Bouché
Automatic Extraction of Hyponymy-Hypernymy Lexical Relations between Nouns from a Spanish Dictionary / Rodolfo A. Pazos R. ; José A. Martínez F. ; Juan J. González B. ; María Lucila Morales-Rodríguez ; Jessica C. Rojas P.
AVEDA: Statistical Tests for Finding Interesting Visualisations / Katharina Tschumitschew ; Frank Klawonn
Degree of Association between Documents Using Association Mechanism
Parallel Method for Mining High Utility Itemsets from Vertically Partitioned Distributed Databases / Bay Vo ; Huy Nguyen ; Tu Bao Ho ; Bac Le
An Ontology-Based Autonomic System for Improving Data Warehouse Performances / Vlad Nicolicin-Georgescu ; Vincent Benatier ; Remi Lehn ; Henri Briand
Semantic Enhancement of the Course Curriculum Design Process / Juantxu Martín ; Andoni Aregita
Using the Mesh Thesaurus to Index a Medical Article: Combination of Content, Structure and Semantics / Jihen Majdoubi ; Mohamed Tmar ; Faiez Gargouri
Web Intelligence, Text and Multimedia Mining and Retrieval
Building Decision Trees to Identify the Intent of a User Query / Marcelo Mendoza ; Juan Zamora
Design and Implementation of a Methodology for Identifying Website Keyobjects / Luis E. Dujovne ; Juan D. Velásquez
NLP Contribution to the Semantic Web: Linking the Term to the Concept / Gaëlle Lortal ; Nathalie Chaignaud ; Jean-Philippe Kotowicz ; Jean-Pierre Pécuchet
An Intelligent Automatic Hoax Detection System / Marin Vukovic ; KreÜimir Pripu ic ; Hrvoje Belani
Web User Session Reconstruction with Back Button Browsing / Robert F. Dell ; Pablo E. Román
Other Advanced Knowledge-Based Systems (I)
Fast Time Delay Neural Networks for Detecting DNA Coding Regions / Hazem M. El-Bakry ; Mohamed Hamada
Consistency-Based Feature Selection / Kilho Shin ; Xian Ming Xu
Asynchronous Situated Coevolution and Embryonic Reproduction as a Means to Autonomously Coordinate Robot Teams / Abraham Prieto ; Andres Faina
Keynote Speaker Plenary Presentation
Learning Automata Based Intelligent Tutorial-like System / B. John Oommen ; M. Khaled Hashem
Modeling and Simulating Empires: Toward a Game World Generator (Abstract) / Barry G. Silverman
User-Centric and Intelligent Service Composition in Ubiquitous Computing Environments (Abstract) / In-Young Ko
Author Index
Fuzzy and Neuro-Fuzzy Systems
Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme / Slobodan Ribaric ; Nikola PaveÜic ; Valentina Zadrija
Parametric Uncertainty of Linear Discrete-Time Systems Described by Fuzzy Numbers / Petr HuÜek
Towards a Spatial Model for Humanoid Social Robots / Dario Figueira ; Manuel Lopes ; Rodrigo Ventura ; Jonas Ruesch
Control and Monitoring of a Robotic Soccer Team: The Base Station Application / Nuno M. Figueiredo ; António J.R. Neves ; Artur Pereira ; Gustavo Corrente
Multirobot Task Assignment in Active Surveillance / Nelson Gonçalves ; João Sequeira
Roles, Positionings and Set Plays to Coordinate a RoboCup MSL Team / Nelson Filipe
Semantic Image Search and Subset Selection for Classifier Training in Object Recognition / Augusto Silva
KDBI-Knowledge Discovery and Business Intelligence / Chapter 8：
An Algorithm to Discover the k-Clique Cover in Networks / LuÃs Cavique ; Armando B. Mendes ; Jorge M.A. Santos
Cost-Sensitive Learning Vector Quantization for Financial Distress Prediction / Ning Chen ; Armando S. Vieira ; João Duarte ; Bemardete Ribeiro ; João C. Neves
An Intelligent Alarm Management System for Large-Scale Telecommunication Companies / Raúl Costa ; Nuno Cachulo ; Paulo Cortez
Construction of a Local Domain Ontology from News Stories / Brett Drury ; J.J. Almeida
Efficient Coverage of Case Space with Active Learning / Nuno Filipe Escudeiro ; AlÃpio Mario Jorge
Tracking Recurring Concepts with Met a-learners / João Gama ; Petr Kosina
Detecting Errors in Foreign Trade Transactions: Dealing with Insufficient Data / Luis Torgo ; Welma Pereira ; Carlos Soares
MASTA-Multi-Agent Systems: Theory and Applications / Chapter 9：
Recovering from Airline Operational Problems with a Multi-Agent System: A Case Study / António Mota ; António J.M. Castro
EcoSimNet: A Multi-Agent System for Ecological Simulation and Optimization / António Pereira ; Luýs Paulo Reis ; Pedro Duarte
DarkBlade: A Program That Plays Diplomacy / João Ribeiro ; Pedro Mariano ; Luýs Seabra Lopes
Agent Inferencing Meets the Semantic Web / Paulo Trigo ; Helder Coelho
How Much Should Agents Remember? The Role of Memory Size on Convention Emergence Efficiency / Paulo Urbano ; João Balsa ; Paulo Ferreira Jr. ; LuÃs Antunes
Computing Confidence Values: Does Trust Dynamics Matter? / Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira
SSM-Social Simulation and Modelling / Chapter 10：
Games on Cellular Spaces: An Evolutionary Approach / Pedro Ribeiro de Andrade ; António Miguel Vieira Monteiro ; Gilberto Cdmara
Context Switching versus Context Permeability in Multiple Social Networks / Luýs Antunes ; Davide Nunes
Risk Tolerance and Social Awareness: Adapting Deterrence Sanctions to Agent Populations / Henrique Lopes Cardoso
Sensitivity Analysis of a Tax Evasion Model Applying Automated Design of Experiments / Attila Szabó ; Istvdn Jónos Tóth
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic / Xiaowei Huang ; Ron van der Meyden
Multistage Fuzzy Decision Making in Bilateral Negotiation with Finite Termination Times / Jan Richter ; Ryszard Kowalczyk ; Matthias Klusch
Simple Default Reasoning in Theories of Action / Hannes Strass ; Michael Thielscher
From My Agent to Our Agent: Exploring Collective Adaptive Agent via Barnga / Yuya Ushida ; Kiyohiko Hattori ; Keiki Takadama
AI Applications
Classification of EEG for Affect Recognition: An Adaptive Approach / Omar AlZoubi ; Rafael A. Calvo ; Ronald H. Stevens
Effect of Experimental Factors on the Recognition of Affective Mental States through Physiological Measures / Iain Brown ; Steve Scheding
A Distance Measure for Genome Phylogenetic Analysis / Minh Duc Cao ; Lloyd Allison ; Trevor Dix
Pattern Prediction in Stock Market / Saroj Kaushik ; Naman Singhal
Balancing Workload in Project Assignment / Zhirong Liang ; Songshan Guo ; Yanzhi Li ; Andrew Lim
Topical Analysis for Identification of Web Communities / Yajie Miao ; Chunping Li
Collaborative-Comparison Learning for Complex Event Detection Using Distributed Hierarchical Graph Neuron (DHGN) Approach in Wireless Sensor Network / Anang Hudaya Muhamad Amin ; Asad I. Khan
Square Root Unscented Particle Filtering for Grid Mapping / Simone Zandara ; Ann Nicholson
Computer Vision and Image Processing
Towards Automatic Image Segmentation Using Optimised Region Growing Technique / Mamoun Alazab ; Mofakharul Islam ; Sitalakshmi Venkatraman
Texture Detection Using Neural Networks Trained on Examples of One Class / Vic Ciesielski ; Vinh Phuong Ha
Learning and Recognition of 3D Visual Objects in Real-Time / Shihab Hamid ; Bernhard Hengst
Learning Motion Detectors by Genetic Programming / Brian Pinto ; Andy Song
Information-Theoretic Image Reconstruction and Segmentation from Noisy Projections / Gerhard Visser ; David L. Dowe ; Imants D. Svalbe
Belief Propagation Implementation Using CUDA on an NVIDIA GTX / Yanyan Xu ; Hui Chen ; Reinhard Klette ; Jiaju Liu ; Tobi Vaudrey
Face Image Enhancement via Principal Component Analysis / Deqiang Yang ; Tianwei Xu ; Rongfang Yang ; Wanquan Liu
Data Mining and Statistical Learning
On Using Adaptive Binary Search Trees to Enhance Self Organizing Maps / Cesar A. Astudillo ; B. John Oommen
Topic-Based Computing Model for Web Page Popularity and Website Influence / Song Gao ; Liu Yang
Classifying Multiple Imbalanced Attributes in Relational Data / Amal S. Ghanem ; Svetha Venkatesh ; Geoff West
Algorithms for the Computation of Reduced Convex Hulls / Ben Goodrich ; David Albrecht ; Peter Tischer
Regularized Kernel Local Linear Embedding on Dimensionality Reduction for Non-vectorial Data / Yi Guo ; Junbin Gao ; Paul W. Kwan
Incremental E-Mail Classification and Rule Suggestion Using Simple Term Statistics / Alfred Krzywicki ; Wayne Wobcke
The Positive Effects of Negative Information: Extending One-Class Classification Models in Binary Proteomic Sequence Classification / Stefan Mutter ; Bernhard Pfahringer ; Geoffrey Holmes
Using Topic Models to Interpret MEDLINE's Medical Subject Headings / David Newman ; Sarvnaz Karimi ; Lawrence Cavedon
A Novel Path-Based Clustering Algorithm Using Multi-dimensional Scaling / Uyen T.V. Nguyen ; Laurence A.F. Park ; Liang Wang ; Kotagiri Ramamohanarao
Ensemble Approach for the Classification of Imbalanced Data / Vladimir Nikulin ; Geoffrey J. McLachlan ; Shu Kay Ng
Adapting Spectral Co-clustering to Documents and Terms Using Latent Semantic Analysis / Christopher A. Leckie ; James C Bezdek
MML Invariant Linear Regression / Daniel F. Schmidt ; Enes Makalic|312
DMCS: Dual-Model Classification System and Its Application in Medicine / Qun Song ; Ruihua Weng ; Fengyu Weng
A Graph Distance Based Structural Clustering Approach for Networks / Xin Su
Constructing Stochastic Mixture Policies for Episodic Multiobjective Reinforcement Learning Tasks / Peter Vamplew ; Richard Dazeley ; Ewan Barker ; Andrei Kelarev
Enhancing MML Clustering Using Context Data with Climate Applications / Petteri Uotila
Evolutionary Computing
CoXCS: A Coevolutionary Learning Classifier Based on Feature Space Partitioning / Mani Abedini ; Michael Kirley
Multi-Objective Genetic Programming for Classification with Unbalanced Data / Urvesh Bhowan ; Mengjie Zhang ; Mark Johnston
Scheduling for the National Hockey League Using a Multi-objective Evolutionary Algorithm / Sam Craig ; Lyndon While ; Luigi Barone
Classification-Assisted Memetic Algorithms for Equality-Constrained Optimization Problems / Stephanus Daniel Handoko ; Chee Keong Kwoh ; Yew Soon Ong
Unsupervised Text Normalization Approach for Morphological Analysis of Blog Documents / Kazushi Ikeda ; Tadashi Yanagihara ; Kazunori Matsumoto ; Yasuhiro Takishima
Novel Memetic Algorithm for Protein Structure Prediction / Md. Kamrul Islam ; Madhu Chetty
Interestingness of Association Rules Using Symmetrical Tau and Logistic Regression / Izwan Nizal Mohd Shaharanee ; Fedja Hadzic ; Tharam S. Dillon
Unsupervised Elimination of Redundant Features Using Genetic Programming / Kourosh Neshatian
A Distance Metric for Evolutionary Many-Objective Optimization Algorithms Using User-Preferences / Upali K. Wickramasinghe ; Xiaodong Li
Balancing Parent and Offspring Selection in Genetic Programming / Huayang Xie
Game Playing
A Memory-Based Approach to Two-Player Texas Hold'em / Jonathan Rubin ; Ian Watson
Decomposition of Multi-player Games / Dengji Zhao ; Stephan Schiffel
Knowledge Representation and Reasoning
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures / Norihiro Kamide ; Ken Kaneiwa
A Data Model for Fuzzy Linguistic Databases with Flexible Querying / Van Hung Le ; Fei Liu ; Hongen Lu
Modelling Object Typicality in Description Logics / Katarina Britz ; Johannes Heidema ; Thomas Meyer
Efficient SAT Techniques for Relative Encoding of Permutations with Constraints / Miroslav N. Velev ; Ping Gao
Uniform Interpolation for ACC Revisited / Zhe Wang ; Kewen Wang ; Rodney Topor ; Jeff Z. Pan ; Grigoris Antoniou
Modeling Abstract Behavior: A Dynamic Logic Approach / Yi Zhou ; Yan Zhang
Natural Language and Speech Processing
Restoring Punctuation and Casing in English Text / Timothy Baldwin ; Manuel Paul Anil Kumar Joseph
A Novel Connectionist Network for Solving Long Time-Lag Prediction Tasks / Keith Johnson ; Cara MacNish
An Abstraction-Based Data Model for Information Retrieval / Richard A. McAllister ; Rafal A. Angryk
Vietnamese Document Representation and Classification / Giang-Son Nguyen ; Xiaoying Gao ; Peter Andreae
Can Shallow Semantic Class Information Help Answer Passage Retrieval? / Bahadorreza Ofoghi ; John Yearwood
English Article Correction System Using Semantic Category Based Inductive Learning Rules / Hokuto Ototake ; Kenji Araki
Towards Interpreting Task-Oriented Utterance Sequences / Patrick Ye ; Ingrid Zukerman
Soft Computing
Fuzzy Rank Linear Regression Model / Jin Hee Yoon ; Seung Hoe Choi
Numerical versus Analytic Synchronization in Small-World Networks of Hindmarsh-Rose Neurons / Mahdi Jalili
Outline Capture of Images by Multilevel Coordinate Search on Cubic Splines / Muhammad Sarfraz
User Modelling
Aggregation Trade Offs in Family Based Recommendations / Shlomo Berkovsky ; Jill Freyne ; Mac Coombe
Using Keyword-Based Approaches to Adaptively Predict Interest in Museum Exhibits / Fabian Bohnert
Behaviour Recognition from Sensory Streams in Smart Environments / Sook-Ling Chua ; Stephen Marsland ; Hans W. Guesgen
Probabilistic Seeking Prediction in P2P VoD Systems / Weiwei Wang ; Tianyin Xu ; Yang Gao ; Sanglu Lu
Engineering Agent Organisations in a Business Environment / Dimitris Traskas ; Julian Padget
Peer-to-Peer Overlay, Network Based on Swarm Intelligence
Software-Engineering and Architectures / Part 3：
Agent Architectures for Compliance / Brigitte Burgemeestre ; Joris Hulstijn ; Yao-Hua Tan
Incorporating BDI Agents into Human-Agent Decision Making Research / Bart Kamphorst ; Arlette van Wissen ; Virginia Dignum
Programming Organization-Aware Agents: A Research Agenda / M. Birna van Riemsdijk ; Koen Hindriks ; Catholijn Jonker
Energy Trade-Offs in Resource-Constrained Multi-Agent Systems / Hugo Carr ; Jeremy Pitt ; Anthony Kleerekoper ; David Blancke
Social Aspects of Agent Societies / Part 4：
Engineering Social Reality with Inheritance Relations / Huib Aldewereld ; Sergio Alvarez-Napagao ; Frank Dignum ; Javier Vázquez-Salceda
Determining the Trustworthiness of New Electronic Contracts / Paul Groth ; Simon Miles ; Sanjay Modgil ; Nir Oren ; Michael Luck ; Yolanda Gil
Trust Based Evaluation of Wikipedia's Contributors / Yann Krupa ; Laurent Vercouter ; Jomi Fred Hübner ; Andreas Herzig
Evolutionary Role Model for Multi-Agent Systems / Erdem Eser Ekinci ; Oguz Dikenelli
Organisation and Autonomy / Part 5：
Replication Based on Role Concept for Multi-Agent Systems / Sebnem Bora
Knowledge Management in Role Based Agents / Hüseyin Kir
Balancing Organizational Regulation and Agent Autonomy: An MDE-Based Approach / Athanasios Staikopoulos
Cooperative Sign Language Tutoring: A Multiagent Approach / Ilker Yildirim ; Oya Aran ; Pinar Yolum ; Lale Akarun
Assistance Layer in a P2P Scenario / Jordi Campos ; Maite López-Sánchez ; Marc Esteva
Navigational Web-Interfaces from Formal Tropos Specification / Komminist Weldemariam
Demonstrations / Part 6：
ALIVE: A Framework for Flexible and Adaptive Service Coordination / J.S.C. Lam ; W.W. Vasconcelos ; F. Guerin ; D. Corsar ; A. Chorley ; T.J. Norman ; J. Vázquez-Salceda ; S. Panagiotidi ; R. Confalonieri ; I. Gomez ; S. Hidalgo ; S.A. Napagao ; J.C. Nieves ; M. Palau Roig ; L. Ceccaroni ; H. Aldewereld ; V. Dignum ; F. Dignum ; L. Penserini ; J. Padget ; M. De Vos ; D. Andreou ; O. Cliffe ; A. Staikopoulos ; R. Popescu ; S. Clarke ; P. Sergeant ; C. Reed ; T. Quillinan ; K. Nieuwenhuis
An Organisational Adaptation Simulator for P2P Networks / Javier Morales|240
PreSage-MS: Metric Spaces in PreSage / Alexander Artikis
Normative Multi-Agent Organizations: A Programming Language and Its Interpreter / Mehdi Dastani
Hybrid Teams in Virtual Environments: Samurai Joins the Training Team / Jurriaan van Diggelen ; Tijmen Muller ; Karel van den Bosch
Joint Activity Testbed: Blocks World for Teams (BW4T) / Matthew Johnson ; Bina van Riemsdijk ; Paul J. Feltovich ; Jeffrey M. Bradshaw
Author Index
Invited Talks / Part 1：
The Immergence of Norms in Agent Worlds / Rosaria Conte ; Giulia Andrighetto ; Marco Campennì
Thinking Integral: How to Build Complex Systems That Live with People and Exhibit Collective Intelligence / Jacques Ferber
A Flexible Querying Approach Based on Outranking and Classification / Patrick Basc ; Olivier Pivert ; Gregory Smits
Ranking Approximate Query Rewritings Based on Views / Héléne Jaudoin ; Pierre Colomb
A Model for Contextual Cooperative Query Answering in E-Commerce Applications / Kazi Zakia Sultana ; Anupam Bhattacharjee ; Mohammad Shafkat Amin ; Hasan Jamil
Reasoning on Incompleteness of Spatial Information for Effectively and Efficiently Answering Range Queries over Incomplete Spatial Databases / Alfredo Cuzzocrea ; Andrea Nucita
Abstracting Query Building for Multi-entity Faceted Browsing / Fredrik Palm
On Fuzzy vs. Metric Similarity Search in Complex Databases / Alan Eckhardt ; Tomáš Skopal ; Peter Vojtáš
An Exploratory Study on Using Social Information Networks for Flexible Literature Access / Lynda Tamine ; Amjed Ben Jabeur ; Wahiba Bahsoun
Dynamically Personalizing Search Results for Mobile Users / Ourdia Bouidghaghen ; Lynda Tamine-Lechani ; Mohand Boughanem
On the Selection of the Best Retrieval Result Per Query-An Alternative Approach to Data Fusion / Antonio Juárez-González ; Manuel Montes-y-Gómez ; Luis Villaseñor-Pineda ; Daniel Ortíz-Arroyo
Sociomapping in Text Retrieval Systems / Petr Jenček ; Michal Kopecký ; Cyril Hösch
Query Reformulation Based on Relevance Feedback / Imen Taktak ; Mohamed Tmar ; Abdelmajid Ben Hamadou
Multi-objective Query Optimization Using Topic Ontologies / Rocío L. Cecchini ; Carlos M. Lorenzetti ; Ana G. Maguitman
Effectiveness of Aggregation Methods in Blog Distillation / Mostafa Keikha ; Fabio Crestani
Structural Relevance Feedback in XML Retrieval / Inès Kamoun Fourati
Query Disambiguation Based on Novelty and Similarity User's Feedback / G. Bordogna ; A. Campi ; G. Psaila ; S. Ronchi
Exteraction of 3D Feature Descriptor Using the Distribution of Normal Vectors / Ami Kim ; Oubong Gwun ; Juwhan Song
Re-ranking Documents Based on Query-Independent Document Specificity / Lei Zheng ; Ingemar J. Cox
Browsing Recommendation Based on the Intertemporal Choice Model / Azreen Azman ; Iadh Ounis
Design of an Interface for Interactive Topic Detection and Tracking / Masnizah Mohd ; Ian Ruthven
Representing Context Information for Document Retrieval / Maya Carrillo ; Esaú Villatoro-Tello ; A. López-López ; Chris Eliasmith
Searching Multiple Artifacts: A Comprehensive Framework for Complex Search Situations / Nadine Weber ; Raiko Eckstein ; Andreas Henrich
Extraction and Mining
Expected Answer Type Identification from Unprocessed Noisy Questions / Md. Faisal Mahbub Chowdhury ; Matteo Negri
Ontograbbing: Extracting Information from Texts Using Generative Ontologies / Jørgen Fischer Nilsson ; Barttomiej Antoni Szymczak ; Per Anker Jensen
Mining Tree-Based Frequent Patterns from XML / Mirjana Mazuran ; Elisa Quintarelli ; Letizia Tanca
Automatic Web Pages Author Extraction / Sahar Changuel ; Nicolas Labroche ; Bernadette Bouchon-Meunier
Syntacic Extraction Approach to Processing Local Document Collections / Jolanta Mizera-Pietraszko
Conceptual Indexing of Text Using Ontologies and Lexical Resources / Troels Andreasen ; Henrik Bulskov ; Tine Lassen
Information Extraction from Text Based on Semantic Inferentialism / Vladia Pinheiro ; Tarcisio Pequeno ; Vasco Furtado ; Douglas Nogueira
Flexible SPARQL Querying of Web Data Tables Driven by an Ontology / Patrice Buche ; Juliette Dibi-Barthélemy ; Hojer Chebil
Trajectory Clustering via Effective Partitioning / Elio Masciari
Semantically Expanding Questions for Supervised Automatic Classification / Ali Harb ; Michel Beigbeder ; Jean-Jacques Girardot
Graank: Exploiting Rank Correlations for Extracting Gradual Itemsets / Anne Laurent ; Marie-Jeanne Lesot ; Maria Rifqi
Ontologies and Semantic Web
Controlled Aggregate Tree Shaped Questions over Ontologies / Camilo Thorne ; Diego Calvanese
A Semantic Similarity Measure for Ontology-Based Information / Heiner Stuckenschmidt
An Extendable Meta-learning Algorithm for Ontology Mapping / Saied Haidarian Shahri
Accessing and Documenting Relational Databases through OWL Ontologies / Carlo Curino ; Giorgio Orsi ; Emanuele Panigati
A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs Biomedical Texts / Sine Zambach
Ontology Graphical Editor for Multilingual Document Search System / Cesar K. Stradiotto ; Tania C.D. Bueno ; Hugo C. Hoeschl
Finding Top-k Approximate Answers to Path Queries / Carlos A. Hurtado ; Alexandra Poulovassilis ; Peter T. Wood
Intelligent Information Extraction from Texts
Special Session Organized by / Jesús Cardeñosa ; Carolina Gallardo ; Igor Boguslavsky
Extraction of Conditional and Causal Sentences from Queries to Provide a Flexible Answer / Cristina Puente ; Alejandro Sobrino ; José Ángel Olivas
Semantic Enrichment of Database Textual Attributes / Jesús R. Campaña ; María J. Martín-Bautista ; Juan M. Medina ; M. Amparo Vila
Interlingual Information Extraction as a Solution for Multilingual QA Systems / Miguel A. de la Villa
Semantic Paraphrasing for Information Retrieval and Extraction / Juri D. Apresjan ; Igor M. Boguslavsky ; Leonid L. Iomdin ; Leonid L. Cinman ; Svetlana P. Timoshenko
Named Entity Recognition Experiments on Turkish Texts / Dilek KüÇük ; Adnan Yazici
Advances in Fuzzy Querying: Theory and Applications
Fuzzy Querying in Intelligent Information Systems / Janusz Kacprzyk ; Guy De Tré ; Slawomir Zadro&zadot;ny ; Murat Koyuncu
Content-Based Retrieval of Audio in News Broadcasts / Ebru Do&gcaron;an ; Mustafa Sert
Linguistic Summary-Based Query Answering on Data Cubes with Time Dimension / Rita Castillo-Ortega ; Nicolás Marín ; Daniel Sánchez
About Bipolar Division Operators / Patrick Bosc
On Reaching Consensus by a Group of Collaborating Agents / Zbigniew W. Raś ; Agnieszka Dardzińska
Dealing with Positive and Negative Query Criteria in Fuzzy Database Querying / Tom Matthé ; Antoon Bronselaer
Personalization, Preferences, Context and Recommendation
Predicting Neighbor Goodness in Collaborative Filtering / Juan M. Fernández Luna ; Juan F. Huete ; Pablo Castells ; Alejandro Bellogín
Content-Oriented Relevance Feedback in XML-IR Using the Garnata Information Retrieval System / Luis M. de Campos ; Juan M. Fernández-Luna ; Carlos Martín-Dancausa
Exploiting Social Tagging Profiles to Personalize Web Search / David Vallet ; Iván Cantador ; Joemon M. Jose
Incremental Personalised Summarisation with Novelty Detection / Marco Campana ; Anastasios Tombros
Web as a Stream
Special Session Organized / Maria Grineva ; Henning Christiansen
Stream Reasoning: A Survey and Further Research Directions / Gulay Unel ; Dumitru Roman
Feed Querying as a Proxy for Querying the Web / Erik Wilde ; Alexandros Marinos
Author Index
Database Management
A Flexible Querying Approach Based on Outranking and Classification / Patrick Basc ; Olivier Pivert ; Gregory Smits
Ranking Approximate Query Rewritings Based on Views / Héléne Jaudoin ; Pierre Colomb
Propagation of Random Perturbations under Fuzzy Algebraic Operators / Zheng Zheng ; Shanjie Wu ; Kai- Yuan Cai
Two Approaches to Iterated Belief Contraction / Raghav Ramachandran ; Abhaya C. Nayak ; Mehmet A. Orgun
The Dual Spatial Connectives of Separation Logic / Yuming Shen ; Yuefei Sui ; Ju Wang
Knowledge Engineering in Future Internet Vedran Hrgovcic / Wilfrid Utz ; Robert Woitsch
Developing Diagnostic DSSs Based on a Novel Data Collection Methodology / Kaya Kuru ; Sertan Girgin ; Kemal Arda ; U?ur Bozlar ; Veysel Akgün
Data Integration for Business Analytics: A Conceptual Approach / Wilfried Grossmann
New Labeling Strategy for Semi-supervised Document Categorization / Yan Zhu ; Liping Jing
A Competitive Learning Approach to Instance Selection for Support Vector Machines / Mario Zechner ; Michael Granitzer
Knowledge Discovery from Academic Search Engine / Ye Wang ; Miao Jiang ; Xiaoling Wang ; Aoying Zhou
Interactive Visualization in Knowledge Discovery for Academic Evaluation and Accreditation / Anastasios Tsolakidis ; Ioannis Chalaris ; George Miaoulis
Aggregation Models for People Finding in Enterprise Corpora / Wei Zhang ; Lei Chang ; Jianqing Ma ; Yiping Zhong
Debt Detection in Social Security by Adaptive Sequence Classification / Shanshan Wu ; Yanchang Zhao ; Huaifeng Zhang ; Chengqi Zhang ; Longbing Cao ; Hans Bohlscheid
Ontology Based Opinion Mining for Movie Reviews / Lili Zhao ; Chunping Li
Concept-Based, Personalized Web Information Gathering: A Survey / Xiaohui Tao ; Yuefeng Li
The Online Market Observatory: A Domain Model Approach / Norbert Walchhofer ; Milan Hronsky ; Karl Anton Froeschl
Data Driven Rank Ordering and Its Application to Financial Portfolio Construction / Maria Dobrska ; Hui Wang ; William Blackburn
Prioritizing Non-functional Concerns in MAMIE Methodology / Hakim Bendjenna ; Mohamed Amroune ; Nacer-eddine Zarour ; Pierre-jean Charrel
Verifying Software Requirements Based on Answer Set Programming / Kedian Mu ; Qi Zhang ; Zhi Jin
Blending the Sketched Use Case Scenario with License Agreements Using Semantics / Muhammad Asfand-e-yar ; Amin Anjomshoaa ; Edgar R. Weippl ; A Min Tjoa
A Comparative Analysis for Detecting Seismic Anomalies in Data Sequences of Outgoing Longwave Radiation / Yaxin Bi ; Shengli Wu ; Pan Xiong ; Xuhui Shen
On Optimization of Predictions in Ontology-Driven Situation Awareness / Norbert Baumgartner ; Wolfgang Gottesheim ; Stefan Mitsch ; Werner Retschitzegger ; Wieland Schwinger
On Undecidability of Cyclic Scheduling Problems / Grzegorz Bocewicz ; Robert Wójcik ; Zbigniew Banaszak
Combination of Two KM Strategies by Web 2.0 / Quoc Trung Pham ; Yoshinori Hara
Measuring KM Success and KM Service Quality with KnowMetrix-First Experiences from a Case Study in a Software Company / Franz Lehner
Knowledge Creation Spaces: The Power of Project Teams / Andrew J. Sense
Competence Management in Knowledge-Based Organisation: Case Study Based on Higher Education Organisation / Przemystaw Rózewski ; Bartlomiej Malachowski
Knowledge Maturing Services: Supporting Knowledge Maturing in Organisational Environments / Karin Schoefegger ; Nicolas Weber ; Stefanie Lindstaedt ; Tobias Ley
How Much Well Does Organizational Knowledge Transfer Work with Domain and Rule Ontologies? / Keido Kobayashi ; Akiko Yoshioka ; Masao Okabe ; Masahiko Yanagisawa ; Hiroshi Yamazaki ; Takahira Yamaguchi
Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies / Viktoria Pammer
Knowledge-Based Process Modelling for Nuclear Inspection / Florin Abazi ; Alexander Bergmayr
Two Dependency Modeling Approaches for Business Process Adaptation / Christian Sell ; Matthias Winkler ; Thomas Springer ; Alexander Schill
The IT-Socket: Model-Based Business and IT Alignment
Identifying and Supporting Collaborative Architectures / I. T. Hawryszkiewycz
An Examination of Talent Management Concepts in Knowledge Intensive Settings / Eoin Whelan ; David Collings
A 'Soft' Approach to TLM Requirements Capture to Support Through-Life Management / Huseyin Dogan ; Michael Henshaw ; Esmond Urwin
Author Index
Models in Knowledge Management / John Mylopoulos
Two Applications of Computer-Aided Theorem Discovery and Verification / Fangzhen Lin
Knowware: The Third Star after Hardware and Software / David Bell ; Ying Jiang ; Ruqian Lu ; Kaile Su ; Songmao Zhang
Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents / Jakub Gemrot ; Rudolf Kadlec ; Michal Bída ; Ondřej Burkert ; Radek Píbil ; Jan Havlíček ; Lukáš Zemčák ; Juraj Šimlovič ; Radim Vansa ; Michal Štolba ; Tomáš Plch ; Cyril Brom
Distributed Platform for Large-Scale Agent-Based Simulations / David Šišlák ; Přemysl Volf ; Michal Jakob ; Michal Pěchouček
Two Case Studies for Jazzyk BSM / Michael Köster ; Peter Novák ; David Mainzer ; Bernd Fuhrmann
A Teamwork Infrastructure for Computer Games with Real-Time Requirements / Ivan Medeiros Monteiro ; Luis Otavio Alvares
The MMOG Layer: MMOG Based on MAS / Gustavo Aranda ; Carlos Carrascosa ; Vicent Botti
Architecture for Affective Social Games / Derek J. Sollenberger ; Munindar P. Singh
Enhancing Embodied Conversational Agents with Social and Emotional Capabilities / Bart van Straalen ; Dirk Heylen ; Mariët Theune ; Anton Nijholt
Intelligent NPCs for Educational Role Play Game / Mei Yii Lim ; João Dias ; Ruth Aylett ; Ana Paiva
Design of a Decision Maker Agent for a Distributed Role Playing Game - Experience of the SimParc Project / Jean-Pierre Briot ; Alessandro Sordoni ; Eurico Vasconcelos ; Maria de Azevedo Irving ; Gustavo Melo ; Vinícius Sebba-Patto ; Isabelle Alvarez|p119
NonKin Village: An Embeddable Training Game Generator for Learning Cultural Terrain and Sustainable Counter-Insurgent Operations / Barry G. Silverman ; David Pietrocola ; Nathan Weyer ; Ransom Weaver ; Nouva Esomar ; Robert Might ; Deepthi Chandrasekaran
On Evaluating Agents for Serious Games / Emma Norling
A PDDL-Based Planning Architecture to Support Arcade Game Playing / Olivier Bartheye ; Éric Jacopin
Agent-Based Aircraft Control Strategies in a Simulated Environment / Daniel Castro Silva ; Ricardo Silva ; Luís Paulo Reis ; Eugénio Oliveira
Adaptive Serious Games Using Agent Organizations / Joost Westra ; Hado van Hasselt ; Frank Dignum ; Virginia Dignum
Intelligent Agent Modeling as Serious Game: Towards Integrating Microworlds, Tutoring and Evolution / D.W.F. van Krevelen
Author Index
Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents / Jakub Gemrot ; Rudolf Kadlec ; Michal Bída ; Ondřej Burkert ; Radek Píbil ; Jan Havlíček ; Lukáš Zemčák ; Juraj Šimlovič ; Radim Vansa ; Michal Štolba ; Tomáš Plch ; Cyril Brom
Distributed Platform for Large-Scale Agent-Based Simulations / David Šišlák ; Přemysl Volf ; Michal Jakob ; Michal Pěchouček
Two Case Studies for Jazzyk BSM / Michael Köster ; Peter Novák ; David Mainzer ; Bernd Fuhrmann
An Affective Agent Playing Tic-Tac-Toe as Part of a Healing Environment / Matthijs Pontier ; Ghazanfar Farooq Siddiqui
A Multi-agent Model for Emotion Contagion Spirals Integrated within a Supporting Ambient Agent Model / Tibor Bosse ; Rob Duell ; Zulfiqar A. Memon ; Jan Treur ; C. Natalie van der Wal
Statistical Utterance Selection Using Word Co-occurrence for a Dialogue Agent / Naoki Isomura ; Fujio Toriumi ; Kenichiro Ishii
On the Impact of Witness-Based Collusion in Agent Societies / Amirali Salehi-Abari ; Tony White
ONTOMO: Development of Ontology Building Service: Evaluation of Instance Recommendation Using Proper Noun Extraction / I.Shin ; Takahiro Kawamura ; Hiroyuki Nakagawa ; Ken Nakayama ; Yasuyuki Tahara ; Akihiko Ohsuga
Syncretic Argumentation by Means of Lattice Homomorphism / Taichi Hasegawa ; Safia Abbas ; Hajime Sawamura
Adaptive Adjustment of Starting Price for Agents in Continuous Double Auctions / Huiye Ma ; Harry Timmermans
SIM-MADARP: An Agent-Based Tool for Dial-a-Ride Simulation / Makarena Donoso ; Daniel Sandoval ; Claudio Cubillos
An Empirical Study of Agent Programs: A Dynamic Blocks World Case Study in GOAL / M. Birna van Riemsdijk ; Koen V. Hindriks
A Multiagent Model for Provider-Centered Trust in Composite Web Services / Julien Bourdon ; Laurent Vercouter
Memory Complexity of Automated Trust Negotiation Strategies / Indika H. Katugampala ; Hirofumi Yamaki ; Yukiko Yamaguchi
Layered Distributed Constraint Optimization Problem for Resource Allocation Problem in Distributed Sensor Networks / Kazuhiro Ota ; Toshihiro Matsui ; Hiroshi Matsuo
NegoExplorer: A Region-Based Recursive Approach to Bilateral Multi-attribute Negotiation / Miguel A. López-Carmona ; Ivan Marsa-Maestre ; Enrique de la Hoz ; Juan R. Velasco
Applying User Feedback and Query Learning Methods to Multiple Communities / Tsunenori Mine ; Hirotake Kobayashi
An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks / Muhammad Umair
Designing a Two-Sided Matching Protocol under Asymmetric Information / Masanori Hatanaka ; Shigeo Matsubara
Emotion Detection from Body Motion of Human Form Robot Based on Laban Movement Analysis / Megumi Masuda ; Shohei Kato ; Hidenori Itoh
HoneySpam 2.0: Profiling Web Spambot Behaviour / Pedram Hayati ; Kevin Chai ; Vidyasagar Potdar ; Alex Talevski
Multimedia Papers
A Modeling Tool for Service-Oriented Open Multiagent Systems / Emilia Garcia ; Estefania Argente ; Adriana Giret
Analysis, Comparison and Selection of MAS Software Engineering Processes and Tools / Vicente Botti
A Synchronous Model of Mental Rhythm Using Paralanguage for Communication Robots / Takanori Hayashi
Generating Association-Based Motion through Human-Robot Interaction / Satona Motomura
SmartContractor A Distributed Task Assignment System Based on the Simple Contract Net Protocol / Bipin Khanal ; Hideyuki Sugiura ; Takayuki Ito ; Masashi Iwasaki ; Katsuhide Fujita ; Masao Kobayashi
Participatory Simulation Environment gumonji/Q: A Network Game Empowered by Agents / Shohei Yamane ; Shoichi Sawada ; Hiromitsu Hattori ; Marika Odagaki ; Kengo Nakajima
Industrial Papers
A Multi-Agent-System Based Approach to Intelligent Process Automation Systems / Vu Van Tan ; Myeong-Jae Yi
Non-equity Joints among Small and Medium Enterprises and Innovation Management: An Empirical Analysis Based on Simulation / Marco Remondino ; Marco Pironti ; Roberto Schiesari
Wide-Area Traffic Simulation Based on Driving Behavior Model / Yuu Nakajima ; Yoshiyuki Nakai ; Hattori Hiromitsu
An Agent-Based Framework for Healthcare Support System / Hideyuki Takahashi ; Satoru Izumi ; Takuo Suganuma ; Tetsuo Kinoshita ; Norio Shiratori
Interpolation System of Traffic Condition by Estimation/Learning Agents / Tetsuo Morita ; Junji Yano ; Kouji Kagawa
Poster Papers
A Fuzzy Rule-Based System for Ontology Mapping / Susel Fernández
Where Are All the Agents? On the Gap between Theory and Practice of Agent-Based Referral Networks: An Inter-agent Communication Perspective / Nicola Dragoni
SADE: A Development Environment for Adaptive Multi-Agent Systems / Menggao Dong ; Xinjun Mao ; Junwen Yin ; Zhiming Chang ; Zhichang Qi
Recursive Adaptation of Stepsize Parameter for Non-stationary Environments / Itsuki Noda
Mechanism Design Simulation for Healthcare Reform in China / Guanqun Liang ; Huanye Sheng
Case Learning in CBR-Based Agent Systems for Ship Collision Avoidance / Yuhong Liu ; Chunsheng Yang ; Yubin Yang ; Fuhua Lin ; Xuanmin Du
An Adaptive Agent Model for Emotion Reading by Mirroring Body States and Hebbian Learning
Agent Evacuation Simulation Using a Hybrid Network and Free Space Models / Masaru Okaya ; Shigeru Yotsukura ; Kei Sato ; Tomoichi Takahashi
Designing Agent Behaviour in Agent-Based Simulation through Participatory Method / Patrick Taillandier ; Elodie Buard
Influence of Social Networks on Recovering Large Scale Distributed Systems / Wei Ren ; Jinmei Luo ; Liying Guo
Dynamic Evolution of Role Taxonomies through Multidimensional Clustering in Multiagent Organizations / Ramón Hermoso ; Holger Billhardt ; Sascha Ossowski
Adaptation and Validation of an Agent Model of Functional State and Performance for Individuals / Firemke Both ; Mark Hoogendoorn ; S. Waqar Jaffry ; Rianne van Lambalgen ; Rogier Oorburg ; Alexei Sharpanskykh ; Michael de Vos
A Cooperation Trading Method with Hybrid Traders / Satoshi Takahashi ; Tokuro Matsuo
GPGCloud: Model Sharing and Execution Environment Service for Simulation of International Politics and Economics / Yoshiki Kato ; Yuki Asai
Creating and Using Reputation-Based Agreements in Organisational Environments / Roberto Centeno ; Viviane Torres da Silva
Directory Service in the Language Grid for System Integration / Daisuke Yanagisawa ; Takuya Furuta
SBDO: A New Robust Approach to Dynamic Distributed Constraint Optimisation / Graham Billiau ; Aditya Ghose
Evacuation Planning Assist System with Network Model-Based Pedestrian Simulator / Tomohisa Yamashita ; Shunsuke Soeda
Author Index
Technical Papers
A Market-Based Multi-Issue Negotiation Model Considering multiple Preferences in Dynamic E-Marketplaces / Fenghui Ren ; Minjie Zhang ; Chunyan Miao ; Zhiqi Shen
Intelligent Environments: Methods, Algorithms and Applications / Dorothy N. Monekosso ; Paolo Remagnino ; Yoshinori Kuno1：
Intelligent Environments / 1.1：
What Is An Intelligent Environment? / 1.1.1：
How Is An Intelligent Environment Built? / 1.1.2：
Technology for Intelligent Environments / 1.2：
Research Projects / 1.3：
Private Spaces / 1.3.1：
Public Spaces / 1.3.2：
Middleware / 1.3.3：
Chapter Themes in This Collection / 1.4：
Conclusion / 1.5：
References
A Pervasive Sensor System for Evidence-Based Nursing Care Support / Toshio Hori ; Yoshifumi Nishida ; Shin'ichi Murakami2：
Introduction / 2.1：
Evidence-Based Nursing Care Support / 2.2：
Background of the Project / 2.2.1：
Concept of Evidence-Based Nursing Care Support / 2.2.2：
Initial Goal of the Project: Falls Prevention / 2.2.3：
Second Goal of the Project: Obtaining ADL of Inhabitants / 2.2.4：
Related Work / 2.3：
Overview and Implementations of the System / 2.4：
Overview of the Evidence-Based Nursing Care Support System / 2.4.1：
System Implementations / 2.4.2：
Experiments and Analyses / 2.5：
Tracking a Wheelchair for Falls Prevention / 2.5.1：
Activity Transition Diagram: Transition of Activities in One Day / 2.5.2：
Quantitative Evaluation of Daily Activities / 2.5.3：
Probability of "Toilet" Activity / 2.5.4：
Discussion of the Experimental Results / 2.5.5：
Prospect of the Evidence-Based Nursing Care Support System / 2.6：
Conclusions / 2.7：
Anomalous Behavior Detection: Supporting Independent Living / 3：
Related work / 3.1：
Methodology / 3.3：
Unsupervised Classification Techniques / 3.3.1：
Using HMM to Model Behavior / 3.3.2：
Experimental Setup and Data Collection / 3.4：
Noisy Data: Sources of Error / 3.4.1：
Learning activities / 3.4.2：
Experimental Results / 3.5：
Instance Class Annotation / 3.5.1：
Data Preprocessing / 3.5.2：
Models: Unsupervised Classification: Clustering and Allocation of Activities to Clusters / 3.5.3：
Behaviors: Discovering Patterns in Activities / 3.5.4：
Behaviors: Discovering Anomalous Patterns of Activity / 3.5.5：
Discussion / 3.6：
Sequential Pattern Mining for Cooking-Support Robot / Yasushi Nakauchi3.7：
System Design / 4.1：
Inference from Series of Human Actions / 4.2.1：
Time Sequence Data Mining / 4.2.2：
Human Behavior Inference Algorithm / 4.2.3：
Activity Support of Human / 4.2.4：
Implementation / 4.3：
IC Tag System / 4.3.1：
Inference of Human's Next Action / 4.3.2：
Cooking Support Interface / 4.3.3：
Robotic, Sensory and Problem-Solving Ingredients for the Future Home / Amedeo Cesta ; Luca Iocchi ; G. Riccardo Leone ; Daniele Nardi ; Federico Pecora ; Riccardo Rasconi4.4：
Components of the Multiagent System / 5.1：
The Robotic Platform Mobility Subsystem / 5.2：
The Interaction Manager / 5.3：
Environmental Sensors for People Tracking and Posture Recognition / 5.4：
Monitoring Activities of Daily Living / 5.5：
Schedule Representation and Execution Monitoring / 5.5.1：
Constraint Management in the RoboCare Context / 5.5.2：
From Constraint Violations to Verbal Interaction / 5.5.3：
Multiagent Coordination Infrastructure / 5.6：
Casting the MAC Problem to DCOP / 5.6.1：
Cooperatively Solving the MAC Problem / 5.6.2：
Ubiquitous Stereo Vision for Human Sensing / Ikushi Yoda ; Katsuhiko Sakae5.7：
Ubiquitous Stereo Vision / 6.1：
Concept of Ubiquitous Stereo Vision / 6.2.1：
Server-Client Model for USV / 6.2.2：
Real Utilization Cases / 6.2.3：
Hierarchical Utilization of 3D Data and Personal Recognition / 6.3：
Acquisition of 3D Range Information / 6.3.1：
Projection to Floor Plane / 6.3.2：
Recognition of Multiple Persons and Interface / 6.4：
Pose Recognition for Multiple People / 6.4.1：
Personal Identification / 6.4.2：
Interface for Space Control / 6.4.3：
Human Monitoring in Open Space (Safety Management Application) / 6.5：
Monitoring Railroad Crossing / 6.5.1：
Station Platform Edge Safety Management / 6.5.2：
Monitoring Huge Space / 6.5.3：
Conclusion and Future Work / 6.6：
Augmenting Professional Training, an Ambient Intelligence Approach / B. Zhan ; D.N. Monekosso ; S. Rush ; P. Remagnino ; S.A. Velastin7：
Color Tracking of People / 7.1：
Counting People by Spatial Relationship Analysis / 7.3：
Simple People Counting Algorithm / 7.3.1：
Graphs of Blobs / 7.3.2：
Estimation of Distance Between Blobs / 7.3.3：
Temporal Pyramid for Distance Estimation / 7.3.4：
Probabilistic Estimation of Groupings / 7.3.5：
Grouping Blobs / 7.3.6：
Stereo Omnidirectional System (SOS) and Its Applications / Yutaka Satoh ; Katsuhiko Sakaue7.4：
System Configuration / 8.1：
Image integration / 8.3：
Generation of Stable Images at Arbitrary Rotation / 8.4：
An example Application: Intelligent Electric Wheelchair / 8.5：
Overview / 8.5.1：
Obstacle Detection / 8.5.2：
Gesture / Posture Detection / 8.5.4：
Video Analysis for Ambient Intelligence in Urban Environments / Andrea Prati ; Rita Cucchiara8.6：
Visual Data for Urban AmI / 9.1：
Video Surveillance in Urban Environment / 9.2.1：
The LAICA Project / 9.2.2：
Automatic Video Processing for People Tracking / 9.3：
People Detection and Tracking from Single Static Camera / 9.3.1：
People Detection and Tracking from Distributed Cameras / 9.3.2：
People Detection and Tracking from Moving Cameras / 9.3.3：
Privacy and Ethical Issues / 9.4：
From Monomodal to Multimodal: Affect Recognition Using Visual Modalities / Hatice Gunes ; Massimo Piccardi10：
Organization of the Chapter / 10.1：
From Monomodal to Multimodal: Changes and Challenges / 10.3：
Background Research / 10.3.1：
Data Collection / 10.3.2：
Data Annotation / 10.3.3：
Synchrony/Asynchrony Between Modalities / 10.3.4：
Data Integration/Fusion / 10.3.5：
Information Complementarity/Redundancy / 10.3.6：
Information Content of Modalities / 10.3.7：
Monomodal Systems Recognizing Affective Face or Body Movement / 10.4：
Multimodal Systems Recognizing Affect from Face and Body Movement / 10.5：
Project 1: Multimodal Affect Analysis for Future Cars / 10.5.1：
Project 2: Emotion Analysis in Man-Machine Interaction Systems / 10.5.2：
Project 3: Multimodal Affect Recognition in Learning Environments / 10.5.3：
Project 4: FABO-Fusing Face and Body Gestures for Bimodal Emotion Recognition / 10.5.4：
Multimodal Affect Systems: The Future / 10.6：
Importance of Vision in Human-Robot Communication: Understanding Speech Using Robot Vision and Demonstrating Proper Actions to Human Vision / Michie Kawashima ; Keiichi Yamazaki ; Akiko Yamazaki11：
Understanding Simplified Utterances Using Robot Vision / 11.1：
Inexplicit Utterances / 11.2.1：
Information Obtained by Vision / 11.2.2：
Language Processing / 11.2.3：
Vision Processing / 11.2.4：
Synchronization Between Speech and Vision / 11.2.5：
Experiments / 11.2.6：
Communicative Head Gestures for Museum Guide Robots / 11.3：
Observations from Guide-Visitor Interaction / 11.3.1：
Prototype Museum Guide Robot / 11.3.2：
Experiments at a Museum / 11.3.3：
Index / 11.4：
Preface
List of Contributors
Intelligent Environments: Methods, Algorithms and Applications / Dorothy N. Monekosso ; Paolo Remagnino ; Yoshinori Kuno1：
Mobile Robots for Polar Remote Sensing / Christopher M. Gifford ; Eric L. Akers ; Richard S. Stansbury ; Arvin Agah1：
Introduction / 1.1：
Polar Mobile Robots / 1.2：
Challenges and Survivability Issues for Polar Robotics / 1.2.1：
MARVIN I / 1.2.2：
MARVIN II / 1.2.3：
Software Architecture / 1.2.4：
North Greenland Ice Core Project (GRIP) Camp Operations / 1.2.5：
Summit Camp Operations / 1.2.6：
West Antarctic Ice Sheet (WAIS) Divide Camp Operations / 1.2.7：
Robotics-Based Approaches to Seismic Surveying / 1.3：
Related Work / 1.3.1：
Robotics-Based Approaches / 1.3.2：
Conclusion / 1.4：
Guidance and Control of Formation Flying Spacecraft / F. Y. Hadaegh ; G. Singh ; B. Acikmese ; D. P. Scharf ; M. Mandic2：
Modeling and Simulation / 2.1：
Guidance and Control Architectures / 2.3：
Formation State Estimation / 2.4：
Guidance and Control / 2.5：
Formulation of Optimal Path Planning Problem / 2.5.1：
Conclusions / 2.6：
Acknowledgement / 2.7：
Adaptive Sampling for Field Reconstruction With Multiple Mobile Robots / Bin Zhang ; Gaurav S. Sukhatme3：
Adaptive Sampling / 3.1：
Divide and Conquer / 3.4：
Discretization / 3.4.1：
Graph Partition / 3.4.2：
Path Planning for a Single Robot / 3.4.3：
Simulations / 3.5：
Conclusion and Future Work / 3.6：
Grasping Affordances: Learning to Connect Vision to Hand Action / Charles de Granville ; Di Wang ; Joshua Southerland ; Robert Platt, Jr. ; Andrew H. Fagg4：
Learning Models of 3D Object Appearance / 4.1：
Edgel Constellations for Describing 2D Object Appearance / 4.2.1：
Capturing Object Appearance in 3D / 4.2.2：
Learning Complete 3D Appearance Models / 4.2.3：
Data Collection and Preprocessing / 4.2.4：
Experimental Results / 4.2.5：
Learning Canonical Grasps for Objects / 4.3：
Modeling Hand Orientation / 4.3.1：
Modeling Hand Position / 4.3.2：
Modeling Finger Posture / 4.3.3：
Modeling Mixtures of Hand Postures / 4.3.4：
Data Collection / 4.3.5：
Discussion / 4.3.6：
Intelligent Robotics for Assistive Healtheare and Therapy / Ayanna M. Howard ; Sekou Remy ; Chung Hyuk Park ; Hae Won Park ; Douglas Brooks5：
Activities of Daily Living: Robot Learning from Human Teleoperation / 5.1：
Divided Force Guidance for Haptic Feedback / 5.2.1：
Learning through Haptically Guided Manipulation / 5.2.2：
Experiments / 5.2.3：
Child Therapy and Education: Robots in Interactive Play Scenarios / 5.3：
Defining Play Primitives / 5.3.1：
Physical Therapy: Robot Assistance via Patient Observation / 5.3.2：
Learning of Exercise Primitives / 5.4.1：
Learning of Exercise Behaviors / 5.4.2：
A New Direction in Human-Robot Interaction: A Lesson from Star Wars? / Gerard Jounghyun Kim5.4.3：
Indirect Human-Robot Interaction / 6.1：
Robot location/pose tracking / 6.2.1：
User/environment sensing / 6.2.2：
Flexible projection / 6.2.3：
Large display surface centered interaction design / 6.2.4：
Summary and Postscript / 6.3：
Neurorobotics Primer / M. Anthony Lewis ; Theresa J. Klein7：
Neurorobots and the Scientific Method / 7.1：
21st Century Robotics: Productizing Mythology / 7.1.2：
Computational Substrate / 7.1.3：
Neuromorphic Chips / 7.1.4：
Graphics Processing Units / 7.1.5：
Purpose of this Chapter / 7.1.6：
Classical Robotics / 7.2：
Configuration Space / 7.2.1：
Kinematics / 7.2.2：
Differential Motion / 7.2.3：
Statics / 7.2.4：
Redundancy / 7.2.5：
Dynamics / 7.2.6：
Trajectory Generation / 7.2.7：
A Pause to Reflect / 7.2.8：
Basic Neurocomputation / 7.3：
Information Flows into Dendrites and Out of Axons / 7.3.1：
The Neuron Cell is a Capacitor with a Decision Making Capability / 7.3.2：
Neural Models Capture the Basic Dynamics of the Cell Body and Throw Away Some Details / 7.3.3：
Numerical Integration / 7.3.4：
Reflexes and High Level Control / 7.3.5 Building Neural Oscillators: Nature's Coordination and Trajectory Generation Mechanism：
Notable Systems / 7.4：
GPUs / 7.5：
Learning Inverse Dynamics by Gaussian Process Regression under the Multi-Task Learning Framework / Dit-Yan Yeung ; Yu Zhang7.6：
Appreciation and Dedication / 8.1：
Kinematics and Dynamics / 8.2 Robotic Control：
Reasons Against Analytic Solutions / 8.2.2：
Insights from Human Arm Control / 8.2.3：
Learning and Control / 8.2.4：
Learning Inverse Dynamics / 8.3：
Recent Work / 8.3.1：
Learning Inverse Dynamics as a Regression Problem / 8.3.2：
Gaussian Process Regression / 8.4：
Brief Review / 8.4.1：
Gaussian Process Regression for Learning Inverse Dynamics / 8.4.2：
Multi-Task Gaussian Process Regression / 8.5：
Brief Review of Bonilla et al.'s Method (33) / 8.5.1：
Multi-Task Gaussian Process Regression for Learning Inverse Dynamics / 8.5.2：
Tributes and Recollections from Former Students / 8.6：
Professor George Albert Bekey / 9：
Personal Life / 9.1：
Research / 9.2：
Teaching and Students / 9.3：
Service to the University and the Profession / 9.4：
Recognition, Honors, and Awards / 9.5：
A Personal Tribute / 9.6：
Current History of the Bekey Tribe / H. Pete Schmid ; Monte Ung10：
Recollections and Tributes / Dan Antonelli ; Arun Bhadoria ; Willis G. Downing, Jr. ; Huan Liu ; Michael Merritt ; L. Warren Morrison11：
From Aerospace Engineering to Biomedical Engineering / 11.1：
The Final Oral Examination / 11.2：
Recent Work on Preventing Fractures caused by a Fall / 11.3：
Teacher, Mentor, and Friend / 11.4：
A Testimonial / 11.5：
Making it Look Easy / 11.6：
Solving Complex Problems Efficiently / 11.7：
References
Index
Recent Research in Autonomous Robots / Part I：
Mobile Robots for Polar Remote Sensing / Christopher M. Gifford ; Eric L. Akers ; Richard S. Stansbury ; Arvin Agah1：
Agents as a Decision Support Tool in Environmental Processes: The State of the Art / Montse Aulinas ; Claudia Turon ; Miquel Sanchez-Marre
Deliberation about the Safety of Industrial Wastewater Discharges into Wastewater Treatment Plants / Pancho Tolchinsky
Designing an Information System for the Preservation of the Insular Tropical Environment of Reunion Island: Integration of Databases, Knowledge Bases and Multi-Agent Systems by using Web Services / Noel Conruyt ; Didier Sebastien ; Remy Courdier ; Daniel David ; Nicolas Sebastien ; Tiana Ralambondrainy
OSM: A Multi-Agent System for Modeling and Monitoring the Evolution of Oil Slicks in Open Oceans / Juan Manuel Corchado ; Aitor Mata ; Sara Rodriguez
A Methodology for Developing Environmental Information Systems with Software Agents / Ioannis N. Athanasiadis ; Pericles A. Mitkas
Cognitive Agents as a Design Metaphor in Environmental-Knowledge Management / Luigi Ceccaroni ; Alfredo Simon-Cuevas ; Alejandro Rosete-Suarez ; Mailyn Moreno-Espino
Preamble / Ulises Cortes ; Manel Poch
Agents as a Decision Support Tool in Environmental Processes: The State of the Art / Montse Aulinas ; Claudia Turon ; Miquel Sanchez-Marre
Deliberation about the Safety of Industrial Wastewater Discharges into Wastewater Treatment Plants / Pancho Tolchinsky
3D CMOL Crossnet for Neuromorphic Network Applications / Kevin Ryan ; Sansiri Tanachutiwat ; Wei Wang
Structural Fault Modelling in Nano Devices / Manoj S. Gaur ; Raghavendra Narasimhan ; Vijay Laxmi ; Ujjwal Kumar
Proposal for Memristors in Signal Processing / B. Mouttet
Normal and Reverse Temperature Dependence in Variation-Tolerant Naenoscale Systems with High-k Dielectrics and Metal Gates / David Wolpert ; Paul Ampadu
NEMS Capacitive Sensors for Highly Sensitive, Label-Free Nucleic-Acid Analysis / Manu Sebastian Mannoor ; Teena James ; Dentcho V. Ivanov ; Les Beadling ; William Braunlin
Impact of Process Variation in Fault-Resilient Streaming Nanoprocessors / Michael Leuchtenburg ; British Narayanan ; Teng Wang ; Csaba Andras Moritz
Hybrid DNA and Enzyme Based Computing for Address Encoding, Link Switching and Error Correction in Molecular Communication / Frank Walsh ; Sasitharan Balasubramaniam ; Dmitri Botvich ; Tatsuya Suda ; Tadashi Nakano ; Stephen F. Bush ; MÃcheál Ó Foghlú
Hitting Time Analysis for Stochastic Communication / Paul Bogdan ; Radu Marculescu
FPAA Based on Integration of CMOS and Nanojunction Devices for Neuromorphic Applications / Ming Liu ; Hua Yu
Digital Microfluidic Logic Gates / Yang Zhao ; Tao Xu ; Krishnendu Chakrabarty
Application of Molecular Electronics Devices in Digital Circuit Design / Ci Lei ; Dinesh Pamunuwa ; Steven Bailey ; Colin Lambert
A Voltage Controlled Nano Addressing Circuit / Bao Liu
A SWNT-Based Sensor for Detecting Human Blood Alcohol Concentration / H. Leng ; Y. Lin
A Dual-Mode Hybrid ARQ Scheme for Energy Efficient On-Chip Interconnects / Bo Fu
Using Randomly Assembled Networks for Computation / Audrey Zykov ; Gustavo de Veciana
Invited Papers
A Biochemically-Engineered Molecular Communication System (Invited Paper) / Satoshi Hiyama ; Yuki Moritani
Random Walks on Random Graphs / Colin Cooper ; Alan Frieze
Optical Networking in a Swarm of Microrobots / Paolo Corradi ; Thomas Schmickl ; Oliver Scholz ; Arianna Menciassi ; Paolo Dario
Counting Photons Using a Nanonetwork of Superconducting Wires / Andrea Fiore ; Francesco Marsili ; David Bitauld ; Alessandro Gaggero ; Roberto Leoni ; Francesco Mattioli ; Aleksander Divochiy ; Alexander Korneev ; Vitaliy Seleznev ; Nataliya Kaurova ; Olga Minaeva ; Gregory Gol'tsman
Communicating Mobile Nano-Machines and Their Computational Power / Jirà Wiedermann ; Lukds Petru
Author Index
Full Papers
3D CMOL Crossnet for Neuromorphic Network Applications / Kevin Ryan ; Sansiri Tanachutiwat ; Wei Wang
Structural Fault Modelling in Nano Devices / Manoj S. Gaur ; Raghavendra Narasimhan ; Vijay Laxmi ; Ujjwal Kumar
Synergies of AI methods for Robotic Planning & Grabbing, Facial Expressions Recognition and Blind's Navigation / Nikolaos Bourbakis
Neural Networks for Modal and Virtual Learning / Dominic Palmer-Brown
Knowledge Engineering and Decision Support Systems
Full papers
A Hybrid Technology for Operational Decision Support in Pervasive Environments / Alexander Smirnov ; Tatiana Levashova ; Nikolay Shilov ; Alexey Kashevnik
An Expert System Based on Parametric Net to Support Motor Pump Multi-Failure Diagnostic / Flavia Bernardini ; Ana Garcia ; Inhauma Ferraz
Providing Assistance during Decision-making Problems Solving in an Educational Modelling Environment / Panagiotis Politis ; Ioannis Partsakoulakis ; George Vouros ; Christos Fidas
Alternative Strategies for Conflict Resolution in Multi-Context Systems / Antonis Bikakis ; Grigoris Antoniou ; Panayiotis Hassapis
A Fuzzy Knowledge-based Decision Support System for Tender Call Call Evaluation / Panos Alexopoulos ; Manolis Wallace ; Konstantinos Kafentzis ; Aristodimos Thomopoulos
Extended CNP Framework for the Dynamic Pickup and Delivery Problem solving / Zoulel Kouki ; Besma Fayech chaar ; Mekki Ksouri
A Logic-based Approach to Solve the Steiner Tree Problem / Mohamed EL Bachir Menai
An Argumentation Agent Models Evaluative Criteria / John Debenham
ASIC Design Project Management Supported by Multi Agent Simulation / Jana Blaschke ; Christian Sebeke ; Wolfgang Rosenstiel
Ontologies and Knowledge Representation
Full Papers
On the Combination of Textual and Semantic Descriptions for Automated Semantic Web Service Classification / Ioannis Katakis ; Georgios Meditskos ; Grigorios Tsoumakas ; Nick Bassiliades ; Ioannis Vlahavas
Revealing Paths of Relevant Information in Web Graphs / George Kouzas ; Vassileios Kolias ; Ioannis Anagnostopoulos ; Eleftherios Kayafas
Preferential Infinitesimals for Information Retrieval / Maria Chowdhury ; Alex Thomo ; William Wadge
Onto Life: an Ontology for Semantically Managing Personal Information / Eleni Kargioti ; Efstratios Kontopoulos
Air_Pollution_Onto: an Ontology for Air Pollution Analysis and Control / Mihaela Opera
Experimental Evaluation of Multi-Agent Ontology Mapping Framework / Miklos Nagy ; Maria Vargas-Vera
Visualizing RDF Documents / Aris Athanassiades
A Knowledge Based System for Translating FOL Formulas into NL Sentences / Aikaterini Mpagouli ; Ioannis Hatzilygeroudis
AI in Medical Informatics & Biomedical Engineering
Background Extraction in Electron Miscroscope Images of Artificial Membranes / Argyro Karathanou ; Jean-Luc Buessler ; Hubert Kihl ; Jean-Philippe Urban
Confidence Predications for the Diagnosis of Acute Abdominal Pain / Harris Papadopoulos ; Alex Gammerman ; Volodya Vovk
Enhanced Human Body Fall Detection utilizing Advanced Classification of Video and Motion Perceptual Components / Charalampos Doukas ; Ilias Maglogiannis ; Nikos Katsarakis ; Aristodimos Pneumatikakis
An Evolutionary Technique for Medical Diagnostic Risk Factors Selection / Dimitrios Mantzaris ; George Anastassopoulos ; Lazaros Iliadis ; Adam Adamopoulos
Mining Patterns of Lung Infections in Chest Radiographs / Spyros Tsevas ; Dimitris Iakovidis ; George Papamichalis
Computational Modeling of Visual Selective Attention Based on Correlation and Synchronization of Neural Activity / Kleanthis Neokleous ; Christos Schizas
Medical_Mas: an Agent-Based System for Medical Diagnosis / Mihaela Oprea
Heterogeneous Data Fusion to Type Brain Tumor Biopsies / Vangelies Metsis ; Heng Huang ; Fillia Makedon ; Aria Tzika
Automatic Knowledge Discovery and Case Management: an Effective Way to Use Data bases to Enhance Health Care Management / Luciana Kobus ; Joao Dias ; Sandra Honorato
Signal and Image Processing for Knowledge Extraction
Combining Gaussian Mixture Models and Support Vector Machines for Relevance Feedback in Content Based Image Retrieval / Apostolos Marakakis ; Nikolaos Galatsanos ; Aristidis Likas ; Andreas Stafylopatis
Performance Evaluation of a Speech Interface for Motorcycle Environment / Iosif Mporas ; Todor Ganchev ; Otilia Kocsis ; Nikos Fakotakis
Model Identification in Wavelet Neural Networks Framework / Achilleas Zapranis ; Antonis Alexandridis
Two Levels Similarity Modelling: a novel Content Based Image Clustering Concept / Amar Djouak ; Hichem Maaref
Locating an Acoustic Source Using a Mutual Information Beamformer / Osama Alrabadi ; Fotios Talantzis ; Anthony Constantinides
Intelligent Modification of Colours in Digitized Paintings for Enhancing the Visual Perception of Color-blind Viewers / Paul Doliotis ; George Tsekouras ; Christos-Nikolaos Anagnostopoulos ; Vassilis Athitsos
Artificial Intelligence Applications
An Intelligent Fuzzy Inference System for Risk Estimation Using Matlab Platform: the Case of Forest Fires in Greece / Theocharis Tsataltzinos ; Spartalis Stefanos
MSRS - Critique on its Unability via a Path Planning Algorithm Implementation / George Markou ; Ioannis Refanidis
Jong-Hwan; Ge, Shuzhi Sam; Vadakkepat, Prahlad Kim, Abdullah Al Mamun, Shuzhi Sam Ge, Norbert Jesse, Jong-Hwan Kim, Sadasivan Puthusserypady, Prahlad Vadakkepat
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
Time-Varying Affective Response for Humanoid Robots / Lilia Moshkina ; Ronald C. Arkin ; Jamee K. Lee ; HyunRyong Jung
The Co-simulation of Humanoid Robot Based on Solidworks, ADAMS and Simulink / Dalei Song ; Lidan Zheng ; Li Wang ; Weiwei Qi ; Yanli Li
From RoboNova to HUBO: Platforms for Robot Dance / David Grunberg ; Robert Ellenberg ; Youngmoo E. Kim ; Paul Y. Oh
Bunny Bot: Humanoid Platform for Research and Teaching / Joerg Wolf ; Alexandre Vicente ; Peter Gibbons ; Nicholas Gardiner ; Julian Tilbury ; Guido Bugmann ; Phil Culverhouse
Teen Sized Humanoid Robot: Archie / Jacky Baltes ; Ahmad Byagowi ; John Anderson ; Peter Kopacek
Interdisciplinary Construction and Implementation of a Human Sized Humanoid Robot by Master Students / Jan Helbo ; Mads Sølver Svendsen
Human Robot Interaction
Safety Aspects in a Human-Robot Interaction Scenario: A Human Worker Is Co-operating with an Industrial Robot / Michael Zaeh ; Wolfgang Roesel
Integration of a RFID System in a Social Robot / A. Corrales ; M.A. Salichs
Devious Chatbots-Interactive Malware with a Plot / Pan Juin Yang Jonathan ; Chun Che Fung ; Kok Wai Wong
Towards Better Human Robot Interaction: Understand Human Computer Interaction in Social Gaming Using a Video-Enhanced-Diary Method / Stuee Lan See ; Mitchell Tan ; Qin En Looi
Promotion of Efficient Cooperation by Shaving Environment with an Agent Having a Body in Real World / Hisashi Naito ; Yugo Takeuchi
Interaction Design for a Pet-Like Remote Control / Kazuki Kobayashi ; Yutaro Nakagawa ; Seiji Yamada ; Shinohi Nakagawa ; Yasunori Saito
Experiences with a Barista Robot, PusionBot / Dilip Kumar Limbu ; Yeow Kee Tan ; Ghern Yuen Wong ; Ridong Jiang ; Hengxin Wu ; Liyuan Li ; Eng Hoe Kah ; Xinguo Yu ; Dong Li ; Haizhou Li
How Humans Optimize Their Interaction with the Environment: The Impact of Action Context on Human Perception / Agnieszka Wykouiska ; Alexis Maldonado ; Anna Schubö
Development of a Virtual Presence Sharing System Using a Telework Chair / Yutoka Ishii ; Tomio Watanabe
PLEXIL-DL: Language and Runtime for Context-Aware Robot Behaviour / Herwig Moser ; Toni Reichelt ; Norbert Oswald ; Stefan Förster
Ambient Intelligence in a Smart Home for Energy Efficiency and Eldercare / Liyanage C. De Silva ; M. Iskandar Petra ; G. Amal Punchihewa
Education and Entertainment
Intelligent Technologies for Edutainment Using Multiple Robots / Naoyuki Kubota ; Yuki Wagatsuma ; Shinya Ozawa
Remote Education Based on Robot Edutainment / Akihiro Yorita ; Takuya Hashimoto ; Hiroshi Kobayashi
Not Just "Teaching Robotics" but "Teaching through Robotics" / Andrew W. Eliasz
A Proposal of Autonomous Robotic Systems Educative Environment / Jorge Ierache ; Ramón Garcia-Martinez ; Armando De Giusti
Mechatronics Education: From Paper Design to Product Prototype Using LEGO NXT Parts / Daniel M. Lofaro ; Tony Truong Giang Le ; Paul Oh
Fostering Development of Students' Collective and Self-efficacy in Robotics Projects / David Ahlgren ; Igor Verner
From an Idea to a Working Robot Prototype: Distributing Knowledge of Robotics through Science Museum Workshops / Alexander Polishuk ; Igor Vemer ; Ronen Mir
Teaching Electronics through Constructing Sensors and Operating Robots / Hanoch Taub
Learning from Analogies between Robotic World and Natural Phenomena / Igor M. Verner ; Dan Cuperman
Integrating Robot Design Competitions into the Curriculum and K-12 Outreach Activities / Robert Avanzato
Teamwork and Robot Competitions in the Undergraduate Program at the Copenhagen University College of Engineering / Anna Friesel
Cooperative Robotics
Multiagents System with Dynamic Box Change for MiroSot / Mikulas Hajduk ; Marek Sukop
Multi Block Localization of Multiple Robots / TaeKyung Yang ; JaeHyun Park ; JangMyung Lee
Soty-Segment: Robust Color Patch Design to Lighting Condition Variation / Seung-Hwan Choi ; Seungbeom Han ; Jong-Hwan Kim
Task-Based Flocking Algorithm for Mobile Robot Cooperation / Hongsheng He ; Shuzhi Sam Ge ; Guofeng Tong
Analysis of Spatially Limited Local Communication for Multi-Robot Foraging / Stephan Krannich ; Erik Maehle
AMiRESot-A New Robot Soccer League with Autonomous Miniature Robots / Ulf Witkowski ; Joaquin Sitte ; Stefan Herbrechtsmeier ; Ulrich Rückert
Robotic System Design
BeBot: A Modular Mobile Miniature Robot Platform Supporting Hardware Reconfiguration and Multi-standard Communication
System Design for Semi-automatic AndroSot / Yong Zhu ; Zhimin Ren ; Yin Xu ; Linquan Yang ; Zhongwen Luo ; Weixian Lu
Learning, Optimization, Communication
Extended TA Algorithm for adapting a Situation Ontology / Oliver Zweigle ; Kai Häussermann ; Uwe-Philipp Käppeler ; Paul Levi
An Integer-Coded Chaotic Particle Swarm Optimization for Traveling Salesman Problem / Chen Yue ; Zhang Yan-duo ; Lu Jing ; Tian Hui
USAR Robot Communication Using ZigBee Technology / harles Tsui ; Dale Carnegie ; Qing Wei Pan
Author Index
Humanoid Robotics
Time-Varying Affective Response for Humanoid Robots / Lilia Moshkina ; Ronald C. Arkin ; Jamee K. Lee ; HyunRyong Jung
The Co-simulation of Humanoid Robot Based on Solidworks, ADAMS and Simulink / Dalei Song ; Lidan Zheng ; Li Wang ; Weiwei Qi ; Yanli Li
Omnidirectional Motion Control for the Humanoid Soccer Robot / Zhechao Gao ; Jia Wu ; Hongwu Chen ; Bowen Pan ; Hao Zheng ; Dingwen Liang ; Xiaoming Liu
Routing Algorithm Based on Gnutella Model / Feng Ye ; Fengmei Zuo ; Sifa Zhang
Sliding-Window Recursive PLS Based Soft Sensing Model and Its Application to the Quality Control of Rubber Mixing Process / Kejuan Chen ; Min He ; Dongzhi Zhang
The Research of Method Based on Complex Multi-task Parallel Scheduling Problem / Xiang Li ; Peng Chen ; Li Zhu
Towards a Bio-inspired Security Framework for Mission-Critical Wireless Sensor Networks / Wei Ren ; Jun Song ; Zhao Ma ; Shiyong Huang
Evolutionary Algorithms / Section II：
A Cluster-Based Orthogonal Multi-Objective Genetic Algorithm / Jiankai Zhu ; Guangming Dai ; Li Mo
An Analysis of Semantic Aware Crossover / Nguyen Quang Uy ; Nguyen Xuan Hoai ; Michael O'Neill ; Bob McKay ; Edgar Galvdán-López
An Artificial Immune Univariate Marginal Distribution Algorithm / Qingbin Zhang ; Shuo Kang ; Junxiang Gao ; Song Wu ; Yanping Tian
An Multi-objective Evolutionary Algorithm with Lower-Dimensional Crossover and Dense Control / Dongdong Zhao ; Sanyou Zeng ; Huanhuan Li
Improved Evolutionary Programming and Its Application in Navigation System / Jianjuan Liu
Multi-objective Emergency Facility Location Problem Based on Genetic Algorithm / Dan Zhao ; Yunsheng Zhao ; Zhenhua Li ; Jin Chen
Trigonometric Curve Fitting Based on Genetic Algorithm and the Application of Data Processing in Geography / Baolei Gu
Evolutionary Design / Section III：
A Novel Crossover Operator in Evolutionary Algorithm for Logic Circuit Design / Guo-liang He ; Yuan-xiang Li ; Zhongzhi Shi
Indirect Dynamic Recurrent Fuzzy Neural Network and Its Application in Identification and Control of Electro-Hydraulic Servo System / Yuan-feng Huang ; You-wang Zhang ; Peng Min
Logistics Distribution Center Location Evaluation Based on Genetic Algorithm and Fuzzy Neural Network / Yuxiang Shao ; Qing Chen ; Zhenhua Wei
Mean-VaR Models and Algorithms for Fuzzy Portfolio Selection / Wen Dong ; Jin Peng
MOEA-Based Fuzzy Control for Seismically Excited Structures / Xiang-liang Ning ; Ping Tan ; Fu-lin Zhou
Hybrid Methods / Section VII：
A Hybrid E-Institution Model for VOs / Youming Zhou ; Ji Gao
An Optimal Class Association Rule Algorithm / Turiho Jean Claude ; Sheng Yang ; Chuang Li ; Kaia Xie
Multiple Sequence Alignment Based on Chaotic PSO / Xiu-juan Lei ; Jing-jing Sun ; Qian-zhi Ma
Model Checking Algorithm Based on Ant Colony Swarm Intelligence / Xiangning Wu ; Chengyu Hu ; Yuan Wang
QPSO-MD: A Quantum Behaved Particle Swarm Optimization for Consensus Pattern Identification / Souham Meshoul ; Tasneem Al-Owaisheq
Neural Network Architectures / Section VIII：
Prediction of Hydrocarbon Reservoir Parameter Using a GA-RBF Neural Network / Jing Chen
Qualitative Simulation of Teachers Group Behaviors Based on BP Neural Network / Tianyin Liu ; Bin Hu
Stabilization of Switched Dynamic Neural Networks with Discrete Delays / Shiping Wen ; Zhigang Zeng
ANN Designing Based on Co-evolutionary Genetic Algorithm with Degeneration / Xianshan Zhou ; Bing Luo ; Bing Fa
Research on ACA-BP Neural Network Model / Zhifeng Liu
Predictive Modeling for Classification / Section IX：
A Text-Independent Speaker Verification System Based on Cross Entropy / Xiaochun Lu ; Junxun Yin
An Improved Algorithm of Apriori / Binhua Liao
An Incremental Clustering with Attribute Unbalance Considered for Categorical Data / Jize Chen ; Zhimin Yang ; Jian Yin ; Xiaobo Yang ; Li Huang
Decision Tree Classifier for Classification of Plant and Animal Micro RNA's / Bhasker Pant ; Kumud Pant ; K.R. Pardasani
Embedded Classification Learning for Feature Selection Based on K-Gravity Clustering / Weizhao Guo
Evaluation Measures of the Classification Performance of Imbalanced Data Sets / Qiong Gu ; Zhihua Cai
Hybrid Classification of Pulmonary Nodules / S.L.A. Lee ; B.J. Hu
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Max A. Bramer, Frans Coenen, Miltos Petridis, British Computer Society.
ＥＢ
