Chapter
Validating Cross-Perspective Topic Modeling for Extracting Political Parties' Positions from Parliamentary Proceedings
Finite Unary Relations and Qualitative Constraint Satisfaction
Dynamic Choice of State Abstraction in Q-Learning
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks
Adaptive Binary Quantization for Fast Nearest Neighbor Search
Exploring Parallel Tractability of Ontology Materialization
Student-t Process Regression with Dependent Student-t Noise
An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction
Cluster-Driven Model for Improved Word and Text Embedding
Learning Temporal Context for Activity Recognition
Leader-Follower MDP Models with Factored State Space and Many Followers - Followers Abstraction, Structured Dynamics and State Aggregation
CUBE: A CUDA Approach for Bucket Elimination on GPUs
Managing Energy Markets in Future Smart Grids Using Bilateral Contracts
A Rational Account of Classical Logic Argumentation for Real-World Agents
Two Dimensional Uncertainty in Persuadee Modelling in Argumentation
A Data Driven Similarity Measure and Example Mapping Function for General, Unlabelled Data Sets
On Stochastic Primal-Dual Hybrid Gradient Approach for Compositely Regularized Minimization
Decentralized Large-Scale Electricity Consumption Shifting by Prosumer Cooperatives
Analysing Approximability and Heuristics in Planning Using the Exponential-Time Hypothesis
A Simple Account of Multi-Agent Epistemic Planning
Lexicographic Refinements in Possibilistic Decision Trees
Even Angels Need the Rules: AI, Roboethics, and the Law
One-Class to Multi-Class Model Update Using the Class-Incremental Optimum-Path Forest Classifier
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks
A Probabilistic Logic Programming Approach to Automatic Video Montage
Checking the Conformance of Requirements in Agent Designs Using ATL
A Uniform Account of Realizability in Abstract Argumentation
A Scalable Clustering-Based Local Multi-Label Classification Method
Multiscale Triangular Centroid Distance for Shape-Based Plant Leaf Recognition
Complexity of Control by Partitioning Veto and Maximin Elections and of Control by Adding Candidates to Plurality Elections
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems
Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty
Robust Real-Time Human Perception with Depth Camera
A New Kernelized Associative Memory and Some of Its Applications
Strategical Argumentative Agent for Human Persuasion
Formalizing Commitment-Based Deals in Boolean Games
A Joint Model for Sentiment-Aware Topic Detection on Social Media
A Reinforcement Learning Framework for Trajectory Prediction Under Uncertainty and Budget Constraint
Person Re-Identification via Multiple Coarse-to-Fine Deep Metrics
How Hard Is Bribery with Distance Restrictions?
Beyond IC Postulates: Classification Criteria for Merging Operators
Schema-Based Debugging of Federated Data Sources
Belief Contraction Within Fragments of Propositional Logic
A Novel Cross-Modal Topic Correlation Model for Cross-Media Retrieval
Situation Calculus Game Structures and GDL
The Game of Reciprocation Habits
Randomized Distribution Feature for Image Classification
ShapeLearner: Towards Shape-Based Visual Knowledge Harvesting
Observation-Based Multi-Agent Planning with Communication
A Framework for Actionable Clustering Using Constraint Programming
Repetitive Branch-and-Bound Using Constraint Programming for Constrained Minimum Sum-of-Squares Clustering
Is Spearman's Law of Diminishing Returns (SLODR) Meaningful for Artificial Agents?
Efficient Computation of Exact IRV Margins
On Labelling Statements in Multi-Labelling Argumentation
Annotate-Sample-Average (ASA): A New Distant Supervision Approach for Twitter Sentiment Analysis
Semi-Supervised Group Sparse Representation: Model, Algorithm and Applications
Modeling Bounded Rationality for Sponsored Search Auctions
An Improved State Filter Algorithm for SIR Epidemic Forecasting
Socially-Aware Multiagent Learning: Towards Socially Optimal Outcomes
Factors of Collective Intelligence: How Smart Are Agent Collectives?
Synthesizing Argumentation Frameworks from Examples
Budgeted Multi-Armed Bandit in Continuous Action Space
A Framework for Automatic Debugging of Functional and Degradation Failures
Online Adaptation of Deep Architectures with Reinforcement Learning
Multi-Class Probabilistic Active Learning
Online Prediction of Exponential Decay Time Series with Human-Agent Application
Set-Valued Conditioning in a Possibility Theory Setting
An Improved CNF Encoding Scheme for Probabilistic Inference
A Bayesian Approach to Norm Identification
Subsumed Label Elimination for Maximum Satisfiability
Vertical Optimization of Resource Dependent Flight Paths
Exploiting Bayesian Network Sensitivity Functions for Inference in Credal Networks
Interval-Based Relaxation for General Numeric Planning
Randomized Canonical Correlation Discriminant Analysis for Face Recognition
Reconsidering AGM-Style Belief Revision in the Context of Logic Programs
Value Based Reasoning and the Actions of Others
Analogical Classifiers: A Theoretical Perspective
Uncertainty-Sensitive Reasoning for Inferring sameAs Facts in Linked Data
Can a Condorcet Rule Have a Low Coalitional Manipulability?
Upper and Lower Time and Space Bounds for Planning
Abstraction-Based Verification of Infinite-State Reactive Modules
Translation-Based Revision and Merging for Minimal Horn Reasoning
Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs
Distributed Controllers for Norm Enforcement
Automatic Verification of Golog Programs via Predicate Abstraction
An Assessment Study of Features and Meta-Level Features in Twitter Sentiment Analysis
Crowdfunding Public Projects with Provision Point: A Prediction Market Approach
Welfare of Sequential Allocation Mechanisms for Indivisible Goods
A Computational Approach to Consensus-Finding
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps
Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective
Fixed-Domain Reasoning for Description Logics
On Redundancy in Simple Temporal Networks
On Metric Temporal Description Logics
Plan-Based Narrative Generation with Coordinated Subplots
Hybrid Gaussian and von Mises Model-Based Clustering
Adaptive Symbiotic Collaboration for Targeted Complex Manipulation Tasks
Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions
On the Construction of High-Dimensional Simple Games
A Dynamic Logic of Norm Change
h-Index Manipulation by Undoing Merges
Planning Under Uncertainty for Aggregated Electric Vehicle Charging with Renewable Energy Supply
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks
On Revision of Partially Specified Convex Probabilistic Belief Bases
Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming
Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs
An Efficient Approach for the Generation of Allen Relations
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation
The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks
Strategy Representation and Reasoning in the Situation Calculus
Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases
Gaining Insight by Structural Knowledge Extraction
Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange
Markov Logic Networks with Numerical Constraints
Revisiting the Cross Entropy Method with Applications in Stochastic Global Optimization and Reinforcement Learning
Online Auctions for Dynamic Assignment: Theory and Empirical Evaluation
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility
On Distances Between KD45n Kripke Models and Their Use for Belief Revision
Unsupervised Activity Recognition Using Latent Semantic Analysis on a Mobile Robot
Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions
Higher-Order Correlation Coefficient Analysis for EEG-Based Brain-Computer Interface
Classtering: Joint Classification and Clustering with Mixture of Factor Analysers
Extending the Description Logic TEL(deg) with Acyclic TBoxes
Clique-Width and Directed Width Measures for Answer-Set Programming
Emotion Analysis as a Regression Problem - Dimensional Models and Their Implications on Emotion Representation and Metrical Evaluation
Aspect-Based Relational Sentiment Analysis Using a Stacked Neural Network Architecture
Learning Invariant Representation for Malicious Network Traffic Detection
Making Sense of Item Response Theory in Machine Learning
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions
Real-Time Timeline Summarisation for High-Impact Events in Twitter
Towards Better Models of Externalities in Sponsored Search Auctions
A Computational Method for Extracting, Representing, and Predicting Social Closeness
Planning Using Actions with Control Parameters
Fixed-Parameter Tractable Optimization Under DNNF Constraints
Preference Modeling with Possibilistic Networks and Symbolic Weights: A Theoretical Study
Leveraging Stratification in Twitter Sampling
A Minimization-Based Approach to Iterated Multi-Agent Belief Change
Parameterised Model Checking for Alternating-Time Temporal Logic
Interpretable Encoding of Densities Using Possibilistic Logic
Unsupervised Ranking of Knowledge Bases for Named Entity Recognition
Skeleton-Based Orienteering for Level Set Estimation
Interruptible Task Execution with Resumption in Golog
Constructing Hierarchical Task Models Using Invariance Analysis
Learning the Structure of Dynamic Hybrid Relational Models
A Distributed Asynchronous Solver for Nash Equilibria in Hypergraphical Games
Summary Information for Reasoning About Hierarchical Plans
Knowledge-Based Programs with Defaults in a Modal Situation Calculus
Solving Multi-Agent Knapsack Problems Using Incremental Approval Voting
Propositional Abduction with Implicit Hitting Sets
Improved Multi-Label Classification Using Inter-Dependence Structure via a Generative Mixture Model
Accelerating Norm Emergence Through Hierarchical Heuristic Learning
Entity Embeddings with Conceptual Subspaces as a Basis for Plausible Reasoning
Automatic Bridge Bidding Using Deep Reinforcement Learning
Hierarchical Strategy Synthesis for Pursuit-Evasion Problems
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief
A Temporal-Causal Modelling Approach to Integrated Contagion and Network Change in Social Networks
Exact Particle Filter Modularization Improves Runtime Performance
Using the Sugeno Integral in Optimal Assignment Problems with Qualitative Utilities
Complexity Results for Probabilistic Datalog?
Strategic Voting in a Social Context: Considerate Equilibria
The Complexity of Deciding Legality of a Single Step of Magic: The Gathering
Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property
Realisability of Production Recipes
Towards Lifelong Object Learning by Integrating Situated Robot Perception and Semantic Web Mining
Declaratively Capturing Local Label Correlations with Multi-Label Trees
Get Me to My GATE on Time: Efficiently Solving General-Sum Bayesian Threat Screening Games
False-Name-Proof Mechanisms for Path Auctions in Social Networks
Multi-Robot Adversarial Coverage
Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation
AGM-Style Revision of Beliefs and Intentions
Facility Location Games with Optional Preference
Iterative Judgment Aggregation
Partial Order Temporal Plan Merging for Mobile Robot Tasks
Towards Online Concept Drift Detection with Feature Selection for Data Stream Classification
Towards SPARQL-Based Induction for Large-Scale RDF Data Sets
Burg Matrix Divergence Based Multi-Metric Learning
A Novel Approach of Applying the Differential Evolution to Spatial Discrete Data
A Stochastic Belief Change Framework with a Stream of Expiring Observations (Short Paper)
Topic-Level Influencers Identification in the Microblog Sphere
Multilevel Agent-Based Modelling for Assignment or Matching Problems
Simple Epistemic Planning: Generalised Gossiping
A General Characterization of Model-Based Diagnosis
On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower Bounds
Salient Region Detection Based on the Global Contrast Combining Background Measure for Indoor Robots
Semi-Supervised Learning on an Augmented Graph with Class Labels
Identifying and Rewarding Subcrowds in Crowdsourcing
Data Set Operations to Hide Decision Tree Rules
Evolutionary Agent-Based Modeling of Past Societies' Organization Structure
Strategic Path Planning Allowing On-the-Fly Updates
Finding Diverse High-Quality Plans for Hypothesis Generation
Using a Deep Understanding of Network Activities for Network Vulnerability Assessment
All-Transfer Learning for Deep Neural Networks and Its Application to Sepsis Classification
Computing Extensions' Probabilities in Probabilistic Abstract Argumentation: Beyond Independence
Explained Activity Recognition with Computational Assumption-Based Argumentation
Execution Errors Enable the Evolution of Fairness in the Ultimatum Game
Encoding Cryptographic Functions to SAT Using TRANSALG System
Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions
DARDIS: Distributed And Randomized DIspatching and Scheduling
Reasoning About Belief and Evidence with Extended Justification Logic
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce
Employing Hypergraphs for Efficient Coalition Formation with Application to the V2G Problem
Increasing Coalition Stability in Large-Scale Coalition Formation with Self-Interested Agents
Strategies for Privacy Negotiation in Online Social Networks
DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception
Bagged Boosted Trees for Classification of Ecological Momentary Assessment Data
Reputation in the Academic World
Collective Future Orientation and Stock Markets
Learning of Classification Models from Noisy Soft-Labels
Distributed Learning in Expert Referral Networks
Transfer Learning for Automatic Short Answer Grading
Long-Time Sensor Data Analysis for Estimation of Physical Capacity
Enhancing Sketch-Based Image Retrieval via Deep Discriminative Representation
Structure in the Value Function of Two-Player Zero-Sum Games of Incomplete Information
GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games
Impact of Automated Action Labeling in Classification of Human Actions in RGB-D Videos
Transductive Learning for the Identification of Word Sense Temporal Orientation
Towards a Framework for Detecting Opportunism in Multi-Agent Systems
Learning a Bayesian Network Classifier by Jointly Maximizing Accuracy and Information
Transfer of Reinforcement Learning Negotiation Policies: From Bilateral to Multilateral Scenarios
Substantive Irrationality in Cognitive Systems
A History Tree Heuristic to Generate Better Initiation Sets for Options in Reinforcement Learning
On Truthful Auction Mechanisms for Electricity Allocation
Towards a BDI Player Model for Interactive Narratives
A Typicality-Based Revision to Handle Exceptions in Description Logics
A New Stochastic Local Search Approach for Computing Preferred Extensions of Abstract Argumentation
Crowdsourced Referral Auctions
Minisum and Minimax Committee Election Rules for General Preference Types
Space Debris Removal: A Game Theoretic Analysis
Cuilt: A Scalable, Mix-and-Match Framework for Local Iterative Approximate Best-Response Algorithms
Not Being at Odds with a Class: A New Way of Exploiting Neighbors for Classification
Value-Based Reasoning and Norms
Using Recursive Neural Networks to Detect and Classify Drug-Drug Interactions from Biomedical Texts
Efficient Computation of Deterministic Extensions for Dynamic Abstract Argumentation Frameworks
The Post-Modern Homunculus
Symmetric Multi-Aspect Evaluation of Comments - Extended Abstract
An Efficient and Expressive Similarity Measure for Relational Clustering Using Neighbourhood Trees
On Inconsistency Measuring and Resolving
A Fuzzy Semantic CEP Model for Situation Identification in Smart Homes
Multi-Context Systems in Time
Speech Emotion Recognition Using Voiced Segment Selection Algorithm
Scalable Exact MAP Inference in Graphical Models
Hiding Actions in Concurrent Games
Shape Invariant Formulation for Change Point Models in Multiple Dimensions
Shaping Proto-Value Functions Using Rewards
Heuristic Constraint Answer Set Programming
Non-Deterministic Planning with Numeric Uncertainty
How Good Is Predictive Routing in the Online Version of the Braess Paradox?
Delete-Free Reachability Analysis for Temporal and Hierarchical Planning
Intention Selection with Deadlines
Cost-Optimal Algorithms for Planning with Procedural Control Knowledge
Adaptive Condorcet-Based Stopping Rules Can Be Efficient
Landmark-Based Plan Recognition
Multi-Level Semantics with Vertical Integrity Constraints
Supervised Graph-Based Term Weighting Scheme for Effective Text Classification
Temporal Planning with Constants in Context
Secure Multi-Agent Planning Algorithms
Analysis of Swarm Communication Models
Fault Manifestability Verification for Discrete Event Systems
Using Petri Net Plans for Modeling UAV-UGV Cooperative Landing
Applications of Argumentation: The SoDA Methodology
Decoupling a Resource Constraint Through Fictitious Play in Multi-Agent Sequential Decision Making
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs
Sets of Contrasting Rules to Identify Trigger Factors
Link Prediction by Incidence Matrix Factorization
Dialogues as Social Practices for Serious Games
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes
Optimal Simple Strategies for Persuasion
Non-Utilitarian Coalition Structure Generation
PA*: Optimal Path Planning for Perception Tasks
Cross-Domain Error Correction in Personality Prediction
Classical Planning with Communicative Actions
Mixed Strategy Extraction from UCT Tree in Security Games
Boolean Negotiation Games
Toward Addressing Collusion Among Human Adversaries in Security Games
Detecting Communities Using Coordination Games: A Short Paper
Pricing Options with Portfolio-Holding Trading Agents in Direct Double Auction
Efficient Semantic Tableau Generation for Abduction in Propositional Logic
Case-Based Classification on Hierarchical Structure of Formal Concept Analysis
Stochastic Area Pooling for Generic Convolutional Neural Network
Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems
Relational Grounded Language Learning
Learning the Repair Urgency for a Decision Support System for Tunnel Maintenance
ONE - A Personalized Wellness System
Planning Search and Rescue Missions for UAV Teams
Integrating ARIMA and Spatiotemporal Bayesian Networks for High Resolution Malaria Prediction
Rapid Adaptation of Air Combat Behaviour
An Intelligent System for Personalized Conference Event Recommendation and Scheduling
Continuous Live Stress Monitoring with a Wristband
An Intelligent System for Aggression De-Escalation Training
A Practical Approach to Fuse Shape and Appearance Information in a Gaussian Facial Action Estimation Framework
Planning Tourist Agendas for Different Travel Styles
ECAI 2016
：22nd European Conference on Artificial Intelligence, 29 August - 2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)
( Frontiers in Artificial Intelligence and Applications )
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
