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