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
ＥＢ
