Table of Contents

• Probabilistic Techniques for Mobile Robot NavigationWolfram Burgard. 3 [doi]
• Generalized Decision Diagrams: The game is not over yet!Adnan Darwiche. 4 [doi]
• Never Ending LearningTom M. Mitchell. 5 [doi]
• Bad equilibria (and what to do about them)Michael Wooldridge. 6-11 [doi]
• Executable Logic for Dialogical ArgumentationElizabeth Black, Anthony Hunter. 15-20 [doi]
• Computational Creativity: The Final Frontier?Simon Colton, Geraint A. Wiggins. 21-26 [doi]
• Recent advances in imprecise-probabilistic graphical modelsGert de Cooman, Jasper De Bock, Arthur Van Camp. 27-32 [doi]
• Lifted Probabilistic InferenceKristian Kersting. 33-38 [doi]
• Developmental Mechanisms for Autonomous Life-Long Learning in RobotsPierre-Yves Oudeyer. 39 [doi]
• Robot Skill LearningJan Peters, Katharina Mülling, Jens Kober, Duy Nguyen-Tuong, Oliver Krömer. 40-45 [doi]
• Conservative Social LawsThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. 49-54 [doi]
• Finding and Proving the Optimum: Cooperative Stochastic and Deterministic SearchJean-Marc Alliot, Nicolas Durand, David Gianazza, Jean-Baptiste Gotteland. 55-60 [doi]
• DL-Lite with Attributes and DatatypesAlessandro Artale, Vladislav Ryzhikov, Roman Kontchakov. 61-66 [doi]
• Towards a Complete Classical Music CompanionAndreas Arzt, Gerhard Widmer, Sebastian Böck, Reinhard Sonnleitner, Harald Frostel. 67-72 [doi]
• LoCo - A Logic for Configuration ProblemsMarkus Aschinger, Conrad Drescher, Heribert Vollmer. 73-78 [doi]
• Using Learning to Rank Approach for Parallel Corpora Based Cross Language Information RetrievalHosein Azarbonyad, Azadeh Shakery, Heshaam Faili. 79-84 [doi]
• Macros, Reactive Plans and Compact RepresentationsChrister Bäckström, Anders Jonsson, Peter Jonsson. 85-90 [doi]
• From Macro Plans to Automata PlansChrister Bäckström, Anders Jonsson, Peter Jonsson. 91-96 [doi]
• Multirelational Consensus Clustering with Nonnegative DecompositionsLiviu Badea. 97-102 [doi]
• Verification of Description Logic Knowledge and Action BasesBabak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali. 103-108 [doi]
• Nested Monte-Carlo Tree Search for Online Planning in Large MDPsHendrik Baier, Mark H. M. Winands. 109-114 [doi]
• Markov Constraints for Generating Lyrics with StyleGabriele Barbieri, François Pachet, Pierre Roy, Mirko Degli Esposti. 115-120 [doi]
• Trust-based Solution for Robust Self-configuration of Distributed Intrusion Detection SystemsKarel Bartos, Martin Rehák. 121-126 [doi]
• What Does it Take to Enforce an Argument? Minimal Change in abstract ArgumentationRingo Baumann. 127-132 [doi]
• The Possible Winner Problem with Uncertain WeightsDorothea Baumeister, Magnus Roos, Jörg Rothe, Lena Schend, Lirong Xia. 133-138 [doi]
• Representing Value Functions with Recurrent Binary Decision DiagramsDaniel Beck, Gerhard Lakemeyer. 139-144 [doi]
• An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its GeneralizationNicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin. 145-150 [doi]
• Hybrid Possibilistic Conditioning for Revision under Weighted InputsSalem Benferhat, Célia da Costa Pereira, Andrea Tettamanzi. 151-156 [doi]
• Three-valued possibilistic networksSalem Benferhat, Karim Tabia. 157-162 [doi]
• Implementing and Evaluating Provers for First-order Modal LogicsChristoph Benzmüller, Jens Otten, Thomas Raths. 163-168 [doi]
• Heuristically Accelerated Reinforcement Learning: Theoretical and Experimental ResultsReinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa. 169-174 [doi]
• Learning Rules of Simplified Boardgames by ObservingYngvi Björnsson. 175-180 [doi]
• A Reinforcement-Learning Algorithm for Sampling Design in Markov Random FieldsMathieu Bonneau, Nathalie Peyrard, Régis Sabbadin. 181-186 [doi]
• A Protocol Based on a Game-Theoretic Dilemma to Prevent Malicious Coalitions in Reputation SystemsGrégory Bonnet. 187-192 [doi]
• Iterative Algorithm for Solving Two-player Zero-sum Extensive-form Games with Imperfect InformationBranislav Bosanský, Christopher Kiekintveld, Viliam Lisý, Michal Pechoucek. 193-198 [doi]
• Interval Temporal Logics over Finite Linear Orders: the Complete PictureDavide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. 199-204 [doi]
• Natural Language Arguments: A Combined ApproachElena Cabrio, Serena Villata. 205-210 [doi]
• Preference Extraction From Negotiation DialoguesAnaïs Cadilhac, Nicholas Asher, Farah Benamara, Vladimir Popescu, Mohamadou Seck. 211-216 [doi]
• Planning as Quantified Boolean FormulaMichael Cashmore, Maria Fox, Enrico Giunchiglia. 217-222 [doi]
• Speeding Up 2-way Number PartitioningJesús Cerquides, Pedro Meseguer. 223-227 [doi]
• An Efficient and Adaptive Approach to Negotiation in Complex EnvironmentsSiqi Chen, Gerhard Weiss. 228-233 [doi]
• Combining DRA and CYC into a Network Friendly CalculusMalumbo Chipofya. 234-239 [doi]
• On Exploiting Structures of Classical Planning Problems: Generalizing EntanglementsLukás Chrpa, Thomas Leo McCluskey. 240-245 [doi]
• Ideal Point Guided Iterative DeepeningJavier Coego, Lawrence Mandow, José-Luis Pérez-de-la-Cruz. 246-251 [doi]
• Opportunistic Branched Plans to Maximise Utility in the Presence of Resource UncertaintyAmanda Jane Coles. 252-257 [doi]
• A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a SequenceEmmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi. 258-263 [doi]
• Compression-based AODE ClassifiersGiorgio Corani, Alessandro Antonucci, Rocco De Rosa. 264-269 [doi]
• Bounded Single-Peaked Width and Proportional RepresentationDenis Cornaz, Lucie Galand, Olivier Spanjaard. 270-275 [doi]
• When intelligence is just a matter of copyingWilliam Fernando Correa, Henri Prade, Gilles Richard. 276-281 [doi]
• Context-Aware Access Control for RDF Graph StoresLuca Costabello, Serena Villata, Fabien Gandon. 282-287 [doi]
• Decision-making with Sugeno integrals: DMU vs. MCDMMiguel Couceiro, Didier Dubois, Henri Prade, Tamás Waldhauser. 288-293 [doi]
• An Analysis of Chaining in Multi-Label ClassificationKrzysztof Dembczynski, Willem Waegeman, Eyke Hüllermeier. 294-299 [doi]
• A Study of Local Minimum Avoidance Heuristics for SATThach-Thao Duong, Duc Nghia Pham, Abdul Sattar. 300-305 [doi]
• * Search with Pattern Databases and the Merge-and-Shrink AbstractionStefan Edelkamp, Peter Kissmann, Álvaro Torralba. 306-311 [doi]
• Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal PlanningPatrick Eyerich. 312-317 [doi]
• Weighted Manipulation for Four-Candidate Llull Is EasyPiotr Faliszewski, Edith Hemaspaandra, Henning Schnoor. 318-323 [doi]
• Agent Strategies for ABA-based Information-seeking and Inquiry DialoguesXiuyi Fan, Francesca Toni. 324-329 [doi]
• Guiding User Choice During Discussion by Silence, Examples and JustificationsMaier Fenster, Inon Zuckerman, Sarit Kraus. 330-335 [doi]
• Combining Bootstrapping and Feature Selection for Improving a Distributional ThesaurusOlivier Ferret. 336-341 [doi]
• Argumentation-Based Reinforcement Learning for RoboCup Soccer KeepawayYang Gao, Francesca Toni, Robert Craven. 342-347 [doi]
• Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan RetrievalAlfonso Gerevini, Alessandro Saetti, Ivan Serina. 348-353 [doi]
• A Bayesian Multiple Kernel Learning Framework for Single and Multiple Output RegressionMehmet Gönen. 354-359 [doi]
• Approximate Tradeoffs on MatroidsLaurent Gourvès, Jérôme Monnot, Lydia Tlilane. 360-365 [doi]
• Process Discovery via Precedence ConstraintsGianluigi Greco, Antonella Guzzo, Luigi Pontieri. 366-371 [doi]
• Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the BoundaryGianluigi Greco, Enrico Malizia, Francesco Scarcello, Luigi Palopoli. 372-377 [doi]
• Partial Cooperation in Multi-agent Local SearchAlon Grubshtein, Roie Zivan, Amnon Meisels. 378-383 [doi]
• Towards Generalizing the Success of Monte-Carlo Tree Search beyond the Game of GoAntónio Gusmão, Tapani Raiko. 384-389 [doi]
• Complexity of Branching Temporal Description LogicsVíctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz. 390-395 [doi]
• Online Voter Control in Sequential ElectionsEdith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. 396-401 [doi]
• Planning with Semantic Attachments: An Object-Oriented ViewAndreas Hertle, Christian Dornhege, Thomas Keller 0001, Bernhard Nebel. 402-407 [doi]
• Comparator selection for RPC with many labelsSamuel Hiard, Pierre Geurts, Louis Wehenkel. 408-413 [doi]
• An Anytime Algorithm for Finding the ?-Core in Nontransferable Utility Coalitional GamesGreg Hines, Talal Rahwan, Nicholas R. Jennings. 414-419 [doi]
• Spectrum Enhanced Dynamic Slicing for better Fault LocalizationBirgit Hofer, Franz Wotawa. 420-425 [doi]
• SAT vs. Search for Qualitative Temporal ReasoningJinbo Huang. 426-431 [doi]
• Symmetries in Itemset MiningSaïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia. 432-437 [doi]
• Concepts, Agents, and Coalitions in Alternating TimeWojciech Jamroga. 438-443 [doi]
• Large-scale Interactive Ontology Matching: Algorithms and ImplementationErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks. 444-449 [doi]
• Characterization of Positive and Negative Information in Comparative Preference RepresentationSouhila Kaci. 450-455 [doi]
• A Ranking Semantics for First-Order ConditionalsGabriele Kern-Isberner, Matthias Thimm. 456-461 [doi]
• A New Approach to the Snake-In-The-Box ProblemDavid Kinny. 462-467 [doi]
• Delegating Decisions in Strategic SettingsSarit Kraus, Michael Wooldridge. 468-473 [doi]
• Reconciling OWL and Non-monotonic Rules for the Semantic WebMatthias Knorr, Pascal Hitzler, Frederick Maier. 474-479 [doi]
• Hybrid Regression-Classification Models for Algorithm SelectionLars Kotthoff. 480-485 [doi]
• Justifying Dominating Options when Preferential Information is IncompleteChristophe Labreuche, Nicolas Maudet, Wassila Ouerdane. 486-491 [doi]
• Fixed-Parameter Algorithms for Closed World ReasoningMartin Lackner, Andreas Pfandler. 492-497 [doi]
• Efficient Reasoning in Multiagent Epistemic LogicsGerhard Lakemeyer, Yves Lespérance. 498-503 [doi]
• Knowledge-Based Programs as Plans - The Complexity of Plan VerificationJérôme Lang, Bruno Zanuttini. 504-509 [doi]
• A Path-Optimal GAC Algorithm for Table ConstraintsChristophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap. 510-515 [doi]
• Updating inconsistent Description Logic knowledge basesMaurizio Lenzerini, Domenico Fabio Savo. 516-521 [doi]
• Almost-truthful Mechanisms for Fair Social Choice FunctionsJulien Lesca, Patrice Perny. 522-527 [doi]
• Choosing Combinatorial Social Choice by Heuristic SearchMinyi Li, Quoc Bao Vo. 528-533 [doi]
• Creating Features from a Learned Grammar in a Simulated StudentNan Li, Abraham Schreiber, William W. Cohen, Kenneth R. Koedinger. 534-539 [doi]
• Width and Serialization of Classical Planning ProblemsNir Lipovetzky, Hector Geffner. 540-545 [doi]
• Game-theoretic Approach to Adversarial Plan RecognitionViliam Lisý, Radek Píbil, Jan Stiborek, Branislav Bosanský, Michal Pechoucek. 546-551 [doi]
• Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint SatisfactionWeiming Liu, Sanjiang Li. 552-557 [doi]
• Inconsistency Handling in Datalog+/- OntologiesThomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari. 558-563 [doi]
• Fair Division of Indivisible Goods under RiskCharles Lumet, Sylvain Bouveret, Michel Lemaître. 564-569 [doi]
• Improving Local Search for Random 3-SAT Using Quantitative Configuration CheckingChuan Luo, Kaile Su, Shaowei Cai. 570-575 [doi]
• Efficient Norm Emergence through Experiential Dynamic PunishmentSamhar Mahmoud, Nathan Griffiths, Jeroen Keppens, Michael Luck. 576-581 [doi]
• On computing correct processes and repairs sing partial behavioral modelsWolfgang Mayer, Gerhard Friedrich, Markus Stumptner. 582-587 [doi]
• Routing for Continuous Monitoring by Multiple Micro AVs in Disaster ScenariosVera Mersheeva, Gerhard Friedrich. 588-593 [doi]
• Diagnosing Delays in Multi-Agent Plans ExecutionRoberto Micalizio, Gianluca Torta. 594-599 [doi]
• Improving Video Activity Recognition using Object Recognition and Text MiningTanvi S. Motwani, Raymond J. Mooney. 600-605 [doi]
• Exploiting Expert Knowledge in Factored POMDPsFelix Müller, Christian Späth, Thomas Geier, Susanne Biundo. 606-611 [doi]
• Combining Voting Rules TogetherNina Narodytska, Toby Walsh, Lirong Xia. 612-617 [doi]
• ExpExpExplosion: Uniform Interpolation in General EL TerminologiesNadeschda Nikitina, Sebastian Rudolph. 618-623 [doi]
• Tunneling and Decomposition-Based State Reduction for Optimal PlanningRaz Nissim, Udi Apsel, Ronen I. Brafman. 624-629 [doi]
• Extending Set-based Dualization: Application to Pattern MiningLhouari Nourine, Jean-Marc Petit. 630-635 [doi]
• Nearness Rules and Scaled ProximityÖzgür L. Özçep, Rolf Grütter, Ralf Möller. 636-641 [doi]
• Discovering Cross-language Links in Wikipedia through Semantic RelatednessAntonio Penta, Gianluca Quercini, Chantal Reynaud, Nigel Shadbolt. 642-647 [doi]
• Optimizations for the Boolean Approach to Computing Minimal Hitting SetsIngo Pill, Thomas Quaritsch. 648-653 [doi]
• Hierarchical and Overlapping Co-Clustering of mRNA: miRNA InteractionsGianvito Pio, Michelangelo Ceci, Corrado Loglisci, Domenica D'Elia, Donato Malerba. 654-659 [doi]
• A Robust Approach to Addressing Human Adversaries in Security GamesJames Pita, Richard John, Rajiv T. Maheswaran, Milind Tambe, Sarit Kraus. 660-665 [doi]
• Solving Raven's IQ-tests: An AI and Cognitive Modeling ApproachMarco Ragni, Stefanie Neubert. 666-671 [doi]
• Best Reply Dynamics for Scoring RulesReyhaneh Reyhani, Mark C. Wilson. 672-677 [doi]
• Complexity of Conditional Planning under Partial Observability and Infinite ExecutionsJussi Rintanen. 678-683 [doi]
• Engineering Efficient Planners with SATJussi Rintanen. 684-689 [doi]
• Coordinated Exploration with a Shared Goal in Costly EnvironmentsIgor Rochlin, David Sarne, Moshe Laifenfeld. 690-695 [doi]
• Strategic and Epistemic Reasoning for the Game Description Language GDL-IIJi Ruan, Michael Thielscher. 696-701 [doi]
• Deciding Membership in a Class of PolyhedraSalvatore Ruggieri. 702-707 [doi]
• Multiple-Outcome Proof Number SearchAbdallah Saffidine, Tristan Cazenave. 708-713 [doi]
• Institutionalised Paxos ConsensusDavid Sanderson, Jeremy Pitt. 714-719 [doi]
• Introducing Datatypes in DL-LiteOgnjen Savkovic, Diego Calvanese. 720-725 [doi]
• Convex Solutions of RCC8 NetworksSteven Schockaert, Sanjiang Li. 726-731 [doi]
• Propositional Planning as OptimizationAndreas Sideris, Yannis Dimopoulos. 732-737 [doi]
• Large-scale Parallel Stratified Defeasible ReasoningIlias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas, Lee McCluskey. 738-743 [doi]
• Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planningFlorent Teichteil-Königsbuch. 744-749 [doi]
• A Probabilistic Semantics for abstract ArgumentationMatthias Thimm. 750-755 [doi]
• An Empirical Study of Argumentation Schemes for Deliberative DialogueAlice Toniolo, Timothy J. Norman, Katia P. Sycara. 756-761 [doi]
• An approach to multi-agent planning with incomplete informationAlejandro Torreño, Eva Onaindia, Oscar Sapena. 762-767 [doi]
• Efficient Crowdsourcing of Unknown Experts using Multi-Armed BanditsLong Tran-Thanh, Sebastian Stein, Alex Rogers, Nicholas R. Jennings. 768-773 [doi]
• Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent SetupsTony T. Tran, J. Christopher Beck. 774-779 [doi]
• Relation Mining in the Biomedical Domain using Entity-level SemanticsKateryna Tymoshenko, Swapna Somasundaran, Vinodkumar Prabhakaran, Vinay Shet. 780-785 [doi]
• ArvandHerd: Parallel Planning with a PortfolioRichard Anthony Valenzano, Hootan Nakhost, Martin Müller 0003, Jonathan Schaeffer, Nathan R. Sturtevant. 786-791 [doi]
• Joint Assessment and Restoration of Power SystemsPascal Van Hentenryck, Nabeel Gillani, Carleton Coffrin. 792-797 [doi]
• Self-Assessing Agents for Explaining Language Change: A Case Study in GermanRemi van Trijp. 798-803 [doi]
• Detecting Human Patterns in Laser Range DataTheodoros Varvadoukas, Ioannis Giotis, Stasinos Konstantopoulos. 804-809 [doi]
• Maxi-Consistent Operators in ArgumentationSrdjan Vesic. 810-815 [doi]
• Multi-unit Auctions with a Stochastic Number of Asymmetric BiddersIoannis A. Vetsikas, Sebastian Stein, Nicholas R. Jennings. 816-821 [doi]
• Synonymy Extraction From Semantic Networks Using String and Graph Kernel MethodsTim vor der Brück, Yu-Fang Helena Wang. 822-827 [doi]
• Ordinal Decision Models for Markov Decision ProcessesPaul Weng. 828-833 [doi]
• Negotiating Concurrently with Unknown Opponents in omplex, Real-Time DomainsColin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings. 834-839 [doi]
• Improving Local Decisions in Adversarial SearchBrandon Wilson, Inon Zuckerman, Austin Parker, Dana S. Nau. 840-845 [doi]
• Enhancing predictability of schedules by task groupingMichel Wilson, Cees Witteveen, Bob Huisman. 846-851 [doi]
• Importance-based Semantics of Polynomial Comparative Peference InferenceNic Wilson. 852-857 [doi]
• Sample-Based Policy Iteration for Constrained DEC-POMDPsFeng Wu, Nicholas R. Jennings, Xiaoping Chen. 858-863 [doi]
• Inconsistency Measurement based on Variables in Minimal Unsatisfiable SubsetsGuohui Xiao, Yue Ma. 864-869 [doi]
• Adversarial Label Flips Attack on Support Vector MachinesHan Xiao, Huang Xiao, Claudia Eckert. 870-875 [doi]
• Disambiguating Road Names in Text Route Descriptions using Exact-All-Hop Shortest Path AlgorithmXiao Zhang, Baojun Qiu, Prasenjit Mitra, Sen Xu, Alexander Klippel, Alan M. MacEachren. 876-881 [doi]
• Multi-unit Double Auction under Group BuyingDengji Zhao, Dongmo Zhang, Laurent Perrussel. 882-887 [doi]
• A Stubborn Set Algorithm for Optimal PlanningYusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert. 891-892 [doi]
• Preemption OperatorsPhilippe Besnard, Éric Grégoire, Sébastien Ramon. 893-894 [doi]
• Reasoning for Agreement TechnologiesGuido Boella, Leendert van der Torre. 895-896 [doi]
• An Adaptive Clustering Model that Integrates Expert Rules and N-gram Statistics for Coreference ResolutionRazvan C. Bunescu. 897-898 [doi]
• Mining Extremes: Severe Rainfall and Climate ChangeDebasish Das, Evan Kodra, Zoran Obradovic, Auroop R. Ganguly. 899-900 [doi]
• CAKES: Cross-lingual Wikipedia Knowledge Enrichment and SummarizationValeria Fionda, Giuseppe Pirrò. 901-902 [doi]
• A Novel Way to Connect BnB-ADOPT+, with Soft ACPatricia Gutierrez, Pedro Meseguer. 903-904 [doi]
• Controlling Candidate-Sequential ElectionsEdith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. 905-906 [doi]
• Implementation of Critical Path Heuristics for SATJinbo Huang. 907-908 [doi]
• Evolutionary Clustering on CUDAPavel Krömer, Jan Platos, Václav Snásel. 909-910 [doi]
• Practical Reformulations With Table ConstraintsOlivier Lhomme. 911-912 [doi]
• On Partitioning for Maximum SatisfiabilityRuben Martins, Vasco M. Manquinho, Inês Lynce. 913-914 [doi]
• Ontologising Semantic Relations into a Relationless ThesaurusHugo Gonçalo Oliveira, Paulo Gomes. 915-916 [doi]
• Advances in Distributed Branch and BoundLars Otten, Rina Dechter. 917-918 [doi]
• Intermediary Local ConsistenciesThierry Petit. 919-920 [doi]
• The Consistency of Majority RuleDaniele Porello. 921-922 [doi]
• Probabilistic Path-Disruption GamesAnja Rey, Jörg Rothe. 923-924 [doi]
• Towards a Declarative Spatial Reasoning SystemCarl Schultz, Mehul Bhatt. 925-926 [doi]
• An Alternative Eager Encoding of the All-Different Constraint over Bit-VectorsPavel Surynek. 927-928 [doi]
• VOI-aware MCTSDavid Tolpin, Solomon Eyal Shimony. 929-930 [doi]
• Approximation of Steiner Minimum Trees in Euclidean Planar Graphs Using Euclidian Steiner Minimum TreesBjörn Zenker. 931-932 [doi]
• Reasoning with Fuzzy-EL+ Ontologies Using MapReduceZhangquan Zhou, Guilin Qi, Chang Liu, Pascal Hitzler, Raghava Mutharaju. 933-934 [doi]
• Context-Based Search in Software DevelopmentBruno Antunes, Joel Cordeiro, Paulo Gomes. 937-942 [doi]
• Event Processing for Intelligent Resource ManagementAlexander Artikis, Robin Marterer, Jens Pottebaum, Georgios Paliouras. 943-948 [doi]
• Partially Observable Markov Decision Process for Closed-Loop Anesthesia ControlEddy C. Borera, Brett L. Moore, Larry D. Pyeatt. 949-954 [doi]
• POMDP-based online target detection and recognition for autonomous UAVsCaroline Ponzoni Carvalho Chanel, Florent Teichteil-Königsbuch, Charles Lesire. 955-960 [doi]
• A Multi-objective Approach to Balance Buildings Construction Cost and Energy EfficiencyÁlvaro Fialho, Youssef Hamadi, Marc Schoenauer. 961-966 [doi]
• LSA for Mining Hidden Information in Action Game SemanticsKatia Lida Kermanidis, Panagiotis Pandis, Costas Boletsis, Dimitra Chasanidou. 967-968 [doi]
• Cooperatives for Demand Side ManagementRamachandra Kota, Georgios Chalkiadakis, Valentin Robu, Alex Rogers, Nicholas R. Jennings. 969-974 [doi]
• Wind speed forecasting using spatio-temporal indicatorsOrlando Ohashi, Luís Torgo. 975-980 [doi]
• Predicting the Power Output of Distributed Renewable Energy Resources within a Broad Geographical RegionAthanasios Panagopoulos, Georgios Chalkiadakis, Eftichios Koutroulis. 981-986 [doi]
• A Reinforcement Learning Approach to Optimize the longitudinal Behavior of a Partial Autonomous Driving Assistance SystemOlivier Pietquin, Fabio Tango. 987-992 [doi]
• WeMiT: Web-Mining for TranslationMathieu Roche, Oana Mihaela Garbasevschi. 993-994 [doi]
• Master Orientation ToolAlexandru Surpatean, Evgueni N. Smirnov, Nicolai Manie. 995-996 [doi]
• An Infrastructure for Human Inclusion in MASPablo Almajano, Tomas Trescak, Inmaculada Rodríguez, Maite López-Sánchez. 999-1000 [doi]
• Training Crisis Managers with PANDORALiz Bacon, Amedeo Cesta, Luca Coraci, Gabriella Cortellessa, Riccardo De Benedictis, Sara Grilli, Jure Polutnik, Keith Strickland. 1001-1002 [doi]
• FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing PlannersRoman Barták, Milan Jaska, Ladislav Novak, Vladimír Rovenský, Tomás Skalický, Martin Cully, Con Sheahan, Thanh-Tung Dang. 1003-1004 [doi]
• WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainabilityLuca Console, Giulia Biamino, Francesca Carmagnola, Federica Cena, Elisa Chiabrando, Roberto Furnari, Cristina Gena, Pierluigi Grillo, Silvia Likavec, Ilaria Lombardi, Michele Mioli, Claudia Picardi, Daniele Theseider Dupré, Fabiana Vernero, Rossana Simeoni, Fabrizio Antonelli, Vincenzo Cuciti, Matteo Demichelis, Fabrizio Franceschi, Marina Geymonat, Alessandro Marcengo, Dario Mana, Mario Mirabelli, Monica Perrero, Amon Rapp, Franco Fassio, Piercarlo Grimaldi, Fabio Torta. 1005-1006 [doi]
• Mo.Di.Bot - Mobile Diagnostic RobotCristina Cristalli, Giacomo Angione, Luca Lattanzi, Birgit Graf, Florian Weisshardt, Georg Arbeiter. 1007-1008 [doi]
• Metaheuristic Aided Software Features AssemblyJosé del Sagrado, Isabel María del Águila, Francisco Javier Orellana. 1009-1010 [doi]
• Designing KDD-Workflows via HTN-PlanningJörg-Uwe Kietz, Floarea Serban, Abraham Bernstein, Simon Fischer. 1011-1012 [doi]
• Confidence: Ubiquitous Care System to Support Independent LivingMitja Lustrek, Bostjan Kaluza, Bozidara Cvetkovic, Erik Dovgan, Hristijan Gjoreski, Violeta Mirchevska, Matjaz Gams. 1013-1014 [doi]
• Autonomous construction with a mobile robot in a resource-limited environment: a demonstration of the integration of perception, planning and actionStéphane Magnenat, Alexey Gribovskiy, Francesco Mondada. 1015-1016 [doi]
• WissKI: A Virtual Research Environment for Cultural HeritageMartin Scholz, Guenther Goerz. 1017-1018 [doi]
• AGENTFLY: Multi-Agent Simulation of Air-Traffic ManagementDavid Sislák, Premysl Volf, Dusan Pavlícek, Michal Pechoucek. 1019-1020 [doi]