Chapter
The Significance of Bidding, Accepting and Opponent Modeling in Automated Negotiation
Parameterising the Complexity of Planning by the Number of Paths in the Domain-Transition Graphs
Extending Acyclicity Notions for Existential Rules
Communicating with Unknown Teammates
Symmetry-Driven Decision Diagrams for Knowledge Compilation
Effective and Robust Natural Language Understanding for Human-Robot Interaction
Context-Free and Context-Sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation
Compact Argumentation Frameworks
Scoring Rules for the Allocation of Indivisible Goods
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction
Incremental Elicitation of Choquet Capacities for Multicriteria Decision Making
Automating Godel's Ontological Proof of God's Existence with Higher-Order Automated Theorem Provers
Boosting Constraint Acquisition via Generalization Queries
Influencing Social Networks: An Optimal Control Study
Inference in the FO(C) Modelling Language
Abduction and Dialogical Proof in Argumentation and Logic Programming
Credibility-Limited Improvement Operators
`Being a Manifold' as the Topological Primitive of Mereotopology
Analogical Classification: A New Way to Deal with Examples
Manipulating Picking Sequences
On The Properties of Belief Tracking for Online Contingent Planning Using Regression
GRAPPA: A Semantical Framework for Graph-Based Argument Processing
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
Abstract Disjunctive Answer Set Solvers
Planning and Execution of Robot Tasks Based on a Platform-Independent Model of Robot Capabilities
ATL with Truly Perfect Recall: Expressivity and Validities
Eliciting a Suitable Voting Rule via Examples
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems
A Systematic Solution to the (De-)Composition Problem in General Game Playing
Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games
Formal Arguments, Preferences, and Natural Language Interfaces to Humans: An Empirical Evaluation
Lattice-Based Biclustering Using Partition Pattern Structures
Reducing Global Consistency to Local Consistency in Ontology-Based Data Access
On the Efficient Implementation of Social Abstract Argumentation
Belief Merging Within Fragments of Propositional Logic
A Single-Agent Approach to Multiagent Planning
Characterising Semantic Relatedness Using Interpretable Directions in Conceptual Spaces
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations
Nonparametric Bayesian Multi-Task Large-Margin Classification
Reasoning About Uncertainty and Explicit Ignorance in Generalized Possibilistic Logic
An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning
A Profit-Aware Negotiation Mechanism for On-Demand Transport Services
Mining Heterogeneous Multidimensional Sequential Patterns
Towards Practical Deletion Repair of Inconsistent DL-Programs
Collective Rationality in Graph Aggregation
Self-Decomposable Global Constraints
Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning
Multilateral Bargaining for Resource Division
Bargaining for Coalition Structure Formation
Monte-Carlo Tree Search: To MC or to DP?
Improving Pattern Discovery Relevancy by Deriving Constraints from Expert Models
Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems
Detecting the Reputation Polarity of Microblog Posts
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies
Answer Set Programming as SAT Modulo Acyclicity
Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games
Nested Dichotomies with Probability Sets for Multi-Class Classification
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus
Evolving Multi-Context Systems
Embedding Heterogeneous Data by Preserving Multiple Kernels
Bayesian Multiview Dimensionality Reduction for Learning Predictive Subspaces
Near Fairness in Matroids
Strategic Argumentation Is NP-Complete
Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges
Controlling Two-Stage Voting Rules
Human-Computer Negotiation in Three-Player Market Settings
Measuring Diversity of Preferences in a Group
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information
On the Revision of Planning Tasks
``Distance''? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability
Language Classification of Hierarchical Planning Problems
Progression in Maximum Satisfiability
A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning
Combining Restarts, Nogoods and Decompositions for Solving CSPs
Conflict Resolution in Partially Ordered OWL DL Ontologies
GOSU: Computing GOal SUpport with Commitments in Multiagent Systems
Learning Pruning Rules for Heuristic Search Planning
Knowledge-Based Bias Correction - A Case Study in Veterinary Decision Support
Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming
How Hard Is It to Compute Majority-Preserving Judgment Aggregation Rules?
The Complexity of Reasoning with Relative Directions
LTLf Satisfiability Checking
Constrained Latent Dirichlet Allocation for Subgroup Discovery with Topic Rules
Bias Reformulation for One-Shot Function Induction
Uncorrelated Multilinear Nearest Feature Line Analysis
Common Spatial-Spectral Boosting Pattern for Brain-Computer Interface
Decidability of Model Checking Multi-Agent Systems Against a Class of EHS Specifications
Trust-Based Belief Change
The Logical Difference for ELHr-Terminologies Using Hypergraphs
Probabilistic Preference Logic Networks
An Efficient Bayesian Network Structure Learning Algorithm in the Presence of Deterministic Relations
An Evolutionary Spatial Game-Based Approach for the Self-Regulation of Social Exchanges in MAS
How Hard Is Control in Single-Crossing Elections?
Comparing Defeasible Logics
Information-Based Incentivisation when Rewards Are Inadequate
Privacy Preserving Landmark Detection
Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries
Random Forests of Very Fast Decision Trees on GPU for Mining Evolving Big Data Streams
Imprecise Probabilistic Horn Clause Logic
From Analogical Proportions in Lattices to Proportional Analogies in Formal Concepts
Landmarks in Oversubscription Planning
A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning
A Finite-Valued Solver for Disjunctive Fuzzy Answer Set Programs
A Shapley Value-Based Approach to Determine Gatekeepers in Social Networks with Applications
The Computational Impact of Partial Votes on Strategic Voting
How Much Trust Is Enough to Trust? A Market-Adaptive Trust Threshold Setting for e-Marketplaces
Pattern-Based Explanation for Automated Decisions
CV-Width: A New Complexity Parameter for CNFs
Integrating BDI Agents into a MATSim Simulation
Schedule Generation Schemes for Job Shop Problems with Fuzziness
The Persistence of Most Probable Explanations in Bayesian Networks
DITO: A CSP-Based Diagnostic Engine
Quality-Based Rewards for Monte-Carlo Tree Search Simulations
Syntactic Possibilistic Goal Generation
Multi-Objective Learning of Hybrid Classifiers
A Resource-Sensitive Logic of Agency
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization
On Support Relations in Abstract Argumentation as Abstractions of Inferential Relations
Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation
An Agent-Based Model of Procrastination
An Argumentation System for Reasoning with LPm
Provisional Propagation for Verifying Monotonicity of Bayesian Networks
Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context-Splitting
The Semantics of Behavior
Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans
Normalized Relevance Distance - A Stable Metric for Computing Semantic Relatedness over Reference Corpora
Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes
A Semantic Account of Iterated Belief Revision in the Situation Calculus
Heterogeneous Facility Location Without Money on the Line
Sequential Diagnosis of High Cardinality Faults in Knowledge-Bases by Direct Diagnosis Generation
Unleashing Dec-MDPs in Security Games: Enabling Effective Defender Teamwork
On Combinatorial Actions and CMABs with Linear Side Information
Optimisation for the Ride-Sharing Problem: A Complexity-Based Approach
OpenSim: A Framework for Integrating Agent-Based Models and Simulation Components
Set-Theoretic Duality: A Fundamental Feature of Combinatorial Optimisation
Graph Abstraction for Closed Pattern Mining in Attributed Networks
Hybrid Query Answering Over OWL Ontologies
Verifying the Precision of Diagnostic Algorithms
A Centrality Measure for Networks with Community Structure Based on a Generalization of the Owen Value
Knowledge-Based Specification of Robot Motions
Quantifying the Completeness of Goals in BDI Agent Systems
Modelling the Dynamics of Emotional Awareness
Coherence and Compatibility of Markov Logic Networks
Mixing Materialization and Query Rewriting for Existential Rules
Computing Skypattern Cubes
The PeerRank Method for Peer Assessment
Qualitative Simulation with Answer Set Programming
Preference Inference Based on Lexicographic Models
Learning Domain-Specific Sentiment Lexicon with Supervised Sentiment-Aware LDA
Novel Architecture Of A Digital Neuron for FFNN Employing Special Multiplication
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions
False-Name-Proof Combinatorial Auction Design via Single-Minded Decomposition
Checking the Correctness of Agent Designs Against Model-Based Requirements
How Good is the Shapley Value-Based Approach to the Influence Maximization Problem?
DL-Lite and Interval Temporal Logics: A Marriage Proposal
Social Computing in JaCaMo
Suboptimal Variants of the Conflict-Based Search Algorithm for the Multi-Agent Pathfinding Problem
Analysis of Interval-Based Possibilistic Networks
Post-Processing a Classifier's Predictions: Strategies and Empirical Evaluation
Assertional-Based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases
A First Comparison of Abstract Argumentation Reasoning-Tools
Sensitivity of Multi-Dimensional Bayesian Classifiers
A Privacy-Preserving Model for the Multi-Agent Propositional Planning Problem
Mining Balanced Sequential Patterns in RTS Games
From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach
Combining Reasoning on Semantic Web Metadata
Using Ensemble Techniques and Multi-Objectivization to Solve Reinforcement Learning Problems
Spatial Evolutionary Game-Theoretic Perspective on Agent-Based Complex Negotiations
Predicting Agents' Behavior by Measuring Their Social Preferences
A Deductive Approach to the Identification and Description of Clusters in Linked Open Data
Adaptive Active Learning as a Multi-Armed Bandit Problem
Inconsistency Resolution and Global Conflicts
Quality in Quantity - Relative Direction Constraints Using Sector Sets Around Oriented Points
Actions with Durations and Failures in BDI Languages
A Logic of Part and Whole for Buffered Geometries
Learning Non-Cooperative Behaviour for Dialogue Agents
Propositional Merging and Judgment Aggregation: Two Compatible Approaches?
Analyzing the Tradeoff Between Efficiency and Cost of Norm Enforcement in Stochastic Environments
On Computing Explanations in Abstract Argumentation
Planning with Ensembles of Classifiers
Social Network Data Analysis for Event Detection
Conditioned Belief Propagation Revisited
Utility-Based HTN Planning
Using Multiple Contexts to Distinguish Standing from Sitting with a Single Accelerometer
Enforcing Solutions in Constraint Networks
Negotiation to Execute Continuous Long-Term Tasks
Off-Policy Shaping Ensembles in Reinforcement Learning
ADS2: Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication
An Algorithm for the Penalized Multiple Choice Knapsack Problem
Generation of Relevant Spreadsheet Repair Candidates
Comparing Models for Spreadsheet Fault Localization
Video Event Recognition by Dempster-Shafer Theory
Probabilistic Argumentation with Incomplete Information
Multiobjective Prices of Stability and Anarchy for Multiobjective Games
Prime Implicates Based Inconsistency Characterization
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
Fuzzy Logic for Preferences Expressible by Convolutions
Estimating Trust from Agents' Interactions via Commitments
On the Usage of Behavior Models to Detect ATM Fraud
On the Use of Target Sets for Move Selection in Multi-Agent Debates
Probabilistic Active Learning: A Short Proposition
An Optimal Iterative Algorithm for Extracting MUCs in a Black-Box Constraint Network
Heuristics to Increase Observability in Spectrum-Based Fault Localization
A Weakening of Independence in Judgment Aggregation: Agenda Separability
A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database
Width-Based Algorithms for Classical Planning: New Results
An Intelligent Threat Prevention Framework with Heterogeneous Information
Coordinated Team Learning and Difference Rewards for Distributed Intrusion Response
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
How Hard Is It to Control an Election by Breaking Ties?
Modeling Gaze Mechanisms for Grounding in HRI
Faustian Dynamics in Sarkar's Social Cycle
Momentum Online LDA for Large-scale Datasets
Imitative Leadsheet Generation with User Constraints
(Co)evolution Leads Towards ROMAs
A New Study of Two Divergence Metrics for Change Detection in Data Streams
Finding Good Stochastic Factored Policies for Factored Markov Decision Processes
An Approximate Counting for Big Textual Data Streams
Multi Agent Learning of Relational Action Models
Transductive Learning for Multi-Task Copula Processes
Exploiting the Semantic Web for Systems Diagnosis
STIT is Dangerously Undecidable
Comparing Data Distribution Using Fading Histograms
Bounded Intention Planning Revisited
Introducing Hierarchical Adversarial Search, a Scalable Search Procedure for Real-Time Strategy Game
Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern Analysis
Surrogate-Agent Modeling for Improved Training
Simultaneous Tracking and Activity Recognition (STAR) Using Advanced Agent-Based Behavioral Simulations
Rational Deployment of Multiple Heuristics in IDA*
Probabilistic Two-Level Anomaly Detection for Correlated Systems
Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines
AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data
Community Detection Based on a Naming Game
Argumentation Frameworks Features: An Initial Study
Unsupervised Semantic Clustering of Twitter Hashtags
Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling
Emotional Trends in Social Media - A State Space Approach
Local Image Descriptor Inspired by Visual Cortex
A Concise Horn Theory for RCC8
Noised Diffusion Dynamics with Individual Biased Opinion
Election Attacks with Few Candidates
SP-MCTS-Based Intention Scheduling for BDI Agents
Semantical Information Graph Model Toward Fast Information Valuation in Large Teamwork
From Disjunctive to Normal Logic Programs via Unfolding and Shifting
NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows
Bicycle Route Planning with Route Choice Preferences
No One Is Left ``Unwatched'': Fairness in Observation of Crowds of Mobile Targets in Active Camera Surveillance
INTELLIREQ: Intelligent Techniques for Software Requirements Engineering
Efficient Policy Iteration for Periodic Markov Decision Processes
Geometrical Feature Extraction for Cuneiforms
Influence of Internal Values and Social Networks for Achieving Sustainable Organizations
Combining Engineering and Qualitative Models to Fault Diagnosis in Air Handling Units
Stop-Free Strategies for Traffic Networks: Decentralized On-Line Optimization
An Integrated Reconfigurable System for Maritime Situational Awareness
Stochastic Filtering Methods for Predicting Agent Performance in the Smart Grid
Clustering Weather Situations with Respect to Prediction of Solar Irradiance by Multiple NWP Models
Modular Behavior Trees: Language for Fast AI in Open-World Video Games
Extending Semantic Sensor Networks for Automatically Tackling Smart Building Problems
ParkinsonCheck Smart Phone App
Condition Monitoring with Incomplete Observations
Real-Time Adaptive Problem Detection in Poultry
The Piano Music Companion
VMAP: A Visual Schema Mapping Tool
Personalized Fully Multimodal Journey Planner
Orwellian Eye: Video Recommendation with Microsoft Kinect
Advanced Public Transport Network Analyser
Mobile Tourist Guide: Bridging the Gap Between Recommending, Planning and User-Centered Interaction