| 2014 | "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. Jörg Hoffmann, Peter Kissmann, Álvaro Torralba |
| 2014 | 'Being a Manifold' as the Topological Primitive of Mereotopology. Stefano Borgo |
| 2014 | (Co)evolution Leads towards ROMAs. Jan Paredis |
| 2014 | A Centrality Measure for Networks With Community Structure Based on a Generalization of the Owen Value. Piotr L. Szczepanski, Tomasz P. Michalak, Michael J. Wooldridge |
| 2014 | A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning. Gilbert Müller, Ralph Bergmann |
| 2014 | A Concise Horn Theory for RCC8. Matthias Westphal, Julien Hué |
| 2014 | A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. David Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron |
| 2014 | A First Comparison of Abstract Argumentation Reasoning-Tools. Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2014 | A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2014 | A Logic of Part and Whole for Buffered Geometries. Heshan Du, Natasha Alechina |
| 2014 | A New Study of Two Divergence Metrics for Change Detection in Data Streams. Abdulhakim Ali Qahtan, Suojin Wang, Raymond J. Carroll, Xiangliang Zhang |
| 2014 | A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning. Tatsuya Imai, Alex Fukunaga |
| 2014 | A Privacy-preserving Model for the Multi-agent Propositional Planning Problem. Andrea Bonisoli, Alfonso Emilio Gerevini, Alessandro Saetti, Ivan Serina |
| 2014 | A Profit-Aware Negotiation Mechanism for On-Demand Transport Services. Malcolm Egan, Michal Jakob |
| 2014 | A Semantic Account of Iterated Belief Revision in the Situation Calculus. Christoph Schwering, Gerhard Lakemeyer |
| 2014 | A Shapley Value-based Approach to Determine Gatekeepers in Social Networks with Applications. Ramasuri Narayanam, Oskar Skibski, Hemank Lamba, Tomasz P. Michalak |
| 2014 | A Single-Agent Approach to Multiagent Planning. Matthew Crosby, Anders Jonsson, Michael Rovatsos |
| 2014 | A Systematic Solution to the (De-)Composition Problem in General Game Playing. Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher |
| 2014 | A deductive approach to the identification and description of clusters in Linked Open Data. Simona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio |
| 2014 | A finite-valued solver for disjunctive fuzzy answer set programs. Mushthofa Mushthofa, Steven Schockaert, Martine De Cock |
| 2014 | A resource-sensitive logic of agency. Daniele Porello, Nicolas Troquard |
| 2014 | A weakening of independence in judgment aggregation: agenda separability. Jérôme Lang, Marija Slavkovik, Srdjan Vesic |
| 2014 | ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication. Cédric Herpson, Amal El Fallah Seghrouchni, Vincent Corruble |
| 2014 | AGDISTIS - Agnostic Disambiguation of Named Entities Using Linked Open Data. Ricardo Usbeck, Axel-Cyrille Ngonga Ngomo, Michael Röder, Daniel Gerber, Sandro Athaíde Coelho, Sören Auer, Andreas Both |
| 2014 | ATL* With Truly Perfect Recall: Expressivity and Validities. Nils Bulling, Wojciech Jamroga, Matei Popovici |
| 2014 | Abduction and Dialogical Proof in Argumentation and Logic Programming. Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre |
| 2014 | Abstract Disjunctive Answer Set Solvers. Rémi Brochenin, Yuliya Lierler, Marco Maratea |
| 2014 | Actions with Durations and Failures in BDI Languages. Louise A. Dennis, Michael Fisher |
| 2014 | Adaptive Active Learning as a Multi-armed Bandit Problem. Wojciech M. Czarnecki, Igor T. Podolak |
| 2014 | Advanced Public Transport Network Analyser. Jan Nykl, Michal Jakob, Jan Hrncír |
| 2014 | An Agent-Based Model of Procrastination. Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Ch. Meyer |
| 2014 | An Algorithm for the Penalized Multiple Choice Knapsack Problem. Elizabeth M. Hilliard, Amy Greenwald, Victor Naroditskiy |
| 2014 | An Approximate Counting for Big Textual Data Streams. Rudy Raymond, Teruo Koyanagi, Takayuki Osogami |
| 2014 | An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning. Phan Minh Dung |
| 2014 | An Efficient Bayesian Network Structure Learning Algorithm in the Presence of Deterministic Relations. Ahmed Mabrouk, Christophe Gonzales, Karine Jabet-Chevalier, Eric Chojnacki |
| 2014 | An Evolutionary Spatial Game-based Approach for the Self-regulation of Social Exchanges in MAS. Luís Felipe K. de Macedo, Graçaliz Pereira Dimuro, Marilton S. de Aguiar, Helder Coelho |
| 2014 | An Integrated Reconfigurable System for Maritime Situational Awareness. Marina Velikova, Peter Novák, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma, Steffen Michels |
| 2014 | An Intelligent Threat Prevention Framework with Heterogeneous Information. Wenjun Ma, Weiru Liu |
| 2014 | An Optimal Iterative Algorithm for Extracting MUCs in a Black-box Constraint Network. Philippe Laborie |
| 2014 | An argumentation system for reasoning with LPm. Wenzhao Qiao, Nico Roos |
| 2014 | Analogical classification: A new way to deal with examples. Myriam Bounhas, Henri Prade, Gilles Richard |
| 2014 | Analysis of interval-based possibilistic networks. Salem Benferhat, Sylvain Lagrue, Karim Tabia |
| 2014 | Analyzing the tradeoff between efficiency and cost of norm enforcement in stochastic environments. Moser Silva Fagundes, Sascha Ossowski, Felipe Meneguzzi |
| 2014 | Answer Set Programming as SAT modulo Acyclicity. Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems. Yang Gao, Francesca Toni |
| 2014 | Argumentation Frameworks Features: an Initial Study. Mauro Vallati, Federico Cerutti, Massimiliano Giacomin |
| 2014 | Assertional-based Prioritized Removed Sets Revision of DL-LiteR Knowledge Bases. Salem Benferhat, Zied Bouraoui, Odile Papini, Éric Würbel |
| 2014 | Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. Christoph Benzmüller, Bruno Woltzenlogel Paleo |
| 2014 | Bargaining for Coalition Structure Formation. S. Shaheen Fatima, Tomasz P. Michalak, Michael J. Wooldridge |
| 2014 | Bayesian Multiview Dimensionality Reduction for Learning Predictive Subspaces. Mehmet Gönen, Gülefsan Bozkurt Gönen, Fikret S. Gürgen |
| 2014 | Belief merging within fragments of propositional logic. Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran |
| 2014 | Bias reformulation for one-shot function induction. Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, Stephen H. Muggleton |
| 2014 | Bicycle Route Planning with Route Choice Preferences. Jan Hrncír, Qing Song, Pavol Zilecky, Marcel Nemet, Michal Jakob |
| 2014 | Boosting Constraint Acquisition via Generalization Queries. Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El-Houssine Bouyakhf |
| 2014 | Bounded Intention Planning Revisited. Silvan Sievers, Martin Wehrle, Malte Helmert |
| 2014 | Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. Ozgur Akgun, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2014 | CV-width: A New Complexity Parameter for CNFs. Umut Oztok, Adnan Darwiche |
| 2014 | Characterising Semantic Relatedness using Interpretable Directions in Conceptual Spaces. Joaquín Derrac, Steven Schockaert |
| 2014 | Checking The Correctness of Agent Designs Against Model-Based Requirements. Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah |
| 2014 | Clustering weather situations with respect to prediction of solar irradiance by multiple NWP models. Pavel Krc, Krystof Eben, Emil Pelikán |
| 2014 | Coherence and Compatibility of Markov Logic Networks. Matthias Thimm |
| 2014 | Collective Rationality in Graph Aggregation. Ulle Endriss, Umberto Grandi |
| 2014 | Combining Engineering and Qualitative Models to Fault Diagnosis in Air Handling Units. Peter Struss, Raymond Sterling, Jesús Febres, Umbreen Sabir, Marcus M. Keane |
| 2014 | Combining Reasoning on Semantic Web Metadata. Loris Bozzato, Luciano Serafini |
| 2014 | Combining Restarts, Nogoods and Decompositions for Solving CSPs. Philippe Jégou, Cyril Terrioux |
| 2014 | Common Spatial-Spectral Boosting Pattern for Brain-Computer Interface. Ye Liu, Hao Zhang, Qibin Zhao, Liqing Zhang |
| 2014 | Communicating with Unknown Teammates. Samuel Barrett, Noa Agmon, Noam Hazon, Sarit Kraus, Peter Stone |
| 2014 | Community Detection based on a Naming Game. Thaís Gobet Uzun, Carlos Henrique Costa Ribeiro |
| 2014 | Compact Argumentation Frameworks. Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran |
| 2014 | Comparing Data Distribution Using Fading Histograms. Raquel Sebastião, João Gama, Teresa Mendonça |
| 2014 | Comparing Defeasible Logics. Michael J. Maher |
| 2014 | Comparing Models for Spreadsheet Fault Localization. Birgit Hofer, Franz Wotawa |
| 2014 | Computing Skypattern Cubes. Willy Ugarte, Patrice Boizumault, Samir Loudni, Bruno Crémilleux |
| 2014 | Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations. Felix Distel, Jamal Atif, Isabelle Bloch |
| 2014 | Condition Monitoring with Incomplete Observations. Jonas Vlasselaer, Wannes Meert, Rocco Langone, Luc De Raedt |
| 2014 | Conditioned Belief Propagation Revisited. Thomas Geier, Felix Richter, Susanne Biundo |
| 2014 | Conflict Resolution in Partially Ordered OWL DL Ontologies. Qiu Ji, Zhiqiang Gao, Zhisheng Huang |
| 2014 | Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. Nico Potyka, Matthias Thimm |
| 2014 | Constrained Latent Dirichlet Allocation for Subgroup Discovery with Topic Rules. Rui Li, Zahra Ahmadi, Stefan Kramer |
| 2014 | Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in abstract Argumentation. Ringo Baumann |
| 2014 | Controlling Two-Stage Voting Rules. Jiong Guo, Yash Raj Shrestha |
| 2014 | Coordinated Team Learning and Difference Rewards for Distributed Intrusion Response. Kleanthis Malialis, Sam Devlin, Daniel Kudenko |
| 2014 | Credibility-Limited Improvement Operators. Richard Booth, Eduardo L. Fermé, Sébastien Konieczny, Ramón Pino Pérez |
| 2014 | DITO: a CSP-based diagnostic engine. Yannick Pencolé |
| 2014 | DL-Lite and Interval Temporal Logics: a Marriage Proposal. Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov |
| 2014 | Data interlinking through robust linkkey extraction. Manuel Atencia, Jérôme David, Jérôme Euzenat |
| 2014 | Decidability of model checking multi-agent systems against a class of EHS specifications. Alessio R. Lomuscio, Jakub Michaliszyn |
| 2014 | Decidable Model-Checking for a Resource Logic with Production of Resources. Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi |
| 2014 | Declarative Spatial Reasoning with Boolean Combinations of Axis-Aligned Rectangular Polytopes. Carl Schultz, Mehul Bhatt |
| 2014 | Detecting the Reputation Polarity of Microblog Posts. Cristina Gârbacea, Manos Tsagkias, Maarten de Rijke |
| 2014 | Detection and Quantification of Hand Eczema by Visible Spectrum Skin Pattern Analysis. Christoph Suter, Alexander A. Navarini, Marc Pouly, Ruedi Arnold, Florian S. Gutzwiller, René Meier, Thomas Koller |
| 2014 | Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges. Alban Grastien |
| 2014 | Dynamic Taxi Pricing. Cheng Zeng, Nir Oren |
| 2014 | ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan |
| 2014 | Effective and Robust Natural Language Understanding for Human-Robot Interaction. Emanuele Bastianelli, Giuseppe Castellucci, Danilo Croce, Roberto Basili, Daniele Nardi |
| 2014 | Efficient Autarkies. João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce |
| 2014 | Efficient Policy Iteration for Periodic Markov Decision Processes. Takayuki Osogami, Rudy Raymond |
| 2014 | Election Attacks with Few Candidates. Yongjie Yang |
| 2014 | Eliciting a Suitable Voting Rule via Examples. Olivier Cailloux, Ulle Endriss |
| 2014 | Embedding Heterogeneous Data by Preserving Multiple Kernels. Mehmet Gönen |
| 2014 | Emotional Trends in Social Media - A State Space Approach. Sören Volgmann, Francisco M. Rangel Pardo, Oliver Niggemann, Paolo Rosso |
| 2014 | Enforcing Solutions in Constraint Networks. Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | Estimating Trust from Agents' Interactions via Commitments. Anup K. Kalia, Zhe Zhang, Munindar P. Singh |
| 2014 | Evolving Multi-Context Systems. Ricardo Gonçalves, Matthias Knorr, João Leite |
| 2014 | Exploiting the Semantic Web for Systems Diagnosis. Anika Schumann, Freddy Lécué, Joern Ploennigs |
| 2014 | Extending Acyclicity Notions for Existential Rules. Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher |
| 2014 | Extending Semantic Sensor Networks for Automatically Tackling Smart Building Problems. Joern Ploennigs, Anika Schumann, Freddy Lécué |
| 2014 | False-name-proof Combinatorial Auction Design via Single-minded Decomposition. Dengji Zhao, Siqi Luo, Taiki Todo, Makoto Yokoo |
| 2014 | Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling. Jean-Noël Vittaut, Jean Méhat |
| 2014 | Faustian Dynamics in Sarkar's Social Cycle. Svetlana Obraztsova, Zinovi Rabinovich, Alexandra Madunts |
| 2014 | Finding good stochastic factored policies for factored Markov decision processes. Julia Radoszycki, Nathalie Peyrard, Régis Sabbadin |
| 2014 | Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation. Federico Cerutti, Nava Tintarev, Nir Oren |
| 2014 | From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK. Jianmin Ji, Hannes Strass |
| 2014 | From Disjunctive to Normal Logic Programs via Unfolding and Shifting. Yi Zhou |
| 2014 | From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. Björn Böttcher, Natalia Moriz, Oliver Niggemann |
| 2014 | From analogical proportions in lattices to proportional analogies in formal concepts. Laurent Miclet, Nelly Barbot, Henri Prade |
| 2014 | Fuzzy Logic for Preferences expressible by convolutions. Krystian Jobczyk, Maroua Bouzid, Antoni Ligeza, Jerzy Karczmarczuk |
| 2014 | GOSU: computing GOal SUpport with commitments in multiagent systems. Özgür Kafali, Akin Günay, Pinar Yolum |
| 2014 | GRAPPA: A Semantical Framework for Graph-Based Argument Processing. Gerhard Brewka, Stefan Woltran |
| 2014 | Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines. Jan Tozicka, Jan Jakubuv, Antonín Komenda |
| 2014 | Generation of Relevant Spreadsheet Repair Candidates. Birgit Hofer, Rui Abreu, Alexandre Perez, Franz Wotawa |
| 2014 | Geometrical Feature Extraction for Cuneiforms. Ariella Richardson, Uzy Smilansky |
| 2014 | Graph abstraction for closed pattern mining in attributed networks. Henry Soldano, Guillaume Santini |
| 2014 | Heterogeneous Facility Location without Money on the Line. Paolo Serafino, Carmine Ventre |
| 2014 | Heuristics to Increase Observability in Spectrum-based Fault Localization. Claudio Landi, Arjan J. C. van Gemund, Marina Zanella |
| 2014 | How Hard Is It to Control an Election by Breaking Ties? Nicholas Mattei, Nina Narodytska, Toby Walsh |
| 2014 | How Hard is Control in Single-Crossing Elections? Krzysztof Magiera, Piotr Faliszewski |
| 2014 | How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules? Jérôme Lang, Marija Slavkovik |
| 2014 | How good is the Shapley value-based approach to the influence maximization problem? Kamil Adamczewski, Szymon Matejczyk, Tomasz P. Michalak |
| 2014 | How much trust is enough to trust? A market-adaptive trust threshold setting for e-marketplaces. Zeinab Noorian, Mohsen Mohkami, Julita Vassileva |
| 2014 | Human-Computer Negotiation in Three-Player Market Settings. Galit Haim, Ya'akov (Kobi) Gal, Sarit Kraus, Bo An |
| 2014 | Hybrid Query Answering Over OWL Ontologies. Giorgos Stoilos, Giorgos B. Stamou |
| 2014 | INTELLIREQ: Intelligent Techniques for Software Requirements Engineering. Gerald Ninaus, Alexander Felfernig, Martin Stettinger, Stefan Reiterer, Gerhard Leitner, Leopold Weninger, Walter Schanil |
| 2014 | Imitative Leadsheet Generation with User Constraints. François Pachet, Pierre Roy |
| 2014 | Imprecise Probabilistic Horn Clause Logic. Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova |
| 2014 | Improving pattern discovery relevancy by deriving constraints from expert models. Frédéric Flouvat, Jérémy Sanhes, Claude Pasquier, Nazha Selmaoui-Folcher, Jean-François Boulicaut |
| 2014 | Inconsistency resolution and global conflicts. Cristhian A. D. Deagustini, Maria Vanina Martínez, Marcelo A. Falappa, Guillermo Ricardo Simari |
| 2014 | Incremental Elicitation of Choquet Capacities for Multicriteria Decision Making. Nawal Benabbou, Patrice Perny, Paolo Viappiani |
| 2014 | Inference in the FO(C) Modelling Language. Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche |
| 2014 | Influence of internal values and social networks for achieving sustainable organizations. Noelia Sánchez-Maroño, Amparo Alonso-Betanzos, Oscar Fontenla-Romero, C. Brinquis-Núñez, J. Gareth Polhill, Tony Craig |
| 2014 | Influencing Social Networks: An Optimal Control Study. Daan Bloembergen, Bijan Ranjbar Sahraei, Haitham Bou-Ammar, Karl Tuyls, Gerhard Weiss |
| 2014 | Information-based Incentivisation when Rewards are Inadequate. Samhar Mahmoud, Lina Barakat, Simon Miles, Adel Taweel, Brendan Delaney, Michael Luck |
| 2014 | Integrating BDI Agents into a MATSim Simulation. Lin Padgham, Kai Nagel, Dhirendra Singh, Qingyu Chen |
| 2014 | Introducing Hierarchical Adversarial Search, a Scalable Search Procedure for Real-Time Strategy Games. Marius Stanescu, Nicolas A. Barriga, Michael Buro |
| 2014 | Knowledge and Gossip. Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek |
| 2014 | Knowledge-based Bias Correction - A Case Study in Veterinary Decision Support. Thomas E. Krak, Linda C. van der Gaag |
| 2014 | Knowledge-based Specification of Robot Motions. Moritz Tenorth, Georg Bartels, Michael Beetz |
| 2014 | LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos |
| 2014 | LTLf Satisfiability Checking. Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2014 | Landmarks in Oversubscription Planning. Vitaly Mirkis, Carmel Domshlak |
| 2014 | Language Classification of Hierarchical Planning Problems. Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo |
| 2014 | Lattice-based biclustering using Partition Pattern Structures. Víctor Codocedo, Amedeo Napoli |
| 2014 | Learning Domain-specific Sentiment Lexicon with Supervised Sentiment-aware LDA. Min Yang, Dingju Zhu, Rashed Mustafa, Kam-Pui Chow |
| 2014 | Learning Pruning Rules for Heuristic Search Planning. Michal Krajnanský, Jörg Hoffmann, Olivier Buffet, Alan Fern |
| 2014 | Learning non-cooperative behaviour for dialogue agents. Ioannis Efstathiou, Oliver Lemon |
| 2014 | Local Image Descriptor Inspired by Visual Cortex. Hui Wei, Zheng Dong |
| 2014 | Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. William Gatens, Boris Konev, Frank Wolter |
| 2014 | Manipulating picking sequences. Sylvain Bouveret, Jérôme Lang |
| 2014 | Measuring Diversity of Preferences in a Group. Vahid Hashemi, Ulle Endriss |
| 2014 | Mining Balanced Sequential Patterns in RTS Games. Guillaume Bosc, Mehdi Kaytoue-Uberall, Chedy Raïssi, Jean-François Boulicaut, Philip Tan |
| 2014 | Mining Heterogeneous Multidimensional Sequential Patterns. Elias Egho, Chedy Raïssi, Nicolas Jay, Amedeo Napoli |
| 2014 | Mixing Materialization and Query Rewriting for Existential Rules. Michaël Thomazo, Sebastian Rudolph |
| 2014 | Mobile Tourist Guide: Bridging the Gap between Recommending, Planning and User-Centered Interaction. Richard Schaller, Martin Hacker |
| 2014 | Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. Francesco Belardinelli |
| 2014 | Modeling Gaze Mechanisms for Grounding in HRI. Gregor Mehlmann, Kathrin Janowski, Tobias Baur, Markus Häring, Elisabeth André, Patrick Gebhard |
| 2014 | Modelling the Dynamics of Emotional Awareness. Dilhan J. Thilakarathne, Jan Treur |
| 2014 | Modular Behavior Trees: Language for Fast AI in Open-World Video Games. Tomás Plch, Matej Marko, Petr Ondrácek, Martin Cerný, Jakub Gemrot, Cyril Brom |
| 2014 | Momentum Online LDA for Large-scale Datasets. Jihong Ouyang, You Lu, Ximing Li |
| 2014 | Monte-Carlo Tree Search: To MC or to DP? Zohar Feldman, Carmel Domshlak |
| 2014 | Multi Agent Learning of Relational Action Models. Christophe Rodrigues, Henry Soldano, Gauvain Bourgne, Céline Rouveirol |
| 2014 | Multi-Context Systems for Reactive Reasoning in Dynamic Environments. Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer |
| 2014 | Multi-objective learning of hybrid classifiers. Rok Piltaver, Mitja Lustrek, Jernej Zupancic, Saso Dzeroski, Matjaz Gams |
| 2014 | Multilateral Bargaining for Resource Division. S. Shaheen Fatima, Michael J. Wooldridge |
| 2014 | Multiobjective Prices of Stability and Anarchy for Multiobjective Games. Anisse Ismaili |
| 2014 | NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows. Caroline Even, Victor Pillac, Pascal Van Hentenryck |
| 2014 | Near Fairness in Matroids. Laurent Gourvès, Jérôme Monnot, Lydia Tlilane |
| 2014 | Negotiation to Execute Continuous Long-Term Tasks. Valeriia Haberland, Simon Miles, Michael Luck |
| 2014 | Nested Dichotomies with probability sets for multi-class classification. Gen Yang, Sébastien Destercke, Marie-Hélène Masson |
| 2014 | No One is Left "Unwatched": Fairness in Observation of Crowds of Mobile Targets in Active Camera Surveillance. Prabhu Natarajan, Kian Hsiang Low, Mohan S. Kankanhalli |
| 2014 | Noised Diffusion Dynamics with Individual Biased Opinion. Fuhan Yan, Zhaofeng Li, Yichuan Jiang |
| 2014 | Nonparametric Bayesian Multi-Task Large-margin Classification. Changying Du, Jia He, Fuzhen Zhuang, Yuan Qi, Qing He |
| 2014 | Normalized Relevance Distance - A Stable Metric for Computing Semantic Relatedness over Reference Corpora. Christoph Schaefer, Daniel Hienert, Thomas Gottron |
| 2014 | Novel architecture of a digital neuron for FFNN employing special multiplication. Roman Záluský, Daniela Duracková, Viera Stopjaková, Lukás Nagy, Vladimír Sedlák |
| 2014 | Off-Policy Shaping Ensembles in Reinforcement Learning. Anna Harutyunyan, Tim Brys, Peter Vrancx, Ann Nowé |
| 2014 | On Combinatorial Actions and CMABs with Linear Side Information. Alexander Shleyfman, Antonín Komenda, Carmel Domshlak |
| 2014 | On Computing Explanations in Abstract Argumentation. Xiuyi Fan, Francesca Toni |
| 2014 | On The Properties of Belief Tracking for Online Contingent Planning using Regression. Ronen I. Brafman, Guy Shani |
| 2014 | On support relations in abstract argumentation as abstractions of inferential relations. Henry Prakken |
| 2014 | On the Efficient Implementation of Social Abstract Argumentation. Marco Correia, Jorge Cruz, João Leite |
| 2014 | On the Usage of Behavior Models to Detect ATM Fraud. Timo Klerx, Maik Anderka, Hans Kleine Büning |
| 2014 | On the Use of Target Sets for Move Selection in Multi-Agent Debates. Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis |
| 2014 | On the revision of planning tasks. Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann |
| 2014 | OpenSim: A framework for integrating agent-based models and simulation components. Dhirendra Singh, Lin Padgham |
| 2014 | Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context Splitting. Gabriele Röger, Florian Pommerening, Malte Helmert |
| 2014 | Optimisation for the Ride-Sharing Problem: a Complexity-based Approach. Gilles Simonin, Barry O'Sullivan |
| 2014 | Orwellian Eye: Video Recommendation with Microsoft Kinect. Tomás Kliegr, Jaroslav Kuchar |
| 2014 | Parameterising the Complexity of Planning by the Number of Paths in the Domain-transition Graphs. Christer Bäckström |
| 2014 | ParkinsonCheck Smart Phone App. Aleksander Sadikov, Vida Groznik, Jure Zabkar, Martin Mozina, Dejan Georgiev, Zvezdan Pirtosek, Ivan Bratko |
| 2014 | Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games. Florian Geißer, Thomas Keller, Robert Mattmüller |
| 2014 | Pattern-based Explanation for Automated Decisions. Ingrid Nunes, Simon Miles, Michael Luck, Simone Diniz Junqueira Barbosa, Carlos José Pereira de Lucena |
| 2014 | Personalized Fully Multimodal Journey Planner. Michal Jakob, Jan Hrncír, Luis Oliva, Francesco Ronzano, Pavol Zilecky, Jason Finnegan |
| 2014 | Planning and Execution of Robot Tasks Based on a Platform-Independent Model of Robot Capabilities. Jennifer Elisabeth Buehler, Maurice Pagnucco |
| 2014 | Planning with Ensembles of Classifiers. Alberto Garbajosa, Tomás de la Rosa, Raquel Fuentetaja |
| 2014 | Post-processing a classifier's predictions: Strategies and empirical evaluation. Salem Benferhat, Karim Tabia, Mouaad Kezih, Mahmoud Taibi |
| 2014 | Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games. Jirí Cermák, Branislav Bosanský, Viliam Lisý |
| 2014 | Predicting Agents' Behavior by Measuring their Social Preferences. Kan-Leung Cheng, Inon Zuckerman, Dana S. Nau, Jennifer Golbeck |
| 2014 | Preference Inference Based on Lexicographic Models. Nic Wilson |
| 2014 | Prime Implicates Based Inconsistency Characterization. Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais |
| 2014 | Privacy Preserving Landmark Detection. Shlomi Maliah, Guy Shani, Roni Stern |
| 2014 | Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans. Enrico Scala, Pietro Torasso |
| 2014 | Probabilistic Active Learning: A Short Proposition. Georg Krempl, Daniel Kottke, Myra Spiliopoulou |
| 2014 | Probabilistic Argumentation with Incomplete Information. Anthony Hunter, Matthias Thimm |
| 2014 | Probabilistic Preference Logic Networks. Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
| 2014 | Probabilistic Two-Level Anomaly Detection for Correlated Systems. Bin Tong, Tetsuro Morimura, Einoshin Suzuki, Tsuyoshi Idé |
| 2014 | Progression in Maximum Satisfiability. Alexey Ignatiev, António Morgado, Vasco Manquinho, Inês Lynce, João Marques-Silva |
| 2014 | Propositional Merging and Judgment Aggregation: Two Compatible Approaches? Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
| 2014 | Provisional Propagation for Verifying Monotonicity of Bayesian Networks. Merel T. Rietbergen, Linda C. van der Gaag, Hans L. Bodlaender |
| 2014 | Qualitative Simulation with Answer Set Programming. Timothy Wiley, Claude Sammut, Ivan Bratko |
| 2014 | Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming. Arne Kreutzmann, Diedrich Wolter |
| 2014 | Quality in Quantity - Relative Direction Constraints using Sector Sets around Oriented Points. André van Delden |
| 2014 | Quality-based Rewards for Monte-Carlo Tree Search Simulations. Tom Pepels, Mandy J. W. Tak, Marc Lanctot, Mark H. M. Winands |
| 2014 | Quantifying the Completeness of Goals in BDI Agent Systems. John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith |
| 2014 | Random Forests of Very Fast Decision Trees on GPU for Mining Evolving Big Data Streams. Diego Marron, Albert Bifet, Gianmarco De Francisci Morales |
| 2014 | Rational Deployment of Multiple Heuristics in IDA. David Tolpin, Oded Betzalel, Ariel Felner, Solomon Eyal Shimony |
| 2014 | Real-time Adaptive Problem Detection in Poultry. Steven P. D. Woudenberg, Linda C. van der Gaag, Ad Feelders, Armin R. W. Elbers |
| 2014 | Reasoning about Uncertainty and Explicit Ignorance in Generalized Possibilistic Logic. Didier Dubois, Henri Prade, Steven Schockaert |
| 2014 | Reducing global consistency to local consistency in Ontology-based Data Access. Marco Console, Maurizio Lenzerini |
| 2014 | SP-MCTS-based Intention Scheduling for BDI Agents. Yuan Yao, Brian Logan, John Thangarajah |
| 2014 | STIT is dangerously undecidable. François Schwarzentruber, Caroline Semmling |
| 2014 | Schedule Generation Schemes for Job Shop Problems with Fuzziness. Juan José Palacios, Camino R. Vela, Inés González Rodríguez, Jorge Puente |
| 2014 | Scoring Rules for the Allocation of Indivisible Goods. Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe |
| 2014 | Self-decomposable Global Constraints. Jean-Guillaume Fages, Xavier Lorca, Thierry Petit |
| 2014 | Semantical Information Graph Model toward Fast Information Valuation in Large Teamwork. Yulin Zhang, Yang Xu, Haixiao Hu, Xianggen Liu |
| 2014 | Sensitivity of Multi-dimensional Bayesian Classifiers. Janneke H. Bolt, Silja Renooij |
| 2014 | Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. Kostyantyn M. Shchekotykhin, Gerhard Friedrich, Patrick Rodler, Philipp Fleiss |
| 2014 | Set-theoretic duality: A fundamental feature of combinatorial optimisation. John K. Slaney |
| 2014 | Simultaneous Tracking and Activity Recognition (STAR) using Advanced Agent-Based Behavioral Simulations. Arsène Fansi Tchango, Vincent Thomas, Olivier Buffet, Fabien Flacher, Alain Dutech |
| 2014 | Social Computing in JaCaMo. Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati |
| 2014 | Social network data analysis for event detection. Dario Garcia-Gasulla, Sergio Álvarez-Napagao, Arturo Tejeda-Gómez, Luis Oliva Felipe, Ignasi Gómez-Sebastià, Javier Béjar, Javier Vázquez-Salceda |
| 2014 | Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning. Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu |
| 2014 | Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries. Pierre Marquis, Odile Papini, Henri Prade |
| 2014 | Spatial evolutionary game-theoretic perspective on agent-based complex negotiations. Siqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls, Ho-fung Leung |
| 2014 | Spatio-Temporal Stream Reasoning with Incomplete Spatial Information. Fredrik Heintz, Daniel de Leng |
| 2014 | Statistical Constraints. Roberto Rossi, Steven D. Prestwich, S. Armagan Tarim |
| 2014 | Stochastic Filtering Methods for Predicting Agent Performance in the Smart Grid. Charilaos Akasiadis, Georgios Chalkiadakis |
| 2014 | Stop-Free Strategies for Traffic Networks: Decentralized On-line Optimization. Mohamed Tlig, Olivier Buffet, Olivier Simonin |
| 2014 | Strategic Argumentation is NP-Complete. Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani |
| 2014 | Suboptimal Variants of the Conflict-Based Search Algorithm for the Multi-Agent Pathfinding Problem. Max Barer, Guni Sharon, Roni Stern, Ariel Felner |
| 2014 | Surrogate-Agent Modeling for Improved Training. Ales Tavcar, Bostjan Kaluza, Marcel Kvassay, Bernhard Schneider, Matjaz Gams |
| 2014 | Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation. Steven D. Prestwich, Marco Laumanns, Ban Kawas |
| 2014 | Symmetry-Driven Decision Diagrams for Knowledge Compilation. Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2014 | Syntactic Possibilistic Goal Generation. Célia da Costa Pereira, Andrea G. B. Tettamanzi |
| 2014 | The Complexity of Reasoning with Relative Directions. Jae Hee Lee |
| 2014 | The Computational Impact of Partial Votes on Strategic Voting. Nina Narodytska, Toby Walsh |
| 2014 | The Logical Difference for ℰℒℋ Michel Ludwig, Dirk Walther |
| 2014 | The PeerRank Method for Peer Assessment. Toby Walsh |
| 2014 | The Persistence of Most Probable Explanations in Bayesian Networks. Arnoud Pastink, Linda C. van der Gaag |
| 2014 | The Piano Music Companion. Andreas Arzt, Sebastian Böck, Sebastian Flossmann, Harald Frostel, Martin Gasser, Cynthia C. S. Liem, Gerhard Widmer |
| 2014 | The Significance of Bidding, Accepting and Opponent Modeling in Automated Negotiation. Tim Baarslag, Alexander Dirkzwager, Koen V. Hindriks, Catholijn M. Jonker |
| 2014 | The semantics of behavior. Nico Roos |
| 2014 | Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva |
| 2014 | Towards Practical Deletion Repair of Inconsistent DL-programs. Thomas Eiter, Michael Fink, Daria Stepanova |
| 2014 | Transductive Learning for Multi-Task Copula Processes. Markus Schneider, Fabio Ramos |
| 2014 | Trust-based belief change. Emiliano Lorini, Guifei Jiang, Laurent Perrussel |
| 2014 | Trustworthy Advice. Nardine Osman, Patricia Gutierrez, Carles Sierra |
| 2014 | Uncorrelated Multilinear Nearest Feature Line Analysis. Ye Liu, Liqing Zhang |
| 2014 | Unleashing Dec-MDPs in Security Games: Enabling Effective Defender Teamwork. Eric Anyung Shieh, Albert Xin Jiang, Amulya Yadav, Pradeep Varakantham, Milind Tambe |
| 2014 | Unsupervised semantic clustering of Twitter hashtags. Carlos Vicient, Antonio Moreno |
| 2014 | Using Ensemble Techniques and Multi-Objectivization to Solve Reinforcement Learning Problems. Tim Brys, Matthew E. Taylor, Ann Nowé |
| 2014 | Using multiple contexts to distinguish standing from sitting with a single accelerometer. Hristijan Gjoreski, Simon Kozina, Mitja Lustrek, Matjaz Gams |
| 2014 | Utility-Based HTN Planning. Ilche Georgievski, Alexander Lazovik |
| 2014 | VMAP: A Visual Schema Mapping Tool. Florin Chertes, Ingo Feinerer |
| 2014 | Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. Benjamin Zarrieß, Jens Claßen |
| 2014 | Verifying the Precision of Diagnostic Algorithms. Xingyu Su, Alban Grastien |
| 2014 | Video Event Recognition by Dempster-Shafer Theory. Xin Hong, Yan Huang, Wenjun Ma, Paul Miller, Weiru Liu, Huiyu Zhou |
| 2014 | Width-based Algorithms for Classical Planning: New Results. Nir Lipovetzky, Hector Geffner |