
Progress in Artificial Intelligence
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
The 69 revised full papers and 2 short papers presented were carefully reviewed and selected from a total of 177 submissions. The papers are organized in 16 tracks devoted to the following topics: agent-based modelling for criminological research (ABM4Crime), artificial intelligence in cyber-physical and distributed embedded systems (AICPDES), artificial intelligence in games (AIG), artificial intelligence in medicine (AIM), artificial intelligence in power and energy systems (AIPES), artificial intelligence in transportation systems (AITS), artificial life and evolutionary algorithms (ALEA), ambient intelligence and affective environments (AmIA), business applications of artificial intelligence (BAAI), intelligent robotics (IROBOT), knowledge discovery and business intelligence (KDBI), knowledge representation and reasoning (KRR), multi-agent systems: theory and applications (MASTA), software engineering for autonomous and intelligent systems (SE4AIS), social simulation and modelling (SSM), and text mining and applications (TeMA).
More details
Other editions
Additional editions

Content
- Intro
- Preface
- Panel Session on Beneficial AI @EPIA2017 Porto, September 5, 2017
- Contents
- Agent-Based Modelling for Criminological Research
- An Agent-Based Aggression De-escalationTraining Application for Football Referees
- Abstract
- 1 Introduction
- 2 Background
- 2.1 Existing Tools
- 2.2 Leary's Rose
- 3 Application Design
- 3.1 Dialogue System
- 3.2 Computational Model
- 4 Using the Application
- 4.1 Intended Users
- 4.2 Application Behavior
- 5 Preliminary Evaluation
- 6 Discussion
- References
- Agents Shaping Networks Shaping Agents: Integrating Social Network Analysis and Agent-Based Modeling in Computational Crime Research
- 1 Introduction
- 2 Theoretical Background: Three Premises
- 2.1 From Instrument-Enabled Science to Science-Enabled Instruments
- 2.2 Strange Loops: Agents Shaping Networks Shaping Agents
- 2.3 Networks in Criminological Research
- 3 Methodological Background
- 3.1 Agent-Based Modeling and Crime
- 3.2 From Social to Criminal Network Analysis
- 4 Integrating ABM and SNA
- 4.1 The CrimeMiner Project
- 4.2 Widening the Scope of the Research
- 4.3 Experimenting with ABM Criminological Models
- 5 Conclusion
- References
- An Agent-Based Model Predicting Group Emotion and Misbehaviours in Stranded Passengers
- 1 Introduction
- 2 Related Work
- 2.1 Computational Models of (Group) Emotions
- 2.2 Chatbots and Multi-lingual Professionals Supporting People
- 3 Modelling a Flight Delay Situation
- 3.1 Domain Model
- 3.2 Support Models
- 4 Experimental Analysis
- 5 Discussion
- References
- Towards Understanding the Impact of Crime on the Choice of Route by a Bus Passenger
- Abstract
- 1 Introduction
- 2 Related Work
- 3 Data Sets
- 4 Simulation
- 5 Methodology and Empirical Evaluation
- 6 Conclusion
- References
- Exploring Anti-poaching Strategies for Wildlife Crime with a Simple and General Agent-Based Model
- Abstract
- 1 Introduction
- 2 Objective
- 3 The General Model: Animals, Poachers, and Rangers
- 4 Example: Rhino Poaching in South Africa
- 4.1 Virtual Park
- 4.2 Rhino Agents
- 4.3 Poacher Agents
- 4.4 Ranger Agents
- 5 Scenarios with Different Anti-poaching Strategies
- 5.1 Standard Patrols
- 5.2 Fence Patrols
- 5.3 Comparison of Anti-poaching Strategies
- 6 Discussion and Model Improvements
- 7 Conclusion
- Acknowledgments
- References
- Ambient Intelligence and Affective Environments
- A SOA Web-Based Group Decision Support System Considering Affective Aspects
- Abstract
- 1 Introduction
- 2 State of the Art
- 3 Proposed GDSS
- 3.1 System Architecture
- 3.2 Web Application
- 3.3 System Functionalities
- 4 Conclusions and Future Work
- Acknowledgments
- References
- Monitoring the Progress of Programming Students Supported by a Digital Teaching Assistant
- Abstract
- 1 Introduction
- 2 Background Macedo's Model of Selective Attention
- 3 Using the Selective Attention Mechanism in CodeInsights
- 4 Discussion and Conclusions
- References
- Image Matching Algorithm Based on Hashes Extraction
- 1 Introduction
- 2 Background
- 3 Proposed System
- 3.1 Preprocessing
- 3.2 Hash-Based Transformations
- 4 Results
- 5 Conclusion and Future Work
- References
- Unsupervised Stress Detection Algorithm and Experiments with Real Life Data
- Abstract
- 1 Introduction
- 2 Unsupervised Stress Detection Algorithm
- 2.1 Unsupervised Hidden Markov Model Training
- 2.2 Inference with Hidden Markov Models
- 3 Experiments with Field Data
- 3.1 Data Collection
- 3.2 Experimental Protocol
- 3.3 Experimental Results
- 4 Discussion
- 5 Conclusion
- References
- Artificial Intelligence in Games
- Iterative Parallel Sampling RRT for Racing Car Simulation
- 1 Introduction
- 2 Related Work
- 3 Iterative Parallel Sampling RRT
- 3.1 IPS-RRT Characteristics
- 4 TORCS Bot Implementation
- 4.1 Bot Architecture
- 4.2 TORCS Search State Representation
- 4.3 IPS-RRT Applied to TORCS
- 5 Evaluation
- 5.1 Tools
- 5.2 Performance of One Search Procedure
- 5.3 Bot Racing Performance
- 6 Discussion
- 7 Conclusion and Future Work
- References
- Multi-agent Double Deep Q-Networks
- 1 Introduction
- 2 Background
- 2.1 Double Deep Q-Networks
- 2.2 Multi-agent Reinforcement Learning
- 3 Related Work
- 4 Multi-agent Double Deep Q-Networks
- 5 Results
- 5.1 Joint-Action Learners and Independent Learners
- 5.2 Generalization
- 6 Conclusion
- References
- Artificial Intelligence in Medicine
- A Deep Learning Method for ICD-10 Coding of Free-Text Death Certificates
- 1 Introduction
- 2 Related Work
- 3 The Proposed Approach
- 4 Experimental Evaluation
- 4.1 Dataset and Experimental Methodology
- 4.2 Experimental Results
- 5 Conclusions and Future Work
- References
- Robot Programming Through Whole-Body Interaction
- Abstract
- 1 Introduction
- 2 Related Work
- 2.1 Health Robots and Children
- 2.2 Physical Activity and Natural Environments Benefit Children's Physical and Mental Health
- 3 Computational Models Associated with Biosymtic Devices
- 3.1 Mode 1 - Automatic Control Functions in a Biosymtic Device While Directly Connected to a Human Organism
- 3.2 Mode 2 - Autonomous Functions in a Biosymtic Device - Bio-Kinesthetic Programming
- 4 Conclusions
- References
- Wheeze Detection Using Convolutional Neural Networks
- 1 Introduction
- 2 Related Work
- 3 Proposed Approach
- 3.1 Data
- 3.2 Methods
- 4 Experiments
- 4.1 Experiments Design
- 4.2 Result Evaluation
- 5 Results
- 5.1 Results of the Experiments
- 6 Conclusion
- References
- Multiclassifier System Using Class and Interclass Competence of Base Classifiers Applied to the Recognition of Grasping Movements in the Control of Bioprosthetic Hand
- 1 Introduction
- 2 Bioprosthetic Hand Control System
- 3 Multiclassifier System
- 3.1 Preliminaries
- 3.2 Competence Measures
- 4 Experimental Investigations
- 4.1 Experimental Setup
- 4.2 Results and Discussion
- 5 Conclusion
- References
- Classifying Heart Sounds Using Images of MFCC and Temporal Features
- 1 Introduction
- 2 Characteristics of ECG and PCG Heart Signals
- 2.1 ECG Signal
- 2.2 PCG Signal
- 2.3 Relationship Between ECG and PCG Signals
- 3 Current Challenges and Related Work
- 3.1 Current Challenges
- 3.2 Related Work
- 4 Methodology
- 4.1 Heart Sound Database
- 4.2 Segmentation
- 4.3 Feature Extraction
- 4.4 Transformation of Features in Images
- 4.5 Classification of Heart Sound Images
- 4.6 Evaluation Metrics
- 5 Experimental Results
- 5.1 Results
- 5.2 Analysis of the Results
- 6 Conclusions
- References
- Discovering Interesting Associations in Gestation Course Data
- Abstract
- 1 Introduction
- 2 Background and Related Work
- 3 Methodologies, Materials, and Methods
- 3.1 Data Description
- 3.2 Association Rule Mining for Gestation Course Data
- 3.3 Reducing Number of Rules
- 4 Findings and Study Outcome
- 5 Conclusions and Future Work
- References
- Artificial Intelligence in Power and Energy Systems
- Severity Estimation of Stator Winding Short-Circuit Faults Using Cubist
- 1 Introduction
- 1.1 Stator Winding Short-Circuits
- 1.2 Stator Winding Short-Circuit Detection and Estimation
- 1.3 Proposed Method
- 1.4 Outline
- 2 Data Generation Process
- 3 Feature Extraction
- 3.1 Raw Data
- 3.2 Park's Vector
- 3.3 PCA Transform
- 4 Modeling and Evaluation
- 4.1 Cubist
- 4.2 Selecting Promising Models
- 4.3 Model Training
- 4.4 Evaluation
- 5 Conclusions
- References
- Estimating Energy Consumption in Evolutionary Algorithms by Means of FRBS
- 1 Introduction
- 2 Energy Efficiency and Evolutionary Algorithms
- 3 Methodology
- 3.1 Algorithmic Setting
- 3.2 Computational Platforms
- 3.3 Predictive System
- 4 Results
- 5 Conclusions
- References
- Application of Robust Optimization Technique to the Energy Planning Problem
- 1 Introduction
- 2 Problem Formulation
- 2.1 C&CG Algorithm
- 2.2 Application of C&CG to the RO Problem for Energy Planning
- 2.3 Application of the C&CG Technique
- 3 Results and Discussions
- 4 Conclusions
- References
- EnAPlug - An Environmental Awareness Plug to Test Energy Management Solutions for Households
- Abstract
- 1 Introduction
- 2 Background of the Proposal
- 3 Environmental Awareness Plug
- 4 Demonstration
- 5 Conclusions
- References
- Flower Pollination Algorithm Applied to the Economic Dispatch Problem with Multiple Fuels and Valve Point Effect
- Abstract
- 1 Introduction
- 2 Modelling of Economic Dispatch
- 2.1 Classic Models
- 2.2 Real World Restrictions
- 3 Flower Pollination Algorithm
- 4 Study of Case and Results Analysis
- 5 Conclusions
- Acknowledgments
- References
- Dynamic and Static Transmission NetworkExpansion Planning via Harmony Searchand Branch & Bound on a Hybrid Algorithm
- Abstract
- 1 Introduction
- 2 Transmission Network Expansion Planning
- 3 Harmony Search
- 3.1 Problem Initialization and Algorithm Parameters
- 3.2 The Searching Process
- 4 Branch and Bound
- 5 Proposed Method
- 5.1 Constructive Heuristic Algorithm
- 5.2 Static Expansion Planning
- 5.3 Dynamic Expansion Planning
- 6 Results and Discussion
- 6.1 Garver System
- 6.2 The Southern Brazilian System
- 7 Conclusion
- Acknowledgments
- References
- Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM
- 1 Introduction
- 2 Related Work
- 2.1 Multi-agent Interoperability
- 2.2 Nord Pool Elspot Market
- 2.3 MASCEM Overview
- 3 Nord Pool Ontology
- 4 Case Study
- 5 Conclusions
- References
- Electricity Rate Planning for the Current Consumer Market Scenario Through Segmentation of Consumption Time Series
- 1 Introduction
- 2 Electricity Consumption Customer Data
- 3 Methods
- 3.1 Dynamic Time Warping
- 3.2 X-Means
- 3.3 K-Shape
- 4 Experiments
- 4.1 Results and Discussion
- 5 Conclusion
- References
- Artificial Intelligence in Transportation Systems
- Towards Dynamic Rebalancing of Bike Sharing Systems: An Event-Driven Agents Approach
- 1 Introduction
- 2 Bicycle Rebalancing Problem
- 3 Dynamic Rebalancing with Event-Driven Agents
- 3.1 General Idea: Situation-Aware Rebalancing Using Live Data
- 3.2 Event-Driven Agent Architecture for Bicycle Rebalancing
- 4 Related Work
- 5 Conclusion
- References
- Mobility Mining Using Nonnegative Tensor Factorization
- Abstract
- 1 Introduction
- 2 Methodology
- 2.1 Tensor Transformation
- 2.2 Nonnegative Tensor Factorization
- 2.3 Rank Selection Based on Interpretability
- 2.4 Pattern Extraction
- 3 Experimental Evaluation
- 3.1 Dataset
- 3.2 Experimental Setting
- 3.3 Results
- 4 Conclusion
- Acknowledgements
- References
- Machine Learning for Pavement Friction Prediction Using Scikit-Learn
- Abstract
- 1 Introduction
- 2 Scikit-Learn Concepts
- 3 Pavement Friction
- 4 Application to the Case Study
- 4.1 Data Preparation: From LTPP Database to a Data Matrix
- 4.2 Friction Prediction Models
- 4.3 Model Selection ad Assessment
- 5 Discussion of Results
- 6 Conclusions
- References
- Optimising Cyclic Timetables with a SAT Approach
- 1 Introduction
- 2 Definitions
- 2.1 The Periodic Event Scheduling Problem (PESP)
- 2.2 The SAT Problem
- 3 Related Work
- 3.1 From PESP to SAT
- 3.2 Timetable Optimisation
- 4 Solution Architecture
- 4.1 Architecture Overview
- 4.2 Encoding the Objective Function
- 4.3 Computing the Initial Upper Bound (UB)
- 5 Preliminary Results
- 6 Conclusions
- References
- Transportation in Social Media: An Automatic Classifier for Travel-Related Tweets
- 1 Introduction
- 2 Related Work
- 3 Data
- 3.1 Collecting Geo-Located Tweets
- 3.2 Exploratory Data Analysis
- 4 Classifying Travel-Related Tweets
- 4.1 Data Preparation
- 4.2 Features
- 5 Experimental Setup
- 5.1 Training and Test Sets
- 5.2 Classification
- 5.3 Evaluation Metrics
- 6 Results and Analysis
- 6.1 Results
- 6.2 Analysis
- 7 Conclusions and Future Work
- References
- Artificial Life and Evolutionary Algorithms
- A Meta-Genetic Algorithm for Hybridizing Metaheuristics
- 1 Introduction
- 2 Motivation
- 3 Related Work
- 4 Meta-genetic Algorithm for Hybridizing Metaheuristics
- 4.1 Standard Metaheuristics
- 4.2 Chromosome Representation and Initial Population Generation
- 4.3 Fitness Evaluation and Selection
- 4.4 Regeneration
- 5 Experimental Setup
- 5.1 Evaluation of the MGA
- 5.2 TSP Specific Details
- 5.3 Parameter Settings
- 5.4 Experiments
- 5.5 Implementation Platform
- 6 Results and Discussion
- 6.1 Experiment I
- 6.2 Experiment II
- 6.3 Experiment III
- 7 Conclusion and Future Work
- References
- Econometric Genetic Programming in Binary Classification: Evolving Logistic Regressions Through Genetic Programming
- Abstract
- 1 Introduction
- 2 Econometrics
- 2.1 Logistic Regression, Maximum Likelihood, Newton's Method
- 2.2 Hypothesis Test
- 3 Econometric Genetic Programming - Classification: EGP-C
- 3.1 Representation
- 3.2 Initial Population
- 3.3 Accuracy
- 3.4 Selection
- 3.5 Mutation, Crossover and Elitism
- 3.6 Tools and Parameters
- 4 Experiments and Results
- 5 Conclusion and Future Work
- References
- GAVGA: A Genetic Algorithm for Viral Genome Assembly
- Abstract
- 1 Background
- 2 Implementation
- 3 Data Preprocessing
- 4 GAVGA Operators and Components
- 4.1 Related Works
- 5 Results and Discussion
- 5.1 Real Dataset
- 5.2 Simulated Dataset
- 6 Conclusions
- References
- Cartesian Genetic Programming in an Open-Ended Evolution Environment
- 1 Introduction
- 2 BitBang Framework
- 3 Cartesian Genetic Programming
- 4 Experimental Setup
- 5 Results
- 6 Conclusion
- References
- A Genetic Algorithm Approach for Static Routing and Wavelength Assignment in All-Optical WDM Networks
- 1 Introduction
- 2 Background
- 2.1 RWA Problem in WDM Networks
- 2.2 Genetic Algorithm
- 3 Proposed Genetic Algorithm
- 3.1 Chromosome
- 3.2 Evaluation
- 3.3 Selection
- 3.4 Crossover
- 3.5 Mutation
- 4 Simulation Scenario and Results
- 4.1 Simulation
- 4.2 Results
- 4.3 Discussion
- 5 Conclusion and Future Work
- References
- Business Applications of Artificial Intelligence
- A Recommender Model of Teaching-Learning Techniques
- Abstract
- 1 Introduction
- 2 Learning Design Overview
- 2.1 Definitions
- 2.2 Embedding Advanced Features in Design Tools
- 3 Recommender Systems and Computational Ontologies Overview
- 3.1 Recommender Systems
- 3.2 Computational Ontologies in the Education Domain
- 4 The Recommender Model
- 4.1 Definitions
- 4.2 Recommender Model Description
- 5 Conclusion
- Acknowledgments
- References
- Credit Scoring in Microfinance Using Non-traditional Data
- 1 Introduction
- 2 Related Work
- 3 Datasets
- 4 Comparing Two Different Representations for the Credit Scoring Problem
- 4.1 First Experiment: Boolean Indicators
- 4.2 Second Experiment: Implementing Weight of Evidence
- 5 Analysis of Results
- 6 Conclusions
- References
- Intelligent Robotics
- Approach for Supervising Self-localization Processes in Mobile Robots
- 1 Introduction
- 2 Related Work
- 3 AMCL and Perfect Match Algorithms
- 4 Robot Platform
- 5 Proposed Algorithm for the Localization Supervision
- 6 Experimental Setup
- 7 Results
- 8 Conclusions
- References
- Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
- 1 Introduction
- 2 Platform Architecture
- 2.1 Scenario Description
- 2.2 User Interface
- 3 Object Detection and Manipulation
- 3.1 Grasp Pose Detection
- 3.2 Object Manipulation
- 4 Localization and Autonomous Navigation
- 5 Results
- 5.1 Object Manipulation and Grasp Evaluation
- 5.2 Localization and Navigation Results
- 5.3 Demonstration
- 6 Conclusions
- References
- Feedbot - A Robotic Arm for Autonomous Assisted Feeding
- 1 Introduction
- 2 Vision Based Tracking
- 2.1 Point Cloud Registration
- 2.2 Discriminative Optimization
- 2.3 Goal Specification
- 3 Trajectory Planning and Control
- 3.1 Trajectory Planning
- 3.2 Update Rate
- 4 Implementation
- 4.1 Hebi Arm
- 4.2 Kinect
- 4.3 Program Flow
- 5 Results
- 5.1 Eyes as Risk Area
- 5.2 Variable Rate vs. Fixed Rate
- 6 Conclusion
- References
- Improving and Benchmarking Motion Planning for a Mobile Manipulator Operating in Unstructured Environments
- 1 Introduction
- 2 Related Work
- 3 Software Overview
- 4 Description of the Task
- 5 Motion Planning Problem Resolution
- 5.1 Move-Arm
- 5.2 Pick-Up an Object
- 5.3 Pick-Up an Object from a Shelf
- 6 Benchmarking of Motion Planners
- 6.1 Low Difficulty Subtask Results
- 6.2 Medium Difficulty Subtask Results
- 6.3 High Difficulty Subtask Results
- 6.4 Discussion
- 7 Conclusions and Future Work
- References
- Knowledge Discovery and Business Intelligence
- Exploring Resampling with Neighborhood Bias on Imbalanced Regression Problems
- 1 Introduction
- 2 Problem Definition
- 3 Related Work
- 4 Biasing Pre-processing Strategies
- 5 Experimental Evaluation
- 6 Conclusions
- References
- A Feature Selection Algorithm Based on Heuristic Decomposition
- Abstract
- 1 Introduction
- 2 Related Work
- 2.1 Feature Selection
- 2.2 Heuristic Decomposition Approach
- 3 Logical Analysis of Inconsistent Data for Large Datasets
- 3.1 Data Inconsistencies
- 3.2 Disjoint Matrix Generation [Ai,J] and Cost Vector [Cj]
- 3.3 Heuristic Decomposition for the Minimum Set Covering Problem
- 4 Computational Results
- 4.1 Computational Runtime
- 4.2 Quality of the Solutions
- 5 Discussion and Conclusions
- Acknowledgements
- References
- Mining Rational Team Concert Repositories: A Case Study on a Software Project
- 1 Introduction
- 2 Related Work
- 3 Proposed MSR
- 3.1 RTC Repository Data Extraction
- 3.2 RTC Data Mining
- 3.3 Dashboard and Overall Intelligence System
- 4 Conclusions
- References
- Predictive Teaching and Learning
- Abstract
- 1 Introduction
- 2 Related Work
- 3 Methodology
- 4 Discussions
- 5 Conclusions
- References
- Multi-objective Learning of Neural Network Time Series Prediction Intervals
- 1 Introduction
- 2 Materials and Methods
- 2.1 Time Series Data
- 2.2 Prediction Interval Methods
- 2.3 Evaluation
- 3 Results
- 4 Conclusions
- References
- Toward a Token-Based Approach to Concern Detection in MATLAB Sources
- 1 Introduction
- 2 Background and Motivation
- 3 Concern Mining in MATLAB Systems
- 4 Data Analysis and Exploration
- 5 Discussion and Related Work
- 6 Conclusions and Future Work
- References
- Food Truck Recommendation Using Multi-label Classification
- 1 Introduction
- 2 Related Works
- 3 Multi-label Classification
- 4 Data Description
- 4.1 The Survey
- 4.2 Dataset Analysis
- 5 Food Truck Recommendation
- 5.1 Methodology
- 5.2 Analysis of the Experimental Results
- 6 Conclusions
- References
- Improving Incremental Recommenders with Online Bagging
- 1 Introduction
- 1.1 Related Work
- 2 Online Bagging
- 3 Online Recommendation with Bagging
- 4 Evaluation
- 4.1 Results
- 4.2 Discussion
- 5 Conclusions
- References
- Knowledge Representation and Reasoning
- Tableaux for Hybrid XPath with Data
- 1 Introduction
- 2 Basic Definitions
- 3 Tableau Calculus
- 4 Completeness
- 5 Termination
- 6 Final Remarks
- References
- On the Properties of Atom Definability and Well-Supportedness in Logic Programming
- 1 Introduction
- 2 Auxiliary Atoms and Atom Definability
- 3 Formal Preliminaries
- 4 Well-Supported Models of Boolean Programs
- 5 Related Work and Conclusions
- References
- haspie - A Musical Harmonisation Tool Based on ASP
- 1 Introduction
- 2 Tool Description
- 3 Evaluation
- 4 Conclusions and Related Work
- References
- Iterative Variable Elimination in ASP
- 1 Introduction
- 2 Preliminaries
- 3 Properties of Forgetting
- 4 Operators of Forgetting
- 5 Beyond Wong's Properties
- 6 Conclusions
- References
- Logic-Based Encodings for Ricochet Robots
- 1 Introduction
- 2 Ricochet Robots
- 3 Encodings of the Ricochet Robots
- 3.1 Base Model
- 3.2 Boolean Encoding
- 4 Experimental Evaluation
- 5 Other Logic-Based Encodings
- 6 Conclusions and Future Work
- References
- An Achilles' Heel of Term-Resolution
- 1 Introduction
- 2 Preliminaries
- 2.1 Q-Resolution
- 2.2 Term-Resolution
- 2.3 Proof Complexity
- 3 The Achilles' Heel
- 4 A Possible Remedy---Negation
- 4.1 Negation-Refutation P-Simulates Term-Resolution
- 4.2 Separation Between Term-Resolution and Negation-Refutation
- 4.3 Variable Definitions
- 5 Summary, Conclusions, and Future Work
- References
- Horn Maximum Satisfiability: Reductions, Algorithms and Applications
- 1 Introduction
- 2 Preliminaries
- 3 Basic Reductions
- 3.1 Optimization Problems on Graphs
- 3.2 Optimization Problems on Sets
- 3.3 Handling Linear Constraints
- 4 HornMaxSAT Algorithm with Hitting Sets
- 4.1 A MaxHS-Like HornMaxSAT Algorithm
- 4.2 Automatic Abstraction-Based Problem Solving
- 5 HornMaxSAT in Practice
- 5.1 Sample Problems
- 5.2 Reducing SAT to HornMaxSAT
- 5.3 Reducing CSP to HornMaxSAT
- 5.4 Reducing PHP to HornMaxSAT
- 6 Experimental Results
- 7 Conclusions and Research Directions
- References
- Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
- 1 Introduction
- 2 Preliminaries
- 2.1 KR Formalisms
- 3 Fixed-Domain Semantics
- 4 Fixed and Unary Encoding
- 4.1 Variants of First-Order Logic
- 4.2 Upper and Lower Bounds for DLs
- 5 Binary Encoding
- 5.1 NExpTime Upper Bound for FOL
- 5.2 NExpTime Lower Bound for ELI and ELF
- 5.3 Logics Below NExpTime
- 6 Conclusion
- References
- Reactive Maintenance Policies over Equalized States in Dynamic Environments
- 1 Introduction
- 2 Preliminaries
- 3 Behavior of a Policy in Dynamic Environments
- 4 Omitting Unnecessary Information
- 5 Equalized Dynamic Systems
- 6 Computational Complexity
- 7 Discussion and Conclusion
- References
- Multi-agent Systems: Theory and Applications
- Multi-agent Based File Replication and Consistency Management
- Abstract
- 1 Introduction
- 2 Related Work
- 3 System Architecture
- 3.1 Front-End
- 3.2 Back-End
- 4 Modes of Replication
- 4.1 Synchronous Replication
- 4.2 Asynchronous Replication
- 5 Experimental Results and Assessment
- 6 Conclusion and Future Work
- References
- Online Learning for Conversational Agents
- 1 Introduction
- 2 Related Work
- 3 Learning from Feedback in a Conversational Agent Scenario
- 3.1 The Exponentially Weighted Average Forecaster
- 3.2 Learning the Agent's Feature Weights
- 4 Evaluation
- 4.1 Simulating User Feedback
- 4.2 Experimental Scenario: Say Something Smart
- 4.3 Experimental Procedure
- 4.4 Results and Discussion
- 5 Conclusions and Future Work
- References
- Social Simulation and Modelling
- Simulating Behaviors of Children with Autism Spectrum Disorders Through Reversal of the Autism Diagnosis Process
- 1 Introduction
- 2 Background
- 2.1 Simulating/Modeling Human Behaviors
- 2.2 Autism Diagnostic Observation Schedule (ADOS) Structure
- 3 ADOS-Based Autism Space (ABAS)
- 3.1 ABAS Definition
- 3.2 Total Score Constraint on ABAS
- 3.3 Descriptors
- 4 Behavioral Simulation of Children with Different ASD Severities
- 4.1 ABASim Components Overview
- 4.2 Stochastic Generation of Feature Vectors from Descriptors
- 4.3 Mapping Feature Vectors to Behaviors
- 5 Conclusion and Future Work
- References
- An Adaptive Simulation Tool for Evacuation Scenarios
- Abstract
- 1 Introduction
- 2 Review of Evacuation Model Tools
- 2.1 Discussion of Usability, Reports and Model Features
- 3 Evacuation Simulator
- 4 Conclusions
- Acknowledgments
- References
- A Stochastic Approach of SIRC Model Using Individual-Based Epidemiological Models
- 1 Introduction
- 2 Epidemiological Models
- 2.1 SIRC Model
- 2.2 IBM Model
- 2.3 IBM-SIRC Model
- 2.4 Equivalence Parameters
- 2.5 Case Study
- 3 Results
- 4 Conclusion
- 5 Future Work
- References
- Incorporating Learning into Decision Making in Agent Based Models
- Abstract
- 1 Introduction
- 2 Structure of Example Model
- 2.1 Using Machine Learning to Design Learning Structures
- 2.1.1 Symbolic Regression
- 2.1.2 Random Forest
- 2.2 Incorporating Behavioral Economics into Dynamic Models
- 2.3 Reinforcement Learning at the Individual and Group Level
- 3 Model Outcomes
- 4 Conclusion
- References
- Text Mining and Applications
- The Complementary Nature of Different NLP Toolkits for Named Entity Recognition in Social Media
- 1 Introduction
- 2 Related Work
- 3 Experimental Setup
- 3.1 Datasets
- 3.2 Toolkits and Data Preparation
- 3.3 Ensemble Voting Methods
- 3.4 Performance Evaluation
- 4 Experimental Results
- 4.1 Dataset 1 - Our Dataset
- 4.2 Dataset 2 - WNUT NER
- 4.3 Dataset 3 - #MSM2013
- 4.4 Dataset 4 - Subset of #MSM2013
- 4.5 Results Summary
- 5 Conclusions and Future Work
- References
- Aspect-Based Opinion Mining in Drug Reviews
- 1 Introduction
- 2 Opinion Mining in Drugs Reviews
- 3 Proposed Solution
- 3.1 Pre-processing
- 3.2 Aspect Extraction Task
- 3.3 Aspect Type Classification
- 4 Experiments and Results
- 4.1 Aspect Extraction
- 4.2 Aspect Type Classification
- 5 Conclusion and Further Work
- References
- Unsupervised Approaches for Computing Word Similarity in Portuguese
- 1 Introduction
- 2 Related Work
- 3 Benchmarks
- 4 Approaches
- 4.1 Distributional Approaches
- 4.2 Knowledge-Based Approaches
- 5 Results
- 5.1 Best Results
- 5.2 Comparing LKBs
- 5.3 Comparison with State-of-the-art
- 6 Discussion
- References
- Gradually Improving the Computation of Semantic Textual Similarity in Portuguese
- 1 Introduction
- 2 Related Work
- 3 Sentences Pre-processing
- 4 Sentence Similarity as Set Similarity
- 5 Exploiting Known Semantic Relations
- 5.1 Portuguese Lexical Knowledge Bases
- 5.2 Combining Semantic Relations and Sentence Overlap
- 5.3 Unsupervised Test Results
- 6 Learning a Similarity Model
- 6.1 Features
- 6.2 Learning Algorithms
- 6.3 Training and Testing
- 6.4 Training on both Collections
- 7 Concluding Remarks
- References
- Towards a Mention-Pair Model for Coreference Resolution in Portuguese
- 1 Introduction
- 2 Related Work
- 3 Resources
- 3.1 Corpora
- 3.2 External Semantic Resources
- 4 Method
- 4.1 Training Set Creation
- 4.2 Mention-Pair Classification
- 4.3 Coreference Chains Generation
- 5 Results
- 6 Conclusions
- References
- Recognizing Textual Entailment and Paraphrases in Portuguese
- 1 Introduction
- 2 Related Work
- 3 Data
- 4 Methods
- 5 Experiments and Results
- 6 Conclusions
- References
- Learning Word Embeddings from the Portuguese Twitter Stream: A Study of Some Practical Aspects
- 1 Introduction
- 2 Related Work
- 3 Our Neural Word Embedding Model
- 4 Experimental Setup
- 4.1 Training Data
- 4.2 Metrics Related with the Learning Process
- 4.3 Tests and Gold-Standard Data for Intrinsic Evaluation
- 5 Results and Analysis
- 5.1 Intrinsic Evaluation
- 5.2 Further Analysis Regarding Evaluation Metrics
- 6 Conclusions
- References
- Correction to: Flower Pollination Algorithm Applied to the Economic Dispatch Problem with Multiple Fuels and Valve Point Effect
- Correction to: Chapter "Flower Pollination Algorithm Applied to the Economic Dispatch Problem with Multiple Fuels and Valve Point Effect" in: E. Oliveira et al. (Eds.): Progress in Artificial Intelligence, LNAI 10423, https://doi.org/10.1007/978-3-319-65340-2_22
- Author Index
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.