default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ECAI 2016: The Hague, The Netherlands
- Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen:
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 285, IOS Press 2016, ISBN 978-1-61499-671-2 - Thomas Christopher King, Virginia Dignum
, Catholijn M. Jonker:
When Do Rule Changes Count - As Legal Rule Changes? 3-11 - Markus Schneider, Wolfgang Ertel, Günther Palm:
Constant Time EXPected Similarity Estimation for Large-Scale Anomaly Detection. 12-20 - Mehmet Gönen:
AUC Maximization in Bayesian Hierarchical Models. 21-27 - Janneke M. van der Zwaan, Maarten Marx, Jaap Kamps:
Validating Cross-Perspective Topic Modeling for Extracting Political Parties' Positions from Parliamentary Proceedings. 28-36 - Peter Jonsson:
Finite Unary Relations and Qualitative Constraint Satisfaction. 37-45 - Marco Tamassia, Fabio Zambetta, William L. Raffe, Florian 'Floyd' Mueller, Xiaodong Li:
Dynamic Choice of State Abstraction in Q-Learning. 46-54 - Abdallah Arioua, Madalina Croitoru:
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks. 55-63 - Zhujin Li, Xianglong Liu, Junjie Wu, Hao Su:
Adaptive Binary Quantization for Fast Nearest Neighbor Search. 64-72 - Zhangquan Zhou, Guilin Qi, Birte Glimm:
Exploring Parallel Tractability of Ontology Materialization. 73-81 - Qingtao Tang, Yisen Wang, Shu-Tao Xia:
Student-t Process Regression with Dependent Student-t Noise. 82-89 - Piotr L. Szczepanski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction. 90-98 - Zhe Zhao, Tao Liu, Bofang Li, Xiaoyong Du:
Cluster-Driven Model for Improved Word and Text Embedding. 99-106 - Claudio Coppola, Tomás Krajník, Tom Duckett, Nicola Bellotto:
Learning Temporal Context for Activity Recognition. 107-115 - Régis Sabbadin, Anne-France Viet:
Leader-Follower MDP Models with Factored State Space and Many Followers - Followers Abstraction, Structured Dynamics and State Aggregation. 116-124 - Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli:
CUBE: A CUDA Approach for Bucket Elimination on GPUs. 125-132 - Romain Caillière, Samir Aknine, Antoine Nongaillard, Sarvapali D. Ramchurn:
Managing Energy Markets in Future Smart Grids Using Bilateral Contracts. 133-140 - Marcello D'Agostino, Sanjay Modgil:
A Rational Account of Classical Logic Argumentation for Real-World Agents. 141-149 - Anthony Hunter:
Two Dimensional Uncertainty in Persuadee Modelling in Argumentation. 150-157 - Damien Lejeune, Kurt Driessens:
A Data Driven Similarity Measure and Example Mapping Function for General, Unlabelled Data Sets. 158-166 - Linbo Qiao, Tianyi Lin, Yu-Gang Jiang, Fan Yang, Wei Liu, Xicheng Lu:
On Stochastic Primal-Dual Hybrid Gradient Approach for Compositely Regularized Minimization. 167-174 - Charilaos Akasiadis, Georgios Chalkiadakis:
Decentralized Large-Scale Electricity Consumption Shifting by Prosumer Cooperatives. 175-183 - Meysam Aghighi, Christer Bäckström, Peter Jonsson, Simon Ståhlberg:
Analysing Approximability and Heuristics in Planning Using the Exponential-Time Hypothesis. 184-192 - Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
A Simple Account of Multi-Agent Epistemic Planning. 193-201 - Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin:
Lexicographic Refinements in Possibilistic Decision Trees. 202-208 - Ugo Pagallo:
Even Angels Need the Rules: AI, Roboethics, and the Law. 209-215 - Mateus Riva, Moacir Ponti, Teofilo de Campos:
One-Class to Multi-Class Model Update Using the Class-Incremental Optimum-Path Forest Classifier. 216-224 - Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. 225-233 - Bram Aerts, Toon Goedemé, Joost Vennekens:
A Probabilistic Logic Programming Approach to Automatic Video Montage. 234-242 - Nitin Yadav, John Thangarajah:
Checking the Conformance of Requirements in Agent Designs Using ATL. 243-251 - Thomas Linsbichler, Jörg Pührer, Hannes Strass:
A Uniform Account of Realizability in Abstract Argumentation. 252-260 - Lu Sun, Mineichi Kudo, Keigo Kimura:
A Scalable Clustering-Based Local Multi-Label Classification Method. 261-268 - Chengzhuan Yang, Hui Wei, Qian Yu:
Multiscale Triangular Centroid Distance for Shape-Based Plant Leaf Recognition. 269-276 - Cynthia Maushagen, Jörg Rothe:
Complexity of Control by Partitioning Veto and Maximin Elections and of Control by Adding Candidates to Plurality Elections. 277-285 - Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn:
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. 286-294 - Akihiro Kishimoto, Adi Botea, Elizabeth Daly:
Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty. 295-303 - Guyue Zhang, Luchao Tian, Ye Liu, Jun Liu, Xiang An Liu, Yang Liu, Yan Qiu Chen:
Robust Real-Time Human Perception with Depth Camera. 304-310 - Matthew Saltz, Lluís A. Belanche Muñoz:
A New Kernelized Associative Memory and Some of Its Applications. 311-319 - Ariel Rosenfeld, Sarit Kraus:
Strategical Argumentative Agent for Human Persuasion. 320-328 - Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock:
Formalizing Commitment-Based Deals in Boolean Games. 329-337 - Kang Xu, Guilin Qi, Junheng Huang, Tianxing Wu:
A Joint Model for Sentiment-Aware Topic Detection on Social Media. 338-346 - Truc Viet Le, Siyuan Liu, Hoong Chuin Lau:
A Reinforcement Learning Framework for Trajectory Prediction Under Uncertainty and Budget Constraint. 347-354 - Mingfu Xiong, Jun Chen, Zheng Wang, Zhongyuan Wang, Ruimin Hu, Chao Liang, Daming Shi:
Person Re-Identification via Multiple Coarse-to-Fine Deep Metrics. 355-362 - Yongjie Yang, Yash Raj Shrestha, Jiong Guo:
How Hard Is Bribery with Distance Restrictions? 363-371 - Adrian Haret, Andreas Pfandler, Stefan Woltran:
Beyond IC Postulates: Classification Criteria for Merging Operators. 372-380 - Andreas Nolle, Christian Meilicke, Melisachew Wudage Chekol, German Nemirovski, Heiner Stuckenschmidt:
Schema-Based Debugging of Federated Data Sources. 381-389 - Nadia Creignou, Raïda Ktari, Odile Papini:
Belief Contraction Within Fragments of Propositional Logic. 390-398 - Yong Cheng, Fei Huang, Cheng Jin, Yuejie Zhang, Tao Zhang:
A Novel Cross-Modal Topic Correlation Model for Cross-Media Retrieval. 399-407 - Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Game Structures and GDL. 408-416 - Gleb Polevoy, Mathijs de Weerdt, Catholijn M. Jonker:
The Game of Reciprocation Habits. 417-425 - Hongming Shan, Junping Zhang:
Randomized Distribution Feature for Image Classification. 426-434 - Huayong Xu, Yafang Wang, Kang Feng, Gerard de Melo, Wei Wu, Andrei Sharf, Baoquan Chen:
ShapeLearner: Towards Shape-Based Visual Knowledge Harvesting. 435-443 - Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum:
Observation-Based Multi-Agent Planning with Communication. 444-452 - Thi-Bich-Hanh Dao, Christel Vrain, Khanh-Chuong Duong, Ian Davidson:
A Framework for Actionable Clustering Using Constraint Programming. 453-461 - Tias Guns, Thi-Bich-Hanh Dao, Christel Vrain, Khanh-Chuong Duong:
Repetitive Branch-and-Bound Using Constraint Programming for Constrained Minimum Sum-of-Squares Clustering. 462-470 - José Hernández-Orallo:
Is Spearman's Law of Diminishing Returns (SLODR) Meaningful for Artificial Agents? 471-479 - Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar:
Efficient Computation of Exact IRV Margins. 480-488 - Pietro Baroni, Guido Governatori, Régis Riveret:
On Labelling Statements in Multi-Labelling Argumentation. 489-497 - Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer:
Annotate-Sample-Average (ASA): A New Distant Supervision Approach for Twitter Sentiment Analysis. 498-506 - Longwen Gao, Yeqing Li, Junzhou Huang, Shuigeng Zhou:
Semi-Supervised Group Sparse Representation: Model, Algorithm and Applications. 507-514 - Jiang Rong, Tao Qin, Bo An, Tie-Yan Liu:
Modeling Bounded Rationality for Sponsored Search Auctions. 515-523 - Weipéng Huáng, Gregory M. Provan:
An Improved State Filter Algorithm for SIR Epidemic Forecasting. 524-532 - Xiaohong Li, Chengwei Zhang, Jianye Hao, Karl Tuyls, Siqi Chen, Zhiyong Feng:
Socially-Aware Multiagent Learning: Towards Socially Optimal Outcomes. 533-541 - Nader Chmait, David L. Dowe, Yuan-Fang Li, David G. Green, Javier Insa-Cabrera:
Factors of Collective Intelligence: How Smart Are Agent Collectives? 542-550 - Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo:
Synthesizing Argumentation Frameworks from Examples. 551-559 - Francesco Trovò, Stefano Paladino, Marcello Restelli, Nicola Gatti:
Budgeted Multi-Armed Bandit in Continuous Action Space. 560-568 - Nuno Cardoso, Rui Abreu, Alexander Feldman, Johan de Kleer:
A Framework for Automatic Debugging of Functional and Degradation Failures. 569-576 - Thushan Ganegedara, Lionel Ott, Fabio Ramos:
Online Adaptation of Deep Architectures with Reinforcement Learning. 577-585 - Daniel Kottke, Georg Krempl, Dominik Lang, Johannes Teschner, Myra Spiliopoulou:
Multi-Class Probabilistic Active Learning. 586-594 - Ariel Rosenfeld, Joseph Keshet, Claudia V. Goldman, Sarit Kraus:
Online Prediction of Exponential Decay Time Series with Human-Agent Application. 595-603 - Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich:
Set-Valued Conditioning in a Possibility Theory Setting. 604-612 - Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
An Improved CNF Encoding Scheme for Probabilistic Inference. 613-621 - Stephen Cranefield, Felipe Meneguzzi, Nir Oren, Bastin Tony Roy Savarimuthu:
A Bayesian Approach to Norm Identification. 622-629 - Jeremias Berg, Paul Saikko, Matti Järvisalo:
Subsumed Label Elimination for Maximum Satisfiability. 630-638 - Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen:
Vertical Optimization of Resource Dependent Flight Paths. 639-645 - Janneke H. Bolt, Jasper De Bock, Silja Renooij:
Exploiting Bayesian Network Sensitivity Functions for Inference in Credal Networks. 646-654 - Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez:
Interval-Based Relaxation for General Numeric Planning. 655-663 - Bo Ma, Hui He, Hongwei Hu, Meili Wei:
Randomized Canonical Correlation Discriminant Analysis for Face Recognition. 664-670 - Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. 671-679 - Katie Atkinson, Trevor J. M. Bench-Capon:
Value Based Reasoning and the Actions of Others. 680-688 - Nicolas Hug, Henri Prade, Gilles Richard, Mathieu Serrurier:
Analogical Classifiers: A Theoretical Perspective. 689-697 - Mustafa Al-Bakri, Manuel Atencia, Jérôme David, Steffen Lalande, Marie-Christine Rousset:
Uncertainty-Sensitive Reasoning for Inferring sameAs Facts in Linked Data. 698-706 - François Durand, Fabien Mathieu, Ludovic Noirie:
Can a Condorcet Rule Have a Low Coalitional Manipulability? 707-715 - Christer Bäckström, Peter Jonsson:
Upper and Lower Time and Space Bounds for Planning. 716-724 - Francesco Belardinelli, Alessio Lomuscio:
Abstraction-Based Verification of Infinite-State Reactive Modules. 725-733 - Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran:
Translation-Based Revision and Merging for Minimal Horn Reasoning. 734-742 - Antonio Salmerón, Anders L. Madsen, Frank Jensen, Helge Langseth, Thomas D. Nielsen, Darío Ramos-López, Ana M. Martínez, Andrés R. Masegosa:
Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs. 743-750 - Bas Testerink, Mehdi Dastani, Nils Bulling:
Distributed Controllers for Norm Enforcement. 751-759 - Peiming Mo, Naiqi Li, Yongmei Liu:
Automatic Verification of Golog Programs via Predicate Abstraction. 760-768 - Jonnathan Carvalho, Alexandre Plastino:
An Assessment Study of Features and Meta-Level Features in Twitter Sentiment Analysis. 769-777 - Praphul Chandra, Sujit Gujar, Y. Narahari:
Crowdfunding Public Projects with Provision Point: A Prediction Market Approach. 778-786 - Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia:
Welfare of Sequential Allocation Mechanisms for Indivisible Goods. 787-794 - Éric Grégoire, Jean-Marie Lagniez:
A Computational Approach to Consensus-Finding. 795-801 - Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger:
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps. 802-809 - Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective. 810-818 - Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. 819-827 - Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis:
On Redundancy in Simple Temporal Networks. 828-836 - Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki:
On Metric Temporal Description Logics. 837-845 - Julie Porteous, Fred Charles, Marc Cavazza:
Plan-Based Narrative Generation with Coordinated Subplots. 846-854 - Sergio Luengo-Sanchez, Concha Bielza, Pedro Larrañaga:
Hybrid Gaussian and von Mises Model-Based Clustering. 855-862 - Rui Silva, Francisco S. Melo, Manuela M. Veloso:
Adaptive Symbiotic Collaboration for Targeted Complex Manipulation Tasks. 863-870 - Paula Daniela Chocron, Marco Schorlemmer:
Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions. 871-879 - Martin Olsen, Sascha Kurz, Xavier Molinero:
On the Construction of High-Dimensional Simple Games. 880-885 - Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
A Dynamic Logic of Norm Change. 886-894 - René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
h-Index Manipulation by Undoing Merges. 895-903 - Erwin Walraven, Matthijs T. J. Spaan:
Planning Under Uncertainty for Aggregated Electric Vehicle Charging with Renewable Energy Supply. 904-912 - Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi:
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. 913-920 - Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
On Revision of Partially Specified Convex Probabilistic Belief Bases. 921-929 - Guillaume Casanova, Cédric Pralet, Charles Lesire, Thierry Vidal:
Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming. 930-938 - Hua Jiang, Chu Min Li, Felip Manyà:
Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs. 939-947 - Kleanthi Georgala, Mohamed Ahmed Sherif, Axel-Cyrille Ngonga Ngomo:
An Efficient Approach for the Generation of Allen Relations. 948-956 - Ricardo Gonçalves, Matthias Knorr, João Leite:
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. 957-965 - Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. 966-973 - Chris Percy, Artur S. d'Avila Garcez, Simo Dragicevic, Manoel V. M. França, Greg G. Slabaugh, Tillman Weyde:
The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks. 974-981 - Liping Xiong, Yongmei Liu:
Strategy Representation and Reasoning in the Situation Calculus. 982-990 - Saïd Jabbour, Lakhdar Sais:
Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. 991-998 - Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani:
Gaining Insight by Structural Knowledge Extraction. 999-1007 - Thomas Lukasiewicz, Livia Predoiu:
Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange. 1008-1016 - Melisachew Wudage Chekol, Jakob Huber, Christian Meilicke, Heiner Stuckenschmidt:
Markov Logic Networks with Numerical Constraints. 1017-1025 - Ajin George Joseph, Shalabh Bhatnagar:
Revisiting the Cross Entropy Method with Applications in Stochastic Global Optimization and Reinforcement Learning. 1026-1034 - Sujit Gujar, Boi Faltings:
Online Auctions for Dynamic Assignment: Theory and Empirical Evaluation. 1035-1043 - Buser Say, André A. Ciré, J. Christopher Beck:
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility. 1044-1052