Table of Contents

• Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical ImplicationsKnot Pipatsrisawat, Adnan Darwiche. 3-8 [doi]
• On Decomposability and Interaction FunctionsKnot Pipatsrisawat, Adnan Darwiche. 9-14 [doi]
• On Computing Backbones of Propositional TheoriesJoão Marques-Silva, Mikolás Janota, Inês Lynce. 15-20 [doi]
• Extending Clause Learning DPLL with Parity ReasoningTero Laitinen, Tommi A. Junttila, Ilkka Niemelä. 21-26 [doi]
• Complexity of Axiom Pinpointing in the DL-Lite Family of Description LogicsRafael Peñaloza, Baris Sertkaya. 29-34 [doi]
• Tractable Reasoning with DL-Programs over Datalog-rewritable Description LogicsStijn Heymans, Thomas Eiter, Guohui Xiao. 35-40 [doi]
• Enriching [Escr ][Lscr ]-Concepts with Greatest FixpointsCarsten Lutz, Robert Piro, Frank Wolter. 41-46 [doi]
• Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] OntologiesZhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang. 47-52 [doi]
• Verifying Properties of Infinite Sequences of Description Logic ActionsFranz Baader, Hongkai Liu, Anees ul Mehdi. 53-58 [doi]
• A Hybrid Continuous Max-Sum Algorithm for Decentralised CoordinationThomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings. 61-66 [doi]
• BnB-ADOPT:::+::: with Several Soft Arc Consistency LevelsPatricia Gutierrez, Pedro Meseguer. 67-72 [doi]
• Optimal Task Migration in Service-Oriented Systems: Algorithms and MechanismsSebastian Stein, Enrico Gerding, Nicholas R. Jennings. 73-78 [doi]
• Modeling the problem of many hands in organisationsTiago De Lima, Lambèr M. M. Royakkers, Frank Dignum. 79-84 [doi]
• Learning better togetherGauvain Bourgne, Henry Soldano, Amal El Fallah-Seghrouchni. 85-90 [doi]
• Event Model Learning from Complex Videos using ILPKrishna S. R. Dubba, Anthony G. Cohn, David C. Hogg. 93-98 [doi]
• A Decentralised Symbolic Diagnosis ApproachAnika Schumann, Yannick Pencolé, Sylvie Thiébaux. 99-104 [doi]
• Diagnosability Analysis of Discrete Event Systems with Autonomous ComponentsLina Ye, Philippe Dague. 105-110 [doi]
• Diagnosing Process Trajectories Under Partially Known BehaviorGerhard Friedrich, Wolfgang Mayer, Markus Stumptner. 111-116 [doi]
• Computation in Extended Argumentation FrameworksPaul E. Dunne, Sanjay Modgil, Trevor J. M. Bench-Capon. 119-124 [doi]
• An Argumentation-based Approach to Database RepairEmanuel Santos, João Pavão Martins, Helena Galhardas. 125-130 [doi]
• A Common Computational Framework for Semiring-based Argumentation SystemsStefano Bistarelli, Francesco Santini. 131-136 [doi]
• Behavior-Oriented Commitment-based ProtocolsMatteo Baldoni, Cristina Baroglio, Elisa Marengo. 137-142 [doi]
• Using Crowdsourcing and Active Learning to Track Sentiment in Online MediaAnthony Brew, Derek Greene, Padraig Cunningham. 145-150 [doi]
• Multiscale Adaptive Agent-Based Management of Storage-Enabled Photovoltaic FacilitiesRongxin Li, Peter Wang, Geoff James. 151-156 [doi]
• Non-intrusive Detection of Driver Distraction using Machine Learning AlgorithmsFabio Tango, Marco Botta, Luca Minin, Roberto Montanari. 157-162 [doi]
• Learning and Meta-Learning for Coordination of Autonomous Unmanned Vehicles - A Preliminary AnalysisPredrag T. Tosic, Ricardo Vilalta. 163-168 [doi]
• Classification of Dreams Using Machine LearningStan Matwin, Joseph De Koninck, Amir Hossein Razavi, Ray Reza Amini. 169-174 [doi]
• Deep Reasoning in Clarification Dialogues with Mobile RobotsCui Jian, Desislava Zhekova, Hui Shi, John A. Bateman. 177-182 [doi]
• Stream-Based Reasoning Support for Autonomous SystemsFredrik Heintz, Jonas Kvarnström, Patrick Doherty. 183-188 [doi]
• Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable BodiesStefan Zickler, Manuela M. Veloso. 189-194 [doi]
• Computational Aspects of Extending the Shapley Value to Coalitional Games with ExternalitiesTomasz P. Michalak, Talal Rahwan, Dorota Marciniak, Marcin Szamotulski, Nicholas R. Jennings. 197-202 [doi]
• On the stability of an Optimal Coalition StructureStéphane Airiau, Sandip Sen. 203-208 [doi]
• EA:::2:::: The Winning Strategy for the Inaugural Lemonade Stand Game TournamentAdam M. Sykulski, Archie C. Chapman, Enrique Munoz de Cote, Nicholas R. Jennings. 209-214 [doi]
• Planning with Concurrency under Resources and Time UncertaintyEric Beaudry, Froduald Kabanza, François Michaud. 217-222 [doi]
• Brothers in Arms? On AI Planning and Cellular AutomataJörg Hoffmann, Nazim Fatès, Héctor Palacios. 223-228 [doi]
• Landmarks in Hierarchical PlanningMohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo. 229-234 [doi]
• The Necessity of Bounded Treewidth for Efficient Inference in Bayesian NetworksJohan Kwisthout, Hans L. Bodlaender, Linda C. van der Gaag. 237-242 [doi]
• Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs SamplingDaan Fierens. 243-248 [doi]
• Bayesian Monte Carlo for the Global Optimization of Expensive FunctionsPerry Groot, Adriana Birlutiu, Tom Heskes. 249-254 [doi]
• Dynamic Matching with a Fall-back OptionSujit Gujar, David C. Parkes. 263-268 [doi]
• Learning conditionally lexicographic preference relationsRichard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera. 269-274 [doi]
• Identifying Necessary Reactions in Metabolic Pathways by Minimal Model GenerationTakehide Soh, Katsumi Inoue. 277-282 [doi]
• Interval Forecast of Water Quality ParametersOrlando Ohashi, Luís Torgo, Rita P. Ribeiro. 283-288 [doi]
• Data Mining for Biodiversity Prediction in ForestsBarry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran. 289-294 [doi]
• Boosting Clustering by Active Constraint SelectionViet-Vu Vu, Nicolas Labroche, Bernadette Bouchon-Meunier. 297-302 [doi]
• A Very Fast Method for Clustering Big Text DatasetsFrank Lin, William W. Cohen. 303-308 [doi]
• Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and MetalearningRui Leite, Pavel Brazdil. 309-314 [doi]
• Improving Hierarchical Classification with Partial LabelsNam Nguyen. 315-320 [doi]
• Implicit Learning of Compiled Macro-Actions for PlanningMuhammad Abdul Hakim Newton, John Levine. 323-328 [doi]
• Strengthening Landmark Heuristics via Hitting SetsBlai Bonet, Malte Helmert. 329-334 [doi]
• Sound and Complete Landmarks for And/Or GraphsEmil Keyder, Silvia Richter, Malte Helmert. 335-340 [doi]
• Iterative Bounding LAOHåkan Warnquist, Jonas Kvarnström, Patrick Doherty. 341-346 [doi]
• Analysis of Inverse Reinforcement Learning with Perturbed DemonstrationsFrancisco S. Melo, Manuel Lopes, Ricardo Ferreira. 349-354 [doi]
• Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of ActionsReinaldo A. C. Bianchi, Ramon López de Mántaras. 355-360 [doi]
• Uncertainty Propagation for Efficient Exploration in Reinforcement LearningAlexander Hans, Steffen Udluft. 361-366 [doi]
• The Dynamics of Multi-Agent Reinforcement LearningLuke Dickens, Krysia Broda, Alessandra Russo. 367-372 [doi]
• An Efficient Procedure for Collective Decision-making with CP-netsMinyi Li, Quoc Bao Vo, Ryszard Kowalczyk. 375-380 [doi]
• Modelling Multilateral Negotiation in Linear LogicDaniele Porello, Ulle Endriss. 381-386 [doi]
• Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible GoodsSylvain Bouveret, Ulle Endriss, Jérôme Lang. 387-392 [doi]
• LP Solvable Models for Multiagent Fair Allocation ProblemsJulien Lesca, Patrice Perny. 393-398 [doi]
• Using Bayesian Networks in an Industrial Setting: Making Printing Systems AdaptiveArjen Hommersom, Peter J. F. Lucas. 401-406 [doi]
• Context-aware Media Agent for Public SpacesIchiro Satoh. 407-412 [doi]
• An Iterative A* Algorithm for Planning of Airport Ground MovementsCharles Lesire. 413-418 [doi]
• A Fault-model-based Debugging Aid for Data Warehouse ApplicationsPeter Struss, Vikas Shivashankar, Mohamed Zahoor. 419-424 [doi]
• Kernel-Based Hybrid Random Fields for Nonparametric Density EstimationAntonino Freno, Edmondo Trentin, Marco Gori. 427-432 [doi]
• Multitask Kernel-based Learning with Logic ConstraintsMichelangelo Diligenti, Marco Gori, Marco Maggini, Leonardo Rigutini. 433-438 [doi]
• Kernel Methods for Revealed Preference AnalysisSébastien Lahaie. 439-444 [doi]
• Regression Learning with Multiple Noisy OraclesKosta Ristovski, Debasish Das, Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic. 445-450 [doi]
• Constraint Based Planning with Composable Substate GraphsPeter Gregory, Derek Long, Maria Fox. 453-458 [doi]
• Knowledge Compilation Using Interval Automata and Applications to PlanningAlexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie. 459-464 [doi]
• Compiling Uncertainty Away in Non-Deterministic Conformant PlanningAlexandre Albore, Héctor Palacios, Hector Geffner. 465-470 [doi]
• Analyzing Flexible Timeline-based PlansAmedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci. 471-476 [doi]
• A Unified Framework for Non-standard Reasoning Services in Description LogicsSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone. 479-484 [doi]
• Parallel TBox Classification in Description Logics - First Experimental ResultsMina Aslani, Volker Haarslev. 485-490 [doi]
• Logical Ontology Validation Using an Automatic Theorem ProverTim vor der Brück, Holger Stenzhorn. 491-496 [doi]
• Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial ReasoningCéline Hudelot, Jamal Atif, Isabelle Bloch. 497-502 [doi]
• Computing the Data Semantics of WSDL Specifications via Gradient BoostingAlexandros G. Valarakos, George A. Vouros. 503-508 [doi]
• Opinion Question Answering: Towards a Unified ApproachAlexandra Balahur, Ester Boldrini, Andrés Montoyo, Patricio Martínez-Barco. 511-516 [doi]
• From bursty patterns to bursty facts: The effectiveness of temporal text mining for newsIlija Subasic, Bettina Berendt. 517-522 [doi]
• Extraction of Places Related to Flickr TagsYukino Baba, Fuyuki Ishikawa, Shinichi Honiden. 523-528 [doi]
• Automatic free-text-tagging of online news archivesRichárd Farkas, Gábor Berend, István Hegedüs, András Kárpáti, Balázs Krich. 529-534 [doi]
• Learning Aggregation Functions for Expert SearchRonan Cummins, Mounia Lalmas, Colm O Riordan. 535-540 [doi]
• Parallel Model Checking for Temporal Epistemic LogicMarta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu. 543-548 [doi]
• The Complexity of Epistemic Model Checking: Clock Semantics and Branching TimeXiaowei Huang, Ron van der Meyden. 549-554 [doi]
• Higher-Order Coalition LogicGuido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre. 555-560 [doi]
• Mental State Ascription Using Dynamic LogicMichal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer. 561-566 [doi]
• On the (Un-)Decidability of Model Checking Resource-Bounded AgentsNils Bulling, Berndt Farwer. 567-572 [doi]
• An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious PlayBing Shi, Enrico H. Gerding, Perukrishnen Vytelingum, Nicholas R. Jennings. 575-580 [doi]
• Addressing the Exposure Problem of Bidding Agents Using Flexibly Priced OptionsValentin Robu, Ioannis A. Vetsikas, Enrico H. Gerding, Nicholas R. Jennings. 581-586 [doi]
• Designing a Successful Adaptive Agent for TAC Ad AuctionMeng Chang, Minghua He, Xudong Luo. 587-592 [doi]
• Propagation of Opinions in Structural GraphsNardine Osman, Carles Sierra, Jordi Sabater-Mir. 595-600 [doi]
• Social Recommendation with Interpersonal InfluenceJunming Huang, Xueqi Cheng, Jiafeng Guo, Huawei Shen, Kun Yang. 601-606 [doi]
• Recommendations Over Domain Specific User GraphsMakoto Nakatsuji, Yasuhiro Fujiwara, Akimichi Tanaka, Tadasu Uchiyama, Toru Ishida. 607-612 [doi]
• Foundations of Tree-like Local Model UpdatesYan Zhang, Michael Kelly, Yi Zhou. 615-620 [doi]
• The Epistemic View of Belief Merging: Can We Track the Truth?Patricia Everaere, Sébastien Konieczny, Pierre Marquis. 621-626 [doi]
• Majority Merging: from Boolean Spaces to Affine SpacesJean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind. 627-632 [doi]
• Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)Rafael H. Bordini, Jomi Fred Hübner. 635-640 [doi]
• Belief-Goal Relationships in Possibilistic Goal GenerationCélia da Costa Pereira, Andrea Tettamanzi. 641-646 [doi]
• Predicting Responsiveness of BDI AgentHuiliang Zhang, Zhiqi Shen, Shell-Ying Huang, Chunyan Miao. 647-652 [doi]
• Automating Layouts of Sewers in SubdivisionsNeil Burch, Robert C. Holte, Martin Müller 0003, David O Connell, Jonathan Schaeffer. 655-660 [doi]
• Adaptive Gaussian Process for Short-Term Wind Speed ForecastingXiaoqian Jiang, Bing Dong, Le Xie, Latanya Sweeney. 661-666 [doi]
• Introducing Personality into Team DynamicsRui Prada, João Camilo, Maria Augusta Silveira Netto Nunes. 667-672 [doi]
• EP for Efficient Stochastic Control with ObstaclesThomas Mensink, Jakob J. Verbeek, Bert Kappen. 675-680 [doi]
• Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable DomainsCédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes. 681-686 [doi]
• Decision-theoretic Optimal Sampling in Hidden Markov Random FieldsNathalie Peyrard, Régis Sabbadin, U. Farrokh Niaz. 687-692 [doi]
• Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and UndecidabilityDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. 695-700 [doi]
• An Axiom System for a Spatial Logic with ConvexityAdam Trybus. 701-706 [doi]
• Optimal Tableaux for Conditional Logics with Cautious MonotonicityLutz Schröder, Dirk Pattinson, Daniel Hausmann. 707-712 [doi]
• Linear Logic for Non-Linear StorytellingAnne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat. 713-718 [doi]
• ProbLog Technology for Inference in a Probabilistic First Order LogicMaurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt. 719-724 [doi]
• A note on the complexity of some multiobjective A* search algorithmsLawrence Mandow, José-Luis Pérez-de-la-Cruz. 727-731 [doi]
• Contract Search: Heuristic Search under Node Expansion ConstraintsSandip Aine, P. P. Chakrabarti, Rajeev Kumar. 733-738 [doi]
• Fast Local Search for Fuzzy Job Shop SchedulingJorge Puente, Camino R. Vela, Inés González Rodríguez. 739-744 [doi]
• Relative-Order Abstractions for the Pancake ProblemMalte Helmert, Gabriele Röger. 745-750 [doi]
• ISAC - Instance-Specific Algorithm ConfigurationSerdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, Kevin Tierney. 751-756 [doi]
• Using Background Knowledge to Support Coreference ResolutionVolha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko. 759-764 [doi]
• Detecting Ironic Intent in Creative ComparisonsTony Veale, Yanfen Hao. 765-770 [doi]
• Cross-Domain Contextualization of Sentiment LexiconsStefan Gindl, Albert Weichselbraun, Arno Scharl. 771-776 [doi]
• Learning to Author Text with textual CBRIbrahim Adeyanju, Nirmalie Wiratunga, Juan A. Recio-García, Robert Lothian. 777-782 [doi]
• Classifier Ensemble using Multiobjective Optimization for Named Entity RecognitionAsif Ekbal, Sriparna Saha. 783-788 [doi]
• Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS)Chi-Cheong Szeto, Edward Hung. 791-796 [doi]
• Feature Selection by Approximating the Markov Blanket in a Kernel-Induced SpaceQiang Lou, Zoran Obradovic. 797-802 [doi]
• Recognising Agent Behaviour During Variable Length ActivitiesRolf Baxter, David Lane, Yvan R. Petillot. 803-808 [doi]
• Continuous Conditional Random Fields for Regression in Remote SensingVladan Radosavljevic, Slobodan Vucetic, Zoran Obradovic. 809-814 [doi]
• Combining Local and Global KNN With CotrainingVíctor Laguna, Alneu de Andrade Lopes. 815-820 [doi]
• Multi Grain Sentiment Analysis using Collective ClassificationS. Shivashankar, B. Ravindran. 823-828 [doi]
• Temporal Relations Learning with a Bootstrapped Cross-document ClassifierSeyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani. 829-834 [doi]
• Describing the Result of a Classifier to the End-User: Geometric-based SensitivityIsabelle Alvarez, Sophie Martin, Salma Mesmoudi. 835-840 [doi]
• Soft Nearest Convex Hull ClassifierGeorgi I. Nalbantov, Evgueni N. Smirnov. 841-846 [doi]
• Using Domain Knowledge to Guide Lattice-based Complex Data ExplorationNizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone. 847-852 [doi]
• Adaptive Branching for Constraint Satisfaction ProblemsThanasis Balafoutis, Kostas Stergiou. 855-860 [doi]
• Solving Pseudo-Boolean Modularity ConstraintsCarlos Ansótegui, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu. 867-872 [doi]
• Learning When to Use Lazy Learning in Constraint SolvingIan P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie. 873-878 [doi]
• LTL Goal Specifications RevisitedAndreas Bauer 0002, Patrik Haslum. 881-886 [doi]
• On the Verification of Very Expressive Temporal Properties of Non-terminating Golog ProgramsJens Claßen, Gerhard Lakemeyer. 887-892 [doi]
• The Complexity of Handling Minimal Solutions in Logic-Based AbductionReinhard Pichler, Stefan Woltran. 895-900 [doi]
• Abduction of distributed theories through local interactionsGauvain Bourgne, Katsumi Inoue, Nicolas Maudet. 901-906 [doi]
• A NEAT Way for Evolving Echo State NetworksKyriakos C. Chatzidimitriou, Pericles A. Mitkas. 909-914 [doi]
• Unsupervised Layer-Wise Model Selection in Deep Neural NetworksLudovic Arnold, Hélène Paugam-Moisy, Michèle Sebag. 915-920 [doi]
• Acquisition of Grammar in Autonomous Artificial SystemsKateryna Gerasymova, Michael Spranger. 923-928 [doi]
• Open-ended Grounded SemanticsMichael Spranger, Martin Loetzsch, Simon Pauw. 929-934 [doi]
• Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic ParametersDominik Jain, Andreas Barthels, Michael Beetz. 937-942 [doi]
• Min-based causal possibilistic networks: Handling interventions and analyzing the possibilistic counterpart of Jeffrey s rule of conditioningSalem Benferhat, Karim Tabia. 943-948 [doi]
• On Testing Answer-Set ProgramsTomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits. 951-956 [doi]
• On Semantic Update Operators for Answer-Set ProgramsMartin Slota, João Leite. 957-962 [doi]
• Completeness-Preserving Pruning for Optimal PlanningAmanda Jane Coles, Andrew Coles. 965-966 [doi]
• Project Scheduling as a Disjunctive Temporal ProblemAngelo Oddi, Riccardo Rasconi, Amedeo Cesta. 967-968 [doi]
• On Finding Compromise Solutions in Multiobjective Markov Decision ProcessesPatrice Perny, Paul Weng. 969-970 [doi]
• A Decision-Theoretic Approach to Cooperative Control and Adjustable AutonomyAbdel-Illah Mouaddib, Shlomo Zilberstein, Aurélie Beynier, Laurent Jeanpierre. 971-972 [doi]
• Learning action effects in partially observable domainsKira Mourão, Ronald P. A. Petrick, Mark Steedman. 973-974 [doi]
• A Probabilistic Approach to Appearance-Based Localization and MappingF. M. M. O. Campos, L. Correia, J. M. F. Calado. 975-976 [doi]
• Scalable Multi-Agent Pathfinding on Grid Maps with Tractability and Completeness GuaranteesKo-Hsin Cindy Wang, Adi Botea. 977-978 [doi]
• Behavior-analysis and -prediction for agents in real-time and dynamic adversarial environmentsCarsten Rachuy, Ubbo Visser. 979-980 [doi]
• Integrating Probability Constraints into Bayesian NetsYun Peng, Shenyong Zhang. 981-982 [doi]
• Probabilistic Logic with Conditional Independence FormulaeMagdalena Ivanovska, Martin Giese. 983-984 [doi]
• Towards Learning to Rank in Description LogicsNicola Fanizzi, Claudia d Amato, Floriana Esposito. 985-986 [doi]
• Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating RadarHuanhuan Chen, Anthony G. Cohn. 987-988 [doi]
• Exploiting the Accumulated Evidence for Gene Selection in Microarray Gene Expression DataGabriel Prat-Masramon, Lluís A. Belanche Muñoz. 989-990 [doi]
• Diagnosis discrimination for ontology debuggingKostyantyn M. Shchekotykhin, Gerhard Friedrich. 991-992 [doi]
• A contextual reading of conditional commitmentsJuan Manuel Serrano, Sergio Saugar, Rosario Laurendi, Francesco Buccafurri. 993-994 [doi]
• Acceptability semantics accounting for strength of attacks in argumentationClaudette Cayrol, Caroline Devred, Marie-Christine Lagasquie-Schiex. 995-996 [doi]
• An Argumentation-Based Dialog for Social Evaluations ExchangeIsaac Pinyol, Jordi Sabater-Mir. 997-998 [doi]
• Dealing with the dynamics of proof-standard in argumentation-based decision aidingWassila Ouerdane, Nicolas Maudet, Alexis Tsoukiàs. 999-1000 [doi]
• On the use of Argumentation in Multi-Agent PlanningOscar Sapena, Eva Onaindia, Alejandro Torreño. 1001-1002 [doi]
• Preference-Based Argumentation Framework with Varied-Preference IntensitySouhila Kaci, Christophe Labreuche. 1003-1004 [doi]
• ABA: Argumentation Based AgentsAntonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis. 1005-1006 [doi]
• On Admissibility in Timed Abstract Argumentation FrameworksMaria Laura Cobo, Diego C. Martínez, Guillermo Ricardo Simari. 1007-1008 [doi]
• Fair Mechanisms for Recurrent Multi Unit Combinatorial AuctionsJavier Murillo, Beatriz López. 1009-1010 [doi]
• Balancing Optimality and Robustness in Resource Allocation ProblemsVíctor Muñoz, Dídac Busquets. 1011-1012 [doi]
• A Knapsack-Based Approach to Bidding in Ad AuctionsJordan Berg, Amy R. Greenwald, Victor Naroditskiy, Eric Sodomka. 1013-1014 [doi]
• Coalition Formation Strategies for Self-Interested Agents in Hedonic GamesThomas Génin, Samir Aknine. 1015-1016 [doi]
• A Network Flow Approach to Coalitional GamesTalal Rahwan, Tomasz P. Michalak, Madalina Croitoru, Jacek Sroka, Nicholas R. Jennings. 1017-1018 [doi]
• Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring RulesDorothea Baumeister, Jörg Rothe. 1019-1020 [doi]
• Complexity of Merging and Splitting for the Probabilistic Banzhaf Power Index in Weighted Voting GamesAnja Rey, Jörg Rothe. 1021-1022 [doi]
• Alice and Bob Will Fight: The Problem of Electing a Committee in the Presence of Candidate InterdependenceJoel Uckelman. 1023-1024 [doi]
• Egalitarian Utilities Divide-and-Coordinate: Stop arguing about decisions, let s share rewards!Meritxell Vinyals, Juan A. Rodríguez-Aguilar, Jesús Cerquides. 1025-1026 [doi]
• Reasoning about Norm Compliance with Rational AgentsMoser Silva Fagundes, Holger Billhardt, Sascha Ossowski. 1027-1028 [doi]
• Collective Sensor Configuration in Uncharted EnvironmentsNorman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos. 1029-1030 [doi]
• On the Life-Cycle of BDI Agent GoalsJohn Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith. 1031-1032 [doi]
• A unified interaction-aware goal frameworkMichael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk. 1033-1034 [doi]
• An Alternative Approach for Reasoning about the Goal-Plan Tree ProblemPatricia H. Shaw, Rafael H. Bordini. 1035-1036 [doi]
• Trust in complex actionsJulien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini. 1037-1038 [doi]
• Analogical learning using dissimilarity between tree-structuresAnouar Ben Hassena, Laurent Miclet. 1039-1040 [doi]
• Complexity in Analogy Tasks: An Analysis and Computational ModelPhilip Stahl, Marco Ragni. 1041-1042 [doi]
• Efficient Explanations for Inconsistent Constraint SetsAlexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich, Erich Teppan. 1043-1044 [doi]
• Improving RFID s Location Based Services by means of Hidden Markov ModelsTeresa Garcia-Valverde, Alberto García-Sola, Juan A. Botía. 1045-1046 [doi]
• Human Activity Recognition in Intelligent Home Environments: An Evolving ApproachJosé Antonio Iglesias, Plamen P. Angelov, Agapito Ledezma, Araceli Sanchís. 1047-1048 [doi]
• Joint handling of Rational and Behavioral reactions in Assistant Conversational AgentsJean-Paul Sansonnet, François Bouchet. 1049-1050 [doi]
• What if it Suddenly Fails? Behavioral Aspects of Advanced Driver Assistant Systems on the Example of Local Danger AlertsAngela Mahr, Yujia Cao, Mariët Theune, Veronika Dimitrova-Krause, Tim Schwartz, Christian A. Müller. 1051-1052 [doi]
• Selecting Information based on Artificial Forms of Selective AttentionLuís Macedo. 1053-1054 [doi]
• ANTIPA: an agent architecture for intelligent information assistanceJean Oh, Felipe Meneguzzi, Katia P. Sycara. 1055-1056 [doi]
• Nested Monte-Carlo Expression DiscoveryTristan Cazenave. 1057-1058 [doi]
• Vectorial Pattern DatabasesCarlos Linares López. 1059-1060 [doi]
• Improving the Global Constraint SoftPrecDavid Lesaint, Deepak Mehta, Barry O Sullivan, Luis Quesada, Nic Wilson. 1061-1062 [doi]
• Data-Driven Detection of Recursive Program SchemesMartin Hofmann 0008, Ute Schmid. 1063-1064 [doi]
• Horn Belief Change: A Contraction CoreRichard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann. 1065-1066 [doi]
• A Motivation-Based Mechanism to Design BehaviorsTony Dujardin, Jean-Christophe Routier. 1067-1068 [doi]
• Preferential vs Rational Description Logics: which one for Reasoning About Typicality?Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. 1069-1070 [doi]
• Refining the Notion of EffortBernhard Heinemann. 1071-1072 [doi]
• A constructive conditional logic for access control: a preliminary reportValerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato. 1073-1074 [doi]
• A Logical Model of Intention and Plan DynamicsEmiliano Lorini, Hans P. van Ditmarsch, Tiago De Lima. 1075-1076 [doi]
• Non-elementary speed up for model checking synchronous perfect recallMika Cohen, Alessio Lomuscio. 1077-1078 [doi]
• Querying in [Escr ][Lscr ]+ with Nonmonotonic RulesMatthias Knorr, José Júlio Alferes. 1079-1080 [doi]
• Improving the efficiency of ontology engineering by introducing prototypicalityXavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet. 1081-1082 [doi]
• Implementing Simple Modular ERDF ontologiesCarlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou. 1083-1084 [doi]
• Local search algorithms on the Stable Marriage Problem: Experimental StudiesMirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen B. Venable, Toby Walsh. 1085-1086 [doi]
• A Combined Calculus on Orientation with Composition Based on Geometric PropertiesFrank Dylla, Jae Hee Lee. 1087-1088 [doi]
• Knowledge-based adaptive thresholding from shadowsPaulo Santos, Hannah M. Dee, Valquiria Fenelon. 1089-1090 [doi]
• A Qualitative Representation of Route NetworksJochen Renz, Stefan Wölfl. 1091-1092 [doi]
• Restarts and Nogood Recording in Qualitative Constraint-based ReasoningMatthias Westphal, Stefan Wölfl, Jason Jingshi Li. 1093-1094 [doi]
• Strategic planning in the game of Go using coupled non-linear oscillatorsNicholas Wilkinson, Terry Bossomaier, Michael Harré, Allan Snyder. 1095-1096 [doi]
• Semi-Automatic Revision of Formalized KnowledgeNadejda Nikitina. 1097-1098 [doi]
• Instruction Cache Prediction Using Bayesian NetworksMark Bartlett, Iain Bate, James Cussens. 1099-1100 [doi]
• Unsupervised Feature Generation using Knowledge Repositories for Effective Text CategorizationR. Rajendra Prasath, Sudeshna Sarkar. 1101-1102 [doi]
• Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal GraphsMuralikrishna Sridhar, Anthony G. Cohn, David C. Hogg. 1103-1104 [doi]
• Advances in Class Noise DetectionBorut Sluban, Dragan Gamberger, Nada Lavrac. 1105-1106 [doi]
• Time-Slice Density Estimation for Semantic-Based Tourist Destination SuggestionMichelangelo Ceci, Annalisa Appice, Donato Malerba. 1107-1108 [doi]
• Knowledge Compilation for Itemset MiningHadrien Cambazard, Tarik Hadzic, Barry O Sullivan. 1109-1110 [doi]
• Towards Argumentation-based Multiagent InductionSantiago Ontañón, Enric Plaza. 1111-1112 [doi]
• The Advantages of Seed Examples in First-Order Multi-class Subgroup DiscoveryTarek Abudawood, Peter A. Flach. 1113-1114 [doi]
• Generating time series reference models based on event analysisJuan Alfonso Lara, Aurora Pérez-Pérez, Juan Pedro Valente, África López-Illescas. 1115-1116 [doi]
• Mining Physiological Data for Discovering Temporal Patterns on Disease StagesCorrado Loglisci, Michelangelo Ceci, Donato Malerba. 1117-1118 [doi]
• Drift Severity MetricPetr Kosina, João Gama, Raquel Sebastião. 1119-1120 [doi]
• Prediction of Attributes and Links in Temporal Social NetworksVladimir Ouzienko, Yuhong Guo, Zoran Obradovic. 1121-1122 [doi]
• Reliable Predictive Intervals for the Critical Frequency of the F2 Ionospheric LayerHarris Papadopoulos, Haris Haralambous. 1123-1124 [doi]
• Decentralised Supply Chain Formation: A Belief Propagation-based ApproachMichael Winsper, Maria Chli. 1125-1126 [doi]
• Implementing an Intelligent Moving Average with a Neural NetworkNuno C. Marques, Carlos Gomes. 1129-1130 [doi]
• Bagged Biclustering for Microarray DataBlaise Hanczar, Mohamed Nadif. 1131-1132 [doi]
• On the Maximalization of the Witness sets in Independent Set readingsLivio Robaldo. 1133-1134 [doi]
• Automatic Creation of a Conceptual Base for Portuguese using Clustering TechniquesHugo Gonçalo Oliveira, Paulo Gomes. 1135-1136 [doi]
• Investigating Human Speech Processing as a Model for Spoken Dialogue Systems: An Experimental FrameworkMartin Hacker, David Elsweiler, Bernd Ludwig. 1137-1138 [doi]
• Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic TextMeshrif Alruily, Aladdin Ayesh, Hussein Zedan. 1139-1140 [doi]
• GNUsmail: Open Framework for On-line Email ClassificationJosé M. Carmona-Cejudo, Manuel Baena-García, José del Campo-Ávila, Rafael Morales Bueno, Albert Bifet. 1141-1142 [doi]
• Discovering Collaboration Opportunities in Research-Oriented NetworksAlessandro Cucchiarelli, Fulvio D Antonio. 1143-1144 [doi]
• High-Level Perception as Focused Belief RevisionHaythem O. Ismail, Nasr Kasrin. 1145-1146 [doi]