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
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
Coordinating Tasks in Agent Organizations
Redesign of Organizations as a Basis for Organizational Change / Mark Hoogendoorn ; Catholijn M. Jonker ; Jan Treur
Modelling and Analyzing Institutions / II:
Specifying and Reasoning About Multiple Institutions / Owen Cliffe ; Marina De Vos ; Julian Padget
Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model / Benjamin Gateau ; Olivier Boissier ; Djamel Khadraoui ; Eric Dubois
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions / Huib Aldewereld
Specification and Verification of Institutions Through Status Functions / Francesco Vigano ; Marco Colombetti
Normative Models and Issues / III:
Spatially Distributed Normative Objects / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Informing Regulatory Dynamics in Open MASs / Carolina Felicissimo ; Ricardo Choren ; Jean-Pierre Briot ; Carlos Lucena
Operationalisation of Norms for Electronic Institutions / Andres Garcia-Camino ; Pablo Noriega ; Juan Antonio Rodriguez-Aguilar ; Carles Sierra
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach / Juan-Antonio Rodriguez-Aguilar ; Wamberto Vasconcelos
An Agent-Based Model for Hierarchical Organizations / Luis Erasmo Montealegre Vazquez ; Fabiola Lopez y Lopez
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems / Dorian Gaertner ; Keith Clark ; Marek Sergot
Norm Evolution and Dynamics / IV:
Towards Self-configuration in Autonomic Electronic Institutions / Eva Bou ; Maite Lopez-Sanchez
Norm Conflicts and Inconsistencies in Virtual Organisations / Martin J. Kollingbaum ; Timothy J. Norman ; Alun Preece ; Derek Sleeman
Using Dynamic Electronic Institutions to Enable Digital Business Ecosystems / Eduard Muntaner-Perich ; Josep Lluis de la Rosa Esteva
A Peer-to-Peer Normative System to Achieve Social Order / Amandine Grizard ; Laurent Vercouter ; Tiberiu Stratulat ; Guillaume Muller
Autonomy, Coordination and Social Order / V:
What Is Commitment? Physical, Organizational, and Social (Revised) / Carl Hewitt
Modelling and Monitoring Social Expectations in Multi-agent Systems / Stephen Cranefield
Influence-Based Autonomy Levels in Agent Decision-Making / Bob van der Vecht ; Andre P. Meyer ; Martijn Neef ; John-Jules Ch. Meyer
Centralized Regulation of Social Exchanges Between Personality-Based Agents / Gracaliz Pereira Dimuro ; Luciano Vargas Goncalves ; Alexandre Hubner
Cooperative Interactions: An Exchange Values Model / Maira R. Rodrigues ; Michael Luck
Author Index
Modelling and Analyzing Organizations / I:
Structural Aspects of the Evaluation of Agent Organizations / Davide Grossi ; Frank Dignum ; Virginia Dignum ; Mehdi Dastani ; Lamber Royakkers
Integrating Trust in Virtual Organisations / Ramon Hermoso ; Holger Billhardt ; Sascha Ossowski
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
Interoperable Bayesian Agents for Collaborative Learning Environments / Elisa Boff ; Elder Rizzon Santos ; Moser S. Fagundes ; Rosa Maria Vicari
Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs / Luis Castillo ; Lluvia Morales ; Arturo Gonzalez-Ferrer ; Juan Fernandez-Olivares ; Oscar Garcia-Perez
On the Initialization of Two-Stage Clustering with Class-GTM / Raul Cruz-Barbosa ; Alfredo Vellido
Three-Dimensional Anisotropic Noise Reduction with Automated Parameter Tuning: Application to Electron Cryotomography / J.J. Fernandez ; S. Li ; V. Lucic
A Middle-Ware for the Automated Composition and Invocation of Semantic Web Services Based on Temporal HTN Planning Techniques / Tomas Garzon ; Francisco Palao
A Multiobjective Approach to Fuzzy Job Shop Problem Using Genetic Algorithms / Ines Gonzalez-Rodriguez ; Jorge Puente ; Camino R. Vela
CTC: An Alternative to Extract Explanation from Bagging / Ibai Gurrutxaga ; Jesus M[superscript a] Perez ; Olatz Arbelaitz ; Javier Muguerza ; Jose I. Martin ; Ander Ansuategi
Ranking Attributes Using Learning of Preferences by Means of SVM / Alejandro Hernandez-Arauzo ; Miguel Garcia-Torres ; Antonio Bahamonde
Improving HLRTA*([kappa]) / Carlos Hernandez ; Pedro Meseguer
Sliding Mode Control of a Wastewater Plant with Neural Networks and Genetic Algorithms / Miguel A. Jaramillo-Moran ; Juan C. Peguero-Chamizo ; Enrique Martinez de Salazar ; Montserrat Garcia del Valle
Efficient Pruning of Operators in Planning Domains / Anders Jonsson
Heuristics for Planning with Action Costs / Emil Keyder
Mixed Narrative and Dialog Content Planning Based on BDI Agents / Carlos Leon ; Samer Hassan ; Pablo Gervas ; Juan Pavon
NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs / R.M. Gasca ; C. Del Valle ; M.T. Gomez-Lopez ; R. Ceballos
Interest Point Detectors for Visual SLAM / Oscar Martinez Mozos ; Arturo Gil ; Monica Ballesta ; Oscar Reinoso
TBL Template Selection: An Evolutionary Approach / Ruy Luiz Milidiu ; Julio Cesar Duarte ; Cicero Nogueira dos Santos
Finiteness Properties of Some Families of GP-Trees / Cesar L. Alonso ; Jose Luis Montana
A Workflow for the Networked Ontologies Lifecycle: A Case Study in FAO of the UN / Oscar Munoz-Garcia ; Asuncion Gomez-Perez ; Marta Iglesias-Sucasas ; Soonho Kim
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance / A. Burrieza ; E. Munoz-Velasco ; M. Ojeda-Aciego
A Solution to the Rural Postman Problem Based on Artificial Ant Colonies / Maria Luisa Perez-Delgado
Olive Fly Infestation Prediction Using Machine Learning Techniques / Jose del Sagrado ; Isabel Maria del Aguila
Feature Selection Based on Sensitivity Analysis / Noelia Sanchez-Marono ; Amparo Alonso-Betanzos
Fitness Function Comparison for GA-Based Feature Construction / Leila S. Shafti ; Eduardo Perez
Generation of OWL Ontologies from Concept Maps in Shallow Domains / Alfredo Simon ; Luigi Ceccaroni ; Alejandro Rosete
Effectiveness Study of Lexically Mapping Two Thesauri / M. Taboada ; R. Lalin ; D. Martinez ; S. Tellado
Author Index
Fast and Informed Action Selection for Planning with Sensing / Alexandre Albore ; Hector Palacios ; Hector Geffner
Stacking Dynamic Time Warping for the Diagnosis of Dynamic Systems / Carlos J. Alonso ; Oscar J. Prieto ; Juan J. Rodriguez ; Anibal Bregon ; Belarmino Pulido
Retrieval of Relevant Concepts from a Text Collection / Henry Anaya-Sanchez ; Rafael Berlanga-Llavori ; Aurora Pons-Porrata
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
Joint Conversation Specification and Compliance / Shamimabi Paurobally ; Michael Wooldridge
Interoperation in Protocol Enactment / Amit K. Chopra ; Munindar P. Singh
Contributed Papers: Modeling
Integrating Agent Models and Dynamical Systems / Tibor Bosse ; Alexei Sharpanskykh ; Jan Treur
Contributed Papers: Goals
Composing High-Level Plans for Declarative Agent Programming / Felipe Meneguzzi ; Michael Luck
Satisfying Maintenance Goals / Koen V. Hindriks ; M. Birna van Riemsdijk
Towards Alternative Approaches to Reasoning About Goals / Patricia H. Shaw ; Rafael H. Bordini
Contributed Papers: Foundational Concepts
Reflections on Agent Beliefs / John W. Lloyd ; Kee Siong Ng
Modeling Agents' Choices in Temporal Linear Logic / Duc Quang Pham ; James Harland ; Michael Winikoff
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints / Martin J. Kollingbaum ; Wamberto Vasconcelos ; Andres García-Camino ; Timothy J. Norman
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
Contributed Papers: Communication
Structured Argumentation in a Mediator for Online Dispute Resolution / Ioan Alfred Letia ; Adrian Groza
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Component-Based Standardisation of Agent Communication / Frank Guerin
Author Index
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Model Driven Development with Mechatronic UML / Wilhelm Schafer
Tutorials
Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use / Alan F. Blackwell
Getting Started with Sketch Tools: A Tutorial on Sketch Recognition Tools / Beryl Plimmer ; Tracy Hammond
Diagram Aesthetics and Layout
General Euler Diagram Generation / Peter Rodgers ; Leishi Zhang ; Andrew Fish
Euler Diagram Decomposition / Jean Flower
Smooth Linear Approximation of Non-overlap Constraints / Graeme Gange ; Kim Marriott ; Peter J. Stuckey
Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs / Helen C. Purchase ; Amanjit Samra
Psychological and Cognitive Issues
An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning / Atsushi Shimojima ; Yasuhiro Katagiri
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help / Krista E. DeLeeuw ; Mary Hegarty
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? / Maithilee Kunda ; Ashok Goel
Visual Thinking with an Interactive Diagram / Colin Ware ; Anne T. Gilman ; Robert J. Bobrow
Applications of Diagrams
Strategy Roadmaps: New Forms, New Practices / Rob Phaal ; Martin Eppler ; Nathan Crilly
VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design / David Ranson ; Peter C.-H. Cheng
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving / Steven L. Tanimoto
Visual Programming with Interaction Nets / Abubakar Hassan ; Ian Mackie ; Jorge Sousa Pinto
Theoretical Aspects
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages / Aidan Delaney ; John Taylor ; Simon Thompson
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design / Koji Mineshima ; Mitsuhiro Okada ; Yuri Sato ; Ryo Takemura
A Normal Form for Euler Diagrams with Shading / Chris John
Ensuring Generality in Euclid's Diagrammatic Arguments / John Mumma
Depicting Negation in Diagrammatic Logic: Legacy and Prospects / Fabien Schang ; Amirouche Moktefi
Diagrams in Education
Transforming Descriptions and Diagrams to Sketches in Information System Design / Barbara Tversky ; James E. Corter ; Jeffrey V. Nickerson ; Doris Zahner ; Yun Jin Rho
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic / Richard Cox ; Robert Dale ; Dave Barker-Plummer
Learning from Animated Diagrams: How Are Mental Models Built? / Richard Lowe ; Jean-Michel Boucheix
Diagrams for the Masses: Raising Public Awareness-from Neurath to Gapminder and Google Earth / Raul Nino Zambrano ; Yuri Engelhardt
Understanding and Comprehension
Detection of Sample Differences from Dot Plot Displays / Lisa A. Best ; Laurence D. Smith ; D. Alan Stubbs
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants / Leonie Bosveld-de Smet ; Mark de Vries
The Effects of Users' Background Diagram Knowledgea and Task Characteristics upon Information Display Selection / Beate Grawemeyer
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines / Cengiz Acarturk ; Christopher Habel ; Kursat Cagiltay
Posters
Talk to the Hand: An Agenda for Further Research on Tactile Graphics / Frances Aldrich
Openproof-A Flexible Framework for Heterogeneous Reasoning / Albert Liu ; Michael Murray ; Nik Swoboda
Cognitive and Semantic Perspectives of Token Representation in Diagrams / Rossano Barone
Estimating Effort for Trend Messages in Grouped Bar Charts / Richard Burns ; Stephanie Elzer ; Sandra Carberry
Types and Programs from Euler Diagrams / James Burton
Diagrams in the UK National School Curriculum / Grecia Garcia Garcia
LePUS3: An Object-Oriented Design Description Language / Epameinondas Gasparis ; Jonathan Nicholson ; Amnon H. Eden
Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture / Benjamin Gorry
Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes / Ronald R. Grau
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs / Sergio Gutierrez ; Darren Pearce ; Eirini Geraniou ; Manolis Mavrikis
A Concept Mapping Tool for Nursing Education / Norio Ishii ; Saori Sakuma
Cognitive Methods for Visualizing Space, Time, and Agents / Angela M. Kessell
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram / Peter Khooshabeh ; Madeleine Keehner ; Cheryl Cohen
A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically / Yohei Kurata
Supporting Relational Processing in Complex Animated Diagrams
Animated Cladograms: Interpreting Evolution from Diagrams / Camillia Matuk
Automatic Diagram Drawing Based on Natural Language Text Understanding / Anirban Mukherjee ; Utpal Garain
Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall / Gisella Paoletti ; Sara Rigutti
Diagrammatic Logic of Existential Graphs: A Case Study of Commands / Ahti-Veikko Pietarinen
Diagrammatic Reasoning in Separation Logic / M. Ridsdale ; M. Jamnik ; N. Benton ; J. Berdine
Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms / Sumanta Sarathi Sharma
The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition / Brandie M. Stewart ; Aren C. Hunter
Using MusicXML to Evaluate Accuracy of OMR Systems / Mariusz Szwoch
Aestheticization of Flowcharts / Wioleta Szwoch
Towards Diagrammatic Patterns / Merete Skjelten Tveit
Visualizing Meaning: Literacy Materials for Dyslexic Children / Myra Thiessen
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction / Julie Tolmie
School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving / Yuri Uesaka ; Emmanuel Manalo
Author Index
Keynote Reflections
Heterogeneous Reasoning / John Etchemendy
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity / W. Bradford Paley
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
Visual Digest Networks / Yang Cai ; Guillaume Milcent ; Ludmila Marian
Virtual Humans / Part II:
Biomedical Modeling in Tele-Immersion / Zhuming Ai ; Raymond Evenhouse ; Jason Leigh ; Fady Charbel ; Mary L. Rasmussen
Virtual Fit Study of Pediatric Heart Assist System / Arielle Drummond ; James Antaki
Virtual Clinical Therapy / Giuseppe Riva ; Andrea Gaggioli
Virtual Human Problem-Solving Environments / Richard C. Ward ; Line C. Pouchard ; Nancy B. Munro ; Sarah K. Fischer
Biomechanical Modeling from In-Vivo Data / Luigi Bertozzi ; Rita Stagni ; Silvia Fantozzi ; Angelo Cappello
Human Forms / Part III:
Natural Form Modeling / Douglas D. Robertson ; Gulshan B. Sharma
Augmented Privacy with Virtual Humans / Iryna Pavlyshak ; Joseph Laws ; Ryan Magargle ; James Hoburg
3D Facial Recognition with Soft Computing / Yeung-Hak Lee ; Chang-Wook Han ; Tae-Sun Kim
Author Index
Human Dynamics / Part I:
Implantable Computing / Kevin Warwick ; Mark Gasson
Brainwave-Based Imagery Analysis / Andrew J. Cowell ; Kelly Hale ; Chris Berka ; Sven Fuchs ; Angela Baskin ; David Jones ; Gene Davis ; Robin Johnson ; Robin Fatch ; Eric Marshall
On Iterative Algorithms with an Information Geometry Background / Imre Csiszar
Visual Analytics: Combining Automated Discovery with Interactive Visualizations / Daniel A. Keim ; Florian Mansmann ; Daniela Oelke ; Hartmut Ziegler
Some Mathematics Behind Graph Property Testing / Laszlo Lovasz
Finding Total and Partial Orders from Data for Seriation / Heikki Mannila
Computational Models of Neural Representations in the Human Brain / Tom M. Mitchell
Learning
Unsupervised Classifier Selection Based on Two-Sample Test / Timo Aho ; Tapio Elomaa ; Jussi Kujala
An Empirical Investigation of the Trade-Off between Consistency and Coverage in Rule Learning Heuristics / Frederik Janssen ; Johannes Furnkranz
Learning Model Trees from Data Streams / Elena Ikonomovska ; Joao Gama
Empirical Asymmetric Selective Transfer in Multi-objective Decision Trees / Beau Piccart ; Jan Struyf ; Hendrik Blockeel
Ensemble-Trees: Leveraging Ensemble Power Inside Decision Trees / Albrecht Zimmermann
A Comparison between Neural Network Methods for Learning Aggregate Functions / Werner Uwents
Feature Selection
Smoothed Prediction of the Onset of Tree Stem Radius Increase Based on Temperature Patterns / Mikko Korpela ; Harri Makinen ; Mika Sulkava ; Pekka Nojd ; Jaakko Hollmen
Feature Selection in Taxonomies with Applications to Paleontology / Gemma C. Garriga ; Antti Ukkonen
Associations
Deduction Schemes for Association Rules / Jose L. Balcazar
Constructing Iceberg Lattices from Frequent Closures Using Generators / Laszlo Szathmary ; Petko Valtchev ; Amedeo Napoli ; Robert Godin
Discovery Processes
Learning from Each Other / Christopher Dartnell ; Eric Martin ; Jean Sallantin
Comparative Evaluation of Two Systems for the Visual Navigation of Encyclopedia Knowledge Spaces / Wolfgang Kienreich ; Peter Kraker
A Framework for Knowledge Discovery in a Society of Agents / Gauvain Bourgne ; Vincent Corruble
Learning and Chemistry
Active Learning for High Throughput Screening / Kurt De Grave ; Jan Ramon ; Luc De Raedt
An Efficiently Computable Graph-Based Metric for the Classification of Small Molecules / Leander Schietgat ; Maurice Bruynooghe
Mining Intervals of Graphs to Extract Characteristic Reaction Patterns / Frederic Pennerath ; Geraldine Polaillon
Clustering
Refining Pairwise Similarity Matrix for Cluster Ensemble Problem with Cluster Relations / Natthakan Iam-on ; Tossapon Boongoen ; Simon Garrett
Input Noise Robustness and Sensitivity Analysis to Improve Large Datasets Clustering by Using the GRID / Alberto Faro ; Daniela Giordano ; Francesco Maiorana
An Integrated Graph and Probability Based Clustering Framework for Sequential Data / Haytham Elghazel ; Tetsuya Yoshida ; Mohand-Said Hacid
Cluster Analysis in Remote Sensing Spectral Imagery through Graph Representation and Advanced SOM Visualization / Kadim Tasdemir ; Erzsebet Merenyi
Structured Data
Mining Unordered Distance-Constrained Embedded Subtrees / Fedja Hadzic ; Henry Tan ; Tharam Dillon
Finding Frequent Patterns from Compressed Tree-Structured Data / Seiji Murakami ; Koichiro Doi ; Akihiro Yamamoto
A Modeling Approach Using Multiple Graphs for Semi-Supervised Learning / Akihiko Izutani ; Kuniaki Uehara
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data / Mohamed Hacene Rouane ; Marianne Huchard ; Amedeo Napoli ; Petko Valtchev
Computing Intensions of Digital Library Collections / Carlo Meghini ; Nicolas Spyratos
Custom Asymmetric Page Split Generalized Index Search Trees and Formal Concept Analysis / Ben Martin
The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees / Sebastien Ferre
A Parameterized Algorithm for Exploring Concept Lattices / Peggy Cellier ; Olivier Ridoux ; Mireille Ducasse
About the Lossless Reduction of the Minimal Generator Family of a Context / Tarek Hamrouni ; Sadok Ben Yahia ; Engelbert Mephu Nguifo
Some Notes on Pseudo-closed Sets / Sebastian Rudolph
Performances of Galois Sub-hierarchy-building Algorithms / Gabriela Arevalo ; Anne Berry ; Guillaume Perrot ; Alain Sigayret
Galois Connections Between Semimodules and Applications in Data Mining / Francisco J. Valverde-Albacete ; Carmen Pelaez-Moreno
On Multi-adjoint Concept Lattices: Definition and Representation Theorem / Jesus Medina ; Manuel Ojeda-Aciego ; Jorge Ruiz-Calvino
Base Points, Non-unit Implications, and Convex Geometries / Heiko Reppe
Lattices of Relatively Axiomatizable Classes / Dmitry E. Pal'chunov
A Solution of the Word Problem for Free Double Boolean Algebras / Bjorn Vormbrock
On the MacNeille Completion of Weakly Dicomplemented Lattices / Leonard Kwuida ; Branimir Seselja ; Andreja Tepavcevic
Polynomial Embeddings and Representations / Tim Becker
The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices
Bipartite Ferrers-Graphs and Planar Concept Lattices / Christian Zschalig
Author Index
Relational Galois Connections / Bernhard Ganter
Semantology as Basis for Conceptual Knowledge Processing / Peter Eklund ; Rudolf Wille
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets / Marie Agier ; Jean-Marc Petit
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Intelligent Software Engineering Tools for NASA's Crew Exploration Vehicle / Michael Lowry
Knowledge Discovery and Data Mining - Foundations
Boosting Support Vector Machines for Imbalanced Data Sets / Benjamin X. Wang ; Nathalie Japkowicz
Class-Oriented Reduction of Decision Tree Complexity / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Evaluating Decision Trees Grown with Asymmetric Entropies / Simon Marcellin ; Djamel A. Zighed ; Gilbert Ritschard
Stepwise Induction of Logistic Model Trees / Annalisa Appice ; Michelangelo Ceci ; Donato Malerba ; Savino Saponara
Stochastic Propositionalization for Efficient Multi-relational Learning / N. Di Mauro ; T.M.A. Basile ; S. Ferilli ; F. Esposito
Analyzing Behavior of Objective Rule Evaluation Indices Based on Pearson Product-Moment Correlation Coefficient / Hidenao Abe ; Shusaku Tsumoto
Knowledge Discovery and Data Mining - Advances
Obtaining Low-Arity Discretizations from Online Data Streams / Tapio Elomaa ; Petri Lehtinen ; Matti Saarela
Maps Ensemble for Semi-Supervised Learning of Large High Dimensional Datasets / Elie Prudhomme ; Stephane Lallich
Mining Induced and Embedded Subtrees in Ordered, Unordered, and Partially-Ordered Trees / Aida Jimenez
A Structure-Based Clustering on LDAP Directory Information / Vassiliki Koutsonikola ; Athena Vakali ; Antonios Mpalasas ; Michael Valavanis
iZi: A New Toolkit for Pattern Mining Problems / Frederic Flouvat ; Fabien De Marchi ; Jean-Marc Petit
A Multi-relational Hierarchical Clustering Method for Datalog Knowledge Bases / Nicola Fanizzi ; Claudia d'Amato ; Floriana Esposito
Laredam - Considerations on System of Local Analytical Reports from Data Mining / Jan Rauch ; Milan Simunek
Outlier Detection Techniques for Process Mining Applications / Lucantonio Ghionna ; Gianluigi Greco ; Antonella Guzzo ; Luigi Pontieri
Knowledge Discovery and Data Mining - Mining Changes and Actionable Patterns
Action Rule Extraction from a Decision Table: ARED / Seunghyun Im ; Zbigniew W. Ras
Discovering the Concise Set of Actionable Patterns / Li-Shiang Tsay
Discovering Emerging Patterns for Anomaly Detection in Network Connection Data / Costantina Caruso
Temporal Extrapolation within a Static Clustering / Tim K. Cocx ; Walter A. Kosters ; Jeroen F.J. Laros
Discovering Explanations from Longitudinal Data / Corrado Loglisci
Logic for Artificial Intelligence
Reduced Implicate/Implicant Tries / Neil V. Murray ; Erik Rosenthal
Golden Ratio Annealing for Satisfiability Problems Using Dynamically Cooling Schemes / Juan Frausto-Solis ; Felix Martinez-Rios
Modeling Cooperation in P2P Data Management Systems / Luciano Caroprese ; Ester Zumpano
Interactions between Rough Parts in Object Perception / Andrzej W. Przybyszewski
Autonomic and Evolutionary Computation
A Multi-objective Optimal Approach for UAV Routing in Reconnaissance Mission with Stochastic Observation Time / Xingguang Peng ; Xiaoguang Gao
Hybrid Unsupervised/Supervised Virtual Reality Spaces for Visualizing Gastric and Liver Cancer Databases: An Evolutionary Computation Approach / Alan J. Barton ; Julio J. Valdes
Self-calibrating Strategies for Evolutionary Approaches that Solve Constrained Combinatorial Problems / Elizabeth Montero ; Maria-Cristina Riff
Soft Computing
Towards Fuzzy Query Answering Using Fuzzy Views - A Graded-Subsumption-Based Approach / Allel Hadjali ; Olivier Pivert
Term Distribution-Based Initialization of Fuzzy Text Clustering / Krzysztof Ciesielski ; Mieczyslaw A. Klopotek ; Slawomir T. Wierzchon
Cooperative Answering to Flexible Queries Via a Tolerance Relation / Patrick Bosc
Effectiveness of Fuzzy Discretization for Class Association Rule-Based Classification / Keivan Kianmehr ; Mohammed Alshalalfa ; Reda Alhajj
Towards a Crisp Representation of Fuzzy Description Logics under Lukasiewicz Semantics / Fernando Bobillo ; Umberto Straccia
Rough Set Approximations in Formal Concept Analysis and Knowledge Spaces / Feifei Xu ; Yiyu Yao ; Duoqian Miao
An Ant Colony System Algorithm to Solve Routing Problems Applied to the Delivery of Bottled Products / Laura Cruz Reyes ; Jose F. Delgado Orta ; Juan J. Gonzalez Barbosa ; Jose Torres Jimenez ; Hector J. Fraire Huacuja ; Barbara A. Arranaga Cruz
Databases and Data Warehouses
Predicate Indexing for Incremental Multi-Query Optimization / Chun Jin ; Jaime Carbonell
SQL Queries with CASE Expressions / Jarek Gryz ; Qiong Wang ; Xiaoyan Qian ; Calisto Zuzarte
Top-Down Compression of Data Cubes in the Presence of Simultaneous Multiple Hierarchical Range Queries / Alfredo Cuzzocrea
Degrees of Exclusivity in Disjunctive Databases / Navin Viswanath ; Rajshekhar Sunderraman
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL / Nikos Papadakis ; Dimitris Plexousakis ; Grigoris Antoniou ; Manolis Daskalakis ; Yannis Christodoulou
Decision Tree Induction for Identifying Trends in Line Graphs / Peng Wu ; Sandra Carberry ; Daniel Chester ; Stephanie Elzer
Automatic Handling of Digital Image Repositories: A Brief Survey
Development of the XML Digital Library from the Parliament of Andalucia for Intelligent Structured Retrieval / Juan M. Fernandez-Luna ; Juan F. Huete ; Manuel Gomez ; Carlos J. Martin-Dancausa
Intelligent Information Retrieval
Evaluating Information Retrieval System Performance Based on Multi-grade Relevance / Bing Zhou
A Dynamic Window Based Passage Extraction Algorithm for Genomics Information Retrieval / Qinmin Hu ; Xiangji Huang
Mining Scalar Representations in a Non-tagged Music Database / Rory A. Lewis ; Wenxin Jiang
Identification of Dominating Instrument in Mixes of Sounds of the Same Pitch / Alicja Wiezcorkowska ; Elzbieta Kolczynska
Performance Weights for the Linear Combination Data Fusion Method in Information Retrieval / Shengli Wu ; Qili Zhou ; Yaxin Bi ; Xiaoqin Zeng
Combining Multiple Sources of Evidence in Web Information Extraction / Martin Labsky ; Vojtech Svatek
Text Mining
Autonomous News Clustering and Classification for an Intelligent Web Portal / Traian Rebedea ; Stefan Trausan-Matu
On Determining the Optimal Partition in Agglomerative Clustering of Documents / Ahmad El Sayed ; Hakim Hacid ; Djamel Zighed
Ontological Summaries through Hierarchical Clustering / Troels Andreasen ; Henrik Bulskov ; Thomas Vestskov Terney
Classification of Web Services Using Tensor Space Model and Rough Ensemble Classifier / Suman Saha ; C.A. Murthy ; Sankar K. Pal
Intelligent Information Systems
Agent-Based Assistant for e-Negotiations / Simone A. Ludwig
Local Soft Belief Updating for Relational Classification / Guoli Ding ; R.F. Lax ; Jianhua Chen ; Peter Chen ; Brian D. Marx
On a Probabilistic Combination of Prediction Sources / Ioannis Rousidis ; George Tzagkarakis ; Yannis Tzitzikas
Effective Document-Oriented Telemetry Data Compression / David Maluf ; Chen-jung Hsu ; Peter Tran ; David Tran
Knowledge Representation and Integration
Improving Integration with Subjective Combining of Ontology Mappings / Dennis Hooijmaijers ; Markus Stumptner
Text Onto Miner - A Semi Automated Ontology Building System / Piotr Gawrysiak ; Grzegorz Protaziuk ; Henryk Rybinski ; Alexandre Delteil
Ontology-Driven Adaptive Medical Information Collection System / Matt-Mouley Bouamrane ; Alan Rector ; Martin Hurrell
An Effective Ontology Matching Technique / Ahmed Alasoud ; Volker Haarslev ; Nematollaah Shiri
A Causal Approach for Explaining Why a Heuristic Algorithm Outperforms Another in Solving an Instance Set of the Bin Packing Problem / Joaquin Perez ; Laura Cruz ; Rodolfo Pazos ; Vanesa Landero ; Gerardo Reyes ; Crispin Zavala ; Hector Fraire ; Veronica Perez
Web Service and Intelligence
A Graph b-Coloring Based Method for Composition-Oriented Web Services Classification / Lyes Dekar ; Hamamache Kheddouci
OWL-S Atomic Services Composition with SWRL Rules / Domenico Redavid ; Luigi Iannone ; Terry Payne ; Giovanni Semeraro
A Web-Based Interface for Hiding Bayesian Network Inference / C.J. Butz ; P. Lingras ; K. Konkel
Applications
Extraction of Informative Genes from Integrated Microarray Data / Dongwan Hong ; Jongkeun Lee ; Sangkyoon Hong ; Jeehee Yoon ; Sanghyun Park
Using Data Mining for Dynamic Level Design in Games / Kitty S.Y. Chiu ; Keith C.C. Chan
A Logic Programming Based Framework for Security Protocol Verification / Shujing Wang ; Yan Zhang
Applying Cost Sensitive Feature Selection in an Electric Database / Manuel Mejia-Lavalle
Author Index
Invited Papers
From Goals to High-Variability Software Design / Yijun Yu ; Alexei Lapouchnian ; Sotirios Liaskos ; John Mylopoulos ; Julio C.S.P. Leite
Exploring the Power of Heuristics and Links in Multi-relational Data Mining / Xiaoxin Yin ; Jiawei Han
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
Reduction Based Symbolic Value Partition / Fan Min ; Qihe Liu ; Chunlan Fang ; Jianzhong Zhang
Investigative Data Mining for Counterterrorism / Muhammad Akram Shaikh ; Jiaxin Wang ; Hongbo Liu ; Yixu Song
Data Integration Using Lazy Types / Nicolas Marin ; Maria Amparo Vila
Data Generalization Algorithm for the Extraction of Road Horizontal Alignment Design Elements Using the GPS/INS Data / Sunhee Choi ; Junggon Sung
Personalized E-Learning Process Using Effective Assessment and Feedback / Cheonshik Kim ; Myunghee Jung ; Shaikh Muhammad Allayear ; Sung Soon Park
Optimally Pricing European Options with Real Distributions / Chieh-Chung Sheng ; Hsiao-Ya Chiu ; An-Pin Chen
Applying Stated Preference Methods to Investigate Effects of Traffic Information on Route Choice / Hye-Jin Cho ; Kangsoo Kim
A Study on Determining the Priorities of ITS Services Using Analytic Hierarchy and Network Processes / Byung Doo Jung ; Young-in Kwon ; Hyun Kim ; Seon Woo Lee
An Introduction of Indicator Variables and Their Application to the Characteristics of Congested Traffic Flow at the Merge Area / Sang-Gu Kim ; Youngho Kim ; Taewan Kim ; YoungTae Son
Imaging, Speech, and Complex Data
Image Resize Application of Novel Stochastic Methods of Function Recovery / Daniel Howard ; Joseph Kolibal
Automatic Face Analysis System Based on Face Recognition and Facial Physiognomy / Eung-Joo Lee ; Ki-Ryong Kwon
Moving Cast Shadow Elimination Algorithm Using Principal Component Analysis in Vehicle Surveillance Video / Wooksun Shin ; Jongseok Um ; Doo Heon Song ; Changhoon Lee
Automatic Marker-Driven Three Dimensional Watershed Transform for Tumor Volume Measurement / Yong-su Chae ; Desok Kim
A Study on the Medical Image Transmission Service Based on IEEE 802.15.4a / Yang-Sun Lee ; Jae-Min Kwak ; Sung-Eon Cho ; Ji-Woong Kim ; Heau-Jo Kang
Detecting Image Based Spam Email / Wanli Ma ; Dat Tran ; Dharmendra Sharma
Efficient Fixed Codebook Search Method for ACELP Speech Codecs / Eung-Don Lee ; Jae-Min Ahn
Conventional Beamformer Using Post-filter for Speech Enhancement / Soojeong Lee ; Kiho Choi ; Soonhyob Kim
Bandwidth Extension of a Narrowband Speech Coder for Music Delivery over IP / Young Han Lee ; Hong Kook Kim ; Mi Suk Lee ; Do Young Kim
A User-Oriented GIS Search Service Using Ontology in Location-Based Services / Hyunsuk Hwang ; Seonghyun Shin ; Changsoo Kim
A Filtered Retrieval Technique for Structural Information / Young-Ho Park ; Yong-Ik Yoon ; Jong-Woo Lee
Applications of Artificial Intelligence
An Analysis of a Lymphoma/Leukaemia Dataset Using Rough Sets and Neural Networks / Kenneth Revett ; Marcin Szczuka
A Frequency Adaptive Packet Wavelet Coder for Still Images Using CNN / N. Venkateswaran ; J. Vignesh ; S. Santhosh Kumar ; S. Rahul ; M. Bharadwaj
Reduced RBF Centers Based Multi-user Detection in DS-CDMA Systems / Jungsik Lee ; Ravi Sankar ; Jaejeong Hwang
Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic Algorithm and Neural Network Approach / Kwang-Kyu Seo ; Won-Ki Kim
A Solution for Bi-level Network Design Problem Through Nash Genetic Algorithm / Jong Ryul Kim ; Jung Bok Jo ; Hwang Kyu Yang
An Alternative Measure of Public Transport Accessibility Based on Space Syntax / Chulmin Jun ; Jay Hyoun Kwon ; Yunsoo Choi ; Impyeong Lee
Adaptive Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS / Sung-Soo Kim ; Seung B. Ahn
Particle Swarm Optimization for a Multi-UCAV Cooperative Task Scheduling / Xiaohua Huo ; Lincheng Shen ; Tao Long
Expert System Using Fuzzy Petri Nets in Computer Forensics / Hyun-Uk Hwang ; Min-Soo Kim ; Bong-Nam Noh
MMORPG Map Evaluation Using Pedestrian Agents / Christian Anthony L. Go ; Tristan Basa ; Won-Hyung Lee
The Analysis of Game Playing Experiences: Focusing on Massively Multiplayer Online Role-Playing Game / Seungkeun Song ; Joohyeon Lee ; Jun Jo
Hybrid, Smart, and Ubiquitous Systems
How to Overcome Main Obstacles to Building a Virtual Telematics Center / Bong Gyou Lee
Real-Time Travel Time Estimation Using Automatic Vehicle Identification Data in Hong Kong / Mei Lam Tam ; William H.K. Lam
A Context-Aware Elevator Scheduling System for Smart Apartment Buildings / Ohhoon Kwon ; Hyokyung Bahn ; Kern Koh
A MOM-Based Home Automation Platform / Chun-Yuan Chen ; Chi-Huang Chiu ; Shyan-Ming Yuan
An Error Sharing Agent for Multimedia Collaboration Environment Running on Pervasive Networks / Eung Nam Ko
A Hybrid Intelligent Multimedia Service Framework in Next Generation Home Network Environment / Jong Hyuk Park ; Jungsuk Song ; Byoung-Soo Koh ; Deok-Gyu Lee ; Byoung-Ha Park
Integration of Artificial Market Simulation and Text Mining for Market Analysis / Kiyoshi Izumi ; Hiroki Matsui ; Yutaka Matsuo
Agent-Based Intelligent Decision Support for the Home Healthcare Environment / Louie Cervantes ; Yong-Seok Lee ; Hyunho Yang ; Sung-hyun Ko ; Jaewan Lee
An Aware-Environment Enhanced Group Home: AwareRium / Hideaki Kanai ; Toyohisa Nakada ; Goushi Tsuruma ; Susumu Kunifuji
The Situation Dependent Application Areas of EPC Sensor Network in u-Healthcare / Yoonmin Hwang ; Garam Park ; Eunji Ahn ; Jaejeung Rho ; Jonwoo Sung ; Daeyoung Kim
Ubiquitous Healthcare System Using Context Information Based on the DOGF / Chang-Sun Shin ; Dong-In Ahn ; Dong-Seok Kim ; Su-Chong Joo
Hardware and Software Engineering
Load Balancing Using Dynamic Replication Scheme for the Distributed Object Group / Romeo Mark A. Mateo ; Marley Lee
Design and Implementation of a Performance Analysis and Visualization Toolkit for Cluster Environments / Tien-Hsiung Weng ; Hsiao-Hsi Wang ; Tsung-Ying Wu ; Ching-Hsien Hsu ; Kuan-Ching Li
Enterprise Application Framework for Constructing Secure RFID Application / Hyundong Lee ; Kiyeal Lee ; Mokdong Chung
A GDB-Based Real-Time Tracing Tool for Remote Debugging of SoC Programs / Myeong-Chul Park ; Young-Joo Kim ; In-Geol Chun ; Seok-Wun Ha ; Yong-Kee Jun
A Novel Buffer Cache Scheme Using Java Card Object with High Locality for Efficient Java Card Applications / Won-Ho Choi ; Ha-Yong Jeon ; Rhys Rosholt ; Gwang Jung ; Min-Soo Jung
Design and Implementation of the Decompiler for Virtual Machine Code of the C++ Compiler in the Ubiquitous Game Platform / YangSun Lee ; YoungKeun Kim ; HyeokJu Kwon
Mobile Pharmacology / Patrik Eklund ; Johan Karlsson ; Annica Naslund
Wireless Control System for Pet Dogs in a Residential Environment / Ji-Won Jung ; Dong-Sung Kim
Intelligent Embedded Real-Time Software Architecture for Dynamic Skill Selection and Identification in Multi-shaped Robots / Laxmisha Rai ; Soon Ju Kang
Networking and Telecommunications
The Accurate Performance Evaluation of Time Hopping UWB Systems with Pulse Based Polarity / Jang-Woo Park ; Kyung-Ryoung Cho ; Nam-Hong Jo
Improvement of Adaptive Modulation System with Optimal Turbo Coded V-BLAST Technique / Kyunghwan Lee ; Kwangwook Choi ; Sangjin Ryoo ; Kyoungwon Lee ; Mingoo Kang ; Intae Hwang ; Taejin Jung ; Daejin Kim ; Cheolsung Kim
Header Compression of RTP/UDP/IP Packets for Real Time High-Speed IP Networks / Kyung-shin Kim ; Moon-sik Kang ; In-tae Ryoo
Repetition Coding Aided Time-Domain Cancellation for Inter-Carrier Interference Reduction in OFDM Systems / Jeong-Wook Seo ; Won-Gi Jeon ; Jong-Ho Paik ; Dong-Ku Kim
On Scheduling Transmissions for Hidden Terminal Problems in Dynamic RFID Systems
Efficient RFID Authentication Protocol for Minimizing RFID Tag Computation / Keunwoo Rhee ; Jin Kwak ; Wan S. Yi ; Chanho Park ; Sangjoon Park ; Hyungkyu Yang ; Seungjoo Kim ; Dongho Won
Design of WLAN Secure System Against Weaknesses of the IEEE 802.1x / Seong-pyo Hong ; Jong-an Park ; Seung-jo Han ; Jae-young Pyun ; Joon Lee
A Sophisticated Base Station Centralized Simple Clustering Protocol for Sensor Networks / Giljae Lee ; Yoonjoo Kwon ; Woojin Seok ; Jaiseung Kwak ; Okhwan Byeon
Plus-Tree: A Routing Protocol for Wireless Sensor Networks / Yongsuk Park ; Eun-Sun Jung
Optimization and Routing Discovery for Ad Hoc Wireless Networks: A Cross Layer Approach / Reizel Casaquite ; Won-Joo Hwang
Analysis of the Characteristics of Rain Attenuation in the 12.25GHz Band for Wireless Networking / Dong You Choi
Author Index
Data Analysis, Modelling, and Learning
Taking Class Importance into Account / Jose-Luis Polo ; Fernando Berzal ; Juan-Carlos Cubero
Tolerance Based Templates for Information Systems: Foundations and Perspectives / Piotr Synak ; Dominik Slezak
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
Pronoun Resolution and the Influence of Syntactic and Semantic Information on Discourse Prominence / Ralph Rose
Language Analysis and Representation
Anaphora Resolution as Equality by Default / Ariel Cohen
Null Subjects Are Reflexives, Not Pronouns / Antonio Branco
Using Very Large Parsed Corpora and Judgment Data to Classify Verb Reflexivity / Erik-Jan Smits ; Petra Hendriks ; Jennifer Spenader
An Empirical Investigation of the Relation Between Coreference and Quotations: Can a Pronoun Located in Quotations Find Its Referent? / Shana Watters ; Jeanette Gundel
Resolution Methodology and Algorithms
Applying Backpropagation Networks to Anaphor Resolution / Roland Stuckardt
Improving Coreference Resolution Using Bridging Reference Resolution and Automatically Acquired Synonyms / Ryohei Sasano ; Daisuke Kawahara ; Sadao Kurohashi
Evaluating Hybrid Versus Data-Driven Coreference Resolution / Iris Hendrickx ; Veronique Hoste ; Walter Daelemans
Computational Systems and Applications
Automatic Anaphora Resolution for Norwegian (ARN) / Gordana Ilic Holen
"Who Are We Talking About?" Tracking the Referent in a Question Answering Series / Matteo Negri ; Milen Kouylekov
Anaphora Resolution: To What Extent Does It Help NLP Applications? / Ruslan Mitkov ; Richard Evans ; Constantin Orasan ; Le An Ha ; Viktor Pekar
Author Index
Human Processing and Performance
Nuclear Accent Placement and Other Prosodic Parameters as Cues to Pronoun Resolution / Ekaterina Jasinskaja ; Ulrike Kolsch ; Jorg Mayer
Empirically Assessing Effects of the Right Frontier Constraint / Anke Holler ; Lisa Irmen
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
Neural Correlates of Anticipation in Cerebellum, Basal Ganglia, and Hippocampus / Jason G. Fleischer
The Role of Anticipation in the Emergence of Language / Samarth Swarup ; Les Gasser
Superstition in the Machine / Alexander Riegler
Individual Anticipatory Frameworks
From Actions to Goals and Vice-Versa: Theoretical Analysis and Models of the Ideomotor Principle and TOTE / Cristiano Castelfranchi ; Joachim Hoffmann
Project "Animat Brain": Designing the Animat Control System on the Basis of the Functional Systems Theory / Vladimir G. Red'ko ; Konstantin V. Anokhin ; Mikhail S. Burtsev ; Alexander I. Manolov ; Oleg P. Mosalov ; Valentin A. Nepomnyashchikh ; Danil V. Prokhorov
Cognitively Inspired Anticipatory Adaptation and Associated Learning Mechanisms for Autonomous Agents / Aregahegn Negatu ; Sidney D'Mello ; Stan Franklin
Schema-Based Design and the AKIRA Schema Language: An Overview / Gianguglielmo Calvi
Learning Predictions and Anticipations
Training and Application of a Visual Forward Model for a Robot Camera Head / Wolfram Schenck ; Ralf Moller
A Distributed Computational Model of Spatial Memory Anticipation During a Visual Search Task / Jeremy Fix ; Julien Vitay ; Nicolas P. Rougier
A Testbed for Neural-Network Models Capable of Integrating Information in Time / Stefano Zappacosta ; Stefano Nolfi
Construction of an Internal Predictive Model by Event Anticipation / Philippe Capdepuy ; Daniel Polani ; Chrystopher L. Nehaniv
Anticipatory Individual Behavior
The Interplay of Analogy-Making with Active Vision and Motor Control in Anticipatory Robots / Kiril Kiryazov ; Georgi Petkov ; Maurice Grinberg ; Boicho Kokinov ; Christian Balkenius
An Intrinsic Neuromodulation Model for Realizing Anticipatory Behavior in Reaching Movement Under Unexperienced Force Fields / Toshiyuki Kondo ; Koji Ito
Anticipating Rewards in Continuous Time and Space: A Case Study in Developmental Robotics / Arnaud J. Blanchard ; Lola Canamero
Anticipatory Model of Musical Style Imitation Using Collaborative and Competitive Reinforcement Learning / Arshia Cont ; Shlomo Dubnov ; Gerard Assayag
Anticipatory Social Behavior
An Anticipatory Trust Model for Open Distributed Systems / Mario Gomez ; Javier Carbo ; Clara Benac-Earle
Anticipatory Alignment Mechanisms for Behavioral Learning in Multi Agent Systems / Gerben G. Meyer ; Nick B. Szirbik
Backward vs. Forward-Oriented Decision Making in the Iterated Prisoner's Dilemma: A Comparison Between Two Connectionist Models / Emilian Lalev
An Experimental Study of Anticipation in Simple Robot Navigation / Birger Johansson
Author Index
Introduction
Anticipations, Brains, Individual and Social Behavior: An Introduction to Anticipatory Systems / Martin V. Butz ; Olivier Sigaud ; Giovanni Pezzulo ; Gianluca Baldassarre
Anticipatory Aspects in Brains, Language, and Cognition
Trajectory-Based Representation of Human Actions / Antonios Oikonomopoulos ; Ioannis Patras ; Nikos Paragios
Modelling the Communication Atmosphere: A Human Centered Multimedia Approach to Evaluate Communicative Situations / Tomasz M. Rutkowski ; Danilo P. Mandic
Modeling Influence Between Experts / Wen Dong
Anthropocentric Interaction Models for Human Computing / Part III:
Social Intelligence Design and Human Computing / Toyoaki Nishida
Feedback Loops in Communication and Human Computing / Rieks op den Akker ; Dirk Heylen
Evaluating the Future of HCI: Challenges for the Evaluation of Emerging Applications / Ronald Poppe ; Rutger Rienks ; Betsy van Dijk
Gaze-X: Adaptive, Affective, Multimodal Interface for Single-User Office Scenarios / Ludo Maat
SmartWeb Handheld - Multimodal Interaction with Ontological Knowledge Bases and Semantic Web Services / Daniel Sonntag ; Ralf Engel ; Gerd Herzog ; Alexander Pfalzgraf ; Norbert Pfleger ; Massimo Romanelli ; Norbert Reithinger
A Learning-Based High-Level Human Computer Interface for Face Modeling and Animation / Volker Blanz
Challenges for Virtual Humans in Human Computing / Dennis Reidsma ; Zsofia Ruttkay
Affect Detection and an Automated Improvisational AI Actor in E-Drama / Li Zhang ; Marco Gillies ; John A. Barnden ; Robert J. Hendley ; Mark G. Lee ; Alan M. Wallington
Author Index
Foundations of Human Computing / Part I:
Foundations of Human Computing: Facial Expression and Emotion / Jeffrey F. Cohn
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
WI Based Multi-aspect Data Analysis in a Brain Informatics Portal / Ning Zhong ; Shinichi Motomura
Agent and Data Mining
Agent-Mining Interaction: An Emerging Area / Longbing Cao ; Chao Luo ; Chengqi Zhang
Evaluating Knowledge Intensive Multi-agent Systems / Christos Dimou ; Andreas L. Symeonidis ; Pericles A. Mitkas
Towards an Ant System for Autonomous Agents / Zoheir Ezziane
Semantic Modelling in Agent-Based Software Development / Peter Graubmann ; Mikhail Roshchin
Combination Methodologies of Multi-agent Hyper Surface Classifiers: Design and Implementation Issues / Qing He ; Xiu-Rong Zhao ; Ping Luo ; Zhong-Zhi Shi
Security in a Mobile Agent Based DDM Infrastructure / Xining Li
Automatic Extraction of Business Rules to Improve Quality in Planning and Consolidation in Transport Logistics Based on Multi-agent Clustering / Igor Minakov ; George Rzevski ; Petr Skobelev ; Simon Volman
Intelligent Agents for Real Time Data Mining in Telecommunications Networks / Luis E. Rocha-Mier ; Leonid Sheremetov ; Ildar Batyrshin
Architecture of Typical Sensor Agent for Learning and Classification Network / Vladimir Samoylov
Self-organizing Multi-agent Systems for Data Mining / Ichiro Satoh
Role-Based Decision Mining for Multiagent Emergency Response Management / Alexander Smirnov ; Mikhail Pashkin ; Tatiana Levashova ; Nikolay Shilov ; Alexey Kashevnik
Agent Competition and Data Mining
Virtual Markets: Q-Learning Sellers with Simple State Representation / Natalia Akchurina ; Hans Kleine Buning
Fusion of Dependence Networks in Multi-agent Systems - Application to Support Net-Enabled Littoral Surveillance / Mohamad K. Allouche ; Eloi Bosse
Multi-agent Framework for Simulation of Adaptive Cooperative Defense Against Internet Attacks / Igor Kotenko ; Alexander Ulanov
On Competing Agents Consistent with Expert Knowledge / Edward Pogossian ; Vachagan Vahradyan ; Arthur Grigoryan
On-Line Agent Teamwork Training Using Immunological Network Model / Lev Stankevich ; Denis Trotsky
Text Mining, Semantic Web, and Agents
Combination of Rough Sets and Genetic Algorithms for Text Classification / Rujiang Bai ; Xiaoyue Wang ; Junhua Liao
Multi-agent Meta-search Engine Based on Domain Ontology / Marat Kanteev
Efficient Search Technique for Agent-Based P2P Information Retrieval / Byungryong Kim ; Kichang Kim
Classification of Web Documents Using Concept Extraction from Ontologies / Marina Litvak ; Mark Last ; Slava Kisilevich
Emotional Cognitive Agents with Adaptive Ontologies / Leonid I. Perlovsky
Viral Knowledge Acquisition Through Social Networks / Dmitri Soshnikov ; Mikhail Chernomordikov
Chinese Weblog Pages Classification Based on Folksonomy and Support Vector Machines
Author Index
Invited Talks
Peer-to-Peer Data Mining, Privacy Issues, and Games / Hillol Kargupta ; Kanishka Bhaduri ; Kamalika Das
Ontos Solutions for Semantic Web: Text Mining, Navigation and Analytics / Vladimir Khoroshevsky ; Irina Efimenko ; Grigory Drobyazko ; Polina Kananykina ; Victor Klintsov ; Dmitry Lisitsin ; Viacheslav Seledkin ; Anatoli Starostin ; Vyacheslav Vorobyov
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
Hypermedia Discourse: Contesting Networks of Ideas and Arguments / Simon Buckingham Shum
Dynamic Epistemic Logic and Knowledge Puzzles / H.P. van Ditmarsch ; W. van der Hoek ; B. P. Kooi
Peirce on Icons and Cognition / Christopher Hookway
Conceptual Graphs
Using Cognitive Archetypes and Conceptual Graphs to Model Dynamic Phenomena in Spatial Environments / Hedi Haddad ; Bernard Moulin
A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules / Jean-François Baget
A Knowledge Management Optimization Problem Using Marginal Utility in a Metric Space with Conceptual Graphs / Jeffrey A. Schiffel
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise / Rallou Thomopoulos ; Jean-Françoils Baget ; Ollivier Haemmerlé
An Inferential Approach to the Generation of Referring Expressions / Madalina Croitoru ; Kees van Deemter
A Conceptual Graph Description of Medical Data for Brain Tumour Classification / Bo Hu ; Srinandan Dashmapatra ; Paul Lewis ; David Dupplaw ; Liang Xiao
A Conceptual Graph Based Approach to Ontology Similarity Measure
A Comparison of Different Conceptual Structures Projection Algorithms / Heather D. Pfeiffer ; Roger T. Hartley
A Conceptual Graph Approach to Feature Modeling / Randall C. Bachmeyer ; Harry S. Delugach
From Conceptual Structures to Semantic Interoperability of Content / Pavlin Dobrev ; Ognian Kalaydjiev ; Galia Angelova
Formal Concept Analysis
Faster Concept Analysis / Adam D. Troy ; Guo-Qiang Zhang ; Ye Tian
The Design Space of Information Presentation: Formal Design Space Analysis with FCA and Semiotics / Michael May ; Johannes Petersen
Reducing the Representation Complexity of Lattice-Based Taxonomies / Sergei Kuznetsov ; Sergei Obiedkov ; Camille Roth
An FCA Perspective on n-Distributivity / Heiko Reppe
Towards a Semantology of Music / Rudolf Wille ; Renate Wille-Henning
Analysis of the Publication Sharing Behaviour in BibSonomy / Robert Jäschke ; Andreas Hotho ; Christoph Schmitz ; Gerd Stumme
The MILL-Method for Informal Learning Logistics / Andreas Faatz ; Manuel Goertz ; Eicke Godehardt ; Robert Lokaiczyk
Bilingual Word Association Networks / Uta Priss ; L. John Old
Using FCA for Encoding Closure Operators into Neural Networks / Sebastian Rudolph
Conceptual Structures
Are Consistency Projection: A New Generalization Relation for Graphs / Michael Liquiere
Mining Frequent Closed Unordered Trees Through Natural Representations / José L. Balcázar ; Albert Bifet ; Antoni Lozano
Devolved Ontology for Smart Applications / Iain Duncan Stalker ; Nikolay Mehandjiev ; Martin Carpenter
Historical and Conceptual Foundation of Diagrammatical Ontology / Peter Øhrstrøm ; Sara L. Uckelman ; Henrik Schärfe
Learning Common Outcomes of Communicative Actions Represented by Labeled Graphs / Boris A. Galitsky ; Boris Kovalerchuk ; Sergei O. Kuznetsov
Belief Flow in Assertion Networks / Sujata Ghosh ; Benedikt Löwe ; Erik Scorelle
Conceptual Fingerprints: Lexical Decomposition by Means of Frames - A Neuro-cognitive Model / Wiebke Petersen ; Markus Werning
Constants and Functions in Peirce's Existential Graphs / Frithjof Dau
Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution / Mary Keeler
Short Papers
Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams / David Cox
Quo Vadis, CS? On the (non)-Impact of Conceptual Structures on the Semantic Web / Markus Krötzsch ; Pascal Hitzler
A Framework for Analyzing and Testing Overlapping Requirements with Actors in Conceptual Graphs / Bryan J. Smith
Implementation of SPARQL Query Language Based on Graph Homomorphism / Olivier Corby ; Catherine Faron-Zucker
Cooperative CG-Wrappers for Web Content Extraction / Fotis Kokkoras ; Nick Bassiliades ; Ioannis Vlahavas
Conceptual Graphs and Ontologies for Information Retrieval / Catherine Comparot ; Nathalie Hernandez
Representation Levels Within Knowledge Representation / Joseph J. Pfeiffer
Supporting Lexical Ontology Learning by Relational Exploration / Johanna Völker
Characterizing Implications of Injective Partial Orders / Gemma C. Garriga
DVDSleuth: A Case Study in Applied Formal Concept Analysis for Navigating Web Catalogs / Jon Ducrou
Navigation in Knowledge-Based System for Helpdesk Based on FCA / Vladimír Sklenář ; Martin Radvanský ; Michal Dobeš
Functional Properties of Formal Concept Analysis / Hideo Mori
Towards an Ontology to Conceptualize Solution Analysis Tasks in CSCL Environments / Rafael Duque ; Crescencio Bravo ; Manuel Ortega
Author Index
Invited Papers
An Introduction to Conceptual Graphs / Simon Polovina
Trikonic Inter-Enterprise Architectonic / Gary Richmond
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
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Exploiting the Environment for Coordinating Agent Intentions / Paul Valckenaers
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS / Alessandro Ricci ; Mirko Viroli ; Andrea Omicini
Mediated Interaction and Stigmery
Environment as Active Support of Interaction / Julien Saunier ; Flavien Balbo ; Fabien Badeig
Environmental Support for Tag Interactions / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts / Luca Gardelli ; Enrico Oliva
Trace Signals: The Meanings of Stigmergy / Luca Tummolini ; Cristiano Castelfranchi
Regulation Function of the Environment in Agent-Based Simulation / Stefania Bandini ; Giuseppe Vizzari
Governing Environment
Establishing Global Properties of Multi-Agent Systems Via Local Laws / Wenxuan Zhang ; Constantin Serban ; Naftaly Minsky
E4MAS Through Electronic Institutions / Josep Lluis Arcos ; Pablo Noriega ; Juan A. Rodriguez-Aguilar ; Carles Sierra
Spatially Distributed Normative Infrastructure / Fabio Y. Okuyama ; Rafael H. Bordini ; Antonio Carlos da Rocha Costa
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems / Rodrigo Paes ; Gustavo Carvalho ; Maira Gatti ; Carlos Lucena ; Jean-Pierre Briot ; Ricardo Choren
Applications
Urban Traffic Control with Co-Fields / Marco Camurri ; Marco Mamei ; Franco Zambonelli
Designing Self-organising MAS Environments: The Collective Sort Case / Matteo Casadei
Author Index
Models, Architecture, and Design
A Reference Architecture for Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
A Unified Model for Physical and Social Environments / Jose-Antonio Baez-Barranco ; Tiberiu Stratulat ; Jacques Ferber
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
Usages of Generalization in Case-Based Reasoning / Eva Armengol
Research Papers
Team Playing Behavior in Robot Soccer: A Case-Based Reasoning Approach / Raquel Ros ; Ramon Lopez de Mantaras ; Josep Lluis Arcos ; Manuela Veloso
Acquiring Word Similarities with Higher Order Association Mining / Sutanu Chakraborti ; Nirmalie Wiratunga ; Robert Lothian ; Stuart Watt
Label Ranking in Case-Based Reasoning / Klaus Brinker ; Eyke Hullermeier
When Similar Problems Don't Have Similar Solutions / Stewart Massie ; Susan Craw
Mixed-Initiative Relaxation of Constraints in Critiquing Dialogues / David McSherry ; David W. Aha
A Methodology for Analyzing Case Retrieval from a Clustered Case Memory / Albert Fornells ; Elisabet Golobardes ; Josep Maria Martorell ; Josep Maria Garrell ; Nuria Macia ; Ester Bernado
Using Cases Utility for Heuristic Planning Improvement / Tomas de la Rosa ; Angel Garcia Olaya ; Daniel Borrajo
Case-Based Reasoning Adaptation for High Dimensional Solution Space / Ying Zhang ; Panos Louvieris ; Maria Petrou
Case-Based Planning and Execution for Real-Time Strategy Games / Santiago Ontanon ; Kinshuk Mishra ; Neha Sugandh ; Ashwin Ram
Case Authoring: From Textual Reports to Knowledge-Rich Cases / Stella Asiimwe ; Bruce Taylor
Case Provenance: The Value of Remembering Case Sources / David Leake ; Matthew Whitehead
Mining Large-Scale Knowledge Sources for Case Adaptation Knowledge / Jay Powell
Representation and Structure-Based Similarity Assessment for Agile Workflows / Mirjam Minor ; Alexander Tartakovski ; Ralph Bergmann
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation / Jean Lieber
Methodological Assistance for Integrating Data Quality Evaluations into Case-Based Reasoning Systems / Annett Bierer
Case-Based Anomaly Detection / Alessandro Micarelli ; Giuseppe Sansonetti
Case-Based Reasoning in Robot Indoor Navigation / Stefano Panzieri
Case-Based Group Recommendation: Compromising for Success / Kevin McCarthy ; Lorraine McGinty ; Barry Smyth
Catching the Drift: Using Feature-Free Case-Based Reasoning for Spam Filtering / Sarah Jane Delany ; Derek Bridge
Enhancing Case-Based, Collaborative Web Search / Oisin Boydell
An Analysis of Case-Based Value Function Approximation by Approximating State Transition Graphs / Thomas Gabel ; Martin Riedmiller
From Anomaly Reports to Cases / Alessandro Donati ; Emmanuel Vicari
Assessing Classification Accuracy in the Revision Stage of a CBR Spam Filtering System / Jose Ramon Mendez ; Carlos Gonzalez ; Daniel Glez-Pena ; Florentino Fdez-Riverola ; Fernando Diaz ; Juan Manuel Corchado
Application Papers
Intelligent Guidance and Suggestions Using Case-Based Planning / Javier Bajo ; Sara Rodriguez
Case-Based Reasoning for Invoice Analysis and Recognition / Hatem Hamza ; Yolande Belaid ; Abdel Belaid
Watershed Segmentation Via Case-Based Reasoning / Maria Frucci ; Petra Perner ; Gabriella Sanniti di Baja
A Case-Based Song Scheduler for Group Customised Radio / Claudio Baccigalupo ; Enric Plaza
Helping Software Engineers Reusing UML Class Diagrams / Paulo Gomes ; Pedro Gandola ; Joel Cordeiro
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System / Amelie Cordier ; Beatrice Fuchs ; Alain Mille
Classify and Diagnose Individual Stress Using Calibration and Fuzzy Case-Based Reasoning / Shahina Begum ; Mobyen Uddin Ahmed ; Peter Funk ; Ning Xiong ; Bo von Scheele
Prototypical Cases for Knowledge Maintenance in Biomedical CBR / Isabelle Bichindaritz
Case-Based Support for Library Reference Services / Yen Bui
Knowledge Extraction and Summarization for an Application of Textual Case-Based Interpretation / Eni Mustafaraj ; Martin Hoof ; Bernd Freisleben
Author Index
Invited Papers
Cases in Robotic Soccer / Hans-Dieter Burkhard ; Ralf Berger
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter / Larry Kerschberg ; Hanjo Jeong ; Yony Uk Song ; Wooju Kim
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Challenges in Search and Usage of Multi-media Learning Objects / Erica Melis ; Ruimin Shen ; Carsten Ullrich ; Fan Yang ; Peng Han
An Intelligent Platform for Information Retrieval / Fang Li ; Xuanjing Huang
P-Terse: A Peer-to-Peer Based Text Retrieval and Search System / Weining Qian ; Feibo Chen ; Bei Du ; Aoying Zhou
Identifying Semantic Relations Between Named Entities from Chinese Texts / Tianfang Yao ; Hans Uszkoreit
Research on English-Chinese Bi-directional Cross-Language Information Retrieval / Yuejie Zhang ; Tao Zhang
Analyzing Image Texture from Blobs Perspective / Yi Yi Huang ; Cun Lu Xu ; Yan Qiu Chen
Access to Content / Dietrich Klakow
Content-Based Image and Video Indexing and Retrieval / Hong Lu ; Xiangyang Xue ; Yap-Peng Tan
Shape Recognition with Coarse-to-Fine Point Correspondence Under Image Deformations / Huixuan Tang ; Hui Wei
Towards Efficient Ranked Query Processing in Peer-to-Peer Networks / Keping Zhao ; Shuigeng Zhou
Author Index
Natural Language Dialog with a Tutor System for Mathematical Proofs / Christoph Benzmuller ; Helmut Horacek ; Ivana Kruijff-Korbayova ; Manfred Pinkal ; Jorg Siekmann ; Magdalena Wolska
On the Effectiveness of Visualizations in a Theory of Computing Course / Rudolf Fleischer ; Gerhard Trippen
Some Cognitive Aspects of a Turing Test for Children / Ruqian Lu ; Hongge Liu ; Songmao Zhang ; Zhi Jin ; Zichu Wei
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
MetaLex XML and the Legal Knowledge Interchange Format / Alexander Boer ; Radboud Winkels ; Fabio Vitali
MetaVex: Regulation Drafting Meets the Semantic Web / Saskia van de Ven ; Rinke Hoekstra ; Emile de Maat ; Adam Kollar
Building Semantic Resources for Legislative Drafting: The DALOS Project / Enrico Francesconi ; Daniela Tiscornia
Knowledge Representation, Legal Ontologies and Information Retrieval / II:
Moving in the Time: An Ontology for Identifying Legal Resources / Joao Alberto de Oliveira Lima ; Monica Palmirani
An Ontology for Spatial Regulations / Tom van Engers ; Erik Hupkes
Supporting the Construction of Spanish Legal Ontologies with Text2Onto / Johanna Volker ; Sergi Fernandez Langa ; York Sure
Dynamic Aspects of OPJK Legal Ontology / Zhisheng Huang ; Stefan Schlobach ; Frank van Harmelen
Improvements in Recall and Precision in Wolters Kluwer Spain Legal Search Engine / Angel Sancho Ferrer ; Jose Manuel Mateo Rivero ; Alejandro Mesas Garcia
Argumentation and Legal Reasoning / III:
Three Senses of "Argument" / Adam Z. Wyner ; Trevor J.M. Bench-Capon ; Katie Atkinson
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) / Thomas F. Gordon
Assumption-Based Argumentation for Epistemic and Practical Reasoning / Francesca Toni
Computing Argumentation for Decision Making in Legal Disputes / Maxime Morge
Deterrence and Defeasibility in Argumentation Process for ALIS Project / Michel Rudnianski ; Helene Bestougeff
Temporal Deontic Defeasible Logic: An Analytical Approach / Regis Riveret ; Antonino Rotolo
Rulebase Technology and Legal Knowledge Representation / Giuseppe Contissa
Normative and Multi-agent Systems / IV:
Source Norms and Self-regulated Institutions
Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems / Adrian Perreau de Pinninck ; Carles Sierra ; Marco Schorlemmer
Online Dispute Resolution / V:
Retrieval of Case Law to Provide Layman with Information about Liability: Preliminary Results of the BEST-Project / Elisabeth M. Uijttenbroek ; Arno R. Lodder ; Michel C.A. Klein ; Gwen R. Wildeboer ; Wouter Van Steenbergen ; Rory L.L. Sie ; Paul E.M. Huygen
Concepts and Fields of Relational Justice / Marta Poblet
Author Index
Computable Models of the Law
Computable Models of the Law and ICT: State of the Art and Trends in European Research / Giovanni Sartor ; Pompeu Casanovas ; Nuria Casellas ; Rossella Rubino
Knowledge Representation, Ontologies and XML Legislative Drafting / I:
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I:
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
Incorporating Engineering Formalisms into Automated Model Builders / Matthew Easley
Integrating Domain Knowledge in Equation Discovery
Communicability Criteria of Law Equations Discovery / Takashi Washio ; Hiroshi Motoda
Quantitative Revision of Scientific Models / Kazumi Saito
Discovering Communicable Models from Earth Science Data / Mark Schwabacher ; Christopher Potter ; Steven Klooster ; Alicia Torregrosa
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools / Feng Zhao ; Chris Bailey-Kellogg ; Xingang Huang ; Juan Ordonez
Computational Discovery in Pure Mathematics / Simon Colton
Computational Scientific Discovery in Biomedicine / II:
Automatic Computational Discovery of Chemical Reaction Networks Using Genetic Programming / John R. Koza ; William Mydlowec ; Guido Lanza ; Lessen Yu ; Martin A. Keane
Discovery of Genetic Networks Through Abduction and Qualitative Simulation / Blaz Zupan ; Ivan Bratko ; Janez Demsar ; Peter Juvan ; Adam Kuspa ; John A. Halter ; Gad Shaulsky
Learning Qualitative Models of Physical and Biological Systems / Simon M. Garrett ; George M. Coghill ; Ashwin Srinivasan ; Ross D. King
Logic and the Automatic Acquisition of Scientific Knowledge: An Application to Functional Genomics / Andreas Karwath ; Amanda Clare ; Luc Dehaspe
Drug Discovery as an Example of Literature-Based Discovery / Marc Weeber
Literature Based Discovery Support System and Its Application to Disease Gene Identification / Dimitar Hristovski ; Borut Peterlin ; Janez Stare
Author Index
Computational Discovery of Scientific Knowledge / Saso Dzeroski ; Pat Langley ; Ljupco Todorovski
Equation Discovery and Dynamic Systems Identification / I:
Communicable Knowledge in Automated System Identification / Reinhard Stolle ; Elizabeth Bradley
An Improved Particle Swarm Optimizer for Truss Structure Optimization / Lijuan Li ; Zhibin Huang ; Feng Liu
Two-Phase Quantum Based Evolutionary Algorithm for Multiple Sequence Alignment / Hongwei Huo ; Vojislav Stojkovic
A Further Discussion on Convergence Rate of Immune Genetic Algorithm to Absorbed-State / Xiaoping Luo ; Wenyao Pang ; Ji Huang
Linear Programming Relax-PSO Hybrid Bound Algorithm for a Class of Nonlinear Integer Programming Problems / Yuelin Gao ; Chengxian Xu ; Jimin Li
An Improved Ant Colony System and Its Application / Xiangpei Hu ; Qiulei Ding ; Yongxian Li ; Dan Song
Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines / Shulin Wang ; Huowang Chen ; Ji Wang ; Dingxing Zhang ; Shutao Li
Gene Selection Using Wilcoxon Rank Sum Test and Support Vector Machine for Cancer Classification / Chen Liao ; Zhiyuan Luo
General Particle Swarm Optimization Based on Simulated Annealing for Multi-specification One-Dimensional Cutting Stock Problem / Xianjun Shen ; Yuanxiang Li ; Bojin Zheng ; Zhifeng Dai
Neurodynamic Analysis for the Schur Decomposition of the Box Problems / Quanju Zhang ; Fuye Feng ; Zhenghong Wei
A New Model Based Multi-objective PSO Algorithm / Jingxuan Wei ; Yuping Wang
Evolutionary Computation
A New Multi-objective Evolutionary Optimisation Algorithm: The Two-Archive Algorithm / Kata Praditwong ; Xin Yao
Labeling of Human Motion by Constraint-Based Genetic Algorithm / Fu Yuan Hu ; Hau San Wong ; Zhi Qiang Liu ; Hui Yang Qu
Genetic Algorithm and Pareto Optimum Based QoS Multicast Routing Scheme in NGI / Xingwei Wang ; Pengcheng Liu ; Min Huang
A Centralized Network Design Problem with Genetic Algorithm Approach / Gengui Zhou ; Zhenyu Cao ; Jian Cao ; Zhiqing Meng
CGA: Chaotic Genetic Algorithm for Fuzzy Job Scheduling in Grid Environment / Dan Liu ; Yuanda Cao
Population-Based Extremal Optimization with Adaptive Levy Mutation for Constrained Optimization / Min-Rong Chen ; Yong-Zai Lu ; Genke Yang
An Analysis About the Asymptotic Convergence of Evolutionary Algorithms / Lixin Ding ; Jinghu Yu
Game Model Based Co-evolutionary Algorithm and Its Application for Multiobjective Nutrition Decision Making Optimization Problems / Gaoping Wang ; Liyuan Bai
A Novel Optimization Strategy for the Nonlinear Systems Identification / Xin Tan ; Huaqian Yang
A New Schema Survival and Construction Theory for One-Point Crossover / Liang Ming
Adaptive Parallel Immune Evolutionary Strategy / Cheng Bo ; Guo Zhenyu ; Cao Binggang ; Wang Junping
About the Time Complexity of Evolutionary Algorithms Based on Finite Search Space / Yingzhou Bi
Learning Systems and Multi-agents
New Radial Basis Function Neural Network Training for Nonlinear and Nonstationary Signals / Seng Kah Phooi ; Ang L. M
Structure-Based Rule Selection Framework for Association Rule Mining of Traffic Accident Data / Rangsipan Marukatat
A Multi-classification Method of Temporal Data Based on Support Vector Machine / Lifang Peng ; Yihua Zhu
Towards a Management Paradigm with a Constrained Benchmark for Autonomic Communications / Frank Chiang ; Robin Braun
A Feature Selection Algorithm Based on Discernibility Matrix / Fuyan Liu ; Shaoyi Lu
Using Hybrid Hadamard Error Correcting Output Codes for Multi-class Problem Based on Support Vector Machines / Shilei Huang ; Xiang Xie ; Jingming Kuang
Range Image Based Classification System Using Support Vector Machines / Seyed Eghbal Ghobadi ; Klaus Hartmann ; Otmar Loffeld ; Wolfgang Weihs
Two Evolutionary Methods for Learning Bayesian Network Structures / Alain Delaplace ; Thierry Brouard ; Hubert Cardot
Fuzzy Q-Map Algorithm for Reinforcement Learning / YoungAh Lce ; SeokMi Hong
Spatial Data Mining with Uncertainty / Binbin He ; Cuihua Chen
Locally Weighted LS-SVM for Fuzzy Nonlinear Regression with Fuzzy Input-Output / Dug Hun Hong ; Changha Hwang ; Jooyong Shim ; Kyung Ha Seok
Learning SVM with Varied Example Cost: A kNN Evaluating Approach / Chan-Yun Yang ; Che-Chang Hsu ; Jr-Syu Yang
Using Evolving Agents to Critique Subjective Music Compositions / Chuen-Tsai Sun ; Ji-Lung Hsieh ; Chung-Yuan Huang
Multi-agent Coordination Schemas in Decentralized Production Systems / Gang Li ; Yongqiang Li ; Linyan Sun ; Ping Ji
Ontology-Based RFID System Model for Supporting Semantic Consistency in Ubiquitous Environment / Dongwon Jeong ; Keunhwan Jeon ; Jang-won Kim ; Jinhyung Kim ; Doo-Kwon Baik
Multiagent Search Strategy for Combinatorial Optimization Problems in Ant Model / SeungGwan Lee
Cryptography
Secure and Efficient Trust Negotiation / Fuchun Guo ; Zhide Chen ; Yi Mu ; Li Xu ; Shengyuan Zhang
Hardware/Software Co-design of a Secure Ubiquitous System / Masa-aki Fukase ; Hiroki Takeda ; Tomoaki Sato
Efficient Implementation of Tate Pairing on a Mobile Phone Using Java / Yuto Kawahara ; Tsuyoshi Takagi ; Eiji Okamoto
ID-Based (t, n) Threshold Proxy Signcryption for Multi-agent Systems / Fagen Li ; Yupu Hu ; Shuanggen Liu
A Differential Power Analysis Attack of Block Cipher Based on the Hamming Weight of Internal Operation Unit / JeaHoon Park ; HoonJae Lee ; JaeCheol Ha ; YongJe Choi ; HoWon Kim ; SangJae Moon
Chosen Message Attack Against Mukherjee-Ganguly-Chaudhuri's Message Authentication Scheme / Mun-Kyu Lee ; Dowon Hong ; Dong Kyue Kim
Binary Sequences with Three and Four Level Autocorrelation / Ying Cai ; Zhen Han
Security Analysis of Public-Key Encryption Scheme Based on Neural Networks and Its Implementing / Niansheng Liu ; Donghui Guo
Enhanced Security Scheme for Managing Heterogeneous Server Platforms / Jiho Kim ; Duhyun Bae ; Sehyun Park ; Ohyoung Song
A New Parallel Multiplier for Type II Optimal Normal Basis / Chang Han Kim ; Yongtae Kim ; Sung Yeon Ji ; IlWhan Park
Identity-Based Key-Insulated Signature Without Random Oracles / Jian Weng ; Shengli Liu ; Kefei Chen ; Changshe Ma
Research on a Novel Hashing Stream Cipher / Yong Zhang ; Xia-mu Niu ; Jun-cao Li ; Chun-ming Li
XTR[superscript +]: A Provable Security Public Key Cryptosystem / Zehui Wang ; Zhiguo Zhang
Proxy Ring Signature: Formal Definitions, Efficient Construction and New Variant / Jin Li ; Xiaofeng Chen ; Tsz Hon Yuen ; Yanming Wang
Linkability Analysis of Some Blind Signature Schemes / Jianhong Zhang ; Jian Mao
Information Processing and Intrusion Detection
An Efficient Device Authentication Protocol Using Bioinformatic / Yoon-Su Jeong ; Bong-Keun Lee ; Sang-Ho Lee
Subjective and Objective Watermark Detection Using a Novel Approach - Barcode Watermarking / Vidyasagar Potdar ; Song Han ; Elizabeth Chang ; Chen Wu
Forward Secure Threshold Signature Scheme from Bilinear Pairings / Jia Yu ; Fanyu Kong ; Rong Hao
Low-Cost Authentication Protocol of the RFID System Using Partial ID / Yong-Zhen Li ; Ning Sun
A VLSI Implementation of Minutiae Extraction for Secure Fingerprint Authentication / Sung Bum Pan ; Daesung Moon ; Kichul Kim ; Yongwha Chung
Image-Adaptive Watermarking Using the Improved Signal to Noise Ratio / Xinshan Zhu
New Malicious Code Detection Based on N-Gram Analysis and Rough Set Theory / Boyun Zhang ; Jianping Yin ; Jingbo Hao
An Efficient Watermarking Technique Using ADEW and CBWT for Copyright Protection / Goo-Rak Kwon ; Seung-Won Jung ; Sung-Jea Ko
An Image Protection Scheme Using the Wavelet Coefficients Based on Fingerprinting Technique / Jin-Wook Shin ; Ju Cheng Yang ; Sook Yoon ; Dong-Sun Park
iOBS3: An iSCSI-Based Object Storage Security System / Huang Jianzhong ; Xie Changsheng
An Efficient Algorithm for Clustering Search Engine Results / Hui Zhang ; Bin Pang ; Ke Xie ; Hui Wu
Network Anomalous Attack Detection Based on Clustering and Classifier / Hongyu Yang ; Feng Xie ; Yi Lu
Fair Reputation Evaluating Protocol for Mobile Ad Hoc Network / Zhu Lei ; DaeHun Nyang ; KyungHee Lee ; Hyotaek Lim
A Load Scattering Algorithm for Dynamic Routing of Automated Material Handling Systems / Alex K.S. Ng ; Janet Efstathiou ; Henry Y.K. Lau
Software Agents Action Securities
A Key Distribution Scheme Based on Public Key Cryptography for Sensor Networks / Xiaolong Li ; Yaping Lin ; Siqing Yang ; Yeqing Yi ; Jianping Yu ; Xinguo Lu
Collision-Resilient Multi-state Query Tree Protocol for Fast RFID Tag Identification / Jae-Min Seol ; Seong-Whan Kim
Toward Modeling Sensor Node Security Using Task-Role Based Access Control with TinySec / Misun Moon ; Dong Seong Kim ; Jong Sou Park
An Intelligent Digital Content Protection Framework Between Home Network Receiver Devices / Qingqi Pei ; Kefeng Fan ; Jinxiu Dai
An Efficient Anonymous Registration Scheme for Mobile IPv4 / Xuefei Cao ; Weidong Kou ; Huaping Li ; Jie Xu
An Elliptic Curve Based Authenticated Key Agreement Protocol for Wireless Security / SeongHan Shin ; Kazukuni Kobara ; Hideki Imai
An Efficient and Secure RFID Security Method with Ownership Transfer / Kyosuke Osaka ; Kenichi Yamazaki ; Osamu Takahashi
Security and Privacy on Authentication Protocol for Low-Cost RFID / Young-Bok Cho ; Nam-Kyoung Um
Securing Overlay Activities of Peers in Unstructured P2P Networks / Jun-Cheol Park ; Geonu Yu
Security Contexts in Autonomic Systems / Kaiyu Wan ; Vasu Alagar
Knowledge Structure on Virus for User Education / Madihah Saudi ; Nazean Jomhari
An Efficient Anonymous Fingerprinting Protocol / Yang Bo ; Lin Piyuan ; Zhang Wenzheng
Senior Executives Commitment to Information Security - from Motivation to Responsibility / Jorma Kajava ; Juhani Anttila ; Rauno Varonen ; Reijo Savola ; Juha Roning
A Hierarchical Key Distribution Scheme for Conditional Access System in DTV Broadcasting / Mengyao Zhu ; Ming Zhang ; Xiaoling Chen ; Ding Zhang ; Zhijie Huang
Combining User Authentication with Role-Based Authorazition Based on Identity-Based Signature / Jin Wang ; Daxing Li ; Xi Bai ; Zhongtian Jia
Modeling and Simulation for Security Risk Propagation in Critical Information Systems / Young-Gab Kim ; Soo-Hyun Park ; Jongin Lim
Information Assurance Evaluation for Network Information Systems / Xin Lu ; Zhi Ma
Generalization of the Selective-ID Security Model for HIBS Protocols / Zhongwen Li ; Yang Xiang ; Dongsheng He
Access Control and Authorization for Security of RFID Multi-domain Using SAML and XACML / Taek-Hyun Shin ; Byunggil Lee
Discriminatively Learning Selective Averaged One-Dependence Estimators Based on Cross-Entropy Method / Fangguo Zhang ; Qing Wang ; Chuan-hua Zhou ; Bao-hua Zhao
Image-Adaptive Spread Transform Dither Modulation Using Human Visual Model
Image and Signal Processing
Improvement of Film Scratch Inpainting Algorithm Using Sobel Based Isophote Computation over Hilbert Scan Line / Ki-Hong Ko
A Watershed Algorithmic Approach for Gray-Scale Skeletonization in Thermal Vein Pattern Biometrics / Lingyu Wang ; Graham Leedham
Estimation of Source Signals Number and Underdetermined Blind Separation Based on Sparse Representation / Ronghua Li ; Beihai Tan
Edge Detection Based on Mathematical Morphology and Iterative Thresholding / Xiangzhi Bai ; Fugen Zhou
Image Denoising Based on Wavelet Support Vector Machine / Shaoming Zhang ; Ying Chen
Variational Decomposition Model in Besov Spaces and Negative Hilbert-Sobolev Spaces / Min Li ; Xiangchu Feng
Performance Analysis of Cooperative Hopfield Networks for Stereo Matching / Wenhui Zhou ; Zhiyu Xiang ; Weikang Gu
An Improved Entropy Function and Chaos Optimization Based Scheme for Two-Dimensional Entropic Image Segmentation / Cheng Ma ; Chengshun Jiang
Face Pose Estimation and Synthesis by 2D Morphable Model / Li Yingchun ; Su Guangda
Study of the Wavelet Basis Selections / Hua Cui ; Guoxiang Song
Pattern Recognition
Feature Weighted Rival Penalized EM for Gaussian Mixture Clustering: Automatic Feature and Model Selections in a Single Paradigm / Yiu-ming Cheung ; Hong Zeng
Fingerprint Matching Using Invariant Moment Features / Jin Wook Shin ; Dong Sun Park
Survey of Distance Measures for NMF-Based Face Recognition / Yun Xue ; Chong Sze Tong ; Weipeng Zhang
Weighted Kernel Isomap for Data Visualization and Pattern Classification / Rui-jun Gu ; Wen-bo Xu
DT-CWT Feature Combined with ONPP for Face Recognition / Yuehui Sun ; Minghui Du
Precise Eye Localization with AdaBoost and Fast Radial Symmetry / Wencong Zhang ; Hong Chen ; Peng Yao ; Bin Li ; Zhenquan Zhuang
Real-Time Expression Recognition System Using Active Appearance Model and EFM / Kyoung-Sic Cho ; Yong-Guk Kim ; Yang-Bok Lee
Feature Extraction Using Histogram Entropies of Euclidean Distances for Vehicle Classification / Ming Bao ; Luyang Guan ; Xiaodong Li ; Jing Tian ; Jun Yang
Full-Space LDA with Evolutionary Selection for Face Recognition / Xin Li ; Xianji Wang ; Zhengquan Zhuang
Subspace KDA Algorithm for Non-linear Feature Extraction in Face Identification / Wen-Sheng Chen ; Pong C Yuen ; Jian Huang ; Jianhuang Lai
Author Index
Bio-inspired Computing
An Improved Particle Swarm Optimizer for Truss Structure Optimization / Lijuan Li ; Zhibin Huang ; Feng Liu
Two-Phase Quantum Based Evolutionary Algorithm for Multiple Sequence Alignment / Hongwei Huo ; Vojislav Stojkovic
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
Complex Systems and Agent-Oriented Software Engineering / Juan Pavon ; Francisco Garijo ; Jorge Gomez-Sanz
Engineering Self-organizing Applications
A Characterization of Key Properties of Environment-Mediated Multiagent Systems / Hartmut Schmeck ; Christian Muller-Schloer
Toward Systemic MAS Development: Enforcing Decentralized Self-organization by Composition and Refinement of Archetype Dynamics / Jan Sudeikat ; Wolfgang Renz
Engineering Systems Which Generate Emergent Functionalities / Marie-Pierre Gleizes ; Valerie Camps ; Jean-Pierre George ; Davy Capera
Engineering Autonomic Electronic Institutions / Josep Lluis Arcos ; Juan A. Rodriguez-Aguilar ; Bruno Rosell
Stigmergic Interaction
Prediction Horizons in Agent Models / H. Van Dyke Parunak ; Theodore C. Belding ; Sven A. Brueckner
Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications / Andrea Bonomi ; Marcello Sarini ; Giuseppe Vizzari
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
Design Patterns for Decentralised Coordination in Self-organising Emergent Systems / Tom De Wolf ; Tom Holvoet
Measuring Stigmergy: The Case of Foraging Ants / Laszlo Gulyas ; Laszlo Laufer ; Richard Szabo
Algorithms and Techniques
Dynamic Decentralized Any-Time Hierarchical Clustering / Richard Rohwer ; Theodore C. Belding
Behaviosites: A Novel Paradigm for Affecting Distributed Behavior / Amit Shabtay ; Zinovi Rabinovich ; Jeffrey S. Rosenschein
Applications
Programming Modular Robots with the TOTA Middleware / Marco Mamei ; Franco Zambonelli
ASOS: An Adaptive Self-organizing Protocol for Surveillance and Routing in Sensor Networks / Jorge Simao
Towards the Control of Emergence by the Coordination of Decentralized Agent Activity for the Resource Sharing Problem / Frederic Armetta ; Salima Hassas ; Simone Pimont ; Olivier Lefevre
Self-organization and Evolutionary Computing
Reinforcement Learning for Online Control of Evolutionary Algorithms / A.E. Eiben ; Mark Horvath ; Wojtek Kowalczyk ; Martijn C. Schut
Greedy Cheating Liars and the Fools Who Believe Them / Stefano Arteconi ; David Hales ; Ozalp Babaoglu
Evolution and Hypercomputing in Global Distributed Evolvable Virtual Machines Environment / Mariusz Nowostawski ; Martin Purvis
A Decentralised Car Traffic Control System Simulation Using Local Message Propagation Optimised with a Genetic Algorithm / Martin Kelly ; Giovanna Di Marzo Serugendo
Author Index
Overall Design and Fundations
Hybrid Multi-agent Systems: Integrating Swarming and BDI Agents / H. Van Dyke Parunak ; Paul Nielsen ; Sven Brueckner ; Rafael Alonso
An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems / Sebastian Rodriguez ; Nicolas Gaud ; Vincent Hilaire ; Stephane Galland ; Abderrafiaa Koukam
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down" / Maarten Sierhuis
The Construction of Multi-agent Systems as an Engineering Discipline / Jorge J. Gomez-Sanz
Current Issues in Multi-Agent Systems Development / Rafael H. Bordini ; Mehdi Dastani ; Michael Winikoff
Architecture-Centric Software Development of Situated Multiagent Systems / Danny Weyns ; Tom Holvoet
Organization Oriented Programming: From Closed to Open Organizations / Olivier Boissier ; Jomi Fred Hübner ; Jaime Simão Sichman
Analysis, Design, Development and Verification of Agent Societies
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions / Marco Stuit ; Nick B. Szirbik
Model Driven Development of Multi-Agent Systems with Repositories of Social Patterns / Rubén Fuentes-Fernández ; Jorge J. Gómez-Sanz ; Juan Pavón
A Norm-Governed Systems Perspective of Ad Hoc Networks / Alexander Artikis ; Lloyd Kamara ; Jeremy Pitt
Interaction and Coordination in Agent Societies
A Definition of Exceptions in Agent-Oriented Computing / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Toward an Ontology of Regulation: Socially-Based Support for Coordination in Human and Machine Joint Activity / Paul J. Feltovich ; Jeffrey M. Bradshaw ; William J. Clancey ; Matthew Johnson
An Algorithm for Conflict Resolution in Regulated Compound Activities / Andrés García-Camino ; Pablo Noriega ; Juan-Antonio Rodríguez-Aguilar
Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach / Geylani Kardas ; Arda Goknil ; Oguz Dikenelli ; N. Yasemin Topaloglu
Formal Modelling of a Coordination System: From Practice to Theory, and Back Again / Eloy J. Mata ; Pedro Álvarez ; José A. Bañares ; Julio Rubio
Autonomic Agent Societies
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols / Tim Miller ; Peter McBurney
Dynamic Specifications in Norm-Governed Open Computational Societies / Dimosthenis Kaponis
Enhancing Self-organising Emergent Systems Design with Simulation / Carole Bernon ; Marie-Pierre Gleizes ; Gauthier Picard
Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents / Eva Bou ; Maite López-Sánchez ; J.A. Rodríguez-Aguilar
Managing Resources in Constrained Environments with Autonomous Agents / C. Muldoon ; G.M.P. O'Hare ; M.J. O'Grady
Trust in Agent Societies
Towards a Computational Model of Creative Societies Using Curious Design Agents / Rob Saunders
Privacy Management in User-Centred Multi-agent Systems / Guillaume Piolle ; Yues Demazeau ; Jean Caelen
Effective Use of Organisational Abstractions for Confidence Models / Ramón Hermoso ; Holger Billhardt ; Roberto Centeno ; Sascha Ossowski
Competence Checking for the Global E-Service Society Using Games / Kostas Stathis ; George Lekeas ; Christos Kloukinas
Author Index
Engineering of Multi-agent Systems
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down" / Maarten Sierhuis
The Construction of Multi-agent Systems as an Engineering Discipline / Jorge J. Gomez-Sanz
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
Evolutionary Optimization of ZIP60: A Controlled Explosion in Hyperspace / Dave Cliff
Savings in Combinatorial Auctions Through Transformation Relationships / Andrea Giovannucci ; Jesus Cerquides ; Juan A. Rodriguez-Aguilar
On Efficient Procedures for Multi-issue Negotiation / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
TacTex-05: An Adaptive Agent for TAG SCM / David Pardoe ; Peter Stone ; Mark VanMiddlesworth
Market Efficiency, Sales Competition, and the Bullwhip Effect in the TAC SCM Tournaments / Patrick R. Jordan ; Christopher Kiekintveld ; Jason Miller ; Michael P. Wellman
Agent Compatibility and Coalition Formation: Investigating Two Interacting Negotiation Strategies / Carlos Merida-Campos ; Steven Willmott
TAC-REM - The Real Estate Market Game: A Proposal for the Trading Agent Competition / Scott Buffett ; Maria Fasli
Evolutionary Stability of Behavioural Types in the Continuous Double Auction / Perukrishnen Vytelingum
A Fast Method for Learning Non-linear Preferences Online Using Anonymous Negotiation Data / D.J.A. Somefun ; J.A. La Poutre
Adaptive Pricing for Customers with Probabilistic Valuations / Michael Benisch ; James Andrews ; Norman Sadeh
Agents' Bidding Strategies in a Combinatorial Auction Controlled Grid Environment / Michael Schwind ; Tim Stockheim ; Oleg Gujo
A Comparison of Sequential and Simultaneous Auctions
A Market-Pressure-Based Performance Evaluator for TAC-SCM / Brett Borghetti ; Eric Sodomka ; Maria Gini ; John Collins
Competing Sellers in Online Markets: Reserve Prices, Shili Bidding, and Auction Fees / Enrico H. Gerding ; Alex Rogers ; Rajdeep K. Dash
Robust Incentive-Compatible Feedback Payments / Radu Jurca ; Boi Faltings
The CrocodileAgent 2005: An Overview of the TAG SCM Agent / Ana Petric ; Vedran Podobnik ; Gordan Jezic
A Fuzzy Constraint Based Model for Automated Purchase Negotiations / Miguel A. Lopez-Carmona ; Juan R. Velasco
Author Index
Evolutionary Optimization of ZIP60: A Controlled Explosion in Hyperspace / Dave Cliff
Savings in Combinatorial Auctions Through Transformation Relationships / Andrea Giovannucci ; Jesus Cerquides ; Juan A. Rodriguez-Aguilar
On Efficient Procedures for Multi-issue Negotiation / Shaheen S. Fatima ; Michael Wooldridge ; Nicholas R. Jennings
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
Knowledge Representation
Introspective Forgetting / Hans van Ditmarsch ; Andreas Herzig ; Jerome Lang ; Pierre Marquis
Fixed-Point Property of Logic-Based Bargaining Solution / Dongmo Zhang
Re-representation in a Logic-Based Model for Analogy Making / Ulf Krumnack ; Helmar Gust ; Kai-Uwe Kuhnberger ; Angela Schwering
Knowledge Generation for Improving Simulations in UCT for General Game Playing / Shiven Sharma ; Ziad Kobti ; Scott Goodwin
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems / Eric Schkufza ; Nathaniel Love ; Michael Genesereth
Constructing Web Corpora through Topical Web Partitioning for Term Recognition / Wilson Wong ; Wei Liu ; Mohammed Bennamoun
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory / Philip H.P. Nguyen ; Ken Kaneiwa ; Dan R. Corbett ; Minh-Quang Nguyen
Exploiting Ontological Structure for Complex Preference Assembly / Gil Chamiel ; Maurice Pagnucco
Constraints
A Refutation Approach to Neighborhood Interchangeability in CSPs / Chavalit Likitvivatanavong ; Roland H. C. Yap
Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization / Hemant K. Singh ; Amitay Isaacs ; Tapabrata Ray ; Warren Smith
Constraint-Based Multi-agent Path Planning / Malcolm Ryan
Planning
An Optimality Principle for Concurrent Systems / Langford B. White ; Sarah L. Hickmott
Partial Order Hierarchical Reinforcement Learning / Bernhard Hengst
Optimal Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function / Om K. Gupta ; Ray A. Jarvis
Grammar and Language Processing
Using Probabilistic Feature Matching to Understand Spoken Descriptions / Ingrid Zukerman ; Enes Makalic ; Michael Niemann
Working for Two: A Bidirectional Grammar for a Controlled Natural Language / Rolf Schwitter
Improving Metrical Grammar with Grammar Expansion / Makoto Tanji ; Daichi Ando ; Hitoshi Iba
FrameNet-Based Fact-Seeking Answer Processing: A Study of Semantic Alignment Techniques and Lexical Coverage / Bahadorreza Ofoghi ; John Yearwood ; Liping Ma
Learning to Find Relevant Biological Articles without Negative Training Examples / Keith Noto ; Milton H. Saier Jr. ; Charles Elkan
Humor Prevails!-Implementing a Joke Generator into a Conversational System / Pawel Dybala ; Michal Ptaszynski ; Shinsuke Higuchi ; Rafal Rzepka ; Kenji Araki
Statistical Learning
Improving Transductive Support Vector Machine by Ensembling / Tao Li ; Yang Zhang
Kernels Based on Distributions of Agreement Subtrees / Kilho Shin ; Tetsuji Kuboyama
Practical Bias Variance Decomposition / Remco R. Bouckaert
Using Gaussian Processes to Optimize Expensive Functions / Marcus Frean ; Phillip Boyle
Discriminant Analysis Methods for Microarray Data Classification / Chuanliang Chen ; Yun-Chao Gong ; Rongfang Bie
Propositionalisation of Profile Hidden Markov Models for Biological Sequence Analysis / Stefan Mutter ; Bernhard Pfahringer ; Geoffrey Holmes
Machine Learning
Improving Promoter Prediction Using Multiple Instance Learning / P.J. Uren ; R.M. Cameron-Jones ; A.H.J. Sale
Revisiting Multiple-Instance Learning Via Embedded Instance Selection / James Foulds ; Eibe Frank
Decision Tree Induction from Numeric Data Stream / Satoru Nishimura ; Masahiro Terabe ; Kazuo Hashimoto
L1 LASSO Modelin and Its Bayesian Inference / Junbin Gao ; Michael Antolovich ; Paul W. Kwan
Discriminating Against New Classes: One-class Versus Multi-class Classification / Kathryn Hempstalk
Building a Decision Cluster Classification Model for High Dimensional Data by a Variable Weighting k-Means Method / Yan Li ; Edward Hung ; Korris Chung ; Joshua Huang
Locality Spectral Clustering
Mining Arbitrarily Large Datasets Using Heuristic k-Nearest Neighbour Search / Xing Wu
Cross-Domain Knowledge Transfer Using Semi-supervised Classification / Yi Zhen ; Chunping Li
On the Limitations of Scalarisation for Multi-objective Reinforcement Learning of Pareto Fronts / Peter Vamplew ; Richard Dazeley ; Adam Berry
An Approach for Generalising Symbolic Knowledge / Byeong-Ho Kang
Single-Cycle Image Recognition Using an Adaptive Granularity Associative Memory Network / Anang Hudaya Muhamad Amin ; Asad I. Khan
Data Mining
Combined Pattern Mining: From Learned Rules to Actionable Knowledge / Yanchang Zhao ; Huaifeng Zhang ; Longbing Cao ; Chengqi Zhang ; Hans Bohlscheid
Efficient Single-Pass Mining of Weighted Interesting Patterns / Chowdhury Farhan Ahmed ; Syed Khairuzzaman Tanbeer ; Byeong-Soo Jeong ; Young-Koo Lee
Pattern Taxonomy Mining for Information Filtering / Xujuan Zhou ; Yuefeng Li ; Peter Bruza ; Yue Xu ; Raymond Y.K. Lau
An AI-Based Causal Strategy for Securing Statistical Databases Using Micro-aggregation / B. John Oommen ; Ebaa Fayyoumi
Additive Regression Applied to a Large-Scale Collaborative Filtering Problem / Mark Hall
A Novel Recommending Algorithm Based on Topical PageRank / Liyan Zhang
DynamicWEB: Adapting to Concept Drift and Object Drift in COBWEB / Joel Scanlan ; Jacky Hartnett ; Raymond Williams
Knowledge Discovery
L-Diversity Based Dynaic Update for Large Time-Evolving Microdata / Xiaoxun Sun ; Hua Wang ; Jiuyong Li
Knowledge Discovery from Honeypot Data for Monitoring Malicious Attacks / Huidong Jin ; Olivier de Vel ; Ke Zhang ; Nianjun Liu
Detecting the Knowledge Boundary with Prudence Analysis
Soft Computing
Clustering with XCS on Complex Structure Dataset / Liangdong Shi ; Yang Gao ; Lei Wu ; Lin Shang
Evolution of Multiple Tree Structure Patterns from Tree-Structured Data Using Clustering / Masatoshi Nagamine ; Tetsuhiro Miyahara ; Hiroaki Ueda ; Kenichi Takahashi
Application of a Memetic Algorithm to the Portfolio Optimization Problem / Claus Aranha
Predicting Trading Signals of Stock Market Indices Using Neural Networks / Chandima D. Tilakaratne ; Musa A. Mammadov ; Sidney A. Morris
A Fuzzy Decision Support System for Garment New Product Development / Jie Lu ; Yijun Zhu ; Xianyi Zeng ; Ludovic Koehl ; Jun Ma ; Guangquan Zhang
A Hybrid Nonlinear-Discriminant Analysis Feature Projection Technique / Rami N Khushaba ; Ahmed Al-Ani ; Adel Al-Jumaily ; Hung T. Nguyen
Vision and Image Processing
Learning Object Representations Using Sequential Patterns / Nobuyuki Morioka
Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling / John Thornton ; John Faichney ; Michael Blumenstein ; Trevor Hine
Learning a Generative Model for Structural Representations / Andrea Torsello ; David L. Dowe
AI Applications
Using Stereotypes to Improve Early-Match Poker Play / Robert Layton ; Chris Turville
CASPER: A Case-Based Poker-Bot / Ian Watson ; Jonathan Rubin
A Generalized Joint Inference Approach for Citation Matching / Zhihua Liao ; Zili Zhang
Agent-Based Collaborative System and Case-Based Conflict Resolution Process in Preliminary Ship Design / Kyung Ho Lee ; Jae Joon Lee ; Young Soo Han ; Jung Min Lee ; Byung Hak Lee
Author Index
Invited Paper
Stereo-Vision-Support for Intelligent Vehicles-The Need for Quantified Evidence / Reinhard Klette
Learning to Select Team Strategies in Finite-Timed Zero-Sum Games / Manuela Veloso
Expressive Intelligence: Artificial Intelligence, Games and New Media / Michael Mateas
Artificial Ontologies and Real Thoughts: Populating the Semantic Web? / Khurshid Ahmad
Knowledge Representation and Reasoning
Model-Based Diagnosability Analysis for Web Services / Stefano Bocconi ; Claudia Picardi ; Xavier Pucel ; Daniele Theseider Dupre ; Louise Trave-Massuyes
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming / Marco Cadoli ; Diego Calvanese ; Giuseppe De Giacomo ; Toni Mancini
Model Checking and Preprocessing / Andrea Ferrara ; Paolo Liberatore ; Marco Schaerf
Some Issues About Cognitive Modelling and Functionalism / Francesco Gagliardi
Understanding the Environment Through Wireless Sensor Networks / Salvatore Gaglio ; Luca Gatani ; Giuseppe Lo Re ; Marco Ortolani
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0 / Laura Giordano ; Valentina Gliozzi ; Nicola Olivetti ; Gian Luca Pozzato
Ranking and Reputation Systems in the QBF Competition / Massimo Narizzano ; Luca Pulina ; Armando Tacchella
A Top Down Interpreter for LPAD and CP-Logic / Fabrizio Riguzzi
Multiagent Systems, Distributed AI
A Multi-layered General Agent Model / Stefania Costantini ; Arianna Tocchio ; Francesca Toni ; Panagiota Tsintza
Goal Generation with Ordered Beliefs / Celia da Costa Pereira ; Andrea G.B. Tettamanzi
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic / Alberto Martelli
Knowledge Engineering, Ontologies and the Semantic Web
Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture / Daniele Bagni ; Marco Cappella ; Maria Teresa Pazienza ; Marco Pennacchiotti ; Armando Stellato
English Querying over Ontologies: E-QuOnto / Raffaella Bernardi ; Francesca Bonin ; Domenico Carbotta ; Camilo Thorne
Use of Ontologies in Practical NL Query Interpretation / Leonardo Lesmo ; Livio Robaldo
Advanced Tree-Based Kernels for Protein Classification / Elisa Cilia ; Alessandro Moschitti
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers / Giuseppe Della Penna ; Francesca Fallucchi ; Benedetto Intrigila ; Daniele Magazzeni
Trip Around the HMPerceptron Algorithm: Empirical Findings and Theoretical Tenets / Roberto Esposito ; Daniele P. Radicioni
A Hierarchical Clustering Procedure for Semantically Annotated Resources
Similarity-Guided Clause Generalization / S. Ferilli ; T.M.A. Basile ; N. Di Mauro ; M. Biba ; F. Esposito
Structured Hidden Markov Model: A General Framework for Modeling Complex Sequences / Ugo Galassi ; Attilio Giordana ; Lorenza Saitta
Nearest Local Hyperplane Rules for Pattern Classification / Gabor Takacs ; Bela Pataki
Natural Language Processing
The JIGSAW Algorithm for Word Sense Disambiguation and Semantic Indexing of Documents / P. Basile ; M. Degemmis ; A.L. Gentile ; P. Lops ; G. Semeraro
Data-Driven Dialogue for Interactive Question Answering / Roberto Basili ; Diego De Cao ; Cristina Giannone ; Paolo Marocco
GlossExtractor: A Web Application to Automatically Create a Domain Glossary / Roberto Navigli ; Paola Velardi
A Tree Kernel-Based Shallow Semantic Parser for Thematic Role Extraction / Daniele Pighin
Inferring Coreferences Among Person Names in a Large Corpus of News Collections / Octavian Popescu ; Bernardo Magnini
Dependency Tree Semantics: Branching Quantification in Underspecification
Information Retrieval and Extraction
User Modelling for Personalized Question Answering / Silvia Quarteroni ; Suresh Manandhar
A Comparison of Genetic Algorithms for Optimizing Linguistically Informed IR in Question Answering / Jorg Tiedemann
A Variant of N-Gram Based Language Classification / Andrija Tomovic ; Predrag Janicic
Planning and Scheduling
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals / Enrico Giunchiglia ; Marco Maratea
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems / Roberto Micalizio ; Pietro Torasso
Boosting the Performance of Iterative Flattening Search / Angelo Oddi ; Nicola Policella ; Amedeo Cesta ; Stephen F. Smith
Real-Time Trajectory Generation for Mobile Robots / Alireza Sahraei ; Mohammad Taghi Manzuri ; Mohammad Reza Razvan ; Masoud Tajfard ; Saman Khoshbakht
Robust Color-Based Skin Detection for an Interactive Robot / Alvise Lastra ; Alberto Pretto ; Stefano Tonello ; Emanuele Menegatti
Building Quality-Based Views of the Web / Enrico Triolo ; Nicola Polettini ; Diego Sona ; Paolo Avesani
Special Track: AI and Robotics
Reinforcement Learning in Complex Environments Through Multiple Adaptive Partitions / Andrea Bonarini ; Alessandro Lazaric ; Marcello Restelli
Uses of Contextual Knowledge in Mobile Robots / D. Calisi ; A. Farinelli ; G. Grisetti ; L. Iocchi ; D. Nardi ; S. Pellegrini ; D. Tipaldi ; V.A. Ziparo
Natural Landmark Detection for Visually-Guided Robot Navigation / Enric Celaya ; Jose-Luis Albarral ; Pablo Jimenez ; Carme Torras
Real-Time Visual Grasp Synthesis Using Genetic Algorithms and Neural Networks / Antonio Chella ; Haris Dindo ; Francesco Matraxia ; Roberto Pirrone
Attention-Based Environment Perception in Autonomous Robotics / Irene Macaluso ; Lorenzo Riano
A 3D Virtual Model of the Knee Driven by EMG Signals / Massimo Sartori ; Gaetano Chemello ; Enrico Pagello
Special Track: AI and Expressive Media
'O Francesca, ma che sei grulla?' Emotions and Irony in Persuasion Dialogues / Irene Mazzotta ; Nicole Novielli ; Vincenzo Silvestri ; Fiorella de Rosis
Music Expression Understanding Based on a Joint Semantic Space / Luca Mion ; Giovanni De Poli
Towards Automated Game Design / Mark J. Nelson
Tonal Harmony Analysis: A Supervised Sequential Learning Approach
Words Not Cast in Stone / Carlo Strapparava ; Alessandro Valitutti ; Oliviero Stock
Special Track: Intelligent Access to Multimedia Information
Annotations as a Tool for Disclosing Hidden Relationships Between Illuminated Manuscripts / Maristella Agosti ; Nicola Ferro ; Nicola Orio
Mining Web Data for Image Semantic Annotation / Riccardo Petitti ; Dario Saracino
Semantic Annotation of Complex Human Scenes for Multimedia Surveillance / Carles Fernandez ; Pau Baiget ; Xavier Roca ; Jordi Gonzalez
Synthesis of Hypermedia Using OWL and Jess / Alberto Machi ; Antonino Lo Bue
NaviTexte, a Text Navigation Tool / Javier Couto ; Jean-Luc Minel
TV Genre Classification Using Multimodal Information and Multilayer Perceptrons / Maurizio Montagnuolo ; Alberto Messina
Posters
Hierarchical Text Categorization Through a Vertical Composition of Classifiers / Andrea Addis ; Giuliano Armano ; Francesco Mascia ; Eloisa Vargiu
Text Categorization in Non-linear Semantic Space / Claudio Biancalana ; Alessandro Micarelli
A System Supporting Users of Cultural Resource Management Semantic Portals / Andrea Bonomi ; Glauco Mantegari ; Alessandro Mosca ; Matteo Palmonari ; Giuseppe Vizzari
Interactive Analysis of Time in Film Stories / Francesco Mele ; Antonio Calabrese ; Roberta Marseglia
Towards MKDA: A Knowledge Discovery Assistant for Researches in Medicine / Vincenzo Cannella ; Giuseppe Russo ; Daniele Peri ; Edoardo Ardizzone
Mobile Robots and Intelligent Environments / Francesco Capezio ; Fulvio Mastrogiovanni ; Antonio Sgorbissa ; Renato Zaccaria
Multi-robot Interacting Through Wireless Sensor Networks
Design of a Multiagent Solution for Demand-Responsive Transportation / Claudio Cubillos ; Sandra Gaete ; Franco Guidi-Polanco ; Claudio Demartini
Planning the Behaviour of a Social Robot Acting as a Majordomo in Public Environments / Berardina De Carolis ; Giovanni Cozzolongo
Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions / C. Maria Keet
Recognizing Chinese Proper Nouns with Transformation-Based Learning and Ontology / Peifeng Li ; Qiaoming Zhu ; Lei Wang
Toward Image-Based Localization for AIBO Using Wavelet Transform / Yoshiaki Jitsukawa ; Ryuichi Ueda ; Tamio Arai
Crosslingual Retrieval in an eLearning Environment / Cristina Vertan ; Kiril Simov ; Petya Osenova ; Lothar Lemnitzer ; Alex Killing ; Diane Evans ; Paola Monachesi
Constraint-Based School Timetabling Using Hybrid Genetic Algorithms / Tuncay Yigit
Author Index
Invited Talks
Learning to Select Team Strategies in Finite-Timed Zero-Sum Games / Manuela Veloso
Expressive Intelligence: Artificial Intelligence, Games and New Media / Michael Mateas
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Regular Papers
Improving Angle Based Mappings / Frank Rehm ; Frank Klawonn
Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks / Manolis Maragoudakis ; Nikolaos Cosmas ; Aristogiannis Garbis
Boosting over Groups and Its Application to Acronym-Expansion Extraction / Weijian Ni ; Yalou Huang ; Dong Li ; Yang Wang
A Genetic-Based Feature Construction Method for Data Summarisation / Rayner Alfred
Suicidal Risk Evaluation Using a Similarity-Based Classifier / S. Chattopadhyay ; P. Ray ; H.S. Chen ; M.B. Lee ; H.C. Chiang
Gene Selection for Cancer Classification Using DCA / Hoai An Le Thi ; Van Vinh Nguyen ; Samir Ouchani
FARS: A Multi-relational Feature and Relation Selection Approach for Efficient Classification / Bo Hu ; Hongyan Liu ; Jun He ; Xiaoyong Du
Enhancing Text Categorization Using Sentence Semantics / Shady Shehata ; Fakhri Karray ; Mohamed Kamel
Mining Evolving Web Sessions and Clustering Dynamic Web Documents for Similarity-Aware Web Content Management / Jitian Xiao
Data Quality in Privacy Preservation for Associative Classification / Nattapon Harnsamut ; Juggapong Natwichai ; Xingzhi Sun ; Xue Li
Timeline Analysis of Web News Events / Jiangtao Qiu ; Chuan Li ; Shaojie Qiao ; Taiyong Li ; Jun Zhu
Analysis of Alarm Sequences in a Chemical Plant / Savo Kordic ; Peng Lam ; Huaizhong Li
Speed Up SVM Algorithm for Massive Classification Tasks / Thanh-Nghi Do ; Van-Hoa Nguyen ; Francois Poulet
Mining Supplemental Frequent Patterns / Yintian Liu ; Yingming Liu ; Tao Zeng ; Kaikuo Xu ; Rong Tang
A Distributed Privacy-Preserving Association Rules Mining Scheme Using Frequent-Pattern Tree / Chunhua Su ; Kouichi Sakurai
Dichotomy Method toward Interactive Testing-Based Fault Localization / Ji-Rong Sun ; Zhi-Shu Li ; Jian-Cheng Ni
Maintaining the Maximum Normalized Mean and Applications in Data Stream Mining / Jan Peter Patist
Identification of Interface Residues Involved in Protein-Protein Interactions Using Naive Bayes Classifier / Chishe Wang ; Jiaxing Cheng ; Shoubao Su ; Donzhe Xu
Negative Generator Border for Effective Pattern Maintenance / Mengling Feng ; Jinyan Li ; Limsoon Wong ; Yap-Peng Tan
CommTracker: A Core-Based Algorithm of Tracking Community Evolution / Yi Wang ; Bin Wu ; Xin Pei
Face Recognition Using Clustering Based Optimal Linear Discriminant Analysis / Wenxin Yang ; Shuqin Rao ; Jina Wang ; Jian Yin ; Jian Chen
A Novel Immune Based Approach for Detection of Windows PE Virus / Yu Zhang ; Tao Li ; Jia Sun ; Renchao Qin
Using Genetic Algorithms for Parameter Optimization in Building Predictive Data Mining Models / Ashish Sureka ; Kishore Varma Indukuri
Using Data Mining Methods to Predict Personally Identifiable Information in Emails / Liqiang Geng ; Larry Korba ; Xin Wang ; Yunli Wang ; Hongyu Liu ; Yonghua You
Iterative Reinforcement Cross-Domain Text Classification / Di Zhang ; Gui-Rong Xue ; Yong Yu
Extracting Decision Rules from Sigmoid Kernel / Quanzhong Liu ; Yang Zhang ; Zhengguo Hu
DMGrid: A Data Mining System Based on Grid Computing / Liutong Xu ; Guanhui Geng ; Xiangang Zhao ; Nan Du
S-SimRank: Combining Content and Link Information to Cluster Papers Effectively and Efficiently / Yuanzhe Cai ; Pei Li
Open Domain Recommendation: Social Networks and Collaborative Filtering / Sarah K. Tyler ; Yi Zhang
An Effective Approach for Identifying Evolving Three-Dimensional Structural Motifs in Protein Folding Data / Hui Yang ; Lin Han
Texture Image Retrieval Based on Contourlet Transform and active Perceptual Similarity Learning / Huaijing Qu ; Yuhua Peng ; Honglin Wan ; Min Han
A Temporal Dominant Relationship Analysis Method / Jing Yang ; Yuanxi Wu ; Cuiping Li ; Hong Chen ; Bo Qu
Leakage-Aware Energy Efficient Scheduling for Fixed-Priority Tasks with Preemption Thresholds / XiaoChuan He ; Yan Jia
Short Papers
Learning and Inferences of the Bayesian Network with Maximum Likelihood Parameters / JiaDong Zhang ; Kun Yue ; WeiYi Liu
TARtool: A Temporal Dataset Generator for Market Basket Analysis / Asem Omari ; Regina Langer ; Stefan Conrad
Dimensionality Reduction for Classification: Comparison of Techniques and Dimension Choice / Frank Plastria ; Steven De Bruyne ; Emilio Carrizosa
Trajectories Mining for Traffic Condition Renewing / Danhuai Guo
Mining Bug Classifier and Debug Strategy Association Rules for Web-Based Applications / Lian Yu ; Changzhu Kong ; Lei Xu ; Jingtao Zhao ; HuiHui Zhang
Test the Overall Significance of p-Values by Using Joint Tail Probability of Ordered p-Values as Test Statistic / Yongxiang Fang ; Ernst Wit
Mining Interesting Infrequent and Frequent Itemsets Based on MLMS Model / Xiangjun Dong ; Zhendong Niu ; Donghua Zhu ; Zhiyun Zheng ; Qiuting Jia
Text Learning and Hierarchical Feature Selection in Webpage Classification / Xiaogang Peng ; Zhong Ming ; Haitao Wang
The RSO Algorithm for Reducing Number of Set Operations in Association Rule Mining / Muhammad Sarwar ; Onaiza Maqbool
Predictive Performance of Clustered Feature-Weighting Case-Based Reasoning / Sung Ho Ha ; Jong Sik Jin ; Jeong Won Yang
Selecting the Right Features for Bipartite-Based Text Clustering / Chao Qu ; Yong Li ; Jie Zhang ; Tianming Hu ; Qian Chen
Image Emotional Classification Based on Color Semantic Description / Kaiping Wei ; Bin He ; Tao Zhang ; Wenya He
A Semi-supervised Clustering Algorithm Based on Must-Link Set / Haichao Huang ; Yong Cheng ; Ruilian Zhao
T-rotation: Multiple Publications of Privacy Preserving Data Sequence / Youdong Tao ; Yunhai Tong ; Shaohua Tan ; Shiwei Tang ; Dongqing Yang
The Integrated Methodology of KPCA and Wavelet Support Vector Machine for Predicting Financial Distress / Jian-guo Zhou ; Tao Bai ; Ji-ming Tian
Outlier Detection Based on Voronoi Diagram / Jilin Qu
AWSum - Data Mining for Insight / Anthony Quinn ; Andrew Stranieri ; John Yearwood ; Gaudenz Hafen
Integrative Neural Network Approach for Protein Interaction Prediction from Heterogeneous Data / Xue-wen Chen ; Mei Liu ; Yong Hu
Rules Extraction Based on Data Summarisation Approach Using DARA
A Rough-Apriori Technique in Mining Linguistic Association Rules / Yun-Huoy Choo ; Azuraliza Abu Bakar ; Abdul Razak Hamdan
Mining Causal Knowledge from Diagnostic Knowledge / Xiangdong An ; Nick Cercone
Modified Particle Swarm Optimizer with Adaptive Dynamic Weights for Cancer Combinational Chemotherapy / Harish Chandra Soundararajan ; Jagannathan Raman ; R. Muthucumaraswamy
MPSQAR: Mining Quantitative Association Rules Preserving Semantics / Chunqiu Zeng ; Jie Zuo ; Shengqiao Ni ; Liang Tang ; Yue Zhang
Using Support Vector Regression for Classification / Bo Huang ; Zhihua Cai ; Qiong Gu ; Changjun Chen
Dynamic Growing Self-organizing Neural Network for Clustering / Daxin Tian ; Yueou Ren ; Qiuju Li
A Design of Reward Function Based on Knowledge in Multi-agent Learning / Bo Fan ; Jiexin Pu
A Learning Method of Detecting Anomalous Pedestrian / Yue Liu ; Jun Zhang ; Zhijing Liu
Moment+: Mining Closed Frequent Itemsets over Data Stream / Haifeng Li
CDPM: Finding and Evaluating Community Structure in Social Networks / Li Wan ; Jianxin Liao ; Xiaomin Zhu
Using Matrix Model to Find Association Rule Core for Diverse Compound Critiques / Li Yu
Link-Contexts for Ranking / Jessica Gronski
DC-Tree: An Algorithm for Skyline Query on Data Streams / Cui-Ping Li
Sequential Pattern Mining for Protein Function Prediction / Miao Wang ; Xue-qun Shang ; Zhan-huai Li
Improving Web Search by Categorization, Clustering, and Personalization / Dengya Zhu ; Heinz Dreher
JSNVA: A Java Straight-Line Drawing Framework for Network Visual Analysis / Qi Ye ; Bai Wang
Recognition of Data Records in Semi-structured Web-Pages Using Ontology and X[superscript 2] Statistical Distribution / Amin Keshavarzi ; Amir Masoud Rahmani ; Mehran Mohsenzadeh ; Reza Keshavarzi
Organizing Structured Deep Web by ClusteringQuery Interfaces Link Graph / Pengpeng Zhao ; Li Huang ; Wei Fang ; Zhiming Cui
CBP: A New Efficient Method for Mining Multilevel and Generalized Frequent Itemsets / Yu Xing Mao ; Bai Le Shi
Supporting Customer Retention through Real-Time Monitoring of Individual Web Usage / Peter I. Hofgesang
A Comparative Study of Correlation Measurements for Searching Similar Tags / Yu Chen ; Yexi Jiang ; Jie Gong
Structure of Query Modification Process: Branchings / Nikolai Buzikashvili
Mining Top-n Local Outliers in Constrained Spatial Networks / Chongsheng Zhang ; Zhongbo Wu
Mining Concept-Drifting Data Streams with Multiple Semi-Random Decision Trees / Peipei Li ; Xuegang Hu ; Xindong Wu
Automatic Web Tagging and Person Tagging Using Language Models / Qiaozhu Mei
Real-Time Person Tracking Based on Data Field / Shuliang Wang ; Juebo Wu ; Feng Cheng ; Hong Jin
Author Index
Keynotes
An Introduction to Transfer Learning / Qiang Yang
Autonomy-Oriented Computing (AOC), Self-organized Computability, and Complex Data Mining / Jiming Liu
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Some Simplified Forms of Reasoning with Distance-Based Entailments / Ofer Arieli ; Anna Zamansky
A Belief-Theoretic Reputation Estimation Model for Multi-context Communities / Ebrahim Bagheri ; M. Barouni-Ebrahimi ; Reza Zafarani ; Ali A. Ghorbani
A Frequency Mining-Based Algorithm for Re-ranking Web Search Engine Retrievals
Multi-agent Framework for a Virtual Enterprise of Demand-Responsive Transportation / Daniel Cabrera ; Claudio Cubillos
Use of Fuzzy Histograms to Model the Spatial Distribution of Objects in Case-Based Reasoning / Alan Davoust ; Michael W. Floyd ; Babak Esfandiari
Aspects of Inconsistency Resolution in Modular Ontologies / Faezeh Ensan ; Weichang Du
Fast Markov Blanket Discovery Algorithm Via Local Learning within Single Pass / Shunkai Fu ; Michel C. Desmarais
Finding Topics in Email Using Formal Concept Analysis and Fuzzy Membership Functions / Liqiang Geng ; Larry Korba ; Yunli Wang ; Xin Wang ; Yonghua You
Recognizing Biomedical Named Entities in Chinese Research Abstracts / Baohua Gu ; Fred Popowich ; Veronica Dahl
Point-Based Planning for Predictive State Representations / Masoumeh T. Izadi ; Doina Precup
Comparison of Pleomorphic and Structural Features Used for Breast Cancer Malignancy Classification / Lukasz Jelen ; Adam Krzyzak ; Thomas Fevens
Towards a Faster Inference Algorithm in Multiply Sectioned Bayesian Networks / Karen H. Jin ; Dan Wu
Using Dependence Diagrams to Summarize Decision Rule Sets / Kamran Karimi ; Howard J. Hamilton
A Fast Computation of Inter-class Overlap Measures Using Prototype Reduction Schemes / Sang-Woon Kim ; B. John Oommen
A Reputation Model Framework for Artificial Societies: A Case Study in Child Vehicle Safety Simulation / Ziad Kobti ; Shamual Rahaman ; Anne W. Snowdon ; Robert D. Kent
Selective Sampling for Classification / Francois Laviolette ; Mario Marchand ; Sara Shanian
Full Border Identification for Reduction of Training Sets / Guichong Li ; Trevor J. Stocki ; R. Kurt Ungar
Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF / Serguei A. Mokhov
Predicting User Preferences Via Similarity-Based Clustering / Mian Qin ; Scott Buffett ; Michael W. Fleming
Mathematically Clinching a Playoff Spot in the NHL and the Effect of Scoring Systems / Tyrel Russell ; Peter van Beek
An Intelligent Automatic Face Contour Prediction System / Seref Sagiroglu ; Necla Ozkaya
Word Clustering with Validity Indices / Ahmad El Sayed ; Julien Velcin ; Djamel Zighed
The Role of Nominalizations in Prepositional Phrase Attachment in GENIA / Jonathan Schuman ; Sabine Bergler
A Statistical Model for Topic Segmentation and Clustering / M. Mahdi Shafiei ; Evangelos E. Milios
Image Transformation: Inductive Transfer between Multiple Tasks Having Multiple Outputs / Daniel L. Silver ; Liangliang Tu
Using Unsupervised Learning for Network Alert Correlation / Reuben Smith ; Maxwell Dondo ; Peter Mason
Verbs Speak Loud: Verb Categories in Learning Polarity and Strength of Opinions / Marina Sokolova ; Guy Lapalme
A Stochastic Point-Based Algorithm for POMDPs / Ludovic Tobin
Semi-supervised Self-training for Sentence Subjectivity Classification / Bin Wang ; Bruce Spencer ; Charles X. Ling ; Harry Zhang
A Novel Approach for Social Behavior Analysis of the Blogosphere / Mohammad-Amin Jashki ; Hamidreza Baghi
Seller Bidding in a Trust-Based Incentive Mechanism for Dynamic E-Marketplaces / Jie Zhang ; Robin Cohen
Author Index
Local Decision Bagging of Binary Neural Classifiers / Rocio Alaiz-Rodriguez
Assessing the Impact of Changing Environments on Classifier Performance / Nathalie Japkowicz
A Comparison of Sentiment Analysis Techniques: Polarizing Movie Blogs / Michelle Annett ; Grzegorz Kondrak
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist / Stephen Muggleton
Tutorials
Logic, Probability and Learning, or an Introduction to Statistical Relational Learning
Text Mining
From ILP to PILP
Computer Vision and Pattern Recognition
Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications / C.G. Gonzalez ; W. Bonventi Jr. ; A.L. Vieira Rodrigues
Multi-Dimensional Dynamic Time Warping for Image Texture Similarity / Rodrigo Fernandes de Mello ; Iker Gondra
Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven Facial Animation / Lucas D. Terissi ; Juan Carlos Gomez
Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis / Carlos Eduardo Thomaz ; Gilson Antonio Giraldi
Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory
Enhancing the Interaction between Agents and Users / Marcelo Armentano ; Silvia Schiaffino ; Analia Amandi
Re-routing Agents in an Abstract Traffic Scenario / Ana L.C. Bazzan ; Franziska Klugl
A Draughts Learning System Based on Neural Networks and Temporal Differences: The Impact of an Efficient Tree-Search Algorithm / Gutierrez Soares Caixeta ; Rita Maria da Silva Julia
An Experimental Approach to Online Opponent Modeling in Texas Hold'em Poker / Dinis Felix ; Luis Paulo Reis
Individual and Social Behaviour in the IPA Market with RL / Eduardo Rodrigues Gomes ; Ryszard Kowalczyk
Optimizing Preferences within Groups: A Case Study on Travel Recommendation / Fabiana Lorenzi ; Fernando dos Santos ; Paulo R. Ferreira Jr.
Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems / Diego R. Pereira ; Luciano V. Goncalves ; Gracaliz P. Dimuro ; Antonio C.R. Costa
Probabilistic Multiagent Patrolling / Tiago Sak ; Jacques Wainer ; Siome Klein Goldenstein
Knowledge Representation and Reasoning
Proving Epistemic and Temporal Properties from Knowledge Based Programs / Mario Benevides ; Carla Delgado ; Michel Carlini
Detecting Code Evolution in Programming Learning / Thais Castro ; Hugo Fuks ; Alberto Castro
Revising Specifications with CTL Properties Using Bounded Model Checking / Marcelo Finger ; Renata Wassermann
Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach / Alexandre Rademaker ; Edward Hermann Haeusler
A Case for Numerical Taxonomy in Case-Based Reasoning / Luis A.L. Silva ; John A. Campbell ; Nicholas Eastaugh ; Bernard F. Buxton
Methodical Construction of Symbolic Diagrams / Paulo A.S. Veloso ; Sheila R.M. Veloso
Machine Learning and Data Mining
Bi-objective Memetic Evolutionary Algorithm for Automated Microwave Filter Synthesis / Maria J.P. Dantas ; Leonardo da C. Brito ; Paulo C.M. Machado ; Paulo H.P. de Carvalho
Fitting a Least Absolute Deviation Regression Model on Interval-Valued Data / Andre Luis Santiago Maia ; Francisco de A.T. de Carvalho
Missing Value Imputation Using a Semi-supervised Rank Aggregation Approach / Edson T. Matsubara ; Ronaldo C. Prati ; Gustavo E.A.P.A. ; Maria C. Monard
A Learning Function for Parameter Reduction in Spiking Neural Networks with Radial Basis Function / Alexandre da Silva Simoes ; Anna Helena Reali Costa
A Robust Methodology for Comparing Performances of Clustering Validity Criteria / Lucas Vendramin ; Ricardo J.G.B. Campello ; Eduardo R. Hruschka
Natural Language Processing
An Experiment in Spanish-Portuguese Statistical Machine Translation / Wilker Ferreira Aziz ; Thiago Alexandre Salgueiro Pardo ; Ivandre Paraboni
On the Automatic Learning of Bilingual Resources: Some Relevant Factors for Machine Translation / Helena de M. Caseli ; Maria das Gracas V. Nunes ; Mikel L. Forcada
Robotics
Experiments in the Coordination of Large Groups of Robots / Leandro Soriano Marcolino ; Luiz Chaimowicz
Evolving an Artificial Homeostatic System / Renan C. Moioli ; Patricia A. Vargas ; Fernando J. Von Zuben ; Phil Husbands
Author Index
Invited Papers
Logical and Relational Learning / Luc De Raedt
Transfer Learning by Mapping and Revising Relational Knowledge / Raymond J. Mooney
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Semantics and Experience in the Future Web / Enric Plaza
Research Papers
Recognizing the Enemy: Combining Reinforcement Learning with Strategy Selection Using Case-Based Reasoning / Bryan Auslander ; Stephen Lee-Urban ; Chad Hogg ; Hector Munoz-Avila
Formal and Experimental Foundations of a New Rank Quality Measure / Steven Bogaerts ; David Leake
Provenance, Trust, and Sharing in Peer-to-Peer Case-Based Web Search / Peter Briggs
Visualizing and Evaluating Complexity of Textual Case Bases / Sutanu Chakraborti ; Ulises Cervino Beresi ; Nirmalie Wiratunga ; Stewart Massie ; Robert Lothian ; Deepak Khemani
Conservative Adaptation in Metric Spaces / Julien Cojan ; Jean Lieber
Opportunistic Acquisition of Adaptation Knowledge and Cases-The IakA Approach / Amelie Cordier ; Beatrice Fuchs ; Leonardo Lana de Carvalho ; Alain Mille
Noticeably New: Case Reuse in Originality-Driven Tasks / Belen Diaz-Agudo ; Juan A. Recio-Garcia ; Josep-Lluis Arcos
Experience-Based Design of Behaviors in Videogames / Gonzalo Florez Puga ; Pedro Gonzalez-Calero
Considerations for Real-Time Spatially-Aware Case-Based Reasoning: A Case Study in Robotic Soccer Imitation / Michael W. Floyd ; Alan Davoust ; Babak Esfandiari
Retrieval Based on Self-explicative Memories / Albert Fornells ; Eva Armengol ; Elisabet Golobardes
Increasing Precision of Credible Case-Based Inference / Thomas Gabel ; Martin Riedmiller
Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts and Extensions / Ilya Vladimirskiy ; Belen Prados Suarez ; Eva Stauch
Using Case Provenance to Propagate Feedback to Cases and Adaptations / Scott A. Dial
Towards Case-Based Support for e-Science Workflow Generation by Mining Provenance / Joseph Kendall-Morwick
Knowledge Planning and Learned Personalization for Web-Based Case Adaptation / Jay Powell
Cases, Predictions, and Accuracy Learning and Its Application to Effort Estimation / Jingzhou Li ; Brenan Mackas ; Michael M. Richter ; Guenther Ruhe
Evaluation of Feature Subset Selection, Feature Weighting, and Prototype Selection for Biomedical Applications / Suzanne Little ; Ovidio Salvetti ; Petra Perner
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy / Cindy Marling ; Jay Shubrook ; Frank Schwartz
Conversational Case-Based Reasoning in Self-healing and Recovery / David McSherry ; Sa'adah Hassan ; David Bustard
Situation Assessment for Plan Retrieval in Real-Time Strategy Games / Kinshuk Mishra ; Santiago Ontanon ; Ashwin Ram
Optimization Algorithms to Find Most Similar Deductive Consequences (MSDC) / Babak Mougouie
Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning / Pedro Almeida ; Marco Jorge ; Luis Cortesao ; Filipe Martins ; Marco Vieira ; Paulo Gomes
Predicting the Presence of Oil Slicks After an Oil Spill / Juan Manuel Corchado ; Aitor Mata
Case Based Interpretation of Soil Chromatograms / Minu Mary Joseph ; Saritha Variganti
Case-Based Troubleshooting in the Automotive Context: The SMMART Project / Stefania Bandini ; Ettore Colombo ; Giuseppe Frisoni ; Fabio Sartori ; Joakim Svensson
Rapid Prototyping of CBR Applications with the Open Source Tool myCBR / Armin Stahl ; Thomas R. Roth-Berghofer
Author Index
Invited Talks
Case-Based Reasoning in the Health Sciences: Why It Matters for the Health Sciences and for CBR / Isabelle Bichindaritz
An Analysis of Research Themes in the CBR Conference Literature / Derek Greene ; Jill Freyne ; Barry Smyth ; Padraig Cunningham
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
GrAM: Reasoning with Grounded Action Models by Combining Knowledge Representation and Data Mining / Nicolai v. Hoyningen-Huene ; Bernhard Kirchlechner ; Michael Beetz
Reinforcement Learning of Predictive Features in Affordance Perception / Lucas Paletta ; Gerald Fritz
A Functional Model for Affordance-Based Agents / Martin Raubal
Affordances in an Ecology of Physically Embedded Intelligent Systems / Alessandro Saffiotti ; Mathias Broxvall
Use of Affordances in Geospatial Ontologies / Sumit Sen
Learning the Affordances of Tools Using a Behavior-Grounded Approach / Alexander Stoytchev
Function-Based Reasoning for Goal-Oriented Image Segmentation / Melanie A. Sutton ; Louise Stark
The MACS Project: An Approach to Affordance-Inspired Robot Control / Erich Rome ; Erol Şahin ; Georg Dorffner ; Ralph Breithaupt ; Jörg Irran ; Florian Kintzler ; Stefan May ; Emre Uğur
Author Index
Interpersonal Maps: How to Map Affordances for Interaction Behaviour / Verena V. Hafner ; Frédéric Kaplan
Does It Help a Robot Navigate to Call Navigability an Affordance? / Joachim Hertzberg ; Kai Lingemann ; Christopher Lörken ; Andreas Nüchter ; Stefan Stiene
Learning Causality and Intentional Actions / Somboon Hongeng ; Jeremy Wyatt
Towards Constructive Homological Algebra in Type Theory / Thierry Coquand and Arnaud Spiwack
What Might "Understand a Function" Mean? / James H. Davenport
Biform Theories in Chiron
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic / Predrag Janicic ; Alan Bundy
Certified Computer Algebra on Top of an Interactive Theorem Prover / Cezary Kaliszyk ; Freek Wiedijk
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators / Elena Kartashova ; Scott McCallum
Rule-Based Simplification in Vector-Product Spaces / Songxin Liang ; David J. Jeffrey
Contributions to MKM 2007
Mathematics and Scientific Markup / Peter Murray Rust
The On-Line Encyclopedia of Integer Sequences / Neil J.A. Sloane
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems / Miguel A. Abanades ; Jesus Escribano ; Francisco Botana
Higher Order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case / Andrea Asperti ; Enrico Tassi
A Framework for Interactive Proof / David Aspinall ; Christoph Luth ; Daniel Winterstein
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems / Serge Autexier ; Armin Fiedler ; Thomas Neumann ; Marc Wagner
Mizar Course in Logic and Set Theory / Ewa Borak ; Anna Zalewska
Using Formal Concept Analysis in Mathematical Discovery / Simon Colton ; Daniel Wagner
Cooperative Repositories for Formal Proofs / Pierre Corbineau
Revisions as an Essential Tool to Maintain Mathematical Repositories / Adam Grabowski ; Christoph Schwarzweller
The Layers of Logiweb / Klaus Grue
Formal Representation of Mathematics in a Dependently Typed Set Theory / Feryal Fulya Horozal ; Chad E. Brown
Restoring Natural Language as a Computerised Mathematics Input Method / Fairouz Kamareddine ; Robert Lamar ; Manuel Maarek ; J.B. Wells
Narrative Structure of Mathematical Texts / Krzysztof Retel
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch / Andrea Kohlhase ; Michael Kohlhase
Alternative Aggregates in Mizar / Gilbert Lee ; Piotr Rudnicki
An Approach to Mathematical Search Through Query Formulation and Data Normalization / Robert Miner ; Rajesh Munavalli
Extended Formula Normalization for [epsilon]-Retrieval and Sharing of Mathematical Knowledge / Immanuel Normann
Towards Mathematical Knowledge Management for Electrical Engineering / Agnieszka Rowinska-Schwarzweller
PR-OWL: A Bayesian Ontology Language for the Semantic Web / Paulo Cesar G. da Costa ; Kathryn B. Laskey ; Kenneth J. Laskey
Discovery and Uncertainty in Semantic Web Services / Francisco Martin-Recuerda
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion / Matthias Nickles ; Ruth Cobos
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies / Andriy Nikolov ; Victoria Uren ; Enrico Motta ; Anne de Roeck
An Ontology-Based Bayesian Network Approach for Representing Uncertainty in Clinical Practice Guidelines / Hai-Tao Zheng ; Bo-Yeong Kang ; Hong-Gee Kim
Fuzzy and Possibilistic Models
A Crisp Representation for Fuzzy SHOIN with Fuzzy Nominals and General Concept Inclusions / Fernando Bobillo ; Miguel Delgado ; Juan Gomez-Romero
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Uncertainty Issues and Algorithms in Automating Process Connecting Web and User / Alan Eckhardt ; Tomas Horvath ; Dusan Maruscak ; Robert Novotny ; Peter Vojtas
Granular Association Rules for Multiple Taxonomies: A Mass Assignment Approach / Trevor P. Martin ; Yun Shen ; Ben Azvine
A Fuzzy Semantics for the Resource Description Framework / Mauro Mazzieri ; Aldo Franco Dragoni
Reasoning with the Fuzzy Description Logic f-SHIN: Theory, Practice and Applications / Giorgos Stoilos ; Giorgos Stamou ; Jeff Z. Pan ; Nick Simou ; Vassilis Tzouvaras
Inductive Reasoning and Machine Learning
Towards Machine Learning on the Semantic Web / Volker Tresp ; Markus Bundschus ; Achim Rettinger ; Yi Huang
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies / Joaquin Borrego-Diaz ; Antonia M. Chavez-Gonzalez
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
Frequent Itemset Mining from Databases Including One Evidential Attribute / Mohamed Anis Bach Tobji ; Boutheina Ben Yaghlane ; Khaled Mellouli
Evaluating Trustworthiness from Past Performances: Interval-Based Approaches / Jonathan Ben-Naim ; Henri Prade
A Comparative Study of Six Formal Models of Causal Ascription / Salem Benferhat ; Jean-Francois Bonnefon ; Philippe Chassy ; Rui Da Silva Neves ; Didier Dubois ; Florence Dupin de Saint-Cyr ; Daniel Kayser ; Farid Nouioua ; Sara Nouioua-Boutouhami ; Salma Smaoui
An Efficient Algorithm for Naive Possibilistic Classifiers with Uncertain Inputs / Karim Tabia
Transitive Observation-Based Causation, Saliency, and the Markov Condition
A Family of Tolerant Antidivision Operators for Database Fuzzy Querying / Patrick Bosc ; Olivier Pivert
Uncertainty Management for the Retrieval of Economic Information from Distributed Markets / Rene Brunner ; Felix Freitag ; Leandro Navarro
Loopy Propagation in a Probabilistic Description Logic / Fabio Gagliardi Cozman ; Rodrigo Bellizia Polastro
On the Performance of Fuzzy Data Querying / Mariela Curiel ; Claudia Gonzalez ; Leonid Tineo ; Angelica Urrutia
Tractable Reasoning with Bayesian Description Logics / Claudia d'Amato ; Nicola Fanizzi ; Thomas Lukasiewicz
Approximate Reasoning for Efficient Anytime Induction from Relational Knowledge Bases / Nicola Di Mauro ; Teresa M.A. Basile ; Stefano Ferilli ; Floriana Esposito
Fusing Uncertain Structured Spatial Information / Robert Jeansoulin
A Neuro Fuzzy Approach for Handling Structured Data / Alessio Ferone ; Alfredo Petrosino
A Framework for the Partial Evaluation of SPARQL Queries / Sergio Flesca ; Filippo Furfaro ; Andrea Pugliese
An Evolutionary Perspective on Approximate RDF Query Answering / Christophe Gueret ; Eyal Oren ; Stefan Schlobach ; Martijn Schut
Clustering Uncertain Data Via K-Medoids / Francesco Gullo ; Giovanni Ponti ; Andrea Tagarelli
Speeding Up the NRA Algorithm / Peter Gursky ; Peter Vojtas
Uncertain Context Modeling of Dimensional Ontology Using Fuzzy Subset Theory / Ying Jiang ; Hui Dong
A Personalized Approach to Experience-Aware Service Ranking and Selection / Friederike Klan ; Birgitta Konig-Ries
Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results / Scott Langevin ; Marco Valtorta
Optimization of Queries over Interval Probabilistic Data / Matteo Magnani ; Danilo Montesi
Polynomial Time Queries over Inconsistent Databases / Cristian Molinaro
Using OBDDs for Efficient Query Evaluation on Probabilistic Databases / Dan Olteanu ; Jiewen Huang
A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs / Emad Saad
On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
Scaling Most Probable World Computations in Probabilistic Logic Programs / Gerardo I. Simari ; Maria Vanina Martinez ; Amy Sliva ; V.S. Subrahmanian
Measuring the Ignorance and Degree of Satisfaction for Answering Queries in Imprecise Probabilistic Logic Programs / Anbu Yue ; Weiru Liu ; Anthony Hunter
Author Index
Consistent Query Answering: The First Ten Years (Invited Tutorial) / Jan Chomicki
Heavy Tails and Web Models (Abstract) (Invited Talk) / Prabhakar Raghavan
Managing Probabilistic Data with MystiQ: The Can-Do, the Could-Do, and the Can't-Do (Invited Talk) / Christopher Re ; Dan Suciu
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
A Citizen's Portal for the City of Bergen / Lars Marius Garshol
Visualisation and Representation of Topic Maps
TMchartis - A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps / Hendrik Thomas ; Rike Brecht ; Bernd Markscheffel ; Stephan Bode ; Karsten Spekowius
Open Educational Topic Maps: A Text-Oriented Perspective / Lars Johnsen
Using Topic Maps for Visually Exploring Various Data Sources in a Web-Based Environment / Eicke Godehardt ; Nadeem Bhatti
Collaborative Applications
Topincs Wiki - A Topic Maps Powered Wiki / Robert Cerny
Bookmap - A Topic Maps Based Web Application for Organising Bookmarks / Tobias Hofmann ; Martin Pradella
Standards Related Research
A Theory of Scope
Comparing Topic Maps Constraint Specification Languages / Giovani Rubert Librelotto ; Renato Preigschadt de Azevedo ; Jose Carlos Ramalho ; Pedro Rangel Henriques
Information Integration with Topic Maps
Knowledge-Oriented Middleware Using Topic Maps / Robert Barta
Large Scale Knowledge Representation of Distributed Biomedical Information / Volker Stumpflen ; Thorsten Barnickel ; Karamfilka Nenova
Versioning of Topic Map Templates and Scalability / Markus Ueberall ; Oswald Drobnik
Social Software with Topic Maps
Toward a Topic Maps Amanuensis / Jack Park
Cooperative Building of Multiple Points-of-View Topic Maps with Hypertopic / L'Hedi Zaher ; Jean-Pierre Cahier ; Claude Guittard
Metadata Creation in Socio-semantic Tagging Systems: Towards Holistic Knowledge Creation and Interchange / Roy Lachica ; Dino Karabeg
Topic Maps Engines
Ruby Topic Maps / Benjamin Bock
Topic Maps and Dublin Core
Expressing Dublin Core in Topic Maps / Steve Pepper
Mapping Between the Dublin Core Abstract Model DCAM and the TMDM / Lutz Maicher
Information Management with Topic Maps
On Path-Centric Navigation and Search Techniques for Personal Knowledge Stored in Topic Maps / Jens Heider ; Julian Schutte
KAIFIA: Knowledge Assisted Intelligent Framework for Information Access / Atta Badii ; Chattun Lallah ; Oleksandr Kolomiyets ; Meng Zhu ; Michael Crouch
Open Space and Poster Sessions
Report from the Open Space and Poster Sessions
Author Index
Scaling Topic Maps / Mare Wilhelm Kuster ; Graham Moore
Applied Topic Maps in Industry and Administration
Convergence of Classical Search and Semantic Technologies - Evidences from a Practical Case in the Chemical Industry / Stefan Smolnik
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
Modeling, Understanding, and Interacting with Humans / Yoshihiko Nakamura
Humanoids, Brain and Cognitive Sciences / Giulio Sandini
Simulation
XPERSim: A Simulator for Robot Learning by Experimentation / Iman Awaad ; Beatriz Leon
From Simulated to Real Scenarios: A Framework for Multi-UAVs / Andrea Cesetti ; Adriano Mancini ; Emanuele Frontoni ; Primo Zingaretti ; Sauro Longhi
Simulation of Multi-Robot Teams with Flexible Level of Detail / Martin Friedmann ; Karen Petersen ; Oskar von Stryk
MM-ulator: Towards a Common Evaluation Platform for Mixed Mode Environments / Matthias Kropff ; Christian Reinl ; Kim Listmann ; Katayon Radkhah ; Faisal Karim Shaikh ; Arthur Herzog ; Armin Strobel ; Daniel Jocobi
A Multi-agent 3D Simulation Environment for Clothing Industry / Rezia Molfino ; Enrico Carca ; Matteo Zoppi ; Fabio Bonsignorio ; Massimo Callegari ; Andrea Gabrielli ; Marco Principi
A Lunar Surface Operations Simulator / Hari Nayar ; Bob J. Balaram ; Jonathan Cameron ; Abhinandan Jain ; Christopher Lim ; Rudranarayan Mukherjee ; Stephen Peters ; Marc Pomerantz ; Leonard Reder ; Partha Shakkottai ; Stephen Wall
YARS: A Physical 3D Simulator for Evolving Controllers for Real Robots / Keyan Zahedi ; Arndt von Twickel ; Frank Pasemann
Programming
A Software Platform for Component Based RT-System Development: OpenRTM-Aist / Noriaki Ando ; Takashi Suehiro ; Tetsuo Kotoku
A Software System for Robotic Learning by Experimentation / Ronny Hartanto ; Bettriz Leon ; Paul Ploger
A Mobile Robt Control Framework: From Simulation to Reality / Stephen Balakrisky ; Frederick M. Proctor ; Christopher J. Scrapper ; Thomas R. Kramer
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots / Mirko Bordignon ; Lars Lindegaard Mikkelsen ; Ulrik Pagh Schultz
Real-Time Software for Mobile Robot Simulation and Experimentation in Cooperative Environments / Andreu Corominas Murtra ; Josep M. Mirats Tur ; Oscar Sandoval ; Alberto Sanfeliu
Knowledge Processing Middleware / Fredrik Heintz ; Jonas Kvarnstrom ; Patrick Doherty
Towards Automatied Online Diagnosis of Robt Navigation Software / Alexander Kleiner ; Gerald Steinbauer ; Franz Wotawa
A Common Framework for Co-operative Robotics: An Open, Fault Tolerant Architecture for Multi-league RoboCup Teams / Luis Mota ; Luis Paulo Reis
Multilevel Testing of Control Software for Teams of Autonomous Mobile Robots / Sebastian Petters ; Dirk Thomas
ppPDC Communication Framework - A New Tool for Distributed Robotics / Grezgorz Polakow ; Mieczyslaw Metzger
The Experimental Robotics Framework / Joao Xavier ; Helder Araujo
Applications
Where Am I? A Simulated GPS Sensor for Outdoor Robotic Applications / Benjamin Balaguer ; Stefano Carpin
An Emphatic Humanoid Robot with Emotional Latent Semantic Behavior / Antonio Chella ; Giovanni Pilato ; Rosario Sorbello ; Giorgio Vassallo ; Francesco Cinquegrani ; Salvatore Maria Anzalone
Developing Robot Motions by Simulated Touch Sensors / Fabio Dalla Libera ; Takashi Minato ; Enrico Pagello ; Emanuele Menegatti
3D Simulation of a Motorized Operation Microscope / Markus Finke ; Achim Schweikard
Real-Time Least-Square Fitting of Ellipses Applied to the RobotCub Platform / Nicola Greggio ; Luigi Manfredi ; Cecilia Laschi ; Paolo Dario ; Maria Chiara Carrozza
An Introduction to a New Commentator for RoboCup 3D Soccer Simulation / Amin Habibi Shahri
Authority Sharing in a Swarm of UAVs: Simulation and Experiments with Operators / Francois Legras ; Arnaud Glad ; Olivier Simonin ; Francois Charpillet
Rescue Robot Navigation: Static Stability Estimation in Random Step Environment / Evgeni Magid ; Kentaro Ozawa ; Takashi Tsubouchi ; Eiji Koyanagi ; Tomoaki Yoshida
Performance Evaluation of Repeated Auctions for Robust Task Execution / Maitreyi Nanjanath ; Maria Gini
Conceptual Frameowork to Maintain Multiple and Floating Relationship among Coordinate Reference Systems for Robotics / Itsuki Noda ; Hiroki Shimora ; Hidehisa Akiyama
Conceptual Design of a Power Distribution Line Maintenance Robot Using a Developed CG Simulator and Experimental Robot System / Kiyoshi Tsukahara ; Yorihiko Tanaka ; Yingxin He ; Toshihisa Miyamoto ; Kyouichi Tatsuno
Author Index
Invited Talks
Simulation, Modeling and Programming for Autonomous Robots: The Open Source Perspective / Herman Bruyninckx
Studies on Humanlike Robots - Humanoid, Android and Geminoid / Hiroshi Ishiguro
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
Characteristics / II:
Speaker Characteristics / Tanja Schultz
Foreign Accent / Ulrike Gut
Acoustic Analysis of Adult Speaker Age / Susanne Schotz
Speech Under Stress: Analysis, Modeling and Recognition / John H.L. Hansen ; Sanjay Patil
Speaker Characteristics and Emotion Classification / Anton Batliner ; Richard Huber
Emotions in Speech: Juristic Implications / Erik J. Eriksson ; Robert D. Rodman ; Robert C. Hubal
Applications / III:
Application of Speaker Classification in Human Machine Dialog Systems / Felix Burkhardt
Speaker Classification in Forensic Phonetics and Acoustics / Michael Jessen
Forensic Automatic Speaker Classification in the "Coming Paradigm Shift" / Joaquin Gonzalez-Rodriguez ; Daniel Ramos
The Many Roles of Speaker Classification in Speaker Verification and Identification / Judith Markowitz
Methods and Features / IV:
Frame Based Features / Stefan Schacht ; Jacques Koreman ; Christoph Lauer ; Andrew Morris ; Dalei Wu ; Dietrich Klakow
Higher-Level Features in Speaker Recognition / Elizabeth Shriberg
Enhancing Speaker Discrimination at the Feature Level / Andrew C. Morris
Multi-stream Fusion for Speaker Classification / Izhak Shafran
Evaluation / V:
Evaluations of Automatic Speaker Classification Systems / Alvin F. Martin
An Introduction to Application-Independent Evaluation of Speaker Recognition Systems / David A. van Leeuwen ; Niko Brummer
Author Index
Fundamentals / I:
How Is Individuality Expressed in Voice? An Introduction to Speech Production and Description for Speaker Classification / Volker Dellwo ; Mark Huckvale ; Michael Ashby
Speaker Classification Concepts: Past, Present and Future / David R. Hill
Elisabeth André, Laila Dybkjr, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, Jörg Siekmann, Michael Weber, Institute of Electrical and Electronics Engineers., Laila Dybkjær
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
The Past, Present, and Future of IEC 61499 / Alois Zoitl ; Thomas Strasser ; Ken Hall ; Ray Staron ; Christoph Sunder ; Bernard Favre-Bulle
Can Multi-Agents Wake Us from IC Design Productivity Nightmare? / Peter van Staa ; Christian Sebeke
Motivation
From Intelligent Agents to Intelligent Beings / Paul Valckenaers ; Hadeli Hadeli ; Bart Saint Germain ; Paul Verstraete ; Jan Van Belle ; Hendrik Van Brussel
Multi-agent Reflection in Autonomic Systems / Jan Tozicka ; Michal Pechoucek ; Martin Rehak ; Magdalena Prokopova
Auctions with Arbitrary Deals / Tamas Mahr ; Mathijs de Weerdt
Architectures and Services
Service Composition in Holonic Multiagent Systems: Model-Driven Choreography and Orchestration / Christian Hahn ; Klaus Fischer
Flexible Roles in a Holonic Multi-Agent System / Emmanuel Adam ; Rene Mandiau
Agent-Based Inter-Organizational Workflow Management System / Paulo Leitao ; Joao Mendes
Co-operative Co-evolutionary System for Solving Dynamic VRPTW Problems with Crisis Situations / Rafal Drezewski ; Lukasz Dronka ; Jaroslaw Kozlak
Anonymity Architecture for Mobile Agent Systems / Rafal Leszczyna
SitCom - Development Platform for Multimodal Perceptual Services / Pascal Fleury ; Jan Curin ; Jan Kleindienst
New Technologies and Techniques
An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems / Yazen Al-Safi ; Valeriy Vyatkin
Methods to Observe the Clustering of Agents Within a Multi-Agent System / Raymond J. Staron ; Pavel Tichy ; Radek Sindelar ; Francisco P. Maturana
Distributed Director Facilitator in a Multiagent Platform for Networked Embedded Controllers / Omar J. Lopez Orozco ; Jose L. Martinez Lastra
Agent Methods for Network Intrusion Detection and Response / David Medvigy ; Magda Prokopova ; Lukas Foltyn
Detecting Intrusions in Agent System by Means of Exception Handling / Eric Platon ; Nicolas Sabouret ; Shinichi Honiden
Smart Caching Algorithm for Software Agents Based on Re-Execution Probability / Jarogniew Rykowski
Planning and Scheduling
Metaheuristic Agent Teams for Job Shop Scheduling Problems / Mehmet E. Aydin
Distributed Production Scheduling Using Federated Agent Architecture / Jayeola Femi Opadiji ; Toshiya Kaihara
A Study on Real-Time Scheduling for Holonic Manufacturing Systems - Simulation for Estimation of Future Status by Individual Holons / Koji Iwamura ; Atsushi Nakano ; Yoshitaka Tanimizu ; Nobuhiro Sugimura
Adaptive Planning for Supply Chain Networks / Michael Andreev ; George Rzevski ; Petr Skobelev ; Peter Shveykin ; Alexander Tsarev ; Andrew Tugashev
An Agent Based Modelling Approach for Stochastic Planning Parameters / Wilhelm Dangelmaier ; Benjamin Klopper ; Alexander Blecken
Design Issues
A Holonic Metamodel for Agent-Oriented Analysis and Design / Massimo Cossentino ; Nicolas Gaud ; Stephane Galland ; Vincent Hilaire ; Abderrafiaa Koukam
Using Adaptable Design to Classify Interactions Within a Distributed Control Architecture / Christopher Dan Fletcher ; Robert William Brennan ; Peihua Gu
Application of the Holonic Approach in Distributed Control Systems Designing / Dariusz Choinski ; Witold Nocon ; Mieczyslaw Metzger
Design and Implementation of Adaptive Agents for Complex Manufacturing Systems / Jens Zimmermann ; Lars Monch
Dynamic Configuration and Management of e-Supply Chains Based on Internet Public Registries Visited by Clusters of Software Agents / Konrad Fuks ; Arkadiusz Kawa ; Waldemar Wieczerzycki
Applications
A Multiagent Control System for Shop Floor Assembly / Goncalo Candido ; Jose Barata
MagentaToolkit: A Set of Multi-agent Tools for Developing Adaptive Real-Time Applications / Vyacheslav Andreev
On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499 / Geoff Black
Zero Downtime Reconfiguration of Distributed Automation Systems: The [characters not reproducible]CEDAC Approach / Martijn N. Rooker ; Oliver Hummer ; Gerhard Ebenhofer
Holonic Multiagent-Based System for Distributed Control of Semi-industrial Pilot Plants / Grzegorz Polakow
Collision Avoidance Algorithms: Multi-agent Approach / Pavel Vrba ; Vladimir Marik ; Libor Preucil ; Miroslav Kulich ; David Sislak
Creating Contract Templates for Car Insurance Using Multi-agent Based Text Understanding and Clustering / Igor Minakov ; Simon Volman
Multi-agent-Based Diagnostics of Automotive Electronic Systems / Dusan Pavlicek ; Ondrej Flek
PIHolS Workshop
Performance in Industrial Holonic Systems / Vadim Ermolayev ; Wolf-Ekkehard Matzke
Towards Industrial Strength Business Performance Management
Ontology-Based Competence Management for Team Configuration / Vladimir Tarasov ; Thomas Albertsen ; Alexey Kashevnik ; Kurt Sandkuhl ; Nikolay Shilov ; Alexander Smirnov
Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems / Teppo Pirttioja ; Ilkka Seilonen ; Antti Pakonen ; Aarne Halme ; Kari Koskinen
Applications of Virtual Reality in Design and Simulation of Holonic Manufacturing Systems: A Demonstration in Die-Casting Industry / Mert Bal ; Majid Hashemipour
Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool / Giuseppe Narzisi ; Joshua S. Mincer ; Silas Smith ; Bud Mishra
Holonic Simulation of a Design System for Performance Analysis / Richard Sohnius ; Eyck Jentzsch
Author Index
Invited Talks
The Past, Present, and Future of IEC 61499 / Alois Zoitl ; Thomas Strasser ; Ken Hall ; Ray Staron ; Christoph Sunder ; Bernard Favre-Bulle
Can Multi-Agents Wake Us from IC Design Productivity Nightmare? / Peter van Staa ; Christian Sebeke
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
The Role of AI in Shaping Smart Services and Smart Systems / Sahin Albayrak
Early History and Perspectives of Automated Deduction / Wolfgang Bibel
Cognitive Technical Systems-What Is the Role of Artificial Intelligence? / Michael Beetz ; Martin Buss ; Dirk Wollherr
Artificial Intelligence Is Engineering Intelligence - Why Should We Care About Natural Intelligence? / Thomas Christaller
Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic / Yuval Elovici ; Asaf Shabtai ; Robert Moskovitch ; Gil Tahan ; Chanan Glezer
Location-Based Activity Recognition / Dieter Fox
Papers
Pinpointing in the Description Logic [epsilon]L[superscript +] / Franz Baader ; Rafael Penaloza ; Boontawee Suntisrivaraporn
Integrating Action Calculi and Description Logics / Conrad Drescher ; Michael Thielscher
Any-World Access to OWL from Prolog / Tobias Matzner ; Pascal Hitzler
Applying Logical Constraints to Ontology Matching / Christian Meilicke ; Heiner Stuckenschmidt
Resolving Inconsistencies in Probabilistic Knowledge Bases / Marc Finthammer ; Gabriele Kern-Isberner ; Manuela Ritterskamp
Extending Markov Logic to Model Probability Distributions in Relational Domains / Dominik Jain ; Bernhard Kirchlechner
A Multilingual Framework for Searching Definitions on Web Snippets / Alejandro Figueroa ; Gunter Neumann
A SPARQL Semantics Based on Datalog / Simon Schenk
Negation in Spatial Reasoning / Stefan Schleipen ; Marco Ragni ; Thomas Fangmeier
Relational Neural Gas / Barbara Hammer ; Alexander Hasenfuss
A General Framework for Encoding and Evolving Neural Networks / Yohannes Kassahun ; Jan Hendrik Metzen ; Jose de Gea ; Mark Edgington ; Frank Kirchner
Making a Robot Learn to Play Soccer Using Reward and Punishment / Heiko Muller ; Martin Lauer ; Roland Hafner ; Sascha Lange ; Artur Merke ; Martin Riedmiller
Perception and Developmental Learning of Affordances in Autonomous Robots / Lucas Paletta ; Gerald Fritz ; Florian Kintzler ; Jorg Irran ; Georg Dorffner
A Computational Model of Bistable Perception-Attention Dynamics with Long Range Correlations / Norbert Furstenau
On Constructing a Communicative Space in HRI / Claudia Muhl ; Yukie Nagai ; Gerhard Sagerer
Natural Language Descriptions of Human Behavior from Video Sequences / Carles Fernandez Tena ; Pau Baiget ; Xavier Roca ; Jordi Gonzalez
Detecting Humans in 2D Thermal Images by Generating 3D Models / Stefan Markov ; Andreas Birk
Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval / B. Gottfried ; A. Schuldt ; O. Herzog
Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform / Kwangsoo Hahn ; Youngjoon Han ; Hernsoo Hahn
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog / Lutz Bohnstedt ; Alexander Ferrein ; Gerhard Lakemeyer
On the Construction and Evaluation of Flexible Plan-Refinement Strategies / Bernd Schattenberg ; Julien Bidot ; Susanne Biundo
Learning How to Play Hex / Kenneth Kahl ; Stefan Edelkamp ; Lars Hildebrand
Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks / Domingo Lopez-Rodriguez ; Enrique Merida-Casermeiro ; Gloria Galan-Marin ; Juan M. Ortiz-de-Lazcano-Lobato
A Stochastic Local Search Approach to Vertex Cover / Silvia Richter ; Malte Helmert ; Charles Gretton
Posters
A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game / Larbi Abdenebaoui ; Elsa A. Kirchner
Divergence Versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology / Stefan Artmann
Deep Inference for Automated Proof Tutoring? / Christoph Benzmuller ; Dominik Dietrich ; Marvin Schiller ; Serge Autexier
Exploiting Past Experience - Case-Based Decision Support for Soccer Agents / Ralf Berger ; Gregor Lammel
Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs / Peter Kissmann
Text Generation in the SmartWeb Multimodal Dialogue System / Ralf Engel ; Daniel Sonntag
A Method to Optimize the Parameter Selection in Short Term Load Forecasting / Humberto F. Ferro ; Raul S. Wazlawick ; Claudio M. de Oliveira ; Rogerio C. Bastos
Visual Robot Localization and Mapping Based on Attentional Landmarks / Simone Frintrop
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework / Fredrik Heintz ; Piotr Rudol ; Patrick Doherty
Emotion Based Control Architecture for Robotics Applications / Jochen Hirth ; Tim Braun ; Karsten Berns
Inductive Synthesis of Recursive Functional Programs / Martin Hofmann ; Andreas Hirschberger ; Emanuel Kitzelmannn ; Ute Schmid
Training on the Job-Collecting Experience with Hierarchical Hybrid Automata / Alexandra Kirsch
Selecting Users for Sharing Augmented Personal Memories / Alexander Kroner ; Nathalie Basselin ; Michael Schneider ; Junichiro Mori
Semantic Reflection - Knowledge Based Design of Intelligent Simulation Environments / Marc Erich Latoschik
Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot / Piotr Matyasik ; Grzegorz J. Nalepa ; Piotr Ziecik
Improving the Detection of Unknown Computer Worms Activity Using Active Learning / Nir Nissim ; Dima Stopel ; Clint Feher ; Roman Englert
The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems / Martin Proetzsch ; Tobias Luksch
Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems / Nils Rosemann ; Werner Brockmann
LiSA: A Robot Assistant for Life Sciences / Erik Schulenburg ; Norbert Elkmann ; Markus Fritzsche ; Angelika Girstl ; Stefan Stiene ; Christian Teutsch
Semantic Graph Visualisation for Mobile Semantic Web Interfaces / Philipp Heim
A Qualitative Model for Visibility Relations / Francesco Tarquini ; Giorgio De Felice ; Paolo Fogliaroni ; Eliseo Clementini
Author Index
Invited Talks
The Role of AI in Shaping Smart Services and Smart Systems / Sahin Albayrak
Early History and Perspectives of Automated Deduction / Wolfgang Bibel
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
Building Relationships and Negotiating Agreements in a Network of Agents (Abstract) / John Debenham
Knowledge Technologies for the Social Semantic Desktop / Andreas R. Dengel
Knowledge-Based Intelligent Engineering Systems in Defence and Security (Abstract) / Lakhmi Jain
Auditing and Mapping the Knowledge Assets of Business Processes - An Empirical Study / W.B. Lee ; Vivien Shek ; Benny Cheung
Quotient Space Based Multi-granular Analysis (Abstract) / Ling Zhang ; Bo Zhang
Regular Papers
Knowledge Science
An Ontology-Based Reasoning Framework for Reaction Mechanisms Simulation / Y.C. Alicia Tang ; Sharifuddin Mohd. Zain ; Noorsaadah Abdul Rahman ; Rukaini Abdullah
Identifying Dependency Between Secure Messages for Protocol Analysis / Qingfeng Chen ; Shichao Zhang ; Yi-Ping Phoebe Chen
A Diagrammatic Reasoning System for ALC / Frithjof Dau ; Peter Eklund
Fuzzy Constraint Logic Programming with Answer Set Semantics / Jie Wang ; Chunnian Liu
Prime Implicates for Approximate Reasoning / David Rajaratnam ; Maurice Pagnucco
Distributed Constraint Satisfaction for Urban Traffic Signal Control / Kazunori Mizuno ; Seiichi Nishihara
Convergence Analysis on Approximate Reinforcement Learning / Jinsong Leng ; Colin Fyfe
Combinative Reasoning with RCC5 and Cardinal Direction Relations / Juan Chen ; Dayon Liu ; Changhai Zhang ; Qi Xie
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements / Kedian Mu ; Weiru Liu ; Zhi Jin ; Ruqian Lu ; Anbu Yue ; David Bell
A Dynamic Description Logic for Representation and Reasoning About Actions / Liang Chang ; Fen Lin ; Zhongzhi Shi
An Argumentative Reasoning Service for Deliberative Agents / Alejandro J. Garcia ; Nicolas D. Rotstein ; Mariano Tucat ; Guillermo R. Simari
On Defense Strength of Blocking Defeaters in Admissible Sets / Diego C. Martinez
Ontology-Based Inference for Causal Explanation / Ph. Besnard ; M.-O. Cordier ; Y. Moinard
Predicting Partners' Behaviors in Negotiation by Using Regression Analysis / Fenghui Ren ; Minjie Zhang
Knowledge Engineering
Enhancing Web-Based Adaptive Learning with Colored Timed Petri Net / Shang Gao ; Robert Dew
Automatic Construction of a Lexical Attribute Knowledge Base / Jinglei Zhao ; Yanbo Gao ; Hui Liu ; Ruzhan Lu
Populating CRAB Ontology Using Context-Profile Based Approaches / Lian Shi ; Jigui Sun ; Haiyan Che
Learning Dependency Model for AMP-Activated Protein Kinase Regulation / Qiumei Qin
Towards a Wrapper-Driven Ontology-Based Framework for Knowledge Extraction / Xi Bai ; Zehai Li ; Huawen Liu
A Google-Based Statistical Acquisition Model of Chinese Lexical Concepts / Jiayu Zhou ; Shi Wang ; Cungen Cao
Learning Concepts from Text Based on the Inner-Constructive Model / Yanan Cao ; Xinyu Cao
Contextual Proximity Based Term-Weighting for Improved Web Information Retrieval / M.P.S. Bhatia ; Akshi Kumar Khalid
Collection Profiling for Collection Fusion in Distributed Information Retrieval Systems / Chengye Lu ; Yue Xu ; Shlomo Geva
Integration of Descriptors for Software Component Retrieval / Yuhanis Yusof ; Omer F. Rana
Framework for Text-Based Conversational User-Interface for Business Applications / Shefali Bhat ; C. Anantaram ; Hemant Jain
Ontology Mining for Semantic Interpretation of Information Needs / Xiaohui Tao ; Yuefeng Li ; Richi Nayak
Knowledge Flow-Based Document Recommendation for Knowledge Sharing / Chin-Hui Lai ; Duen-Ren Liu
Finding Similar RSS News Articles Using Correlation-Based Phrase Matching / Maria Soledad Pera ; Yiu-Kai Ng
Automatic Data Record Detection in Web Pages / Xiaoying Gao ; Le Phong Bao Vuong ; Mengjie Zhang
Visualizing Trends in Knowledge Management / Maria R. Lee ; Tsung Teng Chen
Constructing an Ontology for a Research Program from a Knowledge Science Perspective / Jing Tian ; Andrzej P. Wierzbicki ; Hongtao Ren ; Yoshiteru Nakamori
An Ontology of Problem Frames for Guiding Problem Frame Specification / Xiaohong Chen ; Lijun Yi
Knowledge Management
A Speaker Based Unsupervised Speech Segmentation Algorithm Used in Conversational Speech / Yanxiang Chen ; Qiong Wang
Distributed Knowledge Management Based on Ontological Engineering and Multi-Agent System Towards Semantic Interoperation / Yonggui Wang ; Jiangning Wu ; Zhongtuo Wang ; Yanzhong Dang
WTPMiner - Efficient Mining of Weighted Frequent Patterns Based on Graph Traversals / Runian Geng ; Wenbo Xu ; Xiangjun Dong
Development of Enhanced Data Mining System to Approximate Empirical Formula for Ship Design / Kyung Ho Lee ; Kyung Su Kim ; Jang Hyun Lee ; Jong Hoon Park ; Dong Geun Kim ; Dae Suk Kim
Research on a Novel Word Co-occurrence Model and Its Application / Dequan Zheng ; Tiejun Zhao ; Sheng Li ; Hao Yu
Cost-Time Sensitive Decision Tree with Missing Values / Xiaofeng Zhu ; Jilian Zhang ; Chengqi Zhang
Knowledge in Product and Performance Support / Rossitza Setchi ; Nikolaos Lagos
What Drives Members to Continue Sharing Knowledge in a Virtual Professional Community? The Role of Knowledge Self-efficacy and Satisfaction / Christy M.K. Cheung ; Matthew K.O. Lee
MMFLDSSW - A New Method to Incrementally Mine Maximal Frequent Itemsets in Transaction Sensitive Sliding Window / Jiayin Feng ; Jiadong Ren
Short Papers
Term Consistency Checking of Ontology Model Based on Description Logics / Changrui Yu ; Yan Luo
Design and Realization of Advertisement Promotion Based on the Content of Webpage / Tao Cheng ; Shuicai Shi ; Xueqiang Lv
Irregular Behavior Recognition Based on Two Types of Treading Tracks Under Particular Scenes / Ye Zhang ; Xiao-Jun Zhang ; Zhi-Jing Liu
Ontology-Based Focused Crawling of Deep Web Sources / Wei Fang ; Zhiming Cui ; Pengpeng Zhao
Pattern Recognition in Stock Data Based on a New Segmentation Algorithm / Zhe Zhang ; Jian Jiang ; Xiaoyan Liu ; Wing Chiu Lau ; Huaiqing Wang ; Shanshan Wang ; Xinzhu Song ; Dongming Xu
HMM-Based Korean Named Entity Recognition for Information Extraction / Bo-Hyun Yun
Activity Recognition Based on Hidden Markov Models / Weiyao Huang ; Jun Zhang ; Zhijing Liu
Novel Data Management Algorithms in Peer-to-Peer Content Distribution Networks / Ke Li ; Wanlei Zhou ; Shui Yu ; Ping Li
On-Line Monitoring and Diagnosis of Failures Using Control Charts and Fault Tree Analysis (FTA) Based on Digital Production Model / Hui Peng ; Wenli Shang ; Haibo Shi ; Wei Peng
An Improved NN-SVM Based on K Congener Nearest Neighbors Classification Algorithm / Shirong Zhang ; Kuanjiu Zhou ; Yuan Tian
Handling Contradictions in Default Theories / Zhangang Lin ; Zuoquan Lin
Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time / Gang Hou ; Yang Tian
Typed Category Theory-Based Micro-view Emergency Knowledge Representation / Qingquan Wang ; Lili Rong
A Chinese Time Ontology / Chunxia Zhang ; Yuefei Sui ; Zhendong Niu
Toward Patterns for Collaborative Knowledge Creation / Haoxiang Xia ; Zhaoguo Xuan ; Taketoshi Yoshida
Service-Mining Based on Knowledge and Customer Databases / Yan Li ; Peng Wen ; Hu Wang ; Chunqiang Gong
A Multi-criteria Decision Support System of Water Resource Allocation Scenarios / Jing He ; Yanchun Zhang ; Yong Shi
Godel, Escher, Bach and Super-expertise / Pamela N. Gray ; Xenogene Gray ; Deborah Richards
Extracting Features for Verifying WordNet / Altangerel Chagnaa ; Cheol-Young Ock ; Ho-Seop Choe
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network / Haiyang Jia ; Dayou Liu ; Xin Liu
A WSMO-Based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment / Haihua Li ; Xiaoyong Du ; Xuan Tian
Cardinal Direction Relations in 3D Space
Knowledge Integration on Fresh Food Management / Yukihiro Yamashita ; Mina Ryoke
An Approach to Knowledge Transferring in Science-Policy Process / Mitsumi Miyashita
Trust Analysis of Web Services Based on a Trust Ontology / Manling Zhu
Building Bilingual Ontology from WordNet and Chinese Classified Thesaurus / He Hu
An Ontology-Based Framework for Building Adaptable Knowledge Management Systems / Yinglin Wang ; Jianmei Guo ; Tao Hu