default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th ECAI 2010: Lisbon, Portugal
- Helder Coelho, Rudi Studer, Michael J. Wooldridge:
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Frontiers in Artificial Intelligence and Applications 215, IOS Press 2010, ISBN 978-1-60750-605-8
Session 1A. Propositional Logic
- Knot Pipatsrisawat, Adnan Darwiche:
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. 3-8 - Knot Pipatsrisawat, Adnan Darwiche:
On Decomposability and Interaction Functions. 9-14 - João Marques-Silva, Mikolás Janota, Inês Lynce:
On Computing Backbones of Propositional Theories. 15-20 - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Extending Clause Learning DPLL with Parity Reasoning. 21-26
Session 1B. Description Logics & Ontologies
- Rafael Peñaloza, Baris Sertkaya:
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. 29-34 - Stijn Heymans, Thomas Eiter, Guohui Xiao:
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. 35-40 - Carsten Lutz, Robert Piro, Frank Wolter:
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. 41-46 - Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang:
Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. 47-52 - Franz Baader, Hongkai Liu, Anees ul Mehdi:
Verifying Properties of Infinite Sequences of Description Logic Actions. 53-58
Session 1C. Cooperation
- Thomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings:
A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination. 61-66 - Patricia Gutierrez, Pedro Meseguer:
BnB-ADOPT+ with Several Soft Arc Consistency Levels. 67-72 - Sebastian Stein, Enrico H. Gerding, Nicholas R. Jennings:
Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms. 73-78 - Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum:
Modeling the problem of many hands in organisations. 79-84 - Gauvain Bourgne, Henry Soldano, Amal El Fallah Seghrouchni:
Learning better together. 85-90
Session 1D. Diagnosis & Discovery
- Krishna Sandeep Reddy Dubba, Anthony G. Cohn, David C. Hogg:
Event Model Learning from Complex Videos using ILP. 93-98 - Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Decentralised Symbolic Diagnosis Approach. 99-104 - Lina Ye, Philippe Dague:
Diagnosability Analysis of Discrete Event Systems with Autonomous Components. 105-110 - Gerhard Friedrich, Wolfgang Mayer
, Markus Stumptner:
Diagnosing Process Trajectories Under Partially Known Behavior. 111-116
Session 1E. Argumentation & Dialogue
- Paul E. Dunne, Sanjay Modgil, Trevor J. M. Bench-Capon:
Computation in Extended Argumentation Frameworks. 119-124 - Emanuel Santos, João Pavão Martins, Helena Galhardas:
An Argumentation-based Approach to Database Repair. 125-130 - Stefano Bistarelli, Francesco Santini:
A Common Computational Framework for Semiring-based Argumentation Systems. 131-136 - Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
Behavior-Oriented Commitment-based Protocols. 137-142
Session 1F. Learning-Based Applications (PAIS)
- Anthony Brew, Derek Greene, Padraig Cunningham:
Using Crowdsourcing and Active Learning to Track Sentiment in Online Media. 145-150 - Rongxin Li, Peter Wang, Geoff James:
Multiscale Adaptive Agent-Based Management of Storage-Enabled Photovoltaic Facilities. 151-156 - Fabio Tango, Marco Botta, Luca Minin, Roberto Montanari:
Non-intrusive Detection of Driver Distraction using Machine Learning Algorithms. 157-162 - Predrag T. Tosic, Ricardo Vilalta:
Learning and Meta-Learning for Coordination of Autonomous Unmanned Vehicles - A Preliminary Analysis. 163-168 - Stan Matwin, Joseph De Koninck, Amir Hossein Razavi, Ray Reza Amini:
Classification of Dreams Using Machine Learning. 169-174
Session 2A. Robotics & Autonomous Systems
- Cui Jian, Desislava Zhekova, Hui Shi, John A. Bateman:
Deep Reasoning in Clarification Dialogues with Mobile Robots. 177-182 - Fredrik Heintz, Jonas Kvarnström, Patrick Doherty:
Stream-Based Reasoning Support for Autonomous Systems. 183-188 - Stefan Zickler, Manuela M. Veloso:
Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies. 189-194
Session 2B. Coalitions & Teams
- Tomasz P. Michalak, Talal Rahwan, Dorota Marciniak, Marcin Szamotulski, Nicholas R. Jennings:
Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalities. 197-202 - Stéphane Airiau, Sandip Sen:
On the stability of an Optimal Coalition Structure. 203-208 - Adam M. Sykulski, Archie C. Chapman, Enrique Munoz de Cote, Nicholas R. Jennings:
EA2: The Winning Strategy for the Inaugural Lemonade Stand Game Tournament. 209-214
Session 2C. Planning
- Eric Beaudry, Froduald Kabanza, François Michaud:
Planning with Concurrency under Resources and Time Uncertainty. 217-222 - Jörg Hoffmann, Nazim Fatès, Héctor Palacios:
Brothers in Arms? On AI Planning and Cellular Automata. 223-228 - Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo:
Landmarks in Hierarchical Planning. 229-234
Session 2D. Uncertainty - Bayesian Methods
- Johan Kwisthout, Hans L. Bodlaender, Linda C. van der Gaag:
The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks. 237-242 - Daan Fierens:
Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling. 243-248 - Perry Groot, Adriana Birlutiu, Tom Heskes:
Bayesian Monte Carlo for the Global Optimization of Expensive Functions. 249-254
Session 2E. Preference Modelling & Aggregation
- Toby Walsh:
An Empirical Study of the Manipulability of Single Transferable Voting. 257-262 - Sujit Gujar, David C. Parkes:
Dynamic Matching with a Fall-back Option. 263-268 - Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera:
Learning conditionally lexicographic preference relations. 269-274
Session 2F. Biology and Nature-Related Applications (PAIS)
- Takehide Soh, Katsumi Inoue:
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. 277-282 - Orlando Ohashi, Luís Torgo, Rita P. Ribeiro:
Interval Forecast of Water Quality Parameters. 283-288 - Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran:
Data Mining for Biodiversity Prediction in Forests. 289-294
Session 3A. Clustering & Classification
- Viet-Vu Vu, Nicolas Labroche, Bernadette Bouchon-Meunier:
Boosting Clustering by Active Constraint Selection. 297-302 - Frank Lin, William W. Cohen:
A Very Fast Method for Clustering Big Text Datasets. 303-308 - Rui Leite, Pavel Brazdil:
Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning. 309-314 - Nam Nguyen:
Improving Hierarchical Classification with Partial Labels. 315-320
Session 3B. Planning
- Muhammad Abdul Hakim Newton, John Levine:
Implicit Learning of Compiled Macro-Actions for Planning. 323-328 - Blai Bonet, Malte Helmert:
Strengthening Landmark Heuristics via Hitting Sets. 329-334 - Emil Keyder, Silvia Richter, Malte Helmert:
Sound and Complete Landmarks for And/Or Graphs. 335-340 - Håkan Warnquist, Jonas Kvarnström, Patrick Doherty:
Iterative Bounding LAO. 341-346
Session 3C. Reinforcement Learning
- Francisco S. Melo, Manuel Lopes, Ricardo Ferreira:
Analysis of Inverse Reinforcement Learning with Perturbed Demonstrations. 349-354 - Reinaldo A. C. Bianchi, Ramón López de Mántaras:
Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of Actions. 355-360 - Alexander Hans, Steffen Udluft:
Uncertainty Propagation for Efficient Exploration in Reinforcement Learning. 361-366 - Luke Dickens, Krysia Broda, Alessandra Russo:
The Dynamics of Multi-Agent Reinforcement Learning. 367-372
Session 3D. Negotiation & Allocation
- Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
An Efficient Procedure for Collective Decision-making with CP-nets. 375-380 - Daniele Porello, Ulle Endriss:
Modelling Multilateral Negotiation in Linear Logic. 381-386 - Sylvain Bouveret, Ulle Endriss, Jérôme Lang:
Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods. 387-392 - Julien Lesca, Patrice Perny:
LP Solvable Models for Multiagent Fair Allocation Problems. 393-398
Session 3F. Adaptive Systems (PAIS)
- Arjen Hommersom, Peter J. F. Lucas:
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. 401-406 - Ichiro Satoh:
Context-aware Media Agent for Public Spaces. 407-412 - Charles Lesire:
An Iterative A* Algorithm for Planning of Airport Ground Movements. 413-418 - Peter Struss, Vikas Shivashankar, Mohamed Zahoor:
A Fault-model-based Debugging Aid for Data Warehouse Applications. 419-424
Session 4A. Machine Learning - Kernel Methods
- Antonino Freno, Edmondo Trentin, Marco Gori:
Kernel-Based Hybrid Random Fields for Nonparametric Density Estimation. 427-432 - Michelangelo Diligenti, Marco Gori, Marco Maggini, Leonardo Rigutini:
Multitask Kernel-based Learning with Logic Constraints. 433-438 - Sébastien Lahaie:
Kernel Methods for Revealed Preference Analysis. 439-444 - Kosta Ristovski, Debasish Das, Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic:
Regression Learning with Multiple Noisy Oracles. 445-450
Session 4B. Planning
- Peter Gregory, Derek Long, Maria Fox:
Constraint Based Planning with Composable Substate Graphs. 453-458 - Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie:
Knowledge Compilation Using Interval Automata and Applications to Planning. 459-464 - Alexandre Albore, Héctor Palacios, Hector Geffner:
Compiling Uncertainty Away in Non-Deterministic Conformant Planning. 465-470 - Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci:
Analyzing Flexible Timeline-based Plans. 471-476
Session 4C. Description Logics & Ontologies
- Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
A Unified Framework for Non-standard Reasoning Services in Description Logics. 479-484 - Mina Aslani, Volker Haarslev:
Parallel TBox Classification in Description Logics - First Experimental Results. 485-490 - Tim vor der Brück, Holger Stenzhorn:
Logical Ontology Validation Using an Automatic Theorem Prover. 491-496 - Céline Hudelot, Jamal Atif, Isabelle Bloch:
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning. 497-502 - Alexandros G. Valarakos, George A. Vouros:
Computing the Data Semantics of WSDL Specifications via Gradient Boosting. 503-508
Session 4D. Natural Language Processing & Information Retrieval
- Alexandra Balahur, Ester Boldrini, Andrés Montoyo, Patricio Martínez-Barco:
Opinion Question Answering: Towards a Unified Approach. 511-516 - Ilija Subasic, Bettina Berendt:
From bursty patterns to bursty facts: The effectiveness of temporal text mining for news. 517-522 - Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden:
Extraction of Places Related to Flickr Tags. 523-528 - Richárd Farkas, Gábor Berend, István Hegedüs, András Kárpáti, Balázs Krich:
Automatic free-text-tagging of online news archives. 529-534 - Ronan Cummins, Mounia Lalmas, Colm O'Riordan:
Learning Aggregation Functions for Expert Search. 535-540
Session 4E. Logical Foundations of MAS
- Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu:
Parallel Model Checking for Temporal Epistemic Logic. 543-548 - Xiaowei Huang, Ron van der Meyden:
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. 549-554 - Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Higher-Order Coalition Logic. 555-560 - Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
Mental State Ascription Using Dynamic Logic. 561-566 - Nils Bulling, Berndt Farwer:
On the (Un-)Decidability of Model Checking Resource-Bounded Agents. 567-572
Session 4F. Auctions & Trading Systems
- Bing Shi, Enrico H. Gerding, Perukrishnen Vytelingum, Nicholas R. Jennings:
An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious Play. 575-580 - Valentin Robu, Ioannis A. Vetsikas, Enrico H. Gerding, Nicholas R. Jennings:
Addressing the Exposure Problem of Bidding Agents Using Flexibly Priced Options. 581-586 - Meng Chang, Minghua He, Xudong Luo:
Designing a Successful Adaptive Agent for TAC Ad Auction. 587-592
Session 5A. Trust & Recommendation
- Nardine Osman, Carles Sierra, Jordi Sabater-Mir:
Propagation of Opinions in Structural Graphs. 595-600 - Junming Huang, Xueqi Cheng, Jiafeng Guo, Huawei Shen, Kun Yang:
Social Recommendation with Interpersonal Influence. 601-606 - Makoto Nakatsuji, Yasuhiro Fujiwara, Akimichi Tanaka, Tadasu Uchiyama, Toru Ishida:
Recommendations Over Domain Specific User Graphs. 607-612
Session 5B. Belief Revision, Update & Merging
- Yan Zhang, Michael Kelly, Yi Zhou:
Foundations of Tree-like Local Model Updates. 615-620 - Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
The Epistemic View of Belief Merging: Can We Track the Truth?. 621-626 - Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
Majority Merging: from Boolean Spaces to Affine Spaces. 627-632
Session 5C. Belief-Desire-Intention Architectures
- Rafael H. Bordini, Jomi Fred Hübner:
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). 635-640 - Célia da Costa Pereira, Andrea Tettamanzi:
Belief-Goal Relationships in Possibilistic Goal Generation. 641-646 - Huiliang Zhang, Zhiqi Shen, Shell-Ying Huang, Chunyan Miao:
Predicting Responsiveness of BDI Agent. 647-652
Session 5D. Applications
- Neil Burch, Robert C. Holte, Martin Müller, David O'Connell, Jonathan Schaeffer:
Automating Layouts of Sewers in Subdivisions. 655-660 - Xiaoqian Jiang, Bing Dong, Le Xie, Latanya Sweeney:
Adaptive Gaussian Process for Short-Term Wind Speed Forecasting. 661-666 - Rui Prada, João Camilo, Maria Augusta Silveira Netto Nunes:
Introducing Personality into Team Dynamics. 667-672
Session 5E. Processes & Stochastic Models
- Thomas Mensink, Jakob Verbeek, Bert Kappen:
EP for Efficient Stochastic Control with Obstacles. 675-680 - Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes:
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. 681-686 - Nathalie Peyrard, Régis Sabbadin, U. Farrokh Niaz:
Decision-theoretic Optimal Sampling in Hidden Markov Random Fields. 687-692
Session 6A. Logical Foundations of KR
- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. 695-700 - Adam Trybus:
An Axiom System for a Spatial Logic with Convexity. 701-706 - Lutz Schröder, Dirk Pattinson, Daniel Hausmann:
Optimal Tableaux for Conditional Logics with Cautious Monotonicity. 707-712 - Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat:
Linear Logic for Non-Linear Storytelling. 713-718 - Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt:
ProbLog Technology for Inference in a Probabilistic First Order Logic. 719-724
Session 6B. Search & Heuristics
- Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
A note on the complexity of some multiobjective A* search algorithms. 727-731 - Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Contract Search: Heuristic Search under Node Expansion Constraints. 733-738 - Jorge Puente, Camino R. Vela, Inés González Rodríguez:
Fast Local Search for Fuzzy Job Shop Scheduling. 739-744 - Malte Helmert, Gabriele Röger:
Relative-Order Abstractions for the Pancake Problem. 745-750 - Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, Kevin Tierney:
ISAC - Instance-Specific Algorithm Configuration. 751-756
Session 6C. Natural Language Processing
- Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko:
Using Background Knowledge to Support Coreference Resolution. 759-764 - Tony Veale, Yanfen Hao:
Detecting Ironic Intent in Creative Comparisons. 765-770 - Stefan Gindl, Albert Weichselbraun, Arno Scharl:
Cross-Domain Contextualization of Sentiment Lexicons. 771-776 - Ibrahim Adeyanju, Nirmalie Wiratunga, Juan A. Recio-García, Robert Lothian:
Learning to Author Text with textual CBR. 777-782 - Asif Ekbal, Sriparna Saha:
Classifier Ensemble using Multiobjective Optimization for Named Entity Recognition. 783-788
Session 6D. Machine Learning & Data Mining
- Chi-Cheong Szeto, Edward Hung:
Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS). 791-796 - Qiang Lou, Zoran Obradovic:
Feature Selection by Approximating the Markov Blanket in a Kernel-Induced Space. 797-802 - Rolf Baxter, David M. Lane, Yvan R. Petillot:
Recognising Agent Behaviour During Variable Length Activities. 803-808 - Vladan Radosavljevic, Slobodan Vucetic, Zoran Obradovic:
Continuous Conditional Random Fields for Regression in Remote Sensing. 809-814 - Víctor Laguna, Alneu de Andrade Lopes:
Combining Local and Global KNN With Cotraining. 815-820
Session 6E. Clustering & Classification
- S. Shivashankar, Balaraman Ravindran:
Multi Grain Sentiment Analysis using Collective Classification. 823-828 - Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani:
Temporal Relations Learning with a Bootstrapped Cross-document Classifier. 829-834 - Isabelle Alvarez, Sophie Martin, Salma Mesmoudi:
Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity. 835-840 - Georgi I. Nalbantov, Evgueni N. Smirnov:
Soft Nearest Convex Hull Classifier. 841-846 - Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone:
Using Domain Knowledge to Guide Lattice-based Complex Data Exploration. 847-852
Session 6F. Constraints
- Thanasis Balafoutis, Kostas Stergiou:
Adaptive Branching for Constraint Satisfaction Problems. 855-860 - George Katsirelos, Toby Walsh:
Symmetries of Symmetry Breaking Constraints. 861-866 - Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu:
Solving Pseudo-Boolean Modularity Constraints. 867-872 - Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie:
Learning When to Use Lazy Learning in Constraint Solving. 873-878
Session 7A. Action, Time, and Change
- Andreas Bauer, Patrik Haslum:
LTL Goal Specifications Revisited. 881-886 - Jens Claßen, Gerhard Lakemeyer:
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. 887-892
Session 7B. Foundations of Logical Reasoning
- Reinhard Pichler, Stefan Woltran:
The Complexity of Handling Minimal Solutions in Logic-Based Abduction. 895-900 - Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet:
Abduction of distributed theories through local interactions. 901-906
Session 7C. Neural Nets
- Kyriakos C. Chatzidimitriou, Pericles A. Mitkas:
A NEAT Way for Evolving Echo State Networks. 909-914 - Ludovic Arnold, Hélène Paugam-Moisy, Michèle Sebag:
Unsupervised Layer-Wise Model Selection in Deep Neural Networks. 915-920
Session 7D. Origins of Language
- Kateryna Gerasymova, Michael Spranger:
Acquisition of Grammar in Autonomous Artificial Systems. 923-928 - Michael Spranger, Martin Loetzsch, Simon Pauw:
Open-ended Grounded Semantics. 929-934
Session 7E. Uncertainty in AI
- Dominik Jain, Andreas Barthels, Michael Beetz:
Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic Parameters. 937-942 - Salem Benferhat, Karim Tabia:
Min-based causal possibilistic networks: Handling interventions and analyzing the possibilistic counterpart of Jeffrey's rule of conditioning. 943-948
Session 7F. Logic & Answer Set Programming
- Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits:
On Testing Answer-Set Programs. 951-956 - Martin Slota, João Leite:
On Semantic Update Operators for Answer-Set Programs. 957-962
Short Papers
- Amanda Jane Coles, Andrew Coles:
Completeness-Preserving Pruning for Optimal Planning. 965-966 - Angelo Oddi, Riccardo Rasconi, Amedeo Cesta:
Project Scheduling as a Disjunctive Temporal Problem. 967-968 - Patrice Perny, Paul Weng:
On Finding Compromise Solutions in Multiobjective Markov Decision Processes. 969-970 - Abdel-Illah Mouaddib, Shlomo Zilberstein, Aurélie Beynier, Laurent Jeanpierre:
A Decision-Theoretic Approach to Cooperative Control and Adjustable Autonomy. 971-972 - Kira Mourão, Ronald P. A. Petrick, Mark Steedman:
Learning action effects in partially observable domains. 973-974 - Francisco M. Campos, Luís Correia, J. M. F. Calado:
A Probabilistic Approach to Appearance-Based Localization and Mapping. 975-976 - Ko-Hsin Cindy Wang, Adi Botea:
Scalable Multi-Agent Pathfinding on Grid Maps with Tractability and Completeness Guarantees. 977-978 - Carsten Rachuy, Ubbo Visser:
Behavior-analysis and -prediction for agents in real-time and dynamic adversarial environments. 979-980 - Yun Peng, Shenyong Zhang:
Integrating Probability Constraints into Bayesian Nets. 981-982 - Magdalena Ivanovska, Martin Giese:
Probabilistic Logic with Conditional Independence Formulae. 983-984 - Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
Towards Learning to Rank in Description Logics. 985-986 - Huanhuan Chen, Anthony G. Cohn:
Buried Utility Pipeline Mapping based on Street Survey and Ground Penetrating Radar. 987-988 - Gabriel Prat-Masramon, Lluís A. Belanche Muñoz:
Exploiting the Accumulated Evidence for Gene Selection in Microarray Gene Expression Data. 989-990 - Kostyantyn M. Shchekotykhin, Gerhard Friedrich:
Diagnosis discrimination for ontology debugging. 991-992 - Juan Manuel Serrano, Sergio Saugar, Rosario Laurendi, Francesco Buccafurri:
A contextual reading of conditional commitments. 993-994 - Claudette Cayrol, Caroline Devred, Marie-Christine Lagasquie-Schiex:
Acceptability semantics accounting for strength of attacks in argumentation. 995-996 - Isaac Pinyol, Jordi Sabater-Mir:
An Argumentation-Based Dialog for Social Evaluations Exchange. 997-998 - Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukiàs:
Dealing with the dynamics of proof-standard in argumentation-based decision aiding. 999-1000 - Óscar Sapena, Eva Onaindia, Alejandro Torreño:
On the use of Argumentation in Multi-Agent Planning. 1001-1002 - Souhila Kaci, Christophe Labreuche:
Preference-Based Argumentation Framework with Varied-Preference Intensity. 1003-1004 - Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isberner, Nicolas Maudet, Pavlos Moraitis:
ABA: Argumentation Based Agents. 1005-1006 - Maria Laura Cobo, Diego C. Martínez, Guillermo Ricardo Simari:
On Admissibility in Timed Abstract Argumentation Frameworks. 1007-1008 - Javier Murillo, Beatriz López:
Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions. 1009-1010 - Víctor Muñoz, Dídac Busquets:
Balancing Optimality and Robustness in Resource Allocation Problems. 1011-1012 - Jordan Berg, Amy Greenwald, Victor Naroditskiy, Eric Sodomka:
A Knapsack-Based Approach to Bidding in Ad Auctions. 1013-1014 - Thomas Génin, Samir Aknine:
Coalition Formation Strategies for Self-Interested Agents in Hedonic Games. 1015-1016 - Talal Rahwan, Tomasz P. Michalak, Madalina Croitoru, Jacek Sroka, Nicholas R. Jennings:
A Network Flow Approach to Coalitional Games. 1017-1018 - Dorothea Baumeister, Jörg Rothe:
Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring Rules. 1019-1020 - Anja Rey, Jörg Rothe:
Complexity of Merging and Splitting for the Probabilistic Banzhaf Power Index in Weighted Voting Games. 1021-1022 - Joel Uckelman:
Alice and Bob Will Fight: The Problem of Electing a Committee in the Presence of Candidate Interdependence. 1023-1024 - Meritxell Vinyals, Juan A. Rodríguez-Aguilar, Jesús Cerquides:
Egalitarian Utilities Divide-and-Coordinate: Stop arguing about decisions, let's share rewards!. 1025-1026 - Moser Silva Fagundes, Holger Billhardt, Sascha Ossowski:
Reasoning about Norm Compliance with Rational Agents. 1027-1028 - Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos:
Collective Sensor Configuration in Uncharted Environments. 1029-1030 - John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
On the Life-Cycle of BDI Agent Goals. 1031-1032 - Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk:
A unified interaction-aware goal framework. 1033-1034 - Patricia H. Shaw, Rafael H. Bordini:
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem. 1035-1036 - Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini:
Trust in complex actions. 1037-1038 - Anouar Ben Hassena, Laurent Miclet:
Analogical learning using dissimilarity between tree-structures. 1039-1040 - Philip Stahl, Marco Ragni:
Complexity in Analogy Tasks: An Analysis and Computational Model. 1041-1042 - Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich, Erich Teppan:
Efficient Explanations for Inconsistent Constraint Sets. 1043-1044 - Teresa García-Valverde, Alberto García-Sola, Juan A. Botía:
Improving RFID's Location Based Services by means of Hidden Markov Models. 1045-1046 - José Antonio Iglesias, Plamen Angelov, Agapito Ledezma, Araceli Sanchis:
Human Activity Recognition in Intelligent Home Environments: An Evolving Approach. 1047-1048 - Jean-Paul Sansonnet, François Bouchet:
Joint handling of Rational and Behavioral reactions in Assistant Conversational Agents. 1049-1050 - Angela Mahr, Yujia Cao, Mariët Theune, Veronika Dimitrova-Krause, Tim Schwartz, Christian A. Müller:
What if it Suddenly Fails? Behavioral Aspects of Advanced Driver Assistant Systems on the Example of Local Danger Alerts. 1051-1052 - Luís Macedo:
Selecting Information based on Artificial Forms of Selective Attention. 1053-1054 - Jean Oh, Felipe Meneguzzi, Katia P. Sycara:
ANTIPA: an agent architecture for intelligent information assistance. 1055-1056 - Tristan Cazenave:
Nested Monte-Carlo Expression Discovery. 1057-1058 - Carlos Linares López:
Vectorial Pattern Databases. 1059-1060 - David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Improving the Global Constraint SoftPrec. 1061-1062 - Martin Hofmann, Ute Schmid:
Data-Driven Detection of Recursive Program Schemes. 1063-1064 - Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
Horn Belief Change: A Contraction Core. 1065-1066 - Tony Dujardin, Jean-Christophe Routier:
A Motivation-Based Mechanism to Design Behaviors. 1067-1068 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. 1069-1070 - Bernhard Heinemann:
Refining the Notion of Effort. 1071-1072 - Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A constructive conditional logic for access control: a preliminary report. 1073-1074 - Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima:
A Logical Model of Intention and Plan Dynamics. 1075-1076 - Mika Cohen, Alessio Lomuscio:
Non-elementary speed up for model checking synchronous perfect recall. 1077-1078 - Matthias Knorr, José Júlio Alferes:
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. 1079-1080 - Xavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet:
Improving the efficiency of ontology engineering by introducing prototypicality. 1081-1082 - Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Implementing Simple Modular ERDF ontologies. 1083-1084 - Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen B. Venable, Toby Walsh:
Local search algorithms on the Stable Marriage Problem: Experimental Studies. 1085-1086 - Frank Dylla, Jae Hee Lee:
A Combined Calculus on Orientation with Composition Based on Geometric Properties. 1087-1088 - Paulo Santos, Hannah M. Dee, Valquiria Fenelon:
Knowledge-based adaptive thresholding from shadows. 1089-1090 - Jochen Renz, Stefan Wölfl:
A Qualitative Representation of Route Networks. 1091-1092 - Matthias Westphal, Stefan Wölfl, Jason Jingshi Li:
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. 1093-1094 - Nicholas Wilkinson, Terry Bossomaier, Michael Harré, Allan Snyder:
Strategic planning in the game of Go using coupled non-linear oscillators. 1095-1096 - Nadejda Nikitina:
Semi-Automatic Revision of Formalized Knowledge. 1097-1098 - Mark Bartlett, Iain Bate, James Cussens:
Instruction Cache Prediction Using Bayesian Networks. 1099-1100 - R. Rajendra Prasath, Sudeshna Sarkar:
Unsupervised Feature Generation using Knowledge Repositories for Effective Text Categorization. 1101-1102 - Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg:
Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs. 1103-1104 - Borut Sluban, Dragan Gamberger, Nada Lavrac:
Advances in Class Noise Detection. 1105-1106 - Michelangelo Ceci, Annalisa Appice, Donato Malerba:
Time-Slice Density Estimation for Semantic-Based Tourist Destination Suggestion. 1107-1108 - Hadrien Cambazard, Tarik Hadzic, Barry O'Sullivan:
Knowledge Compilation for Itemset Mining. 1109-1110 - Santiago Ontañón, Enric Plaza:
Towards Argumentation-based Multiagent Induction. 1111-1112 - Tarek Abudawood, Peter A. Flach:
The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery. 1113-1114 - Juan Alfonso Lara, Aurora Pérez-Pérez, Juan Pedro Valente, África López-Illescas:
Generating time series reference models based on event analysis. 1115-1116 - Corrado Loglisci, Michelangelo Ceci, Donato Malerba:
Mining Physiological Data for Discovering Temporal Patterns on Disease Stages. 1117-1118 - Petr Kosina, João Gama, Raquel Sebastião:
Drift Severity Metric. 1119-1120 - Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic:
Prediction of Attributes and Links in Temporal Social Networks. 1121-1122 - Harris Papadopoulos, Haris Haralambous:
Reliable Predictive Intervals for the Critical Frequency of the F2 Ionospheric Layer. 1123-1124 - Michael Winsper, Maria Chli:
Decentralised Supply Chain Formation: A Belief Propagation-based Approach. 1125-1126 - Bedeho Mender:
Formal Analysis of Models for the Mammalian Vision System. 1127-1128 - Nuno C. Marques, Carlos Gomes:
Implementing an Intelligent Moving Average with a Neural Network. 1129-1130 - Blaise Hanczar, Mohamed Nadif:
Bagged Biclustering for Microarray Data. 1131-1132 - Livio Robaldo:
On the Maximalization of the Witness sets in Independent Set readings. 1133-1134 - Hugo Gonçalo Oliveira, Paulo Gomes:
Automatic Creation of a Conceptual Base for Portuguese using Clustering Techniques. 1135-1136 - Martin Hacker, David Elsweiler, Bernd Ludwig:
Investigating Human Speech Processing as a Model for Spoken Dialogue Systems: An Experimental Framework. 1137-1138 - Meshrif Alruily, Aladdin Ayesh, Hussein Zedan:
Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic Text. 1139-1140 - José M. Carmona-Cejudo, Manuel Baena-García, José del Campo-Ávila, Rafael Morales Bueno, Albert Bifet:
GNUsmail: Open Framework for On-line Email Classification. 1141-1142 - Alessandro Cucchiarelli, Fulvio D'Antonio:
Discovering Collaboration Opportunities in Research-Oriented Networks. 1143-1144 - Haythem O. Ismail, Nasr Kasrin:
High-Level Perception as Focused Belief Revision. 1145-1146
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-11 23:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
