Table of Contents

• A Modal Logic for the Decision-Theoretic Projection ProblemGavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer. 5-16
• Entry Point Matters - Effective Introduction of Innovation in Social NetworksRamón Hermoso, Maria Fasli. 17-26
• How to Decrease and Resolve Inconsistency of a Knowledge Base?Dragan Doder, Srdjan Vesic. 27-37
• Critical Position Identification in Games and Its Application to Speculative PlayMohd Nor Akmal Khalid, Umi Kalsom Yusof, Hiroyuki Iida, Taichi Ishitobi. 38-45
• Inconsistency and Sequentiality in LTLNorihiro Kamide. 46-54
• Thompson Sampling in the Adaptive Linear Scalarized Multi Objective Multi Armed BanditSaba Q. Yahyaa, Madalina M. Drugan, Bernard Manderick. 55-65
• Exploration Versus Exploitation Trade-off in Infinite Horizon Pareto Multi-armed Bandits AlgorithmsMadalina M. Drugan, Bernard Manderick. 66-77
• AGAGD - An Adaptive Genetic Algorithm Guided by Decomposition for Solving PCSPsLamia Sadeg-Belkacem, Zineb Habbas, Wassila Aggoune-Mtalaa. 78-89
• Rejecting Foreign Elements in Pattern Recognition Problem - Reinforced Training of Rejection LevelWladyslaw Homenda, Agnieszka Jastrzebska, Witold Pedrycz. 90-99
• Activity Recognition for Dogs Using Off-the-Shelf AccelerometerTatsuya Kiyohara, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga. 100-110
• Beyond Onboard Sensors in Robotic Swarms - Local Collective Sensing through Situated CommunicationTiago Rodrigues, Miguel Duarte, Sancho Oliveira, Anders Lyhne Christensen. 111-118
• Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource ConstraintsRoman Barták, Marek Vlk. 119-130
• The Art of Balance - Problem-Solving vs. Pattern-RecognitionMartyn Lloyd-Kelly, Fernand Gobet, Peter C. R. Lane. 131-142
• Information Assistance for Smart Assembly StationsMario Aehnelt, Sebastian Bader. 143-150
• A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning ConstraintsGerrit Anders, Florian Siefert, Wolfgang Reif. 151-163
• Computing Inconsistency Using Logical ArgumentationBadran Raddaoui. 164-172
• Multiagent Planning by Plan Set Intersection and Plan VerificationJan Jakubuv, Jan Tozicka, Antonín Komenda. 173-182
• Fast Solving of Influence Diagrams for Multiagent Planning on GPU-enabled ArchitecturesFadel Adoe, Yingke Chen, Prashant Doshi. 183-195
• LS2C - A Platform to Design, Implement and Execute Social ComputationsFlavio S. Corrêa da Silva, Dave Robertson, Wamberto Weber Vasconcelos. 196-203
• A Qualitative Representation of a Figure and Construction of Its Planar ClassKazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa. 204-212
• Offline Evolution of Normative SystemsMagnus Hjelmblom. 213-221
• Services of Ambient Assistance for Elderly and/or Disabled Person in Health Intelligent HabitatAmina Makhlouf, Nadia Saadia, Amar Ramdane-Cherif. 225-231
• A Cross-lingual Part-of-Speech Tagging for Malay LanguageNorshuhani Zamin, Zainab Abu Bakar. 232-240
• Speeding up Online POMDP Planning - Unification of Observation Branches by Belief-state Compression Via Expected Feature ValuesGavin Rens. 241-246
• Anywhere but Here - Enron's Emails in the Midst of a CrisisCorey Taylor, Richard Leibbrandt, David M. W. Powers. 247-253
• Human Visual System Based Framework For Gender RecognitionCherinet G. Zewdie, Hubert Konik. 254-260
• Intelligent Agents - Conversations from Human-agent Imitation GamesKevin Warwick, Huma Shah. 261-268
• Choroid Characterization in EDI OCT Retinal Images Based on Texture AnalysisAna González-López, Beatriz Remeseiro, Marcos Ortega, Manuel G. Penedo. 269-276
• A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent SystemsKarsten Martiny, Ralf Möller. 277-284
• Combining Paraconsistency and Probability in CTLNorihiro Kamide, Daiki Koizumi. 285-293
• Handling Default Data under a Case-based Reasoning ApproachBruno Fernandes, Mauro Freitas, Cesar Analide, Henrique Vicente, José Neves. 294-304
• Bioplausible Multiscale Filtering in Retinal to Cortical Processing as a Model of Computer VisionNasim Nematzadeh, Trent W. Lewis, David M. W. Powers. 305-316
• Improvement of n-ary Relation Extraction by Adding Lexical Semantics to Distant-Supervision Rule LearningHong Li, Sebastian Krause, Feiyu Xu, Andrea Moro 0001, Hans Uszkoreit, Roberto Navigli. 317-324
• Reordering Variables using ‘Contribution Number' Strategy to Neutralize Sudoku SetsSaajid Abuluaih, Azlinah Hj. Mohamed, Muthukkaruppan Annamalai, Hiroyuki Iida. 325-333
• Comparison of Power Consumption Reduce Effect of Intelligent Lighting System and Lighting Control System Using Motion SensorsKatsunori Onobayashi, Yuki Sakakibara, Hiromitsu Nakabayashi, Mitsunori Miki, Hiroto Aida. 334-340
• The Localization of Mindstorms NXT in the Magnetic Unstable Environment Based on Histogram FilteringPiotr Artiemjew. 341-348
• Implementation of a Realtime Event-location AnalyzerJunyeob Yim, Bum-Suk Lee, Byung-Yeon Hwang. 349-352
• Stopwords Identification by Means of Characteristic and Discriminant AnalysisGiuliano Armano, Francesca Fanni, Alessandro Giuliani. 353-360
• The Application of Learning Theories into Abdullah: An Intelligent Arabic Conversational Agent TutorOmar G. Alobaidi, Keeley Crockett, Jim D. O'Shea, Tariq M. Jarad. 361-369
• Simple Temporal Networks with Partially Shrinkable UncertaintyAndreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert. 370-381
• Impact on Bayesian Networks Classifiers When Learning from Imbalanced DatasetsM. Julia Flores, José A. Gámez. 382-389
• Building Emotional Agents for Strategic Decision MakingBexy Alfonso, Emilio Vivancos, Vicente J. Botti, Penélope Hernández. 390-397
• Airline Disruption Management - Dynamic Aircraft Scheduling with Ant Colony OptimizationHenrique Sousa, Ricardo Teixeira, Henrique Lopes Cardoso, Eugénio C. Oliveira. 398-405
• Time Series Modelling with Fuzzy Cognitive Maps - Study on an Alternative Concept's Representation MethodWladyslaw Homenda, Agnieszka Jastrzebska, Witold Pedrycz. 406-413
• Inconsistency-based Ranking of Knowledge BasesSaïd Jabbour, Badran Raddaoui, Lakhdar Sais. 414-419
• A Declarative Model for Reasoning about Form SecurityAaron Hunter. 420-425
• Face and Facial Expression Recognition - Fusion based Non Negative Matrix FactorizationHumayra Binte Ali, David M. W. Powers. 426-434
• Towards a Generic Architecture for Recommenders BenchmarkingMohamed Ramzi Haddad, Hajer Baazaoui Zghal, Djemel Ziou, Henda Hajjami Ben Ghézala. 435-442
• Using Coalitions with Stochastic Search to Solve Distributed Constraint Optimization ProblemsNathaniel Gemelli, Jeffrey Hudack, Steven Loscalzo, Jae C. Oh. 443-450
• Model Guided Sampling Optimization for Low-dimensional ProblemsLukás Bajer, Martin Holena. 451-456
• Fast Item-Based Collaborative FilteringDavid Ben-Shimon, Lior Rokach, Bracha Shapira, Guy Shani. 457-463
• The In-between Machine - The Unique Value Proposition of a Robot or Why we are Modelling the Wrong Things Johan F. Hoorn, Elly A. Konijn, Desmond Germans, Sander Burger, Annemiek Munneke. 464-469
• System for Intrusion Detection with Artificial Neural NetworkJose Ernesto Luna, Anabelem Soberanes Martín, Cristina Juarez-Landin. 470-475
• Automatic Political Profiling in Heterogeneous CorporaHodaya Uzan, Esther David, Moshe Koppel, Maayan Geffet-Zhitomirsky. 476-481
• A Knowledge Based Framework for Case-specific DiagnosisGanesh Ram Santhanam, Gopalakrishnan Sivaprakasam, Giora Slutzki, Samik Basu. 482-488
• Communicative Strategy in a Formal Model of DisputeMare Koit. 489-496
• Checking Models for Activity RecognitionMartin Nyolt, Kristina Yordanova, Thomas Kirste. 497-502
• An Artificial Immune Approach for Optimizing Crowd Emergency Evacuation Route Planning ProblemMohd Nor Akmal Khalid, Umi Kalsom Yusof. 503-508
• Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization ProblemsMaxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue. 509-516
• Measuring Adaptability of "Swarm Intelligence" for Resource Scheduling and Optimization in Real TimePetr Skobelev, Igor Mayorov, Sergey Kozhevnikov, Alexander Tsarev, Elena Simonova. 517-522
• Creation of Emotion-inducing Scenarios using BDIPierre-Olivier Brosseau, Claude Frasson. 523-529
• Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOLFadoua Ghourabi, Kazuko Takahashi. 530-539
• A Constructivist Approach to Rule BasesGiovanni Sileno, Alexander Boer, Tom M. van Engers. 540-547
• Design of Communication and Control for Swarms of Aquatic Surface DronesAnders Lyhne Christensen, Sancho Oliveira, Octavian Postolache, Maria João de Oliveira, Susana Sargento, Pedro Santana, Luís Nunes, Fernando J. Velez, Pedro Sebastião, Vasco Costa, Miguel Duarte, Jorge C. Gomes, Tiago Rodrigues, Fernando Silva. 548-555
• Data Mining for Automatic Linguistic Description of Data - Textual Weather Prediction as a Classification ProblemJ. Janeiro, Ismael Rodríguez-Fdez, Alejandro Ramos-Soto, Alberto Bugarín. 556-562
• Complex Character - Model for a Non Player AI Character for Interactive Narrative DiscourseHee Holmen. 563-568
• Ontology Selection for Semantic Similarity AssessmentMontserrat Batet, David Sánchez 0001. 569-576
• Self-Consciousness Cannot Be ProgrammedJinchang Wang. 577-581
• Using Domain Knowledge to Improve Intelligent Decision Support in Intensive Medicine - A Study of Bacteriological Infections Rui Veloso, Filipe Portela, Manuel Filipe Santos, Álvaro M. Silva, Fernando Rua, António Abelha, José Machado 0001. 582-587
• Modeling Post-level Sentiment Evolution in Online Forum ThreadsDumitru-Clementin Cercel, Stefan Trausan-Matu. 588-593
• Predicting the Risk Associated to Pregnancy using Data MiningAndreia Brandão, Eliana Pereira, Filipe Portela, Manuel Filipe Santos, António Abelha, José Machado 0001. 594-601
• Quantifying Depth and Complexity of Thinking and KnowledgeTamal T. Biswas, Kenneth W. Regan. 602-607
• Designing Intelligent Agents to Judge Intrinsic Quality of Human DecisionsTamal T. Biswas. 608-613
• Modeling Hierarchical Resources Within a Unified Ontology - A Position PaperAlexander Schiendorfer, Yves Wautelet, Wolfgang Reif. 614-619
• A Haar Wavelet-based Multi-resolution Representation Method of Time Series DataMuhammad Marwan Muhammad Fuad. 620-626