| 2010 | A Combined Calculus on Orientation with Composition Based on Geometric Properties. Frank Dylla, Jae Hee Lee |
| 2010 | A Common Computational Framework for Semiring-based Argumentation Systems. Stefano Bistarelli, Francesco Santini |
| 2010 | A Decentralised Symbolic Diagnosis Approach. Anika Schumann, Yannick Pencolé, Sylvie Thiébaux |
| 2010 | A Decision-Theoretic Approach to Cooperative Control and Adjustable Autonomy. Abdel-Illah Mouaddib, Shlomo Zilberstein, Aurélie Beynier, Laurent Jeanpierre |
| 2010 | A Fault-model-based Debugging Aid for Data Warehouse Applications. Peter Struss, Vikas Shivashankar, Mohamed Zahoor |
| 2010 | A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination. Thomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings |
| 2010 | A Knapsack-Based Approach to Bidding in Ad Auctions. Jordan Berg, Amy Greenwald, Victor Naroditskiy, Eric Sodomka |
| 2010 | A Logical Model of Intention and Plan Dynamics. Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima |
| 2010 | A Motivation-Based Mechanism to Design Behaviors. Tony Dujardin, Jean-Christophe Routier |
| 2010 | A NEAT Way for Evolving Echo State Networks. Kyriakos C. Chatzidimitriou, Pericles A. Mitkas |
| 2010 | A Network Flow Approach to Coalitional Games. Talal Rahwan, Tomasz P. Michalak, Madalina Croitoru, Jacek Sroka, Nicholas R. Jennings |
| 2010 | A Probabilistic Approach to Appearance-Based Localization and Mapping. Francisco M. Campos, Luís Correia, J. M. F. Calado |
| 2010 | A Qualitative Representation of Route Networks. Jochen Renz, Stefan Wölfl |
| 2010 | A Unified Framework for Non-standard Reasoning Services in Description Logics. Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone |
| 2010 | A Very Fast Method for Clustering Big Text Datasets. Frank Lin, William W. Cohen |
| 2010 | A constructive conditional logic for access control: a preliminary report. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2010 | A contextual reading of conditional commitments. Juan Manuel Serrano, Sergio Saugar, Rosario Laurendi, Francesco Buccafurri |
| 2010 | A note on the complexity of some multiobjective A* search algorithms. Lawrence Mandow, José-Luis Pérez-de-la-Cruz |
| 2010 | A unified interaction-aware goal framework. Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk |
| 2010 | ABA: Argumentation Based Agents. Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis |
| 2010 | ANTIPA: an agent architecture for intelligent information assistance. Jean Oh, Felipe Meneguzzi, Katia P. Sycara |
| 2010 | Abduction of distributed theories through local interactions. Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet |
| 2010 | Acceptability semantics accounting for strength of attacks in argumentation. Claudette Cayrol, Caroline Devred, Marie-Christine Lagasquie-Schiex |
| 2010 | Acquisition of Grammar in Autonomous Artificial Systems. Kateryna Gerasymova, Michael Spranger |
| 2010 | Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning. Rui Leite, Pavel Brazdil |
| 2010 | Adaptive Branching for Constraint Satisfaction Problems. Thanasis Balafoutis, Kostas Stergiou |
| 2010 | Adaptive Gaussian Process for Short-Term Wind Speed Forecasting. Xiaoqian Jiang, Bing Dong, Le Xie, Latanya Sweeney |
| 2010 | Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters. Dominik Jain, Andreas Barthels, Michael Beetz |
| 2010 | Addressing the Exposure Problem of Bidding Agents Using Flexibly Priced Options. Valentin Robu, Ioannis A. Vetsikas, Enrico H. Gerding, Nicholas R. Jennings |
| 2010 | Advances in Class Noise Detection. Borut Sluban, Dragan Gamberger, Nada Lavrac |
| 2010 | Alice and Bob Will Fight: The Problem of Electing a Committee in the Presence of Candidate Interdependence. Joel Uckelman |
| 2010 | An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. Patricia H. Shaw, Rafael H. Bordini |
| 2010 | An Argumentation-Based Dialog for Social Evaluations Exchange. Isaac Pinyol, Jordi Sabater-Mir |
| 2010 | An Argumentation-based Approach to Database Repair. Emanuel Santos, João Pavão Martins, Helena Galhardas |
| 2010 | An Axiom System for a Spatial Logic with Convexity. Adam Trybus |
| 2010 | An Efficient Procedure for Collective Decision-making with CP-nets. Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk |
| 2010 | An Empirical Study of the Manipulability of Single Transferable Voting. Toby Walsh |
| 2010 | An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious Play. Bing Shi, Enrico H. Gerding, Perukrishnen Vytelingum, Nicholas R. Jennings |
| 2010 | An Iterative A* Algorithm for Planning of Airport Ground Movements. Charles Lesire |
| 2010 | Analogical learning using dissimilarity between tree-structures. Anouar Ben Hassena, Laurent Miclet |
| 2010 | Analysis of Inverse Reinforcement Learning with Perturbed Demonstrations. Francisco S. Melo, Manuel Lopes, Ricardo Ferreira |
| 2010 | Analyzing Flexible Timeline-based Plans. Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
| 2010 | Automatic Creation of a Conceptual Base for Portuguese using Clustering Techniques. Hugo Gonçalo Oliveira, Paulo Gomes |
| 2010 | Automatic free-text-tagging of online news archives. Richárd Farkas, Gábor Berend, István Hegedüs, András Kárpáti, Balázs Krich |
| 2010 | Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. Meshrif Alruily, Aladdin Ayesh, Hussein Zedan |
| 2010 | Automating Layouts of Sewers in Subdivisions. Neil Burch, Robert C. Holte, Martin Müller, David O'Connell, Jonathan Schaeffer |
| 2010 | Bagged Biclustering for Microarray Data. Blaise Hanczar, Mohamed Nadif |
| 2010 | Balancing Optimality and Robustness in Resource Allocation Problems. Víctor Muñoz, Dídac Busquets |
| 2010 | Bayesian Monte Carlo for the Global Optimization of Expensive Functions. Perry Groot, Adriana Birlutiu, Tom Heskes |
| 2010 | Behavior-Oriented Commitment-based Protocols. Matteo Baldoni, Cristina Baroglio, Elisa Marengo |
| 2010 | Behavior-analysis and -prediction for agents in real-time and dynamic adversarial environments. Carsten Rachuy, Ubbo Visser |
| 2010 | Belief-Goal Relationships in Possibilistic Goal Generation. Célia da Costa Pereira, Andrea Tettamanzi |
| 2010 | BnB-ADOPT Patricia Gutierrez, Pedro Meseguer |
| 2010 | Boosting Clustering by Active Constraint Selection. Viet-Vu Vu, Nicolas Labroche, Bernadette Bouchon-Meunier |
| 2010 | Brothers in Arms? On AI Planning and Cellular Automata. Jörg Hoffmann, Nazim Fatès, Héctor Palacios |
| 2010 | Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar. Huanhuan Chen, Anthony G. Cohn |
| 2010 | Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of Actions. Reinaldo A. C. Bianchi, Ramón López de Mántaras |
| 2010 | Classification of Dreams Using Machine Learning. Stan Matwin, Joseph De Koninck, Amir Hossein Razavi, Ray Reza Amini |
| 2010 | Classifier Ensemble using Multiobjective Optimization for Named Entity Recognition. Asif Ekbal, Sriparna Saha |
| 2010 | Coalition Formation Strategies for Self-Interested Agents in Hedonic Games. Thomas Génin, Samir Aknine |
| 2010 | Collective Sensor Configuration in Uncharted Environments. Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos |
| 2010 | Combining Local and Global KNN With Cotraining. Víctor Laguna, Alneu de Andrade Lopes |
| 2010 | Compiling Uncertainty Away in Non-Deterministic Conformant Planning. Alexandre Albore, Héctor Palacios, Hector Geffner |
| 2010 | Completeness-Preserving Pruning for Optimal Planning. Amanda Jane Coles, Andrew Coles |
| 2010 | Complexity in Analogy Tasks: An Analysis and Computational Model. Philip Stahl, Marco Ragni |
| 2010 | Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. Rafael Peñaloza, Baris Sertkaya |
| 2010 | Complexity of Merging and Splitting for the Probabilistic Banzhaf Power Index in Weighted Voting Games. Anja Rey, Jörg Rothe |
| 2010 | Computation in Extended Argumentation Frameworks. Paul E. Dunne, Sanjay Modgil, Trevor J. M. Bench-Capon |
| 2010 | Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalities. Tomasz P. Michalak, Talal Rahwan, Dorota Marciniak, Marcin Szamotulski, Nicholas R. Jennings |
| 2010 | Computing the Data Semantics of WSDL Specifications via Gradient Boosting. Alexandros G. Valarakos, George A. Vouros |
| 2010 | Constraint Based Planning with Composable Substate Graphs. Peter Gregory, Derek Long, Maria Fox |
| 2010 | Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes |
| 2010 | Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling. Daan Fierens |
| 2010 | Context-aware Media Agent for Public Spaces. Ichiro Satoh |
| 2010 | Continuous Conditional Random Fields for Regression in Remote Sensing. Vladan Radosavljevic, Slobodan Vucetic, Zoran Obradovic |
| 2010 | Contract Search: Heuristic Search under Node Expansion Constraints. Sandip Aine, P. P. Chakrabarti, Rajeev Kumar |
| 2010 | Cross-Domain Contextualization of Sentiment Lexicons. Stefan Gindl, Albert Weichselbraun, Arno Scharl |
| 2010 | Data Mining for Biodiversity Prediction in Forests. Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran |
| 2010 | Data-Driven Detection of Recursive Program Schemes. Martin Hofmann, Ute Schmid |
| 2010 | Dealing with the dynamics of proof-standard in argumentation-based decision aiding. Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukiàs |
| 2010 | Decentralised Supply Chain Formation: A Belief Propagation-based Approach. Michael Winsper, Maria Chli |
| 2010 | Decision-theoretic Optimal Sampling in Hidden Markov Random Fields. Nathalie Peyrard, Régis Sabbadin, U. Farrokh Niaz |
| 2010 | Deep Reasoning in Clarification Dialogues with Mobile Robots. Cui Jian, Desislava Zhekova, Hui Shi, John A. Bateman |
| 2010 | Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity. Isabelle Alvarez, Sophie Martin, Salma Mesmoudi |
| 2010 | Designing a Successful Adaptive Agent for TAC Ad Auction. Meng Chang, Minghua He, Xudong Luo |
| 2010 | Detecting Ironic Intent in Creative Comparisons. Tony Veale, Yanfen Hao |
| 2010 | Diagnosability Analysis of Discrete Event Systems with Autonomous Components. Lina Ye, Philippe Dague |
| 2010 | Diagnosing Process Trajectories Under Partially Known Behavior. Gerhard Friedrich, Wolfgang Mayer, Markus Stumptner |
| 2010 | Diagnosis discrimination for ontology debugging. Kostyantyn M. Shchekotykhin, Gerhard Friedrich |
| 2010 | Discovering Collaboration Opportunities in Research-Oriented Networks. Alessandro Cucchiarelli, Fulvio D'Antonio |
| 2010 | Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs. Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg |
| 2010 | Drift Severity Metric. Petr Kosina, João Gama, Raquel Sebastião |
| 2010 | Dynamic Matching with a Fall-back Option. Sujit Gujar, David C. Parkes |
| 2010 | EA Adam M. Sykulski, Archie C. Chapman, Enrique Munoz de Cote, Nicholas R. Jennings |
| 2010 | ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings Helder Coelho, Rudi Studer, Michael J. Wooldridge |
| 2010 | EP for Efficient Stochastic Control with Obstacles. Thomas Mensink, Jakob Verbeek, Bert Kappen |
| 2010 | Efficient Explanations for Inconsistent Constraint Sets. Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich, Erich Teppan |
| 2010 | Egalitarian Utilities Divide-and-Coordinate: Stop arguing about decisions, let's share rewards!. Meritxell Vinyals, Juan A. Rodríguez-Aguilar, Jesús Cerquides |
| 2010 | Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. Carsten Lutz, Robert Piro, Frank Wolter |
| 2010 | Event Model Learning from Complex Videos using ILP. Krishna Sandeep Reddy Dubba, Anthony G. Cohn, David C. Hogg |
| 2010 | Exploiting the Accumulated Evidence for Gene Selection in Microarray Gene Expression Data. Gabriel Prat-Masramon, Lluís A. Belanche Muñoz |
| 2010 | Extending Clause Learning DPLL with Parity Reasoning. Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
| 2010 | Extraction of Places Related to Flickr Tags. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden |
| 2010 | Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods. Sylvain Bouveret, Ulle Endriss, Jérôme Lang |
| 2010 | Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions. Javier Murillo, Beatriz López |
| 2010 | Fast Local Search for Fuzzy Job Shop Scheduling. Jorge Puente, Camino R. Vela, Inés González Rodríguez |
| 2010 | Feature Selection by Approximating the Markov Blanket in a Kernel-Induced Space. Qiang Lou, Zoran Obradovic |
| 2010 | Formal Analysis of Models for the Mammalian Vision System. Bedeho Mender |
| 2010 | Foundations of Tree-like Local Model Updates. Yan Zhang, Michael Kelly, Yi Zhou |
| 2010 | From bursty patterns to bursty facts: The effectiveness of temporal text mining for news. Ilija Subasic, Bettina Berendt |
| 2010 | GNUsmail: Open Framework for On-line Email Classification. José M. Carmona-Cejudo, Manuel Baena-García, José del Campo-Ávila, Rafael Morales Bueno, Albert Bifet |
| 2010 | Generating time series reference models based on event analysis. Juan Alfonso Lara, Aurora Pérez-Pérez, Juan Pedro Valente, África López-Illescas |
| 2010 | High-Level Perception as Focused Belief Revision. Haythem O. Ismail, Nasr Kasrin |
| 2010 | Higher-Order Coalition Logic. Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre |
| 2010 | Horn Belief Change: A Contraction Core. Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann |
| 2010 | Human Activity Recognition in Intelligent Home Environments: An Evolving Approach. José Antonio Iglesias, Plamen Angelov, Agapito Ledezma, Araceli Sanchis |
| 2010 | ISAC - Instance-Specific Algorithm Configuration. Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, Kevin Tierney |
| 2010 | Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. Takehide Soh, Katsumi Inoue |
| 2010 | Implementing Simple Modular ERDF ontologies. Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou |
| 2010 | Implementing an Intelligent Moving Average with a Neural Network. Nuno C. Marques, Carlos Gomes |
| 2010 | Implicit Learning of Compiled Macro-Actions for Planning. Muhammad Abdul Hakim Newton, John Levine |
| 2010 | Improving Hierarchical Classification with Partial Labels. Nam Nguyen |
| 2010 | Improving RFID's Location Based Services by means of Hidden Markov Models. Teresa García-Valverde, Alberto García-Sola, Juan A. Botía |
| 2010 | Improving the Global Constraint SoftPrec. David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2010 | Improving the efficiency of ontology engineering by introducing prototypicality. Xavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet |
| 2010 | Instruction Cache Prediction Using Bayesian Networks. Mark Bartlett, Iain Bate, James Cussens |
| 2010 | Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning. Céline Hudelot, Jamal Atif, Isabelle Bloch |
| 2010 | Integrating Probability Constraints into Bayesian Nets. Yun Peng, Shenyong Zhang |
| 2010 | Interval Forecast of Water Quality Parameters. Orlando Ohashi, Luís Torgo, Rita P. Ribeiro |
| 2010 | Introducing Personality into Team Dynamics. Rui Prada, João Camilo, Maria Augusta Silveira Netto Nunes |
| 2010 | Investigating Human Speech Processing as a Model for Spoken Dialogue Systems: An Experimental Framework. Martin Hacker, David Elsweiler, Bernd Ludwig |
| 2010 | Iterative Bounding LAO. Håkan Warnquist, Jonas Kvarnström, Patrick Doherty |
| 2010 | Joint handling of Rational and Behavioral reactions in Assistant Conversational Agents. Jean-Paul Sansonnet, François Bouchet |
| 2010 | Kernel Methods for Revealed Preference Analysis. Sébastien Lahaie |
| 2010 | Kernel-Based Hybrid Random Fields for Nonparametric Density Estimation. Antonino Freno, Edmondo Trentin, Marco Gori |
| 2010 | Knowledge Compilation Using Interval Automata and Applications to Planning. Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie |
| 2010 | Knowledge Compilation for Itemset Mining. Hadrien Cambazard, Tarik Hadzic, Barry O'Sullivan |
| 2010 | Knowledge-based adaptive thresholding from shadows. Paulo Santos, Hannah M. Dee, Valquiria Fenelon |
| 2010 | LP Solvable Models for Multiagent Fair Allocation Problems. Julien Lesca, Patrice Perny |
| 2010 | LTL Goal Specifications Revisited. Andreas Bauer, Patrik Haslum |
| 2010 | Landmarks in Hierarchical Planning. Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo |
| 2010 | Learning Aggregation Functions for Expert Search. Ronan Cummins, Mounia Lalmas, Colm O'Riordan |
| 2010 | Learning When to Use Lazy Learning in Constraint Solving. Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie |
| 2010 | Learning action effects in partially observable domains. Kira Mourão, Ronald P. A. Petrick, Mark Steedman |
| 2010 | Learning and Meta-Learning for Coordination of Autonomous Unmanned Vehicles - A Preliminary Analysis. Predrag T. Tosic, Ricardo Vilalta |
| 2010 | Learning better together. Gauvain Bourgne, Henry Soldano, Amal El Fallah Seghrouchni |
| 2010 | Learning conditionally lexicographic preference relations. Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera |
| 2010 | Learning to Author Text with textual CBR. Ibrahim Adeyanju, Nirmalie Wiratunga, Juan A. Recio-García, Robert Lothian |
| 2010 | Linear Logic for Non-Linear Storytelling. Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat |
| 2010 | Local search algorithms on the Stable Marriage Problem: Experimental Studies. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2010 | Logical Ontology Validation Using an Automatic Theorem Prover. Tim vor der Brück, Holger Stenzhorn |
| 2010 | Majority Merging: from Boolean Spaces to Affine Spaces. Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind |
| 2010 | Mental State Ascription Using Dynamic Logic. Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
| 2010 | Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2010 | Min-based causal possibilistic networks: Handling interventions and analyzing the possibilistic counterpart of Jeffrey's rule of conditioning. Salem Benferhat, Karim Tabia |
| 2010 | Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS). Chi-Cheong Szeto, Edward Hung |
| 2010 | Mining Physiological Data for Discovering Temporal Patterns on Disease Stages. Corrado Loglisci, Michelangelo Ceci, Donato Malerba |
| 2010 | Modeling the problem of many hands in organisations. Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum |
| 2010 | Modelling Multilateral Negotiation in Linear Logic. Daniele Porello, Ulle Endriss |
| 2010 | Multi Grain Sentiment Analysis using Collective Classification. S. Shivashankar, Balaraman Ravindran |
| 2010 | Multiscale Adaptive Agent-Based Management of Storage-Enabled Photovoltaic Facilities. Rongxin Li, Peter Wang, Geoff James |
| 2010 | Multitask Kernel-based Learning with Logic Constraints. Michelangelo Diligenti, Marco Gori, Marco Maggini, Leonardo Rigutini |
| 2010 | Nested Monte-Carlo Expression Discovery. Tristan Cazenave |
| 2010 | Non-elementary speed up for model checking synchronous perfect recall. Mika Cohen, Alessio Lomuscio |
| 2010 | Non-intrusive Detection of Driver Distraction using Machine Learning Algorithms. Fabio Tango, Marco Botta, Luca Minin, Roberto Montanari |
| 2010 | On Admissibility in Timed Abstract Argumentation Frameworks. Maria Laura Cobo, Diego C. Martínez, Guillermo Ricardo Simari |
| 2010 | On Computing Backbones of Propositional Theories. João Marques-Silva, Mikolás Janota, Inês Lynce |
| 2010 | On Decomposability and Interaction Functions. Knot Pipatsrisawat, Adnan Darwiche |
| 2010 | On Finding Compromise Solutions in Multiobjective Markov Decision Processes. Patrice Perny, Paul Weng |
| 2010 | On Semantic Update Operators for Answer-Set Programs. Martin Slota, João Leite |
| 2010 | On Testing Answer-Set Programs. Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits |
| 2010 | On the (Un-)Decidability of Model Checking Resource-Bounded Agents. Nils Bulling, Berndt Farwer |
| 2010 | On the Life-Cycle of BDI Agent Goals. John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith |
| 2010 | On the Maximalization of the Witness sets in Independent Set readings. Livio Robaldo |
| 2010 | On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. Jens Claßen, Gerhard Lakemeyer |
| 2010 | On the stability of an Optimal Coalition Structure. Stéphane Airiau, Sandip Sen |
| 2010 | On the use of Argumentation in Multi-Agent Planning. Óscar Sapena, Eva Onaindia, Alejandro Torreño |
| 2010 | Open-ended Grounded Semantics. Michael Spranger, Martin Loetzsch, Simon Pauw |
| 2010 | Opinion Question Answering: Towards a Unified Approach. Alexandra Balahur, Ester Boldrini, Andrés Montoyo, Patricio Martínez-Barco |
| 2010 | Optimal Tableaux for Conditional Logics with Cautious Monotonicity. Lutz Schröder, Dirk Pattinson, Daniel Hausmann |
| 2010 | Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms. Sebastian Stein, Enrico H. Gerding, Nicholas R. Jennings |
| 2010 | Parallel Model Checking for Temporal Epistemic Logic. Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu |
| 2010 | Parallel TBox Classification in Description Logics - First Experimental Results. Mina Aslani, Volker Haarslev |
| 2010 | Planning with Concurrency under Resources and Time Uncertainty. Eric Beaudry, Froduald Kabanza, François Michaud |
| 2010 | Predicting Responsiveness of BDI Agent. Huiliang Zhang, Zhiqi Shen, Shell-Ying Huang, Chunyan Miao |
| 2010 | Prediction of Attributes and Links in Temporal Social Networks. Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic |
| 2010 | Preference-Based Argumentation Framework with Varied-Preference Intensity. Souhila Kaci, Christophe Labreuche |
| 2010 | Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2010 | ProbLog Technology for Inference in a Probabilistic First Order Logic. Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt |
| 2010 | Probabilistic Logic with Conditional Independence Formulae. Magdalena Ivanovska, Martin Giese |
| 2010 | Project Scheduling as a Disjunctive Temporal Problem. Angelo Oddi, Riccardo Rasconi, Amedeo Cesta |
| 2010 | Propagation of Opinions in Structural Graphs. Nardine Osman, Carles Sierra, Jordi Sabater-Mir |
| 2010 | Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. Matthias Knorr, José Júlio Alferes |
| 2010 | Reasoning about Norm Compliance with Rational Agents. Moser Silva Fagundes, Holger Billhardt, Sascha Ossowski |
| 2010 | Recognising Agent Behaviour During Variable Length Activities. Rolf Baxter, David M. Lane, Yvan R. Petillot |
| 2010 | Recommendations Over Domain Specific User Graphs. Makoto Nakatsuji, Yasuhiro Fujiwara, Akimichi Tanaka, Tadasu Uchiyama, Toru Ishida |
| 2010 | Refining the Notion of Effort. Bernhard Heinemann |
| 2010 | Regression Learning with Multiple Noisy Oracles. Kosta Ristovski, Debasish Das, Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic |
| 2010 | Relative-Order Abstractions for the Pancake Problem. Malte Helmert, Gabriele Röger |
| 2010 | Reliable Predictive Intervals for the Critical Frequency of the F2 Ionospheric Layer. Harris Papadopoulos, Haris Haralambous |
| 2010 | Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. Matthias Westphal, Stefan Wölfl, Jason Jingshi Li |
| 2010 | Scalable Multi-Agent Pathfinding on Grid Maps with Tractability and Completeness Guarantees. Ko-Hsin Cindy Wang, Adi Botea |
| 2010 | Selecting Information based on Artificial Forms of Selective Attention. Luís Macedo |
| 2010 | Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). Rafael H. Bordini, Jomi Fred Hübner |
| 2010 | Semi-Automatic Revision of Formalized Knowledge. Nadejda Nikitina |
| 2010 | Social Recommendation with Interpersonal Influence. Junming Huang, Xueqi Cheng, Jiafeng Guo, Huawei Shen, Kun Yang |
| 2010 | Soft Nearest Convex Hull Classifier. Georgi I. Nalbantov, Evgueni N. Smirnov |
| 2010 | Solving Pseudo-Boolean Modularity Constraints. Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu |
| 2010 | Sound and Complete Landmarks for And/Or Graphs. Emil Keyder, Silvia Richter, Malte Helmert |
| 2010 | Strategic planning in the game of Go using coupled non-linear oscillators. Nicholas Wilkinson, Terry Bossomaier, Michael Harré, Allan Snyder |
| 2010 | Stream-Based Reasoning Support for Autonomous Systems. Fredrik Heintz, Jonas Kvarnström, Patrick Doherty |
| 2010 | Strengthening Landmark Heuristics via Hitting Sets. Blai Bonet, Malte Helmert |
| 2010 | Symmetries of Symmetry Breaking Constraints. George Katsirelos, Toby Walsh |
| 2010 | Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang |
| 2010 | Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring Rules. Dorothea Baumeister, Jörg Rothe |
| 2010 | Temporal Relations Learning with a Bootstrapped Cross-document Classifier. Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani |
| 2010 | The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery. Tarek Abudawood, Peter A. Flach |
| 2010 | The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. Xiaowei Huang, Ron van der Meyden |
| 2010 | The Complexity of Handling Minimal Solutions in Logic-Based Abduction. Reinhard Pichler, Stefan Woltran |
| 2010 | The Dynamics of Multi-Agent Reinforcement Learning. Luke Dickens, Krysia Broda, Alessandra Russo |
| 2010 | The Epistemic View of Belief Merging: Can We Track the Truth?. Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
| 2010 | The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks. Johan Kwisthout, Hans L. Bodlaender, Linda C. van der Gaag |
| 2010 | Time-Slice Density Estimation for Semantic-Based Tourist Destination Suggestion. Michelangelo Ceci, Annalisa Appice, Donato Malerba |
| 2010 | Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. Knot Pipatsrisawat, Adnan Darwiche |
| 2010 | Towards Argumentation-based Multiagent Induction. Santiago Ontañón, Enric Plaza |
| 2010 | Towards Learning to Rank in Description Logics. Nicola Fanizzi, Claudia d'Amato, Floriana Esposito |
| 2010 | Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. Stijn Heymans, Thomas Eiter, Guohui Xiao |
| 2010 | Trust in complex actions. Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini |
| 2010 | Uncertainty Propagation for Efficient Exploration in Reinforcement Learning. Alexander Hans, Steffen Udluft |
| 2010 | Unsupervised Feature Generation using Knowledge Repositories for Effective Text Categorization. R. Rajendra Prasath, Sudeshna Sarkar |
| 2010 | Unsupervised Layer-Wise Model Selection in Deep Neural Networks. Ludovic Arnold, Hélène Paugam-Moisy, Michèle Sebag |
| 2010 | Using Background Knowledge to Support Coreference Resolution. Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko |
| 2010 | Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. Arjen Hommersom, Peter J. F. Lucas |
| 2010 | Using Crowdsourcing and Active Learning to Track Sentiment in Online Media. Anthony Brew, Derek Greene, Padraig Cunningham |
| 2010 | Using Domain Knowledge to Guide Lattice-based Complex Data Exploration. Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone |
| 2010 | Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies. Stefan Zickler, Manuela M. Veloso |
| 2010 | Vectorial Pattern Databases. Carlos Linares López |
| 2010 | Verifying Properties of Infinite Sequences of Description Logic Actions. Franz Baader, Hongkai Liu, Anees ul Mehdi |
| 2010 | What if it Suddenly Fails? Behavioral Aspects of Advanced Driver Assistant Systems on the Example of Local Danger Alerts. Angela Mahr, Yujia Cao, Mariët Theune, Veronika Dimitrova-Krause, Tim Schwartz, Christian A. Müller |