Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7：
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1：
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5：
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6：
Modal Logics / Session 7：
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8：
Description Logics / Session 9：
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10：
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11：
Equational Theories / Session 12：
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13：
Theorem Proving 1 / Session 14：
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15：
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16：
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17：
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18：
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1：
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I：
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II：
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III：
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV：
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V：
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I：
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Regular Papers
Actions with Failures in Interval Temporal Logic / Arjen Hommersom ; Peter Lucas
A Logic for Reasoning about Rational Agents / Wojciech Jamroga ; Nils Bulling
Formal Modelling of Emotions in BDI Agents / David Pereira ; Eugenio Oliveira ; Nelma Moreira
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations / Jan Broersen ; Julien Brunel
Proof Theory for Distributed Knowledge / Raul Hakli ; Sara Negri
EVOLP: Transformation-Based Semantics / Martin Slota ; Joao Leite
Language Constructs for Multi-agent Programming / Louise Dennis ; Michael Fisher ; Anthony Hepple
[beta]-Tropos: Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification / Volha Bryl ; Paola Mello ; Marco Montali ; Paolo Torroni ; Nicola Zannone
A Heuristic Approach to P2P Negotiation / Stefania Costantini ; Arianna Tocchio ; Panagiota Tsintza
Towards Context Sensitive Defeasible Rules / Armin Hezart ; Abhaya Nayak ; Mehmet Orgun
Fuzzy Argumentation for Trust / Ruben Stranders ; Mathijs de Weerdt
Assumption-Based Argumentation for Selection and Composition of Services / Francesca Toni
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems / Francesco Belardinelli ; Alessio Lomuscio
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs / Rajeev Gore ; Linh Anh Nguyen
System Description Paper
EVOLP: An Implementation
Author Index
Invited Paper
Plan-Coordination Mechanisms and the Price of Autonomy / J. Renze Steenhuisen ; Cees Witteveen ; Yingqian Zhang
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Web, Graphs and Semantics / Olivier Corby
Transdisciplinarity and Generalistic Sciences and Humanities / Rudolf Wille
Jacob Lorhard's Ontology: A 17th Century hypertext on the Reality and Temporality of the World of Intelligibles / Peter Ohrstrom ; Henrik Scharfe ; Sara L. Uckelman
Revelator's Complex Adaptive Reasoning Methodology for Resource Infrastructure Evolution / Mary Keeler
Conceptual Spider Diagrams / Frithjof Dau ; Andrew Fish
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation / Michel Leclere ; Marie-Laure Mugnier
Flexible Querying of Fuzzy RDF Annotations Using Fuzzy Conceptual Graphs / Patrice Buche ; Juliette Dibie-Barthelemy ; Gaelle Hignette
Query-Answering CG Knowledge Bases / Nicolas Moreau
Attribute Exploration Using Implications with Proper Premises / Heiko Reppe
Sorting Concepts by Priority Using the Theory of Monotone Systems / Ants Torim ; Karin Lindroos
Extending Attribute Dependencies for Lattice-Based Querying and Navigation / Nizar Messai ; Marie-Dominique Devignes ; Amedeo Napoli ; Malika Smail-Tabbone
PACTOLE: A Methodology and a System for Semi-automatically Enriching an Ontology from a Collection of Texts / Rokia Bendaoud ; Yannick Toussaint
Fair(er) and (Almost) Serene Committee Meetings with Logical and Formal Concept Analysis / Mireille Ducasse ; Sebastien Ferre
Employing a Domain Specific Ontology to Perform Semantic Search / Maxime Morneau ; Guy W. Mineau
Concept Similarity and Related Categories in SearchSleuth / Jon Ducrou ; Peter Eklund
Grounded Conceptual Graph Models / Harry S. Delugach ; Daniel M. Rochowiak
Scenario Argument Structure vs Individual Claim Defeasibility: What Is More Important for Validity Assessment? / Boris A. Galitsky ; Sergei O. Kuznetsov
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit / Jean-Francois Baget ; Rose Dieng-Kuntz ; Catherine Faron-Zucker ; Fabien Gandon ; Alain Giboin ; Alain Gutierrez ; Rallou Thomopoulos
Author Index
Diagrammatic Reasoning Systems / John Howse
Pursuing the Goal of Language Understanding / Arun Majumdar ; John Sowa ; John Stewart
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Agents and Databases: A Symbiosis? / Heiko Schuldt
Agents and Semantic Services: A Critical Review (Abstract) / Katia P. Sycara
Agent-Supported Planning in Distributed Command and Control Environments / James H. Lawton
Trust
Towards Trust-Based Acquisition of Unverifiable Information / Eugen Staab ; Volker Fusenig ; Thomas Engel
Modeling Dynamics of Relative Trust of Competitive Information Agents / Mark Hoogendoorn ; S. Waqar Jaffry ; Jan Treur
A Formal Approach to Aggregated Belief Formation / Annerieke Heuvelink ; Michel C.A. Klein
Applications
Software Engineering for Service-Oriented MAS / Emilia Garcia ; Adriana Giret ; Vicente Botti
A Service-Oriented MultiAgent Architecture for Cognitive Surveillance / David Vallejo ; Javier Albusac ; Carlos Gonzalez-Morcillo ; Luis Jimenez
Trust-Based Classifier Combination for Network Anomaly Detection / Martin Rehak ; Michal Pechoucek ; Martin Grill ; Karel Bartos
A Distributed Generative CSP Framework for Multi-site Product Configuration / Markus Zanker ; Dietmar Jannach ; Marius C. Silaghi ; Gerhard Friedrich
MobiSoft: Networked Personal Assistants for Mobile Users in Everyday Life / Christian Erfurth ; Steffen Kern ; Wilhelm Rossak ; Peter Braun ; Antje Lessmann
A Web-Based Virtual Machine for Developing Computational Societies / Sergio Saugar ; Juan M. Serrano
Using the Wizard of Oz Method to Train Persuasive Agents / Maiko Kawasoe ; Tatsuya Narita ; Yasuhiko Kitamura
ASBO: Argumentation System Based on Ontologies / Andres Munoz ; Juan A. Botia
Coordination and Communication
Controlling Contract Net Protocol by Local Observation for Large-Scale Multi-Agent Systems / Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara ; Kensuke Fukuda
Filter Allocation Using Iterative ECNP / Jan Tozicka ; Stepan Urban ; Magdalena Prokopova
On the Use of Symbolic Data Analysis to Model Communication Environments / Flavien Balbo ; Julien Saunier
Commitment-Based Multiagent Decision Making / Viji R. Avali ; Michael N. Huhns
Negotiation
Towards an Open Negotiation Architecture for Heterogeneous Agents / Koen V. Hindriks ; Catholijn Jonker ; Dmytro Tykhonov
Incrementally Refined Acquaintance Model for Consortia Composition / Jan Doubek ; Jiri Vokrinek
Towards a Monitoring Framework for Agent-Based Contract Systems / Noura Faci ; Sanjay Modgil ; Nir Oren ; Felipe Meneguzzi ; Simon Miles ; Michael Luck
Collaborative Load-Balancing in Storage Networks Using Agent Negotiation / Shay Raz ; Raz Lin ; Onn Shehory
Author Index
Invited Contributions
Enabling Networked Knowledge / Stefan Decker ; Manfred Hauswirth
Coordination and Agreement in Multi-Agent Systems / Sascha Ossowski
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
A Contract Model for Electronic Institutions / Henrique Lopes Cardoso ; Eugenio Oliveira
Embedding Landmarks and Scenes in a Computational Model of Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Coordination and Sociability for Intelligent Virtual Agents / Francisco Grimaldo ; Miguel Lozano ; Fernando Barber
The Examination of an Information-Based Approach to Trust / Maaike Harbers ; Rineke Verbrugge ; Carles Sierra ; John Debenham
A Dynamic Coordination Mechanism Using Adjustable Autonomy / Bob van der Vecht ; Frank Dignum ; John-Jules Ch. Meyer ; Martijn Neef
Organizations and Institutions
Towards a Formalisation of Dynamic Electronic Institutions / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency / Carl Hewitt
Using Case-Based Reasoning in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez ; Juan Antonio Rodriguez-Aguilar
Semantical Concepts for a Formal Structural Dynamics of Situated Multiagent Systems / Antonio Carlos da Rocha Costa ; Gracaliz Pereira Dimuro
Dynamic Composition of Electronic Institutions for Teamwork / Mario Gomez ; Enric Plaza
Organisational Artifacts and Agents for Open Multi-Agent Organisations: "Giving the Power Back to the Agents" / Rosine Kitio ; Olivier Boissier ; Jomi Fred Hubner ; Alessandro Ricci
Knowledge Sharing Between Agents in a Transitioning Organization / Eric Matson ; Raj Bhatnagar
Norms
Role Model Based Mechanism for Norm Emergence in Artificial Agent Societies / Bastin Tony Roy Savarimuthu ; Stephen Cranefield ; Maryam Purvis ; Martin Purvis
Using Testimonies to Enforce the Behavior of Agents / Fernanda Duran ; Viviane Torres da Silva ; Carlos J.P. de Lucena
Implementing Norms That Govern Non-dialogical Actions
A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities / Patrice Caire
On the Multimodal Logic of Normative Systems / Pilar Dellunde
A Distributed Architecture for Norm Management in Multi-Agent Systems / Wamberto Vasconcelos
A Coherence Based Framework for Institutional Agents / Sindhu Joseph ; Marco Schorlemmer
Distributed Norm Enforcement Via Ostracism / Adrian Perreau de Pinninck
Model Checking Norms and Sanctions in Institutions / Francesco Vigano ; Marco Colombetti
Author Index
Coordination
Towards a Framework for Agent Coordination and Reorganization, AgentCoRe / Mattijs Ghijsen ; Wouter Jansweijer ; Bob Wielinga
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions / Andres Garcia-Camino
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II：
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III：
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I：
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
Engineering Self-organizing Applications
A Characterization of Key Properties of Environment-Mediated Multiagent Systems / Hartmut Schmeck ; Christian Muller-Schloer
Toward Systemic MAS Development: Enforcing Decentralized Self-organization by Composition and Refinement of Archetype Dynamics / Jan Sudeikat ; Wolfgang Renz
Engineering Systems Which Generate Emergent Functionalities / Marie-Pierre Gleizes ; Valerie Camps ; Jean-Pierre George ; Davy Capera
Engineering Autonomic Electronic Institutions / Josep Lluis Arcos ; Juan A. Rodriguez-Aguilar ; Bruno Rosell
Stigmergic Interaction
Prediction Horizons in Agent Models / H. Van Dyke Parunak ; Theodore C. Belding ; Sven A. Brueckner
Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications / Andrea Bonomi ; Marcello Sarini ; Giuseppe Vizzari
Action and Agency in Norm-Governed Multi-agent Systems / Marek Sergot
Managing Conflict Resolution in Norm-Regulated Environments / Martin J. Kollingbaum ; Wamberto W. Vasconcelos ; Andres Garcia-Camino ; Tim J. Norman
Alternative Dispute Resolution in Virtual Organizations / Jeremy Pitt ; Daniel Ramirez-Cano ; Lloyd Kamara ; Brendan Neville
Electronic Institutions Infrastructure for e-Chartering / Manolis Sardis ; George Vouros
Models of Complex Distributed Systems with Agents and Societies
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations / William J. Clancey ; Maarten Sierhuis ; Chin Seah ; Chris Buckley ; Fisher Reynolds ; Tim Hall ; Mike Scott
Progress Appraisal as a Challenging Element of Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; Matthew Johnson ; Larry Bunch
Automated Web Services Composition with the Event Calculus / Onur Aydin ; Nihan Kesim Cicekli ; Ilyas Cicekli
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems / Ioanna Stamatopoulou ; Petros Kefalas ; Marian Gheorghe
Interaction in Agent Societies
The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences / Josefina Sierra ; Josefina Santibanez
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS / Nabil Hameurlain
Amongst First-Class Protocols / Tim Miller ; Jarred McGinnis
Engineering Social Intelligence in Multi-agent Systems
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle / Michael Lowry
Knowledge Discovery and Data Mining - Foundations
Boosting Support Vector Machines for Imbalanced Data Sets / Benjamin X. Wang ; Nathalie Japkowicz
Class-Oriented Reduction of Decision Tree Complexity / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Evaluating Decision Trees Grown with Asymmetric Entropies / Simon Marcellin ; Djamel A. Zighed ; Gilbert Ritschard
Stepwise Induction of Logistic Model Trees / Annalisa Appice ; Michelangelo Ceci ; Donato Malerba ; Savino Saponara
Stochastic Propositionalization for Efficient Multi-relational Learning / N. Di Mauro ; T.M.A. Basile ; S. Ferilli ; F. Esposito
Analyzing Behavior of Objective Rule Evaluation Indices Based on Pearson Product-Moment Correlation Coefficient / Hidenao Abe ; Shusaku Tsumoto
Knowledge Discovery and Data Mining - Advances
Obtaining Low-Arity Discretizations from Online Data Streams / Tapio Elomaa ; Petri Lehtinen ; Matti Saarela
Maps Ensemble for Semi-Supervised Learning of Large High Dimensional Datasets / Elie Prudhomme ; Stephane Lallich
Mining Induced and Embedded Subtrees in Ordered, Unordered, and Partially-Ordered Trees / Aida Jimenez
A Structure-Based Clustering on LDAP Directory Information / Vassiliki Koutsonikola ; Athena Vakali ; Antonios Mpalasas ; Michael Valavanis
iZi: A New Toolkit for Pattern Mining Problems / Frederic Flouvat ; Fabien De Marchi ; Jean-Marc Petit
A Multi-relational Hierarchical Clustering Method for Datalog Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Laredam - Considerations on System of Local Analytical Reports from Data Mining / Jan Rauch ; Milan Simunek
Outlier Detection Techniques for Process Mining Applications / Lucantonio Ghionna ; Gianluigi Greco ; Antonella Guzzo ; Luigi Pontieri
Knowledge Discovery and Data Mining - Mining Changes and Actionable Patterns
Action Rule Extraction from a Decision Table: ARED / Seunghyun Im ; Zbigniew W. Ras
Discovering the Concise Set of Actionable Patterns / Li-Shiang Tsay
Discovering Emerging Patterns for Anomaly Detection in Network Connection Data / Costantina Caruso
Temporal Extrapolation within a Static Clustering / Tim K. Cocx ; Walter A. Kosters ; Jeroen F.J. Laros
Discovering Explanations from Longitudinal Data / Corrado Loglisci
Logic for Artificial Intelligence
Reduced Implicate/Implicant Tries / Neil V. Murray ; Erik Rosenthal
Golden Ratio Annealing for Satisfiability Problems Using Dynamically Cooling Schemes / Juan Frausto-Solis ; Felix Martinez-Rios
Modeling Cooperation in P2P Data Management Systems / Luciano Caroprese ; Ester Zumpano
Interactions between Rough Parts in Object Perception / Andrzej W. Przybyszewski
Autonomic and Evolutionary Computation
A Multi-objective Optimal Approach for UAV Routing in Reconnaissance Mission with Stochastic Observation Time / Xingguang Peng ; Xiaoguang Gao
Hybrid Unsupervised/Supervised Virtual Reality Spaces for Visualizing Gastric and Liver Cancer Databases: An Evolutionary Computation Approach / Alan J. Barton ; Julio J. Valdes
Self-calibrating Strategies for Evolutionary Approaches that Solve Constrained Combinatorial Problems / Elizabeth Montero ; Maria-Cristina Riff
Soft Computing
Towards Fuzzy Query Answering Using Fuzzy Views - A Graded-Subsumption-Based Approach / Allel Hadjali ; Olivier Pivert
Term Distribution-Based Initialization of Fuzzy Text Clustering / Krzysztof Ciesielski ; Mieczyslaw A. Klopotek ; Slawomir T. Wierzchon
Cooperative Answering to Flexible Queries Via a Tolerance Relation / Patrick Bosc
Effectiveness of Fuzzy Discretization for Class Association Rule-Based Classification / Keivan Kianmehr ; Mohammed Alshalalfa ; Reda Alhajj
Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics / Fernando Bobillo ; Umberto Straccia
Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces / Feifei Xu ; Yiyu Yao ; Duoqian Miao
An Ant Colony System Algorithm to Solve Routing Problems Applied to the Delivery of Bottled Products / Laura Cruz Reyes ; Jose F. Delgado Orta ; Juan J. Gonzalez Barbosa ; Jose Torres Jimenez ; Hector J. Fraire Huacuja ; Barbara A. Arranaga Cruz
Databases and Data Warehouses
Predicate Indexing for Incremental Multi-Query Optimization / Chun Jin ; Jaime Carbonell
SQL Queries with CASE Expressions / Jarek Gryz ; Qiong Wang ; Xiaoyan Qian ; Calisto Zuzarte
Top-Down Compression of Data Cubes in the Presence of Simultaneous Multiple Hierarchical Range Queries / Alfredo Cuzzocrea
Degrees of Exclusivity in Disjunctive Databases / Navin Viswanath ; Rajshekhar Sunderraman
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL / Nikos Papadakis ; Dimitris Plexousakis ; Grigoris Antoniou ; Manolis Daskalakis ; Yannis Christodoulou
Decision Tree Induction for Identifying Trends in Line Graphs / Peng Wu ; Sandra Carberry ; Daniel Chester ; Stephanie Elzer
Automatic Handling of Digital Image Repositories: A Brief Survey
Development of the XML Digital Library from the Parliament of Andalucia for Intelligent Structured Retrieval / Juan M. Fernandez-Luna ; Juan F. Huete ; Manuel Gomez ; Carlos J. Martin-Dancausa
Intelligent Information Retrieval
Evaluating Information Retrieval System Performance Based on Multi-grade Relevance / Bing Zhou
A Dynamic Window Based Passage Extraction Algorithm for Genomics Information Retrieval / Qinmin Hu ; Xiangji Huang
Mining Scalar Representations in a Non-tagged Music Database / Rory A. Lewis ; Wenxin Jiang
Identification of Dominating Instrument in Mixes of Sounds of the Same Pitch / Alicja Wiezcorkowska ; Elzbieta Kolczynska
Performance Weights for the Linear Combination Data Fusion Method in Information Retrieval / Shengli Wu ; Qili Zhou ; Yaxin Bi ; Xiaoqin Zeng
Combining Multiple Sources of Evidence in Web Information Extraction / Martin Labsky ; Vojtech Svatek
Text Mining
Autonomous News Clustering and Classification for an Intelligent Web Portal / Traian Rebedea ; Stefan Trausan-Matu
On Determining the Optimal Partition in Agglomerative Clustering of Documents / Ahmad El Sayed ; Hakim Hacid ; Djamel Zighed
Ontological Summaries through Hierarchical Clustering / Troels Andreasen ; Henrik Bulskov ; Thomas Vestskov Terney
Classification of Web Services Using Tensor Space Model and Rough Ensemble Classifier / Suman Saha ; C.A. Murthy ; Sankar K. Pal
Intelligent Information Systems
Agent-Based Assistant for e-Negotiations / Simone A. Ludwig
Local Soft Belief Updating for Relational Classification / Guoli Ding ; R.F. Lax ; Jianhua Chen ; Peter Chen ; Brian D. Marx
On a Probabilistic Combination of Prediction Sources / Ioannis Rousidis ; George Tzagkarakis ; Yannis Tzitzikas
Effective Document-Oriented Telemetry Data Compression / David Maluf ; Chen-jung Hsu ; Peter Tran ; David Tran
Knowledge Representation and Integration
Improving Integration with Subjective Combining of Ontology Mappings / Dennis Hooijmaijers ; Markus Stumptner
Text Onto Miner - A Semi Automated Ontology Building System / Piotr Gawrysiak ; Grzegorz Protaziuk ; Henryk Rybinski ; Alexandre Delteil
Ontology-Driven Adaptive Medical Information Collection System / Matt-Mouley Bouamrane ; Alan Rector ; Martin Hurrell
An Effective Ontology Matching Technique / Ahmed Alasoud ; Volker Haarslev ; Nematollaah Shiri
A Causal Approach for Explaining Why a Heuristic Algorithm Outperforms Another in Solving an Instance Set of the Bin Packing Problem / Joaquin Perez ; Laura Cruz ; Rodolfo Pazos ; Vanesa Landero ; Gerardo Reyes ; Crispin Zavala ; Hector Fraire ; Veronica Perez
Web Service and Intelligence
A Graph b-Coloring Based Method for Composition-Oriented Web Services Classification / Lyes Dekar ; Hamamache Kheddouci
OWL-S Atomic Services Composition with SWRL Rules / Domenico Redavid ; Luigi Iannone ; Terry Payne ; Giovanni Semeraro
A Web-Based Interface for Hiding Bayesian Network Inference / C.J. Butz ; P. Lingras ; K. Konkel
Applications
Extraction of Informative Genes from Integrated Microarray Data / Dongwan Hong ; Jongkeun Lee ; Sangkyoon Hong ; Jeehee Yoon ; Sanghyun Park
Using Data Mining for Dynamic Level Design in Games / Kitty S.Y. Chiu ; Keith C.C. Chan
A Logic Programming Based Framework for Security Protocol Verification / Shujing Wang ; Yan Zhang
Applying Cost Sensitive Feature Selection in an Electric Database / Manuel Mejia-Lavalle
Author Index
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Learning Meaning Before Syntax / Dana Angluin ; Leonor Becerra-Bonache
Schema-Guided Induction of Monadic Queries / Jerome Champavere ; Remi Gilleron ; Aurelien Lemay ; Joachim Niehren
A Polynomial Algorithm for the Inference of Context Free Languages / Alexander Clark ; Remi Eyraud ; Amaury Habrard
Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings / Colin de la Higuera ; Jean-Christophe Janodet ; Frederic Tantini
Relevant Representations for the Inference of Rational Stochastic Tree Languages / Francois Denis ; Edouard Gilbert ; Faissal Ouardi ; Marc Tommasi
Learning Commutative Regular Languages / Antonio Cano Gomez ; Gloria I. Alvarez
Learning Left-to-Right and Right-to-Left Iterative Languages / Jeffrey Heinz
Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets / Yuuichi Kameda ; Hiroo Tokunaga ; Akihiro Yamamoto
A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness / Anna Kasprzik
On Learning Regular Expressions and Patterns Via Membership and Correction Queries / Efim Kinber
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints / Bernard Lambeau ; Christophe Damas ; Pierre Dupont
Using Multiplicity Automata to Identify Transducer Relations from Membership and Equivalence Queries / Jose Oncina
Towards Feasible PAC-Learning of Probabilistic Deterministic Finite Automata / Jorge Castro ; Ricard Gavalda
Learning Context-Sensitive Languages from Linear Structural Information / Jose M. Sempere
Polynomial Time Probabilistic Learning of a Subclass of Linear Languages with Queries / Yasuhiro Tajima ; Yoshiyuki Kotani
How to Split Recursive Automata / Isabelle Tellier
A Note on the Relationship between Different Types of Correction Queries / Cristina Tirnauca
Unsupervised Learning of Probabilistic Context-Free Grammar Using Iterative Biclustering / Kewei Tu ; Vasant Honavar
Polynomial Distinguishability of Timed Automata / Sicco Verwer ; Mathijs de Weerdt ; Cees Witteveen
Evaluation and Comparison of Inferred Regular Grammars / Neil Walkinshaw ; Kirill Bogdanov ; Ken Johnson
Identification in the Limit of k, l-Substitutable Context-Free Languages / Ryo Yoshinaka
Poster Papers
Learning Subclasses of Pure Pattern Languages / P.J. Abisha ; D.G. Thomas ; Sindhu J. Kumaar
Which Came First, the Grammar or the Lexicon? / Tom Armstrong ; Tim Oates
Learning with Kernels and Logical Representations / Paolo Frasconi
Beyond Prediction: Directions for Probabilistic and Relational Learning / David D. Jensen
Extended Abstracts
Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract) / Jianzhong Chen ; Stephen Muggleton ; Jose Santos
Learning Directed Probabilistic Logical Models Using Ordering-Search / Daan Fierens ; Jan Ramon ; Maurice Bruynooghe ; Hendrik Blockeel
Learning to Assign Degrees of Belief in Relational Domains / Frederic Koriche
Bias/Variance Analysis for Relational Domains / Jennifer Neville ; David Jensen
Full Papers
Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases / Claudia d'Amato ; Nicola Fanizzi ; Floriana Esposito
Clustering Relational Data Based on Randomized Propositionalization / Grant Anderson ; Bernhard Pfahringer
Structural Statistical Software Testing with Active Learning in a Graph / Nicolas Baskiotis ; Michele Sebag
Learning Declarative Bias / Will Bridewell ; Ljupco Todorovski
ILP:- Just Trie It / Rui Camacho ; Nuno A. Fonseca ; Ricardo Rocha ; Vitor Santos Costa
Learning Relational Options for Inductive Transfer in Relational Reinforcement Learning / Tom Croonenborghs ; Kurt Driessens
Empirical Comparison of "Hard" and "Soft" Label Propagation for Relational Classification / Aram Galstyan ; Paul R. Cohen
A Phase Transition-Based Perspective on Multiple Instance Kernels / Romaric Gaudel ; Antoine Cornuejols
Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates / Mark Goadrich ; Jude Shavlik
Applying Inductive Logic Programming to Process Mining / Evelina Lamma ; Paola Mello ; Fabrizio Riguzzi ; Sergio Storari
A Refinement Operator Based Learning Algorithm for the ALC Description Logic / Jens Lehmann ; Pascal Hitzler
Foundations of Refinement Operators for Description Logics
A Relational Hierarchical Model for Decision-Theoretic Assistance / Sriraam Natarajan ; Prasad Tadepalli ; Alan Fern
Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming / Louis Oliphant
Revising First-Order Logic Theories from Examples Through Stochastic Local Search / Aline Paes ; Gerson Zaverucha
Using ILP to Construct Features for Information Extraction from Semi-structured Text / Ganesh Ramakrishnan ; Sachindra Joshi ; Sreeram Balakrishnan ; Ashwin Srinivasan
Mode-Directed Inverse Entailment for Full Clausal Theories / Oliver Ray ; Katsumi Inoue
Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological Processes of Agent-Based Modeling and Simulation Approaches: Open Challenges and Research Perspectives / Alexis Drogoul
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-Agent Environments / Ngoc Thanh Nguyen
Keynote Speech: Agent Oriented Software Engineering: Why and How / Lin Padgham
Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets / Maryam Nooraee Abadeh ; Kamran Zaminifar ; Mohammad-Reza Khayyambashi
Design of an Internet-Based Advisory System: A Multi-Agent Approach / Saadat M. Alhashmi
Towards Virtual Epidemiology: An Agent-Based Approach to the Modeling of H5N1 Propagation and Persistence in North-Vietnam / Edouard Amouroux ; Stephanie Desvaux
Measurement of Underlying Cooperation in Multiagent Reinforcement Learning / Sachiyo Arai ; Yoshihisa Ishigaki ; Hironori Hirata
Reo Connectors as Coordination Artifacts in 2APL Systems / Farhad Arbab ; Lacramioara Astefanoaei ; Frank S. de Boer ; Mehdi Dastani ; John-Jules Meyer ; Nick Tinnermeier
A Verification Framework for Normative Multi-Agent Systems
Social Viewpoints for Arguing about Coalitions / Guido Boella ; Leendert van der Torre ; Serena Villata
Changing Institutional Goals and Beliefs of Autonomous Agents
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations / Jan Broersen
When to Use a Multi-Agent System? / Paul Bogg ; Ghassan Beydoun ; Graham Low
Multiagent Incremental Learning in Networks / Gauvain Bourgne ; Amal El Fallah Seghrouchni ; Nicolas Maudet ; Henry Soldanos
UML-F in the Design of an Agent-Oriented Software Framework / Daniel Cabrera-Paniagua ; Claudio Cubillos
Interactive Learning of Expert Criteria for Rescue Simulations / Thanh-Quang Chu ; Alain Boucher ; Duc-An Vo ; Hong-Phuong Nguyen ; Jean-Daniel Zucker
Modularity in Agent Programming Languages: An Illustration in Extended 2APL / Christian P. Mol ; Bas R. Steunebrink
On the Pheromone Update Rules of Ant Colony Optimization Approaches for the Job Shop Scheduling Problem / Dong Do Duc ; Huy Q. Dinh ; Huan Hoang Xuan
Preliminary Result on Secure Protocols for Multiple Issue Negotiation Problems / Katsuhide Fujita ; Takayuki Ito ; Mark Klein
Performance Analysis about Parallel Greedy Approximation on Combinatorial Auctions / Naoki Fukuta
Towards an Evaluation Framework for MAS Software Engineering / Emilia Garcia ; Adriana Giret ; Vicente Botti
From Obligations to Organizational Structures in Multi-Agent Systems / J. Octavio Gutierrez-Garcia ; Jean-Luc Koning ; Felix F. Ramos-Corchado
Addressing the Brittleness of Agent Interaction / Mohd Fadzil Hassan ; Dave Robertson
Dividing Agents on the Grid for Large Scale Simulation / Dac Phuong Ho ; The Duy Bui ; Nguyen Luong Do
An Interest Rate Adjusting Method with Bayesian Estimation in Social Lending / Masashi Iwakami
A Temporal Logic for Stochastic Multi-Agent Systems / Wojciech Jamroga
Applying the Logic of Multiple-Valued Argumentation to Social Web: SNS and Wikipedia / Shusuke Kuribara ; Safia Abbas ; Hajime Sawamura
Simulation of Halal Food Supply Chain with Certification System: A Multi-Agent System Approach / YiHua Lam
A Novel Approach for Conflict Resolution in Context-Awareness Using Semantic Unification of Multi-Cognition / Keonsoo Lee ; Minkoo Kim
Improving Trade-Offs in Bilateral Negotiations under Complete and Incomplete Information Settings / Ivan Marsa-Maestre ; Miguel A. Lopez-Carmona ; Juan R. Velasco
PAMS - A New Collaborative Framework for Agent-Based Simulation of Complex Systems / Trong Khanh Nguyen ; Nicolas Marilleau ; Tuong Vinh Ho
Methodological Steps and Issues When Deriving Individual Based-Models from Equation-Based Models: A Case Study in Population Dynamics / Ngoc Doanh Nguyen ; Pierre Auger
Abstraction of Agent Cooperation in Agent Oriented Programming Language / Nguyen Tuan Duc ; Ikuo Takeuchi
A Multiagent-System Framework for Hierarchical Control and Monitoring of Complex Process Control Systems / Vu Van Tan ; Dae-Seung Yoo ; Myeong-Jae Yi
Agent Reasoning with Semantic Web in Web Blogs / Dinh Que Tran ; Tuan Nha Hoang
Design of a Multiagent System over Mobile Devices for the Planning of Touristic Travels / Miguel Valdes
Author Index
Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological Processes of Agent-Based Modeling and Simulation Approaches: Open Challenges and Research Perspectives / Alexis Drogoul
Keynote Speech: Computational Collective Intelligence and Knowledge Inconsistency in Multi-Agent Environments / Ngoc Thanh Nguyen
Keynote Speech: Agent Oriented Software Engineering: Why and How / Lin Padgham
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra / Jochen Pfalzgraf
Contributed Papers
Applying Link Grammar Formalismin the Development of English-Indonesian Machine Translation System / Teguh Bharata Adji ; Baharum Baharudin ; Norshuhani Zamin
Case Studies in Model Manipulation for Scientific Computing / Jacques Carette ; Spencer Smith ; John McCutchan ; Christopher Anand ; Alexandre Korobkine
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle / Peter Chapman ; James McKinna ; Christian Urban
AISC Meets Natural Typography / James H. Davenport
The Monoids of Order Eight and Nine / Andreas Distler ; Tom Kelsey
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation / Lucas Dixon ; Ross Duncan
A Full First-Order Constraint Solver for Decomposable Theories / Khalil Djelloul
Search Techniques for Rational Polynomial Orders / Carsten Fuhs ; Rafael Navarro-Marset ; Carsten Otto ; Jurgen Giesl ; Salvador Lucas ; Peter Schneider-Kamp
Strategies for Solving SAT in Grids by Randomized Search / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Towards an Implementation of a Computer Algebra System in a Functional Language / Oleg Lobachev ; Rita Loogen
Automated Model Building: From Finite to Infinite Models / Nicolas Peltier
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple / Eugenio Roanes-Lozano ; Luis M. Laita ; Eugenio Roanes-Macias
On the Construction of Transformation Steps in the Category of Multiagent Systems / Thomas Soboll
Increasing Interpretations / Harald Zankl ; Aart Middeldorp
Contributions to Calculemus 2008
Invited Talk
Validated Evaluation of Special Mathematical Functions / Franky Backeljauw ; Stefan Becuwe ; Annie Cuyt
MetiTarski: An Automatic Prover for the Elementary Functions / Behzad Akbarpour ; Lawrence C. Paulson
High-Level Theories / William M. Farmer
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL / Amine Chaieb
A Global Workspace Framework for Combining Reasoning Systems / John Charnley ; Simon Colton
Effective Set Membership in Computer Algebra and Beyond
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems / Cesar Dominguez
Symbolic Computation Software Composability / Sebastian Freundt ; Peter Horn ; Alexander Konovalov ; Dan Roozemond
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server / J. Santiago Jorge ; Victor M. Gulias ; Laura M. Castro
Automating Side Conditions in Formalized Partial Functions / Cezary Kaliszyk
Combining Isabelle and QEPCAD-B in the Prover's Palette / Laura I. Meikle ; Jacques D. Fleuriot
Contributions to MKM 2008
Digital Mathematics Libraries: The Good, the Bad, the Ugly / Thierry Bouche
Automating Signature Evolution in Logical Theories / Alan Bundy
A Tactic Language for Hiproofs / David Aspinall ; Ewen Denney ; Christoph Luth
Logic-Free Reasoning in Isabelle/Isar / Stefan Berghofer ; Makarius Wenzel
A Mathematical Type for Physical Variables / Joseph B. Collins
Unit Knowledge Management / Jonathan Stratford
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors / Dominik Dietrich ; Ewaryst Schulz ; Marc Wagner
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar / Akio Fujiyoshi ; Masakazu Suzuki ; Seiichi Uchida
Specifying Strategies for Exercises / Bastiaan Heeren ; Johan Jeuring ; Arthur van Leeuwen ; Alex Gerdes
Mediated Access to Symbolic Computation Systems / Jonathan Heras ; Vico Pascual ; Julio Rubio
Herbrand Sequent Extraction / Stefan Hetzl ; Alexander Leitsch ; Daniel Weller ; Bruno Woltzenlogel Paleo
Visual Mathematics: Diagrammatic Formalization and Proof / John Howse ; Gem Stapleton
Normalization Issues in Mathematical Representations / Manfred Kerber
Notations for Living Mathematical Documents / Michael Kohlhase ; Christine Muller ; Florian Rabe
Cross-Curriculum Search for Intergeo / Paul Libbrecht ; Cyrille Desmoulins ; Christian Mercat ; Colette Laborde ; Michael Dietrich ; Maxim Hendriks
Augmenting Presentation MathML for Search / Bruce R. Miller ; Abdou Youssef
Automated Classification and Categorization of Mathematical Knowledge / Radim Rehurek ; Petr Sojka
Kantian Philosophy of Mathematics and Young Robots / Aaron Sloman
Transforming the arxiv to XML / Heinrich Stamerjohanns
On Correctness of Mathematical Texts from a Logical and Practical Point of View / Konstantin Verchinine ; Alexander Lyaletski ; Andrei Paskevich ; Anatoly Anisimov
The Mood and Memory of Believable Adaptable Socially Intelligent Characters / Mark Burkitt ; Daniela M. Romano
Agents for Healthcare and Training
Visualizing the Importance of Medical Recommendations with Conversational Agents / Gersende Georg
Evaluation of Justina: A Virtual Patient with PTSD / Patrick Kenny ; Thomas D. Parsons ; Albert A. Rizzo
Elbows Higher! Performing, Observing and Correcting Exercises by a Virtual Trainer / Zsofia Ruttkay ; Herwin van Welbergen
A Virtual Therapist That Responds Empathically to Your Answers / Matthijs Pontier ; Ghazanfar F. Siddiqui
Agents in Games, Museums and Virtual Worlds
IDEAS4Games: Building Expressive Virtual Characters for Computer Games / Marc Schroder ; Marcela Charfuelan ; Christoph Endres ; Sathish Pammi ; Martin Rumpler ; Oytun Turk
Context-Aware Agents to Guide Visitors in Museums / Ichiro Satoh
Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents / Anton Bogdanovych ; Simeon Simoff ; Marc Esteva
Posters
Enculturating Conversational Agents Based on a Comparative Corpus Study / Afia Akhter Lipi ; Yuji Yamaoka
The Reactive-Causal Architecture: Towards Development of Believable Agents / Ali Orhan Aydin ; Mehmet Ali Orgun ; Abhaya Nayak
Gesture Recognition in Flow in the Context of Virtual Theater / Ronan Billon ; Alexis Nedelec ; Jacques Tisseau
Automatic Generation of Conversational Behavior for Multiple Embodied Virtual Characters: The Rules and Models behind Our System / Werner Breitfuss
Implementing Social Filter Rules in a Dialogue Manager Using Statecharts / Jenny Brusk
Towards Realistic Real Time Speech-Driven Facial Animation / Aleksandra Cerekovic ; Goranka Zoric ; Karlo Smid ; Igor S. Pandzic
Avatar Customization and Emotions in MMORPGs / Shun-an Chung ; Jim Jiunde Lee
Impact of the Agent's Localization in Human-Computer Conversational Interaction / Aurelie Cousseau ; Francois Le Pichon
Evolving Expression of Emotions in Virtual Humans Using Lights and Pixels / Celso de Melo
Motivations and Personality Traits in Decision-Making / Etienne de Sevin
A Flexible Behavioral Planner in Real-Time
Face to Face Interaction with an Intelligent Virtual Agent: The Effect on Learning Tactical Picture Compilation / Willem A. van Doesburg ; Rosemarijn Looije ; Willem A. Melder ; Mark A. Neerincx
Creating and Scripting Second Life Bots Using MPML3D / Birgit Endrass
Piavca: A Framework for Heterogeneous Interactions with Virtual Characters
Interpersonal Impressions of Agents for Developing Intelligent Systems / Kaoru Sumi ; Mizue Nagata
Comparing an On-Screen Agent with a Robotic Agent in Non-Face-to-Face Interactions / Takanori Komatsu ; Yukari Abe
Sustainability and Predictability in a Lasting Human-Agent Interaction / Toshiyuki Kondo ; Daisuke Hirakawa ; Takayuki Nozawa
Social Effects of Virtual Assistants. A Review of Empirical Results with Regard to Communication / Nicole C. Kramer
SoNa: A Multi-agent System to Support Human Navigation in a Community, Based on Social Network Analysis / Shizuka Kumokawa ; Victor V. Kryssanov ; Hitoshi Ogawa
Animating Unstructured 3D Hand Models / Jituo Li ; Li Bai ; Yangsheng Wang
Verification of Expressiveness of Procedural Parameters for Generating Emotional Motions / Yueh-Hung Lin ; Chia-Yang Liu ; Hung-Wei Lee ; Shwu-Lih Huang ; Tsai-Yen Li
Individualised Product Portrayals in the Usability of a 3D Embodied Conversational Agent in an eBanking Scenario / Alexandra Matthews ; Nicholas Anderson ; James Anderson ; Mervyn Jack
Multi-agent Negotiation System in Electronic Environments / Dorin Militaru
A Study of the Use of a Virtual Agent in an Ambient Intelligence Environment / German Montoro ; Pablo A. Haya ; Sandra Baldassarri ; Eva Cerezo ; Francisco Jose Seron
Automatic Torso Engagement for Gesturing Characters / Michael Neff
Modeling the Dynamics of Virtual Agent's Social Relations / Nicolas Sabouret ; Vincent Corruble
Proposal of an Artificial Emotion Expression System Based on External Stimulus and Emotional Elements / Seungwon Oh ; Minsoo Hahn
A Reactive Architecture Integrating an Associative Memory for Sensory-Driven Intelligent Behavior / David Panzoli ; Herve Luga ; Yves Duthen
Social Responses to Virtual Humans: Automatic Over-Reliance on the "Human" Category / Sung Park ; Richard Catrambone
Adaptive Self-feeding Natural Language Generator Engine / Jovan David Rebolledo Mendez ; Kenji Nakayama
A Model of Motivation for Virtual-Worlds Avatars / Genaro Rebolledo-Mendez ; David Burden ; Sara de Freitas
Towards Virtual Emotions and Emergence of Social Behaviour / Dirk M. Reichardt
Using Virtual Agents for the Teaching of Requirements Elicitation in GSD / Miguel Romero ; Aurora Vizcaino ; Mario Piattini
A Virtual Agent's Behavior Selection by Using Actions for Focusing of Attention / Haris Supic
Emergent Narrative and Late Commitment / Ivo Swartjes ; Edze Kruizinga ; Mariet Theune
"I Would Like to Trust It but" Perceived Credibility of Embodied Social Agents: A Proposal for a Research Framework / Federico Tajariol ; Valerie Maffiolo ; Gaspard Breton
Acceptable Dialogue Start Supporting Agent for Avatar-Mediated Multi-tasking Online Communication / Takahiro Tanaka ; Kyouhei Matsumura ; Kinya Fujita
Do You Know How I Feel? Evaluating Emotional Display of Primary and Secondary Emotions / Julia Tolksdorf
Comparing Emotional vs. Envelope Feedback for ECAs / Astrid von der Putten ; Christian Reipen ; Antje Wiedmann
Intelligent Agents Living in Social Virtual Environments - Bringing Max into Second Life / Erik Weitnauer ; Nick M. Thomas ; Felix Rabe
Author Index
Emotion and Empathy
The Relation between Gaze Behavior and the Attribution of Emotion: An Empirical Study / Brent Lance ; Stacy C. Marsella
Affect Simulation with Primary and Secondary Emotions / Christian Becker-Asano ; Ipke Wachsmuth
Automatic Bidding for the Game of Skat / Thomas Keller ; Sebastian Kupferschmid
Automobile Driving Behavior Recognition Using Boosting Sequential Labeling Method for Adaptive Driver Assistance Systems / Wathanyoo Khaisongkram ; Pongsathorn Raksincharoensak ; Masamichi Shimosaka ; Taketoshi Mori ; Tomomasa Sato ; Masao Nagai
Identifying and Analysing Germany's Top Blogs / Darko Obradovic ; Stephan Baumann
Planar Features for Visual SLAM / Tobias Pietzsch
Extracting and Querying Relations in Scientific Papers / Ulrich Schafer ; Hans Uszkoreit ; Christian Federmann ; Torsten Marek ; Yajing Zhang
Efficient Hierarchical Reasoning about Functions over Numerical Domains / Viorica Sofronie-Stokkermans
A Drum Machine That Learns to Groove / Axel Tidemann ; Yiannis Demiris
Posters
Believing Finite-State Cascades in Knowledge-Based Information Extraction / Benjamin Adrian ; Andreas Dengel
A Methodological Approach for the Effective Modeling of Bayesian Networks / Martin Atzmueller ; Florian Lemmerich
Plan Repair in Hybrid Planning / Julien Bidot ; Bernd Schattenberg ; Susanne Biundo
Visual Terrain Traversability Estimation Using a Combined Slope/Elevation Model / Tim Braun ; Henning Bitsch ; Karsten Berns
Symbolic Classification of General Two-Player Games
Partial Symbolic Pattern Databases for Optimal Sequential Planning
Optimal Scheduling with Resources for Application Execution in 3G Networks / Roman Englert
ESO: Evolutionary Self-organization in Smart-Appliances Ensembles / Stefan Goldmann ; Ralf Salomon
On-Line Detection of Rule Violations in Table Soccer / Armin Hornung ; Dapeng Zhang
Extracting and Verifying Hyponymy Relations Based on Multiple Patterns and Features / Lei Liu ; Sen Zhang ; Lu Hong Diao ; Shu Ying Yan ; Cun Gen Cao
News Annotations for Navigation by Semantic Similarity / Walter Kasper ; Jorg Steffen
EANT+KALMAN: An Efficient Reinforcement Learning Method for Continuous State Partially Observable Domains / Yohannes Kassahun ; Jose de Gea ; Jan Hendrik Metzen ; Mark Edgington ; Frank Kirchner
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models / Yohei Kurata ; Hui Shi
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning / Christoph Mies ; Alexander Ferrein ; Gerhard Lakemeyer
A Recognition Interface for Bridging the Semantic Desktop and the Physical World / Hiroshi Miyake ; Koichi Kise
Learning by Observing: Case-Based Decision Making in Complex Strategy Games / Armin Stahl
Toward Alignment with a Virtual Human - Achieving Joint Attention / Nadine Pfeiffer-Lessmann ; Ipke Wachsmuth
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions / Walid S. Saba
FACT-Graph: Trend Visualization by Frequency and Co-occurrence / Ryosuke Saga ; Masahiro Terachi ; Zhongqi Sheng ; Hiroshi Tsuji
Enhancing Animated Agents in an Instrumented Poker Game / Marc Schroder ; Patrick Gebhard ; Marcela Charfuelan ; Christoph Endres ; Michael Kipp ; Sathish Pammi ; Martin Rumpler ; Oytun Turk
Homography Based State Estimation for Aerial Robots / Jakob Schwendner
A Symbolic Pattern Classifier for Interval Data Based on Binary Probit Analysis / Renata M.C.R. de Souza ; Francisco Jose A. Cysneiros ; Diego C.F. Queiroz ; Roberta A. de A. Fagundes
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions / H. Joe Steinhauer
Visual-Based Emotion Detection for Natural Man-Machine Interaction / Samuel Strupp ; Norbert Schmitz
Simplest Scenario for Mutual Nested Modeling in Human-Machine-Interaction / Rustam Tagiew
Bayesian Network for Future Home Energy Consumption / Atsushi Takahashi ; Shingo Aoki ; Shuki Inoue
Learning Dance Movements by Imitation: A Multiple Model Approach / Pinar Ozturk
Demos
Ontology-Based Information Extraction and Reasoning for Business Intelligence Applications / Thierry Declerck ; Bernd Kiefer
A Scalable Architecture for Cross-Modal Semantic Annotation and Retrieval / Manuel Moller ; Michael Sintek
Prototype Prolog API for Mindstorms NXT / Grzegorz J. Nalepa
VARDA Rule Design and Visualization Tool-Chain / Igor Wojnicki
COSAIR: A Platform for AI Education and Research in Computer Strategy Games
Research Center Ambient Intelligence: Assisted Bicycle Team Training / Bernd Schurmann ; Roland Volk
Author Index
Invited Talks
Folk Reducibility and AI-Complete Problems / Randy Goebel
Meme Media and Knowledge Federation / Yuzuru Tanaka ; Jun Fujima ; Micke Kuwahara
Knowledge Patterns (Extended Abstract) / Peter Clark
Computational Semantics and Knowledge Engineering / Johan Bos
Principles for Knowledge Engineering on the Web / Guus Schreiber
Knowledge Patterns and Knowledge Representation
Applying Ontology Design Patterns in Bio-ontologies / Mikel Egana ; Alan Rector ; Robert Stevens ; Erick Antezana
A Pattern and Rule-Based Approach for Reusing Adaptive Hypermedia Creator's Models / Nadjet Zemirline ; Chantal Reynaud ; Yolaine Bourda ; Fabrice Popineau
Natural Language-Based Approach for Helping in the Reuse of Ontology Design Patterns / Guadalupe Aguado de Cea ; Asuncion Gomez-Perez ; Elena Montiel-Ponsoda ; Mari Carmen Suarez-Figueroa
On the Influence of Description Logics Ontologies on Conceptual Similarity / Claudia d'Amato ; Steffen Staab ; Nicola Fanizzi
Learning Disjointness for Debugging Mappings between Lightweight Ontologies / Christian Meilicke ; Johanna Volker ; Heiner Stuckenschmidt
Towards a Rule-Based Matcher Selection / Malgorzata Mochol ; Anja Jentzsch
An Analysis of the Origin of Ontology Mismatches on the Semantic Web / Paul R. Smart ; Paula C. Engelbrecht
Preference-Based Uncertain Data Integration / Matteo Magnani ; Danilo Montesi
Natural Language, Knowledge Acquisition and Annotations
Unsupervised Discovery of Compound Entities for Relationship Extraction / Cartic Ramakrishnan ; Pablo N. Mendes ; Shaojun Wang ; Amit P. Sheth
Formal Concept Analysis: A Unified Framework for Building and Refining Ontologies / Rokia Bendaoud ; Amedeo Napoli ; Yannick Toussaint
Contextualized Knowledge Acquisition in a Personal Semantic Wiki / Ludger van Elst ; Malte Kiesel ; Sven Schwarz ; Georg Buscher ; Andreas Lauer ; Andreas Dengel
Using the Intension of Classes and Properties Definition in Ontologies for Word Sense Disambiguation / Khaled Khelif ; Fabien Gandon ; Olivier Corby ; Rose Dieng-Kuntz
Mapping General-Specific Noun Relationships to WordNet Hypernym/Hyponym Relations / Gael Dias ; Raycho Mukelov ; Guillaume Cleuziou
Analysing Ontological Structures through Name Pattern Tracking / Ondrej Svab-Zamazal ; Vojtech Svatek
Semi-automatic Construction of an Ontology and of Semantic Annotations from a Discussion Forum of a Community of Practice / Bassem Makni ; Hacene Cherfi
OMEGA: An Automatic Ontology Metadata Generation Algorithm / Rachanee Ungrangsi ; Elena Simperl
Automatic Tag Suggestion Based on Resource Contents / Bruno Oliveira ; Pavel Calado ; H. Sofia Pinto
Integration of Semantically Annotated Data by the KnoFuss Architecture / Andriy Nikolov ; Victoria Uren ; Enrico Motta ; Anne de Roeck
Search, Query and Interaction
A Visual Approach to Semantic Query Design Using a Web-Based Graphical Query Designer / Alistair Russell ; Dave Braines ; Yannis Kalfoglou ; Jie Bao ; Nigel R. Shadbolt
Search Query Generation with MCRDR Document Classification Knowledge / Yang Sok Kim ; Byeong Ho Kang
Ontological Profiles in Enterprise Search / Geir Solskinnsbakk ; Jon Atle Gulla
Ontologies
A Generic Ontology for Collaborative Ontology-Development Workflows / Abraham Sebastian ; Natalya F. Noy ; Tania Tudorache ; Mark A. Musen
GoodRelations: An Ontology for Describing Products and Services Offers on the Web / Martin Hepp
An Ontology-Centric Approach to Sensor-Mission Assignment / Mario Gomez ; Alun Preece ; Matthew P. Johnson ; Geeth de Mel ; Wamberto Vasconcelos ; Christopher Gibson ; Amotz Bar-Noy ; Konrad Borowiecki ; Thomas La Porta ; Diego Pizzocaro ; Hosam Rowaihy ; Gavin Pearson ; Tien Pham
Ontology Based Legislative Drafting: Design and Implementation of a Multilingual Knowledge Resource / Tommaso Agnoloni ; Lorenzo Bacci ; Enrico Francesconi
Situated Cognition in the Semantic Web Era / Paul Compton ; Rodrigo Martinez-Bejar ; Mamatha Rudrapatna ; Arcot Sowmya
E-Business Vocabularies as a Moving Target: Quantifying the Conceptual Dynamics in Domains
A Platform for Object-Action Semantic Web Interaction / Roberto Garcia ; Juan Manuel Gimeno ; Ferran Perdrix ; Rosa Gil ; Marta Oliva
Author Index
Invited Talks
Knowledge Patterns (Extended Abstract) / Peter Clark
Computational Semantics and Knowledge Engineering / Johan Bos
Healthcare Knowledge Management: The Art of the Possible / Syed Sibte Raza Abidi
Health Care Knowledge Elicitation
Using Lexical, Terminological and Ontological Resources for Entity Recognition Tasks in the Medical Domain / Maria Taboada ; Maria Meizoso ; Diego Martínez ; José J. Des
Learning Medical Ontologies from the Web / David Sánchez ; Antonio Moreno
Mining Hospital Data to Learn SDA* Clinical Algorithms / David Riaño ; Joan Albert López-Vallverdú ; Samson Tu
Generating Macro-Temporality in Timed Transition Diagrams / Aida Kamišalić ; Tatjana Welzer
Health Care Knowledge Transformation
Automatic Combination of Formal Intervention Plans Using SDA* Representation Model / Francis Real
The Data Abstraction Layer as Knowledge Provider for a Medical Multi-agent System / Montserrat Batet ; Karina Gibert ; Aida Valls
Enlarging a Medical Actor Profile Ontology with New Care Units / Joan Casals
Health Care Knowledge-Based Intelligent Systems
A Concept-Based Framework for Retrieving Evidence to Support Emergency Physician Decision Making at the Point of Care / Dympna O'Sullivan ; Ken Farion ; Stan Matwin ; Wojtek Michalowski ; Szymon Wilk
Decision Making System Based on Bayesian Network for an Agent Diagnosing Child Care Diseases / Vijay Kumar Mago ; M. Syamala Devi ; Ravinder Mehta
Piesys: A Patient Model-Based Intelligent System for Continuing Hypertension Management / Constantinos Koutsojannis ; Ioannis Hatzilygeroudis
An Intelligent Platform to Provide Home Care Services / David Isern ; Gianfranco Pedone ; Laszlo Varga
Author Index
Health Care Knowledge Management
Healthcare Knowledge Management: The Art of the Possible / Syed Sibte Raza Abidi
Learning Classifier Systems: Looking Back and Glimpsing Ahead / Jaume Bacardit ; Ester Bernado-Mansilla ; Martin V. Butz
Knowledge Representations
Analysis of Population Evolution in Classifier Systems Using Symbolic Representations / Pier Luca Lanzi ; Stefano Rocca ; Kumara Sastry ; Stefania Solari
Investigating Scaling of an Abstracted LCS Utilising Ternary and S-Expression Alphabets / Charalambos Ioannides ; Will Browne
Evolving Fuzzy Rules with UCS: Preliminary Results / Albert Orriols-Puig ; Jorge Casillas
Analysis of the System
A Principled Foundation for LCS / Jan Drugowitsch ; Alwyn M. Barry
Revisiting UCS: Description, Fitness Sharing, and Comparison with XCS
Mechanisms
Analysis and Improvements of the Classifier Error Estimate in XCSF / Daniele Loiacono ; Alwyn Barry
A Learning Classifier System with Mutual-Information-Based Fitness / Robert Elliott Smith ; Max Kun Jiang
On Lookahead and Latent Learning in Simple LCS / Larry Bull
A Learning Classifier System Approach to Relational Reinforcement Learning / Drew Mellor
Linkage Learning, Rule Representation, and the X-Ary Extended Compact Classifier System / Xavier Llora ; Claudio F. Lima ; Fernando G. Lobo ; David E. Goldberg
New Directions
Classifier Conditions Using Gene Expression Programming (Invited Paper) / Stewart W. Wilson
Evolving Classifiers Ensembles with Heterogeneous Predictors / Matteo Zanini
Substructural Surrogates for Learning Decomposable Classification Problems
Empirical Evaluation of Ensemble Techniques for a Pittsburgh Learning Classifier System / Natalio Krasnogor
Applications
Technology Extraction of Expert Operator Skills from Process Time Series Data / Setsuya Kurahashi ; Takao Terano
Analysing Learning Classifier Systems in Reactive and Non-reactive Robotic Tasks / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben
Author Index
Introduction
Learning Classifier Systems: Looking Back and Glimpsing Ahead / Jaume Bacardit ; Ester Bernado-Mansilla ; Martin V. Butz
Reasoning about XML with Temporal Logics and Automata / Leonid Libkin ; Cristina Sirangelo
Distributed Consistency-Based Diagnosis / Vincent Armant ; Philippe Dague ; Laurent Simon
Proof-Theory 1 / Session 3：
From One Session to Many: Dynamic Tags for Security Protocols / Myrto Arapinis ; Stephanie Delaune ; Steve Kremer
A Conditional Logical Framework / Furio Honsell ; Marina Lenisa ; Luigi Liquori ; Ivan Scagnetto
Nominal Renaming Sets / Murdoch J. Gabbay ; Martin Hofmann
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic / Sean McLaughlin ; Frank Pfenning
Invited Talk
Model Checking-My 27-Year Quest to Overcome the State Explosion Problem (Abstract / Edmund M. Clarke
Automata / Session 4：
On the Relative Succinctness of Nondeterministic Buchi and co-Buchi Word Automata / Benjamin Aminof ; Orna Kupferman ; Omer Lev
Recurrent Reachability Analysis in Regular Model Checking / Anthony Widjaja To
Alternation Elimination by Complementation (Extended Abstract) / Christian Dax ; Felix Klaedtke
Discounted Properties of Probabilistic Pushdown Automata / Tomas Brazdil ; Vaclav Brozek ; Jan Holecek ; Antonin Kucera
Linear Arithmetic / Session 5：
A Quantifier Elimination Algorithm for Linear Real Arithmetic / David Monniaux
M[epsilon](LIA)-Model Evolution with Linear Integer Arithmetic Constraints / Peter Baumgartner ; Alexander Fuchs ; Cesare Tinelli
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic / Philipp Rummer
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking / Jori Dubrovin
Verification / Session 6：
On Bounded Reachability of Programs with Set Comprehensions / Margus Veanes ; Ando Saabas
Program Complexity in Hierarchical Module Checking / Aniello Murano ; Margherita Napoli ; Mimmo Parente
Valigator: A Verification Tool with Bound and Invariant Generation / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovacs
Reveal: A Formal Verification Tool for Verilog Designs / Zaher S. Andraus ; Mark H. Liffiton ; Karem A. Sakallah
Invited Talks
A Formal Language for Cryptographic Pseudocode / Michael Backes ; Matthias Berg ; Dominique Unruh
Reasoning Using Knots / Thomas Eiter ; Magdalena Ortiz ; Mantas Simkus
Knowledge Representation 2 / Session 7：
Role Conjunctions in Expressive Description Logics / Birte Glimm ; Yevgeny Kazakov
Default Logics with Preference Order: Principles and Characterisations / Tore Langholm
On Computing Constraint Abduction Answers / Michael Maher ; Ge Huang
Fast Counting with Bounded Treewidth / Michael Jakl ; Stefan Rummele ; Stefan Woltran
Proof-Theory 2 / Session 8：
Cut Elimination for First Order Godel Logic by Hyperclause Resolution / Matthias Baaz ; Agata Ciabattoni ; Christian G. Fermuller
Focusing Strategies in the Sequent Calculus of Synthetic Connectives / Kaustuv Chaudhuri
An Algorithmic Interpretation of a Deep Inference System / Kai Brunnler ; Richard McKinley
Weak [beta eta]-Normalization and Normalization by Evaluation for System F / Andreas Abel
Quantified Constraints / Session 9：
Variable Dependencies of Quantified CSPs / Marko Samer
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings / Luca Pulina ; Armando Tacchella
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates / Witold Charatonik ; Michal Wrona
A Logic of Singly Indexed Arrays / Peter Habermehl ; Radu Iosif ; Tomas Vojnar
Modal and Temporal Logics / Session 10：
On the Computational Complexity of Spatial Logics with Connectedness Constraints / Roman Kontchakov ; Ian Pratt-Hartmann ; Frank Wolter ; Michael Zakharyaschev
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification / Davide Bresolin ; Dario Della Monica ; Valentin Goranko ; Angelo Montanari ; Guido Sciavicco
The Variable Hierarchy for the Lattice [mu]-Calculus / Walid Belkhir ; Luigi Santocanale
A Formalised Lower Bound on Undirected Graph Reachability / Ulrich Schopp
Rewriting / Session 11：
Improving Context-Sensitive Dependency Pairs / Beatriz Alarcon ; Fabian Emmes ; Carsten Fuhs ; Jurgen Giesl ; Raul Gutierrez ; Salvador Lucas ; Peter Schneider-Kamp ; Rene Thiemann
Complexity, Graphs, and the Dependency Pair Method / Nao Hirokawa ; Georg Moser
Uncurrying for Termination / Aart Middeldorp ; Harald Zankl
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation / John P. Gallagher ; Mads Rosendahl
A Higher-Order Iterative Path Ordering / Cynthia Kop ; Femke van Raamsdonk
Author Index
Constraint Solving / Session 1：
Symmetry Breaking for Maximum Satisfiability / Joao Marques-Silva ; Ines Lynce ; Vasco Manquinho
Efficient Generation of Unsatisfiability Proofs and Cores in SAT / Roberto Asin ; Robert Nieuwenhuis ; Albert Oliveras ; Enric Rodriguez-Carbonell
A Visualization-Based Exploratory Technique for Classifier Comparison with Respect to Multiple Metrics and Multiple Domains / Rocio Alaiz-Rodriguez ; Nathalie Japkowicz ; Peter Tischer
Pleiades: Subspace Clustering and Evaluation / Ira Assent ; Emmanuel Muller ; Ralph Krieger ; Timm Jansen ; Thomas Seidl
SEDiL: Software for Edit Distance Learning / Laurent Boyer ; Yann Esposito ; Amaury Habrard ; Jose Oncina ; Marc Sebban
Monitoring Patterns through an Integrated Management and Mining Tool / Evangelos E. Kotsifakos ; Irene Ntoutsi ; Yannis Vrahoritis ; Yannis Theodoridis
A Knowledge-Based Digital Dashboard for Higher Learning Institutions / Wan Maseri Binti Wan Mohd ; Abdullah Embong ; Jasni Mohd Zain
SINDBAD and SiQL: An Inductive Database and Query Language in the Relational Model / Jorg Wicker ; Lothar Richter ; Kristina Kessler
Author Index
Regular Papers
Exceptional Model Mining / Dennis Leman ; Ad Feelders ; Arno Knobbe
A Joint Topic and Perspective Model for Ideological Discourse / Wei-Hao Lin ; Eric Xing ; Alexander Hauptmann
New Closed-Form Bounds on the Partition Function / Krishnamurthy Dvijotham ; Soumen Chakrabarti ; Subhasis Chaudhuri
Large Margin vs. Large Volume in Transductive Learning / Ran El-Yaniv ; Dmitry Pechyony ; Vladimir Vapnik
Incremental Exemplar Learning Schemes for Classification on Embedded Devices / Ankur Jain ; Daniel Nikovski
A Collaborative Filtering Framework Based on Both Local User Similarity and Global User Similarity / Heng Luo ; Changyong Niu ; Ruimin Shen ; Carsten Ullrich
A Critical Analysis of Variants of the AUC / Stijn Vanderlooy ; Eyke Hullermeier
Improving Maximum Margin Matrix Factorization / Markus Weimer ; Alexandros Karatzoglou ; Alex Smola
Data Mining and Knowledge Discovery Journal Abstracts
Finding Reliable Subgraphs from Large Probabilistic Graphs / Petteri Hintsanen ; Hannu Toivonen
A Space Efficient Solution to the Frequent String Mining Problem for Many Databases / Adrian Kugel ; Enno Ohlebusch
The Boolean Column and Column-Row Matrix Decompositions / Pauli Miettinen
SkyGraph: An Algorithm for Important Subgraph Discovery in Relational Graphs / Apostolos N. Papadopoulos ; Apostolos Lyritsis ; Yannis Manolopoulos
Adequate Condensed Representations of Patterns / Arnaud Soulet ; Bruno Cremilleux
Two Heads Better Than One: Pattern Discovery in Time-Evolving Multi-aspect Data / Jimeng Sun ; Charalampos E. Tsourakakis ; Evan Hoke ; Christos Faloutsos ; Tina Eliassi-Rad
Regular Papers
TOPTMH: Topology Predictor for Transmembrane [alpha]-Helices / Rezwan Ahmed ; Huzefa Rangwala ; George Karypis
Learning to Predict One or More Ranks in Ordinal Regression Tasks / Jaime Alonso ; Juan Jose del Coz ; Jorge Diez ; Oscar Luaces ; Antonio Bahamonde
Cascade RSVM in Peer-to-Peer Networks / Hock Hee Ang ; Vivekanand Gopalkrishnan ; Steven C.H. Hoi ; Wee Keong Ng
An Algorithm for Transfer Learning in a Heterogeneous Environment / Andreas Argyriou ; Andreas Maurer ; Massimiliano Pontil
Minimum-Size Bases of Association Rules / Jose L. Balcazar
Combining Classifiers through Triplet-Based Belief Functions / Yaxin Bi ; Shengli Wu ; Xuhui Shen ; Pan Xiong
An Improved Multi-task Learning Approach with Applications in Medical Diagnosis / Jinbo Bi ; Tao Xiong ; Shipeng Yu ; Murat Dundar ; R. Bharat Rao
Semi-supervised Laplacian Regularization of Kernel Canonical Correlation Analysis / Matthew B. Blaschko ; Christoph H. Lampert ; Arthur Gretton
Sequence Labelling SVMs Trained in One Pass / Antoine Bordes ; Nicolas Usunier ; Leon Bottou
Semi-supervised Classification from Discriminative Random Walks / Jerome Callut ; Kevin Francoisse ; Marco Saerens ; Pierre Dupont
Learning Bidirectional Similarity for Collaborative Filtering / Bin Cao ; Jian-Tao Sun ; Jianmin Wu ; Qiang Yang ; Zheng Chen
Bootstrapping Information Extraction from Semi-structured Web Pages / Andrew Carlson ; Charles Schafer
Online Multiagent Learning against Memory Bounded Adversaries / Doran Chakraborty ; Peter Stone
Scalable Feature Selection for Multi-class Problems / Boris Chidlovskii ; Loic Lecerf
Learning Decision Trees for Unbalanced Data / David A. Cieslak ; Nitesh V. Chawla
Credal Model Averaging: An Extension of Bayesian Model Averaging to Imprecise Probabilities / Giorgio Corani ; Marco Zaffalon
A Fast Method for Training Linear SVM in the Primal / Trinh-Minh-Tri Do ; Thierry Artieres
On the Equivalence of the SMO and MDM Algorithms for SVM Training / Jorge Lopez ; Alvaro Barbero ; Jose R. Dorronsoro
Nearest Neighbour Classification with Monotonicity Constraints / Wouter Duivesteijn ; Ad Feelders
Modeling Transfer Relationships Between Learning Tasks for Improved Inductive Transfer / Eric Eaton ; Marie desJardins ; Terran Lane
Mining Edge-Weighted Call Graphs to Localise Software Bugs / Frank Eichinger ; Klemens Bohm ; Matthias Huber
Hierarchical Distance-Based Conceptual Clustering / Ana Maria Funes ; Cesar Ferri ; Jose Hernandez-Orallo ; Maria Jose Ramirez-Quintana
Mining Frequent Connected Subgraphs Reducing the Number of Candidates / Andres Gago Alonso ; Jose Eladio Medina Pagola ; Jesus Ariel Carrasco-Ochoa ; Jose Fco. Martinez-Trinidad
Unsupervised Riemannian Clustering of Probability Density Functions / Alvina Goh ; Rene Vidal
Online Manifold Regularization: A New Learning Setting and Empirical Study / Andrew B. Goldberg ; Ming Li ; Xiaojin Zhu
A Fast Algorithm to Find Overlapping Communities in Networks / Steve Gregory
A Case Study in Sequential Pattern Mining for IT-Operational Risk / Valerio Grossi ; Andrea Romei ; Salvatore Ruggieri
Tight Optimistic Estimates for Fast Subgroup Discovery / Henrik Grosskreutz ; Stefan Ruping ; Stefan Wrobel
Watch, Listen & Learn: Co-training on Captioned Images and Videos / Sonal Gupta ; Joohyun Kim ; Kristen Grauman ; Raymond Mooney
Parameter Learning in Probabilistic Databases: A Least Squares Approach / Bernd Gutmann ; Angelika Kimmig ; Kristian Kersting ; Luc De Raedt
Improving k-Nearest Neighbour Classification with Distance Functions Based on Receiver Operating Characteristics / Md. Rafiul Hassan ; M. Maruf Hossain ; James Bailey ; Kotagiri Ramamohanarao
One-Class Classification by Combining Density and Class Probability Estimation / Kathryn Hempstalk ; Eibe Frank ; Ian H. Witten
Efficient Frequent Connected Subgraph Mining in Graphs of Bounded Treewidth / Tamas Horvath ; Jan Ramon
Proper Model Selection with Significance Test / Jin Huang ; Charles X. Ling ; Harry Zhang ; Stan Matwin
A Projection-Based Framework for Classifier Performance Evaluation / Nathalie Japkowicz ; Pritika Sanghi ; Peter Tischer
Suitability Maps Based on the LSP Method / Jozo J. Dujmovic ; Guy De Tre ; Nico Van de Weghe
Aggregated Mean Ratios of an Interval Induced from Aggregation Operations / Yuji Yoshida
WOWA Enhancement of the Preference Modeling in the Reference Point Method / Wlodzimierz Ogryczak
Uninorms and Non-contradiction / Ana Pradera
Choquet Stieltjes Integral, Losonczi's Means and OWA Operators / Vicenc Torra ; Yasuo Narukawa
The Polytope of Fuzzy Measures and Its Adjacency Graph / Elias F. Combarro ; Pedro Miranda
Decision Making
On Consensus Measures in Fuzzy Group Decision Making / F.J. Cabrerizo ; S. Alonso ; I.J. Perez ; E. Herrera-Viedma
SBM and Bipolar Models in Data Envelopment Analysis with Interval Data / Masahiro Inuiguchi ; Fumiki Mizoshita
A Comparison between Two Approaches to Threat Evaluation in an Air Defense Scenario / Fredrik Johansson ; Goran Falkman
Clustering and Similarity
Fuzzy Classification Function of Standard Fuzzy c-Means Algorithm for Data with Tolerance Using Kernel Function / Yuchi Kanzawa ; Yasunori Endo ; Sadaaki Miyamoto
A Similarity Measure for Sequences of Categorical Data Based on the Ordering of Common Elements / Cristina Gomez-Alonso ; Aida Valls
Analytical and Numerical Evaluation of the Suppressed Fuzzy C-Means Algorithm / Laszlo Szilagyi ; Sandor M. Szilagyi ; Zoltan Benyo
Generalized Agglomerative Clustering with Application to Information Systems
Computational Intelligence and Optimization
A Comprehensive Study on Reducts in Dominance-Based Rough Set Approach / Yoshifumi Kusunoki
Graph-Based Active Learning Based on Label Propagation / Jun Long ; Jianping Yin ; Wentao Zhao ; En Zhu
Golden Complementary Dual in Quadratic Optimization / Akifumi Kira ; Seiichi Iwamoto
Data Privacy
A Linear-Time Multivariate Micro-aggregation for Privacy Protection in Uniform Very Large Data Sets / Agusti Solanas ; Roberto Di Pietro
Improving Microaggregation for Complex Record Anonymization / Jordi Pont-Tuset ; Jordi Nin ; Pau Medrano-Gracia ; Josep Ll. Larriba-Pey ; Victor Muntes-Mulero
A Shared Steganographic File System with Error Correction / Josep Domingo-Ferrer ; Maria Bras-Amoros
Author Index
Invited Papers
Toward Elucidating Language Functions in the Brain / Michio Sugeno
Logic for Automated Mechanism Design and Analysis / Michael Wooldridge
Coordination in Multi-Agent Systems: Towards a Technology of Agreement / Sascha Ossowski
Research Papers
Optimistic-Pessimistic Q-Learning Algorithm for Multi-Agent Systems / Natalia Akchurina
How to Program Organizations and Roles in the JADE Framework / Matteo Baldoni ; Guido Boella ; Valerio Genovese ; Roberto Grenna ; Leendert van der Torre
Agent Models for Concurrent Software Systems / Lawrence Cabac ; Till Dorges ; Michael Duvigneau ; Daniel Moldt ; Christine Reese ; Matthias Wester-Ebbinghaus
Filtering Algorithm for Agent-Based Incident Communication Support in Mobile Human Surveillance / Duco N. Ferro ; Catholijn M. Jonker
Joint Equilibrium Policy Search for Multi-Agent Scheduling Problems / Thomas Gabel ; Martin Riedmiller
Making Allocations Collectively: Iterative Group Decision Making under Uncertainty / Christian Guttmann
Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines / Koen Hindriks ; Peter Novak
Knowledge and Strategic Ability for Model Checking: A Refined Approach / Wojciech Jamroga
Agent Learning Instead of Behavior Implementation for Simulations - A Case Study Using Classifier Systems / Franziska Klugl ; Reinhard Hatko ; Martin V. Butz
Providing Integrated Development Environments for Multi-Agent Systems / Simon Lynch ; Keerthi Rajendran
Implementing Organisations in JADE / Cristian Madrigal-Mora ; Esteban Leon-Soto ; Klaus Fischer
A Fair Mechanism for Recurrent Multi-unit Auctions / Javier Murillo ; Victor Munoz ; Beatriz Lopez ; Didac Busquets
Multi-Agent Reinforcement Learning for Intrusion Detection: A Case Study and Evaluation / Arturo Servin ; Daniel Kudenko
Teaching Distributed Artificial Intelligence with RoboRally / Ingo J. Timm ; Tjorben Bogon ; Andreas D. Lattner ; Rene Schumann
Refactoring in Multi Agent System Development / Ali Murat Tiryaki ; Erdem Eser Ekinci ; Oguz Dikenelli
Autonomous Scheduling with Unbounded and Bounded Agents / Chetan Yadati ; Cees Witteveen ; Yingqian Zhang ; Mengxiao Wu ; Han la Poutre
Author Index
Invited Talks
Logic for Automated Mechanism Design and Analysis / Michael Wooldridge
Coordination in Multi-Agent Systems: Towards a Technology of Agreement / Sascha Ossowski
Video Scene Retrieval Using Online Video Annotation / Tomoki Masuda ; Daisuke Yamamoto ; Shigeki Ohira
Spatio-Temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior / Yoshifumi Nishida ; Yoichi Motomura ; Goro Kawakami ; Naoaki Matsumoto ; Hiroshi Mizoguchi
Logic and Engineering of Natural Language Semantics / Part II：
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007 / Kei Yoshimoto
Semantic Heterogeneity in Evidentials / Eric McCready
Acts of Promising in Dynamified Deontic Logic / Tomoyuki Yamada
Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker's Referents, and Semantic Referents / Norihiro Ogata
Inverse Scope as Metalinguistic Quotation in Operational Semantics / Chung-chieh Shan
A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope / Rui Otake
Coordinating and Subordinating Dependencies / Alastair Butler
Left-Peripheral and Sentence-Internal Topics in Japanese / Hiroaki Nakamura
Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach / Masahiro Kobayashi
Breaking Quotations / Emar Maier
A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase / Mana Kobuchi-Philip
A Presuppositional Analysis of Definite Descriptions in Proof Theory / Koji Mineshima
Meaning Games / Koiti Hasida ; Shun Shiramatsu ; Kazunori Komatani ; Tetsuya Ogata ; Hiroshi G. Okuno
Risk Informatics / Part III：
International Workshop on Risk Informatics (RI2007) / Takashi Washio ; Shusaku Tsumoto
Chance Discovery in Credit Risk Management / Shinichi Goda ; Yukio Ohsawa
Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy / Kimiko Matsuoka ; Shigeki Yokoyama ; Kunitomo Watanabe
Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping / Shoji Hirano
Learning with Logics and Logics for Learning / Part IV：
The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007) / Akihiro Yamamoto ; Kouichi Hirata
Mining Maximal Flexible Patterns in a Sequence / Hiroki Arimura ; Takeaki Uno
Computing Characteristic Sets of Bounded Unions of Polynomial Ideals / Itsuo Takamatsu ; Masanori Kobayashi ; Hiroo Tokunaga
Towards a Logical Reconstruction of CF-Induction / Yoshitaka Yamamoto ; Oliver Ray ; Katsumi Inoue
Juris-Informatics / Part V：
First International Workshop on Juris-Informatics / Katsumi Nitta ; Ken Satoh ; Satoshi Tojo
Towards Translation of Legal Sentences into Logical Forms / Makoto Nakamura ; Shunsuke Nobuoka ; Akira Shimazu
Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences / Yasuhiro Ogawa ; Shintaro Inagaki ; Katsuhiko Toyama
Characterized Argument Agent for Training Partner / Takahiro Tanaka ; Norio Maeda ; Daisuke Katagami
Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning / Francesca Toni
Author Index
Awarded Papers / Part I：
Overview of Awarded Papers: The 21st Annual Conference of JSAI / Katashi Nagao
ＥＢ
