Table of Contents

• Breaking Conditional Symmetry in Automated Constraint Modelling with CONJUREOzgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale. 3-8 [doi]
• Decidable Model-Checking for a Resource Logic with Production of ResourcesNatasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi. 9-14 [doi]
• Data interlinking through robust linkkey extractionManuel Atencia, Jérôme David, Jérôme Euzenat. 15-20 [doi]
• Knowledge and GossipMaduka Attamah, Hans P. van Ditmarsch, Davide Grossi, Wiebe van der Hoek. 21-26 [doi]
• The Significance of Bidding, Accepting and Opponent Modeling in Automated NegotiationTim Baarslag, Alexander Dirkzwager, Koen V. Hindriks, Catholijn M. Jonker. 27-32 [doi]
• Parameterising the Complexity of Planning by the Number of Paths in the Domain-transition GraphsChrister Bäckström. 33-38 [doi]
• Extending Acyclicity Notions for Existential RulesJean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher. 39-44 [doi]
• Communicating with Unknown TeammatesSamuel Barrett, Noa Agmon, Noam Hazon, Sarit Kraus, Peter Stone. 45-50 [doi]
• Symmetry-Driven Decision Diagrams for Knowledge CompilationAnicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis. 51-56 [doi]
• Effective and Robust Natural Language Understanding for Human-Robot InteractionEmanuele Bastianelli, Giuseppe Castellucci, Danilo Croce, Roberto Basili, Daniele Nardi. 57-62 [doi]
• Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in abstract ArgumentationRingo Baumann. 63-68 [doi]
• Compact Argumentation FrameworksRingo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran. 69-74 [doi]
• Scoring Rules for the Allocation of Indivisible GoodsDorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen 0004, Jörg Rothe. 75-80 [doi]
• Model Checking Auctions as Artifact Systems: Decidability via Finite AbstractionFrancesco Belardinelli. 81-86 [doi]
• Incremental Elicitation of Choquet Capacities for Multicriteria Decision MakingNawal Benabbou, Patrice Perny, Paolo Viappiani. 87-92 [doi]
• Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem ProversChristoph Benzmüller, Bruno Woltzenlogel Paleo. 93-98 [doi]
• Boosting Constraint Acquisition via Generalization QueriesChristian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El-Houssine Bouyakhf. 99-104 [doi]
• Influencing Social Networks: An Optimal Control StudyDaan Bloembergen, Bijan Ranjbar Sahraei, Haitham Bou-Ammar, Karl Tuyls, Gerhard Weiss. 105-110 [doi]
• Inference in the FO(C) Modelling LanguageBart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche. 111-116 [doi]
• Abduction and Dialogical Proof in Argumentation and Logic ProgrammingRichard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre. 117-122 [doi]
• Credibility-Limited Improvement OperatorsRichard Booth, Eduardo L. Fermé, Sébastien Konieczny, Ramón Pino Pérez. 123-128 [doi]
• 'Being a Manifold' as the Topological Primitive of MereotopologyStefano Borgo. 129-134 [doi]
• Analogical classification: A new way to deal with examplesMyriam Bounhas, Henri Prade, Gilles Richard. 135-140 [doi]
• Manipulating picking sequencesSylvain Bouveret, Jérôme Lang. 141-146 [doi]
• On The Properties of Belief Tracking for Online Contingent Planning using RegressionRonen I. Brafman, Guy Shani. 147-152 [doi]
• GRAPPA: A Semantical Framework for Graph-Based Argument ProcessingGerhard Brewka, Stefan Woltran. 153-158 [doi]
• Multi-Context Systems for Reactive Reasoning in Dynamic EnvironmentsGerhard Brewka, Stefan Ellmauthaler, Jörg Pührer. 159-164 [doi]
• Abstract Disjunctive Answer Set SolversRémi Brochenin, Yuliya Lierler, Marco Maratea. 165-170 [doi]
• Planning and Execution of Robot Tasks Based on a Platform-Independent Model of Robot CapabilitiesJennifer Elisabeth Buehler, Maurice Pagnucco. 171-176 [doi]
• ATL* With Truly Perfect Recall: Expressivity and ValiditiesNils Bulling, Wojciech Jamroga, Matei Popovici. 177-182 [doi]
• Eliciting a Suitable Voting Rule via ExamplesOlivier Cailloux, Ulle Endriss. 183-188 [doi]
• A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization ProblemsFederico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli. 189-194 [doi]
• A Systematic Solution to the (De-)Composition Problem in General Game PlayingTimothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher. 195-200 [doi]
• Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum GamesJirí Cermák, Branislav Bosanský, Viliam Lisý. 201-206 [doi]
• Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical EvaluationFederico Cerutti, Nava Tintarev, Nir Oren. 207-212 [doi]
• Lattice-based biclustering using Partition Pattern StructuresVíctor Codocedo, Amedeo Napoli. 213-218 [doi]
• Reducing global consistency to local consistency in Ontology-based Data AccessMarco Console, Maurizio Lenzerini. 219-224 [doi]
• On the Efficient Implementation of Social Abstract ArgumentationMarco Correia, Jorge Cruz, João Leite. 225-230 [doi]
• Belief merging within fragments of propositional logicNadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran. 231-236 [doi]
• A Single-Agent Approach to Multiagent PlanningMatthew Crosby, Anders Jonsson, Michael Rovatsos. 237-242 [doi]
• Characterising Semantic Relatedness using Interpretable Directions in Conceptual SpacesJoaquín Derrac, Steven Schockaert. 243-248 [doi]
• Concept Dissimilarity Based on Tree Edit Distances and Morphological DilationsFelix Distel, Jamal Atif, Isabelle Bloch. 249-254 [doi]
• Nonparametric Bayesian Multi-Task Large-margin ClassificationChangying Du, Jia He, Fuzhen Zhuang, Yuan Qi, Qing He. 255-260 [doi]
• Reasoning about Uncertainty and Explicit Ignorance in Generalized Possibilistic LogicDidier Dubois, Henri Prade, Steven Schockaert. 261-266 [doi]
• An Axiomatic Analysis of Structured Argumentation for Prioritized Default ReasoningPhan Minh Dung. 267-272 [doi]
• A Profit-Aware Negotiation Mechanism for On-Demand Transport ServicesMalcolm Egan, Michal Jakob. 273-278 [doi]
• Mining Heterogeneous Multidimensional Sequential PatternsElias Egho, Chedy Raïssi, Nicolas Jay, Amedeo Napoli. 279-284 [doi]
• Towards Practical Deletion Repair of Inconsistent DL-programsThomas Eiter, Michael Fink, Daria Stepanova 0001. 285-290 [doi]
• Collective Rationality in Graph AggregationUlle Endriss, Umberto Grandi. 291-296 [doi]
• Self-decomposable Global ConstraintsJean-Guillaume Fages, Xavier Lorca, Thierry Petit. 297-302 [doi]
• Solving Maximum Weight Clique Using Maximum Satisfiability ReasoningZhiwen Fang, Chu Min Li, Kan Qiao, Xu Feng, Ke Xu. 303-308 [doi]
• Multilateral Bargaining for Resource DivisionS. Shaheen Fatima, Michael Wooldridge. 309-314 [doi]
• Bargaining for Coalition Structure FormationS. Shaheen Fatima, Tomasz P. Michalak, Michael Wooldridge. 315-320 [doi]
• Monte-Carlo Tree Search: To MC or to DP?Zohar Feldman, Carmel Domshlak. 321-326 [doi]
• Improving pattern discovery relevancy by deriving constraints from expert modelsFrédéric Flouvat, Jérémy Sanhes, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut. 327-332 [doi]
• Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent SystemsYang Gao, Francesca Toni. 333-338 [doi]
• Detecting the Reputation Polarity of Microblog PostsCristina Garbacea, Manos Tsagkias, Maarten de Rijke. 339-344 [doi]
• Lower and Upper Approximations for Depleting Modules of Description Logic OntologiesWilliam Gatens, Boris Konev, Frank Wolter. 345-350 [doi]
• Answer Set Programming as SAT modulo AcyclicityMartin Gebser, Tomi Janhunen, Jussi Rintanen. 351-356 [doi]
• Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II GamesFlorian Geißer, Thomas Keller 0001, Robert Mattmüller. 357-362 [doi]
• Nested Dichotomies with probability sets for multi-class classificationGen Yang, Sébastien Destercke, Marie-Hélène Masson. 363-368 [doi]
• LTL Verification of Online Executions with Sensing in Bounded Situation CalculusGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos. 369-374 [doi]
• Evolving Multi-Context SystemsRicardo Gonçalves, Matthias Knorr, João Leite. 375-380 [doi]
• Embedding Heterogeneous Data by Preserving Multiple KernelsMehmet Gönen. 381-386 [doi]
• Bayesian Multiview Dimensionality Reduction for Learning Predictive SubspacesMehmet Gönen, Gülefsan Bozkurt Gönen, Fikret S. Gürgen. 387-392 [doi]
• Near Fairness in MatroidsLaurent Gourvès, Jérôme Monnot, Lydia Tlilane. 393-398 [doi]
• Strategic Argumentation is NP-CompleteGuido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani. 399-404 [doi]
• Diagnosis of Hybrid Systems with SMT: Opportunities and ChallengesAlban Grastien. 405-410 [doi]
• Controlling Two-Stage Voting RulesJiong Guo, Yash Raj Shrestha. 411-416 [doi]
• Human-Computer Negotiation in Three-Player Market SettingsGalit Haim, Ya'akov (Kobi) Gal, Sarit Kraus, Bo An. 417-422 [doi]
• Measuring Diversity of Preferences in a GroupVahid Hashemi, Ulle Endriss. 423-428 [doi]
• Spatio-Temporal Stream Reasoning with Incomplete Spatial InformationFredrik Heintz, Daniel de Leng. 429-434 [doi]
• On the revision of planning tasksAndreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann. 435-440 [doi]
• "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect UnsolvabilityJörg Hoffmann 0001, Peter Kissmann, Álvaro Torralba. 441-446 [doi]
• Language Classification of Hierarchical Planning ProblemsDaniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo. 447-452 [doi]
• Progression in Maximum SatisfiabilityAlexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva. 453-458 [doi]
• A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal PlanningTatsuya Imai, Alex Fukunaga. 459-464 [doi]
• Combining Restarts, Nogoods and Decompositions for Solving CSPsPhilippe Jégou, Cyril Terrioux. 465-470 [doi]
• Conflict Resolution in Partially Ordered OWL DL OntologiesQiu Ji, Zhiqiang Gao, Zhisheng Huang. 471-476 [doi]
• GOSU: computing GOal SUpport with commitments in multiagent systemsÖzgür Kafali, Akin Günay, Pinar Yolum. 477-482 [doi]
• Learning Pruning Rules for Heuristic Search PlanningMichal Krajnanský, Jörg Hoffmann 0001, Olivier Buffet, Alan Fern. 483-488 [doi]
• Knowledge-based Bias Correction - A Case Study in Veterinary Decision SupportThomas E. Krak, Linda C. van der Gaag. 489-494 [doi]
• Qualitative Spatial and Temporal Reasoning with AND/OR Linear ProgrammingArne Kreutzmann, Diedrich Wolter. 495-500 [doi]
• How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules?Jérôme Lang, Marija Slavkovik. 501-506 [doi]
• The Complexity of Reasoning with Relative DirectionsJae Hee Lee. 507-512 [doi]
• LTLf Satisfiability CheckingJianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He. 513-518 [doi]
• Constrained Latent Dirichlet Allocation for Subgroup Discovery with Topic RulesRui Li, Zahra Ahmadi, Stefan Kramer. 519-524 [doi]
• Bias reformulation for one-shot function inductionDianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, Stephen Muggleton. 525-530 [doi]
• Uncorrelated Multilinear Nearest Feature Line AnalysisYe Liu, Liqing Zhang. 531-536 [doi]
• Common Spatial-Spectral Boosting Pattern for Brain-Computer InterfaceYe Liu, Hao Zhang, Qibin Zhao, Liqing Zhang. 537-542 [doi]
• Decidability of model checking multi-agent systems against a class of EHS specificationsAlessio R. Lomuscio, Jakub Michaliszyn. 543-548 [doi]
• Trust-based belief changeEmiliano Lorini, Guifei Jiang, Laurent Perrussel. 549-554 [doi]
• r-Terminologies using HypergraphsMichel Ludwig, Dirk Walther 0002. 555-560 [doi]
• Probabilistic Preference Logic NetworksThomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari. 561-566 [doi]
• An Efficient Bayesian Network Structure Learning Algorithm in the Presence of Deterministic RelationsAhmed Mabrouk, Christophe Gonzales, Karine Jabet-Chevalier, Eric Chojnacki. 567-572 [doi]
• An Evolutionary Spatial Game-based Approach for the Self-regulation of Social Exchanges in MASLuís Felipe K. de Macedo, Graçaliz Pereira Dimuro, Marilton S. de Aguiar, Helder Coelho. 573-578 [doi]
• How Hard is Control in Single-Crossing Elections?Krzysztof Magiera, Piotr Faliszewski. 579-584 [doi]
• Comparing Defeasible LogicsMichael J. Maher. 585-590 [doi]
• Information-based Incentivisation when Rewards are InadequateSamhar Mahmoud, Lina Barakat, Simon Miles, Adel Taweel, Brendan Delaney, Michael Luck. 591-596 [doi]
• Privacy Preserving Landmark DetectionShlomi Maliah, Guy Shani, Roni Stern. 597-602 [doi]
• Efficient AutarkiesJoão Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce. 603-608 [doi]
• Some Elements for a Prehistory of Artificial Intelligence in the Last Four CenturiesPierre Marquis, Odile Papini, Henri Prade. 609-614 [doi]
• Random Forests of Very Fast Decision Trees on GPU for Mining Evolving Big Data StreamsDiego Marron, Albert Bifet, Gianmarco De Francisci Morales. 615-620 [doi]
• Imprecise Probabilistic Horn Clause LogicSteffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova. 621-626 [doi]
• From analogical proportions in lattices to proportional analogies in formal conceptsLaurent Miclet, Nelly Barbot, Henri Prade. 627-632 [doi]
• Landmarks in Oversubscription PlanningVitaly Mirkis, Carmel Domshlak. 633-638 [doi]
• A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based ReasoningGilbert Müller, Ralph Bergmann. 639-644 [doi]
• A finite-valued solver for disjunctive fuzzy answer set programsMushthofa Mushthofa, Steven Schockaert, Martine De Cock. 645-650 [doi]
• A Shapley Value-based Approach to Determine Gatekeepers in Social Networks with ApplicationsRamasuri Narayanam, Oskar Skibski, Hemank Lamba, Tomasz P. Michalak. 651-656 [doi]
• The Computational Impact of Partial Votes on Strategic VotingNina Narodytska, Toby Walsh. 657-662 [doi]
• How much trust is enough to trust? A market-adaptive trust threshold setting for e-marketplacesZeinab Noorian, Mohsen Mohkami, Julita Vassileva. 663-668 [doi]
• Pattern-based Explanation for Automated DecisionsIngrid Nunes, Simon Miles, Michael Luck, Simone Diniz Junqueira Barbosa, Carlos José Pereira de Lucena. 669-674 [doi]
• CV-width: A New Complexity Parameter for CNFsUmut Oztok, Adnan Darwiche. 675-680 [doi]
• Integrating BDI Agents into a MATSim SimulationLin Padgham, Kai Nagel, Dhirendra Singh, Qingyu Chen. 681-686 [doi]
• Schedule Generation Schemes for Job Shop Problems with FuzzinessJuan José Palacios, Camino R. Vela, Inés González Rodríguez, Jorge Puente. 687-692 [doi]
• The Persistence of Most Probable Explanations in Bayesian NetworksArnoud Pastink, Linda C. van der Gaag. 693-698 [doi]
• DITO: a CSP-based diagnostic engineYannick Pencolé. 699-704 [doi]
• Quality-based Rewards for Monte-Carlo Tree Search SimulationsTom Pepels, Mandy J. W. Tak, Marc Lanctot, Mark H. M. Winands. 705-710 [doi]
• Syntactic Possibilistic Goal GenerationCélia da Costa Pereira, Andrea G. B. Tettamanzi. 711-716 [doi]
• Multi-objective learning of hybrid classifiersRok Piltaver, Mitja Lustrek, Jernej Zupancic, Saso Dzeroski, Matjaz Gams. 717-722 [doi]
• A resource-sensitive logic of agencyDaniele Porello, Nicolas Troquard. 723-728 [doi]
• Consolidation of Probabilistic Knowledge Bases by Inconsistency MinimizationNico Potyka, Matthias Thimm. 729-734 [doi]
• On support relations in abstract argumentation as abstractions of inferential relationsHenry Prakken. 735-740 [doi]
• Symmetry Breaking for Exact Solutions in Adjustable Robust OptimisationSteven David Prestwich, Marco Laumanns, Ban Kawas. 741-746 [doi]
• An Agent-Based Model of ProcrastinationRuurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Meyer. 747-752 [doi]
• An argumentation system for reasoning with LPmWenzhao Qiao, Nico Roos. 753-758 [doi]
• Provisional Propagation for Verifying Monotonicity of Bayesian NetworksMerel T. Rietbergen, Linda C. van der Gaag, Hans L. Bodlaender. 759-764 [doi]
• Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context SplittingGabriele Röger, Florian Pommerening, Malte Helmert. 765-770 [doi]
• The semantics of behaviorNico Roos. 771-776 [doi]
• Statistical ConstraintsRoberto Rossi, Steven David Prestwich, S. Armagan Tarim. 777-782 [doi]
• Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality PlansEnrico Scala, Pietro Torasso. 783-788 [doi]
• Normalized Relevance Distance - A Stable Metric for Computing Semantic Relatedness over Reference CorporaChristoph Schaefer, Daniel Hienert, Thomas Gottron. 789-794 [doi]
• Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular PolytopesCarl Schultz, Mehul Bhatt. 795-800 [doi]
• A Semantic Account of Iterated Belief Revision in the Situation CalculusChristoph Schwering, Gerhard Lakemeyer. 801-806 [doi]
• Heterogeneous Facility Location without Money on the LinePaolo Serafino, Carmine Ventre. 807-812 [doi]
• Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generationKostyantyn M. Shchekotykhin, Gerhard Friedrich, Patrick Rodler, Philipp Fleiss. 813-818 [doi]
• Unleashing Dec-MDPs in Security Games: Enabling Effective Defender TeamworkEric Anyung Shieh, Albert Xin Jiang, Amulya Yadav, Pradeep Varakantham, Milind Tambe. 819-824 [doi]
• On Combinatorial Actions and CMABs with Linear Side InformationAlexander Shleyfman, Antonín Komenda, Carmel Domshlak. 825-830 [doi]
• Optimisation for the Ride-Sharing Problem: a Complexity-based ApproachGilles Simonin, Barry O'Sullivan. 831-836 [doi]
• OpenSim: A framework for integrating agent-based models and simulation componentsDhirendra Singh, Lin Padgham. 837-842 [doi]
• Set-theoretic duality: A fundamental feature of combinatorial optimisationJohn Slaney. 843-848 [doi]
• Graph abstraction for closed pattern mining in attributed networksHenry Soldano, Guillaume Santini. 849-854 [doi]
• Hybrid Query Answering Over OWL OntologiesGiorgos Stoilos, Giorgos B. Stamou. 855-860 [doi]
• Verifying the Precision of Diagnostic AlgorithmsXingyu Su, Alban Grastien. 861-866 [doi]
• A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen ValuePiotr L. Szczepanski, Tomasz P. Michalak, Michael Wooldridge. 867-872 [doi]
• Knowledge-based Specification of Robot MotionsMoritz Tenorth, Georg Bartels, Michael Beetz. 873-878 [doi]
• Quantifying the Completeness of Goals in BDI Agent SystemsJohn Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith. 879-884 [doi]
• Modelling the Dynamics of Emotional AwarenessDilhan J. Thilakarathne, Jan Treur. 885-890 [doi]
• Coherence and Compatibility of Markov Logic NetworksMatthias Thimm. 891-896 [doi]
• Mixing Materialization and Query Rewriting for Existential RulesMichaël Thomazo, Sebastian Rudolph. 897-902 [doi]
• Computing Skypattern CubesWilly Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux. 903-908 [doi]
• The PeerRank Method for Peer AssessmentToby Walsh. 909-914 [doi]
• Qualitative Simulation with Answer Set ProgrammingTimothy Wiley, Claude Sammut, Ivan Bratko. 915-920 [doi]
• Preference Inference Based on Lexicographic ModelsNic Wilson. 921-926 [doi]
• Learning Domain-specific Sentiment Lexicon with Supervised Sentiment-aware LDAMin Yang, Dingju Zhu, Rashed Mustafa, Kam-Pui Chow. 927-932 [doi]
• Novel architecture of a digital neuron for FFNN employing special multiplicationRoman Záluský, Daniela Durackova, Viera Stopjaková, Lukás Nagy, Vladimír Sedlák. 933-938 [doi]
• Verifying CTL* Properties of GOLOG Programs over Local-Effect ActionsBenjamin Zarrieß, Jens Claßen. 939-944 [doi]
• False-name-proof Combinatorial Auction Design via Single-minded DecompositionDengji Zhao, Siqi Luo, Taiki Todo, Makoto Yokoo. 945-950 [doi]
• Checking The Correctness of Agent Designs Against Model-Based RequirementsYoosef Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah. 953-954 [doi]
• How good is the Shapley value-based approach to the influence maximization problem?Kamil Adamczewski, Szymon Matejczyk, Tomasz P. Michalak. 955-956 [doi]
• DL-Lite and Interval Temporal Logics: a Marriage ProposalAlessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov. 957-958 [doi]
• Social Computing in JaCaMoMatteo Baldoni, Cristina Baroglio, Federico Capuzzimati. 959-960 [doi]
• Suboptimal Variants of the Conflict-Based Search Algorithm for the Multi-Agent Pathfinding ProblemMax Barer, Guni Sharon, Roni Stern, Ariel Felner. 961-962 [doi]
• Analysis of interval-based possibilistic networksSalem Benferhat, Sylvain Lagrue, Karim Tabia. 963-964 [doi]
• Post-processing a classifier's predictions: Strategies and empirical evaluationSalem Benferhat, Karim Tabia, Mouaad Kezih, Mahmoud Taibi. 965-966 [doi]
• Assertional-based Prioritized Removed Sets Revision of DL-LiteR Knowledge BasesSalem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel. 967-968 [doi]
• A First Comparison of Abstract Argumentation Reasoning-ToolsStefano Bistarelli, Fabio Rossi, Francesco Santini. 969-970 [doi]
• Sensitivity of Multi-dimensional Bayesian ClassifiersJanneke H. Bolt, Silja Renooij. 971-972 [doi]
• A Privacy-preserving Model for the Multi-agent Propositional Planning ProblemAndrea Bonisoli, Alfonso Emilio Gerevini, Alessandro Saetti, Ivan Serina. 973-974 [doi]
• Mining Balanced Sequential Patterns in RTS GamesGuillaume Bosc, Mehdi Kaytoue-Uberall, Chedy Raïssi, Jean-François Boulicaut, Philip Tan. 975-976 [doi]
• From Formal Requirements on Technical Systems to Complete Designs - A Holistic ApproachBjörn Böttcher, Natalia Moriz, Oliver Niggemann. 977-978 [doi]
• Combining Reasoning on Semantic Web MetadataLoris Bozzato, Luciano Serafini. 979-980 [doi]
• Using Ensemble Techniques and Multi-Objectivization to Solve Reinforcement Learning ProblemsTim Brys, Matthew E. Taylor, Ann Nowé. 981-982 [doi]
• Spatial evolutionary game-theoretic perspective on agent-based complex negotiationsSiqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls, Ho-Fung Leung. 983-984 [doi]
• Predicting Agents' Behavior by Measuring their Social PreferencesKan-Leung Cheng, Inon Zuckerman, Dana S. Nau, Jennifer Golbeck. 985-986 [doi]
• A deductive approach to the identification and description of clusters in Linked Open DataSimona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio. 987-988 [doi]
• Adaptive Active Learning as a Multi-armed Bandit ProblemWojciech M. Czarnecki, Igor T. Podolak. 989-990 [doi]
• Inconsistency resolution and global conflictsCristhian A. D. Deagustini, Maria Vanina Martínez, Marcelo A. Falappa, Guillermo Ricardo Simari. 991-992 [doi]
• Quality in Quantity - Relative Direction Constraints using Sector Sets around Oriented PointsAndré van Delden. 993-994 [doi]
• Actions with Durations and Failures in BDI LanguagesLouise A. Dennis, Michael Fisher. 995-996 [doi]
• A Logic of Part and Whole for Buffered GeometriesHeshan Du, Natasha Alechina. 997-998 [doi]
• Learning non-cooperative behaviour for dialogue agentsIoannis Efstathiou, Oliver Lemon. 999-1000 [doi]
• Propositional Merging and Judgment Aggregation: Two Compatible Approaches?Patricia Everaere, Sébastien Konieczny, Pierre Marquis. 1001-1002 [doi]
• Analyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environmentsMoser Silva Fagundes, Sascha Ossowski, Felipe Meneguzzi. 1003-1004 [doi]
• On Computing Explanations in Abstract ArgumentationXiuyi Fan, Francesca Toni. 1005-1006 [doi]
• Planning with Ensembles of ClassifiersAlberto Garbajosa, Tomás de la Rosa, Raquel Fuentetaja. 1007-1008 [doi]
• Social network data analysis for event detectionDario Garcia-Gasulla, Sergio Álvarez-Napagao, Arturo Tejeda-Gómez, Luis Oliva Felipe, Ignasi Gómez-Sebastià, Javier Bejar, Javier Vázquez-Salceda. 1009-1010 [doi]
• Conditioned Belief Propagation RevisitedThomas Geier, Felix Richter, Susanne Biundo. 1011-1012 [doi]
• Utility-Based HTN PlanningIlche Georgievski, Alexander Lazovik. 1013-1014 [doi]
• Using multiple contexts to distinguish standing from sitting with a single accelerometerHristijan Gjoreski, Simon Kozina, Mitja Lustrek, Matjaz Gams. 1015-1016 [doi]
• Enforcing Solutions in Constraint NetworksÉric Grégoire, Jean-Marie Lagniez, Bertrand Mazure. 1017-1018 [doi]
• Negotiation to Execute Continuous Long-Term TasksValeriia Haberland, Simon Miles, Michael Luck. 1019-1020 [doi]
• Off-Policy Shaping Ensembles in Reinforcement LearningAnna Harutyunyan, Tim Brys, Peter Vrancx, Ann Nowé. 1021-1022 [doi]
• ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly CommunicationCédric Herpson, Amal El Fallah-Seghrouchni, Vincent Corruble. 1023-1024 [doi]
• An Algorithm for the Penalized Multiple Choice Knapsack ProblemElizabeth M. Hilliard, Amy Greenwald, Victor Naroditskiy. 1025-1026 [doi]
• Generation of Relevant Spreadsheet Repair CandidatesBirgit Hofer, Rui Abreu, Alexandre Perez, Franz Wotawa. 1027-1028 [doi]
• Comparing Models for Spreadsheet Fault LocalizationBirgit Hofer, Franz Wotawa. 1029-1030 [doi]
• Video Event Recognition by Dempster-Shafer TheoryXin Hong, Yan Huang, Wenjun Ma, Paul C. Miller, Weiru Liu, Huiyu Zhou. 1031-1032 [doi]
• Probabilistic Argumentation with Incomplete InformationAnthony Hunter, Matthias Thimm. 1033-1034 [doi]
• Multiobjective Prices of Stability and Anarchy for Multiobjective GamesAnisse Ismaili. 1035-1036 [doi]
• Prime Implicates Based Inconsistency CharacterizationSaïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais. 1037-1038 [doi]
• From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GKJianmin Ji, Hannes Strass. 1039-1040 [doi]
• Fuzzy Logic for Preferences expressible by convolutionsKrystian Jobczyk, Maroua Bouzid, Antoni Ligeza, Jerzy Karczmarczuk. 1041-1042 [doi]
• Estimating Trust from Agents' Interactions via CommitmentsAnup K. Kalia, Zhe Zhang, Munindar P. Singh. 1043-1044 [doi]
• On the Usage of Behavior Models to Detect ATM FraudTimo Klerx, Maik Anderka, Hans Kleine Büning. 1045-1046 [doi]
• On the Use of Target Sets for Move Selection in Multi-Agent DebatesDionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis. 1047-1048 [doi]
• Probabilistic Active Learning: A Short PropositionGeorg Krempl, Daniel Kottke, Myra Spiliopoulou. 1049-1050 [doi]
• An Optimal Iterative Algorithm for Extracting MUCs in a Black-box Constraint NetworkPhilippe Laborie. 1051-1052 [doi]
• Heuristics to Increase Observability in Spectrum-based Fault LocalizationClaudio Landi, Arjan J. C. van Gemund, Marina Zanella. 1053-1054 [doi]
• A weakening of independence in judgment aggregation: agenda separabilityJérôme Lang, Marija Slavkovik, Srdjan Vesic. 1055-1056 [doi]
• A Decomposition Approach for Discovering Discriminative Motifs in a Sequence DatabaseDavid Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron. 1057-1058 [doi]
• Width-based Algorithms for Classical Planning: New ResultsNir Lipovetzky, Hector Geffner. 1059-1060 [doi]
• An Intelligent Threat Prevention Framework with Heterogeneous InformationWenjun Ma, Weiru Liu. 1061-1062 [doi]
• Coordinated Team Learning and Difference Rewards for Distributed Intrusion ResponseKleanthis Malialis, Sam Devlin, Daniel Kudenko. 1063-1064 [doi]
• Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability ProblemsYuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva. 1065-1066 [doi]
• How Hard Is It to Control an Election by Breaking Ties?Nicholas Mattei, Nina Narodytska, Toby Walsh. 1067-1068 [doi]
• Modeling Gaze Mechanisms for Grounding in HRIGregor Mehlmann, Kathrin Janowski, Tobias Baur, Markus Häring, Elisabeth André, Patrick Gebhard. 1069-1070 [doi]
• Faustian Dynamics in Sarkar's Social CycleSvetlana Obraztsova, Zinovi Rabinovich, Alexandra Madunts. 1071-1072 [doi]
• Trustworthy AdviceNardine Osman, Patricia Gutierrez, Carles Sierra. 1073-1074 [doi]
• Momentum Online LDA for Large-scale DatasetsJihong OuYang, You Lu, XiMing Li. 1075-1076 [doi]
• Imitative Leadsheet Generation with User ConstraintsFrançois Pachet, Pierre Roy. 1077-1078 [doi]
• (Co)evolution Leads towards ROMAsJan Paredis. 1079-1080 [doi]
• A New Study of Two Divergence Metrics for Change Detection in Data StreamsAbdulhakim Ali Qahtan, Suojin Wang, Raymond J. Carroll, Xiangliang Zhang. 1081-1082 [doi]
• Finding good stochastic factored policies for factored Markov decision processesJulia Radoszycki, Nathalie Peyrard, Régis Sabbadin. 1083-1084 [doi]
• An Approximate Counting for Big Textual Data StreamsRudy Raymond, Teruo Koyanagi, Takayuki Osogami. 1085-1086 [doi]
• Multi Agent Learning of Relational Action ModelsChristophe Rodrigues, Henry Soldano, Gauvain Bourgne, Céline Rouveirol. 1087-1088 [doi]
• Transductive Learning for Multi-Task Copula ProcessesMarkus Schneider, Fabio Ramos. 1089-1090 [doi]
• Exploiting the Semantic Web for Systems DiagnosisAnika Schumann, Freddy Lécué, Joern Ploennigs. 1091-1092 [doi]
• STIT is dangerously undecidableFrançois Schwarzentruber, Caroline Semmling. 1093-1094 [doi]
• Comparing Data Distribution Using Fading HistogramsRaquel Sebastião, João Gama, Teresa Mendonça. 1095-1096 [doi]
• Bounded Intention Planning RevisitedSilvan Sievers, Martin Wehrle, Malte Helmert. 1097-1098 [doi]
• Introducing Hierarchical Adversarial Search, a Scalable Search Procedure for Real-Time Strategy GamesMarius Stanescu, Nicolas A. Barriga, Michael Buro. 1099-1100 [doi]
• Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern AnalysisChristoph Suter, Alexander Navarini, Marc Pouly, Ruedi Arnold, Florian S. Gutzwiller, René Meier, Thomas Koller. 1101-1102 [doi]
• Surrogate-Agent Modeling for Improved TrainingAles Tavcar, Bostjan Kaluza, Marcel Kvassay, Bernhard Schneider, Matjaz Gams. 1103-1104 [doi]
• Simultaneous Tracking and Activity Recognition (STAR) using Advanced Agent-Based Behavioral SimulationsArsène Fansi T., Vincent Thomas, Olivier Buffet, Fabien Flacher, Alain Dutech. 1105-1106 [doi]
• Rational Deployment of Multiple Heuristics in IDADavid Tolpin, Oded Betzalel, Ariel Felner, Solomon Eyal Shimony. 1107-1108 [doi]
• Probabilistic Two-Level Anomaly Detection for Correlated SystemsBin Tong, Tetsuro Morimura, Einoshin Suzuki, Tsuyoshi Idé. 1109-1110 [doi]
• Generating Multi-Agent Plans by Distributed Intersection of Finite State MachinesJan Tozicka, Jan Jakubuv, Antonín Komenda. 1111-1112 [doi]
• AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open DataRicardo Usbeck, Axel-Cyrille Ngonga Ngomo, Michael Röder, Daniel Gerber, Sandro Athaide Coelho, Sören Auer, Andreas Both. 1113-1114 [doi]
• Community Detection based on a Naming GameThaís Gobet Uzun, Carlos Henrique Costa Ribeiro. 1115-1116 [doi]
• Argumentation Frameworks Features: an Initial StudyMauro Vallati, Federico Cerutti, Massimiliano Giacomin. 1117-1118 [doi]
• Unsupervised semantic clustering of Twitter hashtagsCarlos Vicient, Antonio Moreno. 1119-1120 [doi]
• Fast Instantiation of GGP Game Descriptions Using Prolog with TablingJean-Noël Vittaut, Jean Méhat. 1121-1122 [doi]
• Emotional Trends in Social Media - A State Space ApproachSören Volgmann, Francisco M. Rangel Pardo, Oliver Niggemann, Paolo Rosso. 1123-1124 [doi]
• Local Image Descriptor Inspired by Visual CortexHui Wei, Zheng Dong. 1125-1126 [doi]
• A Concise Horn Theory for RCC8Matthias Westphal, Julien Hué. 1127-1128 [doi]
• Noised Diffusion Dynamics with Individual Biased OpinionFuhan Yan, Zhaofeng Li, Yichuan Jiang. 1129-1130 [doi]
• Election Attacks with Few CandidatesYongjie Yang. 1131-1132 [doi]
• SP-MCTS-based Intention Scheduling for BDI AgentsYuan Yao, Brian Logan, John Thangarajah. 1133-1134 [doi]
• Dynamic Taxi PricingCheng Zeng, Nir Oren. 1135-1136 [doi]
• Semantical Information Graph Model toward Fast Information Valuation in Large TeamworkYulin Zhang, Yang Xu, Haixiao Hu, Xianggen Liu. 1137-1138 [doi]
• From Disjunctive to Normal Logic Programs via Unfolding and ShiftingYi Zhou. 1139-1140 [doi]
• NICTA Evacuation Planner: Actionable Evacuation Plans with ContraflowsCaroline Even, Victor Pillac, Pascal Van Hentenryck. 1143-1148 [doi]
• Bicycle Route Planning with Route Choice PreferencesJan Hrncir, Qing Song, Pavol Zilecky, Marcel Nemet, Michal Jakob. 1149-1154 [doi]
• No One is Left "Unwatched": Fairness in Observation of Crowds of Mobile Targets in Active Camera SurveillancePrabhu Natarajan, Kian Hsiang Low, Mohan S. Kankanhalli. 1155-1160 [doi]
• INTELLIREQ: Intelligent Techniques for Software Requirements EngineeringGerald Ninaus, Alexander Felfernig, Martin Stettinger, Stefan Reiterer, Gerhard Leitner, Leopold Weninger, Walter Schanil. 1161-1166 [doi]
• Efficient Policy Iteration for Periodic Markov Decision ProcessesTakayuki Osogami, Rudy Raymond. 1167-1172 [doi]
• Geometrical Feature Extraction for CuneiformsAriella Richardson, Uzy Smilansky. 1173-1178 [doi]
• Influence of internal values and social networks for achieving sustainable organizationsNoelia Sánchez-Maroño, Amparo Alonso-Betanzos, Oscar Fontenla-Romero, C. Brinquis-Núñez, J. Gareth Polhill, Tony Craig. 1179-1184 [doi]
• Combining Engineering and Qualitative Models to Fault Diagnosis in Air Handling UnitsPeter Struss, Raymond Sterling, Jesús Febres, Umbreen Sabir, Marcus M. Keane. 1185-1190 [doi]
• Stop-Free Strategies for Traffic Networks: Decentralized On-line OptimizationMohamed Tlig, Olivier Buffet, Olivier Simonin. 1191-1196 [doi]
• An Integrated Reconfigurable System for Maritime Situational AwarenessMarina Velikova, Peter Novák, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma, Steffen Michels. 1197-1202 [doi]
• Stochastic Filtering Methods for Predicting Agent Performance in the Smart GridCharilaos Akasiadis, Georgios Chalkiadakis. 1205-1206 [doi]
• Clustering weather situations with respect to prediction of solar irradiance by multiple NWP modelsPavel Krc, Krystof Eben, Emil Pelikán. 1207-1208 [doi]
• Modular Behavior Trees: Language for Fast AI in Open-World Video GamesTomás Plch, Matej Marko, Petr Ondrácek, Martin Cerný, Jakub Gemrot, Cyril Brom. 1209-1210 [doi]
• Extending Semantic Sensor Networks for Automatically Tackling Smart Building ProblemsJoern Ploennigs, Anika Schumann, Freddy Lécué. 1211-1212 [doi]
• ParkinsonCheck Smart Phone AppAleksander Sadikov, Vida Groznik, Jure Zabkar, Martin Mozina, Dejan Georgiev, Zvezdan Pirtosek, Ivan Bratko. 1213-1214 [doi]
• Condition Monitoring with Incomplete ObservationsJonas Vlasselaer, Wannes Meert, Rocco Langone, Luc De Raedt. 1215-1216 [doi]
• Real-time Adaptive Problem Detection in PoultrySteven P. D. Woudenberg, Linda C. van der Gaag, Ad Feelders, Armin R. W. Elbers. 1217-1218 [doi]
• The Piano Music CompanionAndreas Arzt, Sebastian Böck, Sebastian Flossmann, Harald Frostel, Martin Gasser, Cynthia C. S. Liem, Gerhard Widmer. 1221-1222 [doi]
• VMAP: A Visual Schema Mapping ToolFlorin Chertes, Ingo Feinerer. 1223-1224 [doi]
• Personalized Fully Multimodal Journey PlannerMichal Jakob, Jan Hrncir, Luis Oliva, Francesco Ronzano, Pavol Zilecky, Jason Finnegan. 1225-1226 [doi]
• Orwellian Eye: Video Recommendation with Microsoft KinectTomás Kliegr, Jaroslav Kuchar. 1227-1228 [doi]
• Advanced Public Transport Network AnalyserJan Nykl, Michal Jakob, Jan Hrncir. 1229-1230 [doi]
• Mobile Tourist Guide: Bridging the Gap between Recommending, Planning and User-Centered InteractionRichard Schaller, Martin Hacker. 1231-1232 [doi]