default search action
18th ECAI 2008: Patras, Greece
- Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris:
ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings. Frontiers in Artificial Intelligence and Applications 178, IOS Press 2008, ISBN 978-1-58603-891-5
I. Invited Talks
- Monique Thonnat:
Semantic Activity Recognition. 3-7 - Zoubin Ghahramani:
Bayesian Methods for Artificial Intelligence and Machine Learning. 8 - Pascal Van Hentenryck:
The Impact of Constraint Programming. 9 - George Metakides:
Web Science. 10
II. Papers
1. Knowledge Representation and Reasoning
- Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
:
Advanced Preprocessing for Answer Set Solving. 15-19 - Emmanuel Blanchard, Mounira Harzallah, Pascale Kuntz:
A generic framework for comparing semantic similarities on a subsumption hierarchy. 20-24 - Christoph Haase
Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. 25-29 - Mikhail Soutchanski, Paulo Santos
Reasoning about Dynamic Depth Profiles. 30-34 - Katsumi Inoue
Comparing Abductive Theories. 35-39 - Bernardo Cuenca Grau, Ian Horrocks:
Privacy-Preserving Query Answering in Logic-based Information Systems. 40-44 - Freddy Lécué, Alexandre Delteil, Alain Léger:
Optimizing Causal Link Based Web Service Composition. 45-49 - Hélène Fargier, Pierre Marquis:
Extending the Knowledge Compilation Map: Closure Principles. 50-54 - Boris Konev
Semantic Modularity and Module Extraction in Description Logics. 55-59 - Thomas Eiter, Kazuhisa Makino:
New Results for Horn Cores and Envelopes of Horn Disjunctions. 60-64 - Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters:
Belief revision with reinforcement learning for interactive object recognition. 65-69 - George Konstantinidis
A Formal Approach for RDF/S Ontology Evolution. 70-74 - Tomi Janhunen:
Modular Equivalence in General. 75-79 - Markus Krötzsch, Sebastian Rudolph
Description Logic Rules. 80-84 - Pavlos Peppas
Conflicts between Relevance-Sensitive and Iterated Belief Revision. 85-88 - Oliver Kutz, Till Mossakowski
Conservativity in Structured Ontologies. 89-93 - Julien Hué, Éric Würbel, Odile Papini:
Removed Sets Fusion: Performing Off The Shelf. 94-98 - Matthias Knorr
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. 99-103
2. Machine Learning
- Fabrizio Angiulli
Prototype-based Domain Description. 107-111 - Frédéric Koriche:
Online Rule Learning via Weighted Model Counting. 112-116 - Ioannis Partalas, Grigorios Tsoumakas, Ioannis P. Vlahavas:
Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection. 117-121 - Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo:
MTForest: Ensemble Decision Trees based on Multi-Task Learning. 122-126 - Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone:
Many-Valued Concept Lattices for Conceptual Clustering and Information Retrieval. 127-131 - Christoforos Anagnostopoulos
Online optimization for variable selection in data streams. 132-136 - Stefan Raeymaekers, Maurice Bruynooghe:
Sub Node Extraction with Tree Based Wrappers. 137-141 - Daniel Rivero, Julián Dorado
Automatic Recurrent ANN development for signal classification: detection of seizures in EEGs. 142-146 - Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli:
A Method for Classifying Vertices of Labeled Graphs Applied to Knowledge Discovery from Molecules. 147-151 - Liviu Badea, Doina Tilivea:
Nonnegative Decompositions with Resampling for Improving Gene Expression Data Biclustering Stability. 152-156 - Francisco S. Melo:
Exploiting locality of interactions using a policy-gradient approach in multiagent learning. 157-161 - Susanne Hoche, Peter A. Flach, David Hardcastle:
A Fast Method for Property Prediction in Graph-Structured Data from Positive and Unlabelled Examples. 162-166 - José Luis Montaña
VCD Bounds for some GP Genotypes. 167-171 - Pedro Pereira Rodrigues
Robust Division in Clustering of Streaming Time Series. 172-176
3. Model-Based Diagnosis and Reasoning
- Emmanuel Benazera, Louise Travé-Massuyès:
Generating Diagnoses from Conflict Sets with Continuous Attributes. 179-183 - Peter Struss, Axel Kather, Dominik Schneider, Tobias Voigt:
A Compositional Mathematical Model of Machines Transporting Rigid Objects. 184-188 - Xiangfu Zhao, Dantong Ouyang:
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. 189-193 - Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Rozé:
Chronicles for On-line Diagnosis of Distributed Systems. 194-198 - Gregory M. Provan
Test Generation for Model-Based Diagnosis. 199-203 - Gianfranco Lamperti
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. 204-208 - Priscilla Kan John, Alban Grastien:
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. 209-213 - Peter Sutovskú, Gregory F. Cooper:
Hierarchical explanation of inference in Bayesian networks that represent a population of independent agents. 214-218 - Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive:
Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis. 219-223 - Farid Nouioua, Philippe Dague:
A probabilistic analysis of diagnosability in discrete event systems. 224-228 - Pedro T. Monteiro
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. 229-233 - Martin Mozina, Matej Guid, Jana Krivec, Aleksander Sadikov, Ivan Bratko:
Fighting Knowledge Acquisition Bottleneck with Argument Based Machine Learning. 234-238
4. Cognitive Modeling and Interaction
- Andreas Arzt, Gerhard Widmer
Automatic Page Turning for Musicians via Real-Time Machine Listening. 241-245 - Fulvio Mastrogiovanni
CDL: an Integrated Framework for Context Specification and Recognition. 246-250 - Yong Zhen Guo, Kotagiri Ramamohanarao, Laurence Anthony F. Park:
Web Page Prediction Based on Conditional Random Fields. 251-255 - Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. 256-260 - Jérôme Kunegis, Stephan Schmidt, Sahin Albayrak, Christian Bauckhage, Martin Mehlitz:
Modeling Collaborative Similarity with the Signed Resistance Distance Kernel. 261-265 - Fiemke Both, Mark Hoogendoorn, Michel C. A. Klein
Modeling the Dynamics of Mood and Depression. 266-270 - Axel Tidemann, Yiannis Demiris
Groovy Neural Networks. 271-275 - Arndt Faulhaber, Erica Melis:
An Efficient Student Model Based on Student Performance and Metadata. 276-280
5. Natural Language Processing
- Evita Linardaki:
Reducing Bias Effects in DOP Parameter Estimation. 283-287 - Hans Hjelm, Paul Buitelaar:
Multilingual Evidence Improves Clustering-based Taxonomy Extraction. 288-292 - Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani:
Unsupervised Grammar Induction Using a Parent Based Constituent Context Model. 293-297 - Ioannis P. Klapaftis, Suresh Manandhar:
Word Sense Induction Using Graphs of Collocations. 298-302 - Georgios Petasis, Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos:
Learning context-free grammars to extract relations from text. 303-307 - Tony Veale
Talking Points in Metaphor: A Concise Usage-based Representation for Figurative Processing. 308-312 - Sven Hartrumpf:
Semantic Decomposition for Question Answering. 313-317 - Wouter Weerkamp, Krisztian Balog, Maarten de Rijke:
Finding Key Bloggers, One Post At A Time. 318-322 - Bernd Ludwig, Martin Hacker:
Why is this Wrong? - Diagnosing Erroneous Speech Recognizer Output with a Two Phase Parser. 323-327 - Feiyu Xu, Hans Uszkoreit, Hong Li:
Task Driven Coreference Resolution for Relation Extraction. 328-332 - Danushka Bollegala
WWW sits the SAT: Measuring Relational Similarity on the Web. 333-337 - Preslav Nakov
Improved Statistical Machine Translation Using Monolingual Paraphrases. 338-342 - Lars Yencken, Timothy Baldwin:
Orthographic similarity search for dictionary lookup of Japanese words. 343-347
6. Uncertainty and AI
- Jérôme Lang, Leendert W. N. van der Torre
From Belief Change to Preference Change. 351-355 - Jianbing Ma, Weiru Liu:
A General Model for Epistemic State Revision using Plausibility Measures. 356-360 - Marenglen Biba, Stefano Ferilli, Floriana Esposito:
Structure Learning of Markov Logic Networks through Iterated Local Search. 361-365 - Bruno Escoffier, Jérôme Lang, Meltem Öztürk:
Single-peaked consistency and its complexity. 366-370 - Anbu Yue, Weiru Liu:
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs. 371-375 - Souhila Kaci, Henri Prade:
Mastering the Processing of Preferences by Using Symbolic Priorities in Possibilistic Logic. 376-380
7. Distributed and Multi-Agents Systems
- Yoann Kubera, Philippe Mathieu, Sébastien Picault:
Interaction-Oriented Agent Simulations: From Theory to Implementation. 383-387 - Tomasz P. Michalak
Optimal Coalition Structure Generation In Partition Function Games. 388-392 - Edith Elkind, Georgios Chalkiadakis
Coalition Structures in Weighted Voting Games. 393-397 - Mark Hoogendoorn, Maria L. Gini
Agents Preferences in Decentralized Task Allocation. 398-402 - Nicola Gatti:
Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form. 403-407 - Roberto Micalizio
Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability. 408-412 - Paulo Trigo
A hybrid approach to multi-agent decision-making. 413-417 - Thomas Génin, Samir Aknine:
Coalition Formation Strategies for Self-Interested Agents. 418-422 - Roman van der Krogt, Mathijs de Weerdt, Yingqian Zhang:
Of Mechanism Design Multiagent Planning. 423-427 - Perukrishnen Vytelingum, Ioannis A. Vetsikas, Bing Shi, Nicholas R. Jennings
IAMwildCAT: The Winning Strategy for the TAC Market Design Competition. 428-432 - Natalia Akchurina:
Multi-Agent Reinforcement Learning Algorithm with Variable Optimistic-Pessimistic Criterion. 433-437 - Danny Kuminov, Moshe Tennenholtz:
As Safe As It Gets: Near-Optimal Learning in Multi-Stage Games with Imperfect Monitoring. 438-442 - Patricia Anthony
A Heuristic Based Seller Agent for Simultaneous English Auctions. 443-447 - Athanasios Papakonstantinou, Alex Rogers, Enrico H. Gerding, Nicholas R. Jennings
A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs. 448-452 - Célia da Costa Pereira
Goal Generation and Adoption from Partially Trusted Beliefs. 453-457 - Raphaël Maîtrepierre, Jérémie Mary, Rémi Munos:
Adaptive play in Texas Hold'em Poker. 458-462 - Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud
Theoretical and Computational Properties of Preference-based Argumentation. 463-467 - Henrique Lopes Cardoso
Norm Defeasibility in an Institutional Normative Framework. 468-472
8. Constraints and Search
- Christian Bessiere, Emmanuel Hebrard
SLIDE: A Useful Special Case of the CARDPATH Constraint. 475-479 - Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
Frontier Search for Bicriterion Shortest Path Problems. 480-484 - Kostas Stergiou:
Heuristics for Dynamically Adapting Propagation. 485-489 - Patrice Perny, Olivier Spanjaard:
Near Admissible Algorithms for Multiobjective Search. 490-494 - Mehdi Samadi, Maryam Siabani, Ariel Felner
Compressing Pattern Databases with Learning. 495-499 - Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel:
A Decomposition Technique for Max-CSP. 500-504 - Graeme Gange, Vitaly Lagoon, Peter J. Stuckey:
Fast Set Bounds Propagation using BDDs. 505-509 - Emanuele Di Rosa, Enrico Giunchiglia
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. 510-514 - Jason Jingshi Li, Tomasz Kowalski
Combining binary constraint networks in qualitative reasoning. 515-519 - Pierre Flener, Justin Pearson:
Solving Necklace Constraint Problems. 520-524 - Cédric Piette, Youssef Hamadi, Lakhdar Sais:
Vivifying Propositional Clausal Formulae. 525-529 - Martin C. Cooper
Hybrid tractable CSPs which generalize tree structure. 530-534 - Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Justification-Based Non-Clausal Local Search for SAT. 535-539 - Carlos Linares López
Multi-valued Pattern Databases. 540-544 - Mehdi Samadi, Jonathan Schaeffer, Fatemeh Torabi Asr, Majid Samar, Zohreh Azimifar:
Using abstraction in Two-Player Games. 545-549
9. Planning and Scheduling
- Luke Hunsberger:
A Practical Temporal Constraint Management System for Real-Time Applications. 553-557 - Jörg Hoffmann:
Towards Efficient Belief Update for Planning-Based Web Service Composition. 558-562 - Nabil Belgasmi, Lamjed Ben Said
Genetic Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity. 563-567 - Jussi Rintanen
Regression for Classical and Nondeterministic Planning. 568-572 - Alfonso Gerevini
Combining Domain-Independent Planning and HTN Planning: The Duet Planner. 573-577 - André A. Ciré, Adi Botea:
Learning in Planning with Temporally Extended Goals and Uncontrollable Events. 578-582 - Emmanuel Rachelson, Gauthier Quesnel, Frédérick Garçia, Patrick Fabiani:
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes. 583-587 - Emil Keyder, Hector Geffner
Heuristics for Planning with Action Costs Revisited. 588-592 - Nico Roos, Cees Witteveen:
Diagnosis of Simple Temporal Networks. 593-597
10. Perception, Sensing and Cognitive Robotics
- Katrin Amlacher, Lucas Paletta
An Attentive Machine Interface Using Geo-Contextual Awareness for Mobile Vision Tasks. 601-605 - Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation. 606-610 - Geoffroy Fouquier, Jamal Atif, Isabelle Bloch:
Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs. 611-615 - Robert Lundh, Lars Karlsson, Alessandro Saffiotti
Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps. 616-620 - Olivier Nempont, Jamal Atif, Elsa D. Angelini
Structure segmentation and recognition in images guided by structural constraint propagation. 621-625 - Arnaud Glad, Olivier Simonin, Olivier Buffet, François Charpillet
Theoretical Study of Ant-based Algorithms for Multi-Agent Patrolling. 626-630 - Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis:
Incremental Component-Based Construction and Verification of a Robotic System. 631-635 - Pierre Lison, Geert-Jan M. Kruijff:
Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction. 636-640
III. Prestigious Applications of Intelligent Systems (PAIS)
- Juan M. Corchado, Aitor Mata, Juan Francisco de Paz
A new CBR approach to the oil spill problem. 643-647 - Ian Blacoe, Ignazio Palmisano, Valentina A. M. Tamma, Luigi Iannone:
QuestSemantics - Intelligent Search and Retrieval of Business Knowledge. 648-652 - Lucie Callens, Guy Carrault, Marie-Odile Cordier, Élisa Fromont, François Portet, Rene Quiniou:
Intelligent adaptive monitoring for cardiac surveillance. 653-657 - Marina Velikova, Peter J. F. Lucas, Nivea de Carvalho Ferreira, Maurice Samulski, Nico Karssemeijer:
A decision support system for breast cancer detection in screening programs. 658-662 - Paul R. Cohen, Carole R. Beal, Niall M. Adams:
The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System. 663-667 - Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. 668-672 - Matthias Haringer, Lothar Hotz, Vera Kamp:
Two Stage Knowledge Discovery for Spatio-temporal Radio-emission Data. 673-677 - Jim Hunter, Albert Gatt, François Portet, Ehud Reiter, Somayajulu Sripada:
Using Natural Language Generation Technology to Improve Information Flows in Intensive Care Units. 678-682 - Frank Puppe, Martin Atzmüller, Georg Buscher, Matthias Hüttig, Hardi Luehrs, Hans-Peter Buscher:
Application and Evaluation of a Medical Knowledge System in Sonography (SONOCONSULT). 683-687 - Vangelis Karkaletsis, Pythagoras Karampiperis, Konstantinos Stamatakis, Martin Labský, Marek Ruzicka, Vojtech Svátek, Enrique Amigó, Matti Pöllä, Miquel Angel Mayer
Automating Accreditation of Medical Web Content. 688-692 - Rossella Blatt, Andrea Bonarini, Elisa Calabró, Matteo Matteucci, Matteo Della Torre, Ugo Pastorino:
Pattern Classification Techniques for Early Lung Cancer Diagnosis using an Electronic Nose. 693-697 - Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson
A BDD Approach to the Feature Subscription Problem. 698-702 - Amedeo Cesta, Gabriella Cortellessa, Michel Denis, Alessandro Donati, Simone Fratini, Angelo Oddi
Continuous Plan Management Support for Space Missions: the RAXEM Case. 703-707 - Roberta Annicchiarico, Cristian Barrué
The i-Walker: an intelligent pedestrian mobility aid. 708-712 - Dymitr Ruta
Mixture of Gaussians Model for Robust Pedestrian Images Detection. 713-717
IV. Short Papers
1. Knowledge Representation and Reasoning
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Deriving explanations from causal information. 723-724 - Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. 725-726 - Laurent Mazuel, Nicolas Sabouret:
Semantic relatedness in semantic networks. 727-728 - Georgios Meditskos, Nick Bassiliades:
HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies. 729-730 - Georgios Meditskos, Nick Bassiliades:
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments. 731-732 - Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
Computability and Complexity Issues of Extended RDF. 733-734 - Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal:
Automated Web Services Composition Using Extended Representation of Planning Domain. 735-736 - Patricia Everaere, Sébastien Konieczny
Propositional merging operators based on set-theoretic closeness. 737-738 - Simona Colucci
Partial and Informative Common Subsumers in Description Logics. 739-740 - Meghyn Bienvenu, Andreas Herzig, Guilin Qi:
Prime Implicate-based Belief Revision Operators. 741-742 - Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana:
Approximate structure preserving semantic matching. 743-744 - Nabil Benayadi, Marc Le Goc
Discovering Temporal Knowledge from a Crisscross of Timed Observations. 745-746 - Antonis C. Kakas
Fred meets Tweety. 747-748 - Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu:
Definability in Logic and Rough Set Theory. 749-750 - Simone Paolo Ponzetto, Michael Strube:
WikiTaxonomy: A Large Scale Knowledge Resource. 751-752 - Pavel Cejnar:
Computing e-Optimal Strategies in Bridge and Other Games of Sequential Outcome. 753-754
2. Machine Learning
- Yaxin Bi, Shengli Wu, Pan Xiong, Xuhui Shen:
Classifier Combination Using a Class-indifferent Method. 757-758 - Ioannis Partalas, Georgios Paliouras, Ioannis P. Vlahavas:
Reinforcement Learning with Classifier Selection for Focused Crawling. 759-760 - Luís F. Simões
Intuitive Action Set Formation in Learning Classifier Systems with Memory Registers. 761-762 - Ioannis Katakis, Grigorios Tsoumakas, Ioannis P. Vlahavas:
An Ensemble of Classifiers for coping with Recurring Contexts in Data Streams. 763-764 - Paola Velardi
Content-Based Social Network Analysis. 765-766 - Marc-Ismaël Akodjènou-Jeannin, Patrick Gallinari:
Efficient Data Clustering by Local Density Approximation. 767-768 - Manolis Maragoudakis, Euripidis N. Loukis, Panayotis-Prodromos Pantelides:
Gas Turbine Fault Diagnosis using Random Forests. 769-770 - Satoshi Oyama, Katsumi Tanaka:
How Many Objects?: Determining the Number of Clusters with a Skewed Distribution. 771-772 - Murat Sensoy
Active Concept Learning For Ontology Evolution. 773-774 - Elias Zavitsanos, Sergios Petridis, Georgios Paliouras, George A. Vouros:
Determining Automatically the Size of Learned Ontologies. 775-776 - Nicos G. Pavlidis, Dimitris K. Tasoulis, Niall M. Adams, David J. Hand
Dynamic Multi-Armed Bandit with Covariates. 777-778 - Robby Goetschalckx, Scott Sanner, Kurt Driessens:
Reinforcement Learning with the Use of Costly Features. 779-780 - Emanuel Kitzelmann:
Data-driven Induction of Functional Programs. 781-782 - Ivanoe De Falco, Antonio Della Cioppa
CTRNN Parameter Learning using Differential Evolution. 783-784
3. Model-Based Diagnosis and Reasoning
- Alban Grastien, Anbulagan:
Incremental Diagnosis of DES by Satisfiability. 787-788 - Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal:
Characterizing and checking self-healability. 789-790 - Belarmino Pulido Junquera
Improving robustness in consistency-based diagnosis using possible conflicts. 791-792 - Gianfranco Lamperti
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. 793-794 - Anika Schumann, Wolfgang Mayer
Distributed Repair of Nondiagnosability. 795-796 - Mihai Nica, Franz Wotawa:
From constraint representations of sequential code and program annotations to their use in debugging. 797-798 - Esben Rune Hansen, S. Srinivasa Rao, Peter Tiedemann:
Compressing Binary Decision Diagrams. 799-800 - Jörg Weber, Franz Wotawa:
Dependent Failures in Consistency-based Diagnosis. 801-802 - Gianluca Torta
Cost-sensitive Iterative Abductive Reasoning with abstractions. 803-804 - Gianluca Torta
Computation of Minimal Sensor Sets for Conditional Testability Requirements. 805-806 - Ildikó Flesch, Peter J. F. Lucas:
Combining Abduction with Conflict-based Diagnosis. 807-808
4. Cognitive Modeling and Interaction
- Bruno Bouchard, Patrice Roy, Abdenour Bouzouane, Sylvain Giroux, A. Mihailidis:
An Activity Recognition Model for Alzheimer's Patients: Extension of the COACH Task Guidance System. 811-812 - Dylan Evans
Not so new: overblown claims for 'new' approaches to emotion. 813-814 - Roman V. Belavkin, Christian R. Huyck:
Emergence of Rules in Cell Assemblies of fLIF Neurons. 815-816 - Émilie Samuel, Colin de la Higuera:
ERS: Evaluating Reputations of Scientific Journals. 817-818 - Keita Sato, Yoko Nishihara, Wataru Sunayama:
Personal Experience Acquisition Support from Blogs using Event-Depicting Images. 819-820 - H. Joe Steinhauer:
Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames. 821-822 - Sylvain Castagnos, Armelle Brun, Anne Boyer:
Probabilistic Reinforcement Rules for Item-Based Recommender Systems. 823-824 - José Antonio Iglesias, Agapito Ledezma, Araceli Sanchis, Gal A. Kaminka:
An Efficient Behavior Classifier based on Distributions of Relevant Events. 825-826 - Robert Lokaiczyk, Manuel Görtz:
ContextAggregator: A heuristic-based approach for automated feature construction and selection. 827-828 - Alexiei Dingli, Charlie Abela
A pervasive assistant for nursing and doctoral staff. 829-830
5. Natural Language Processing
- Spyridon Plakias, Efstathios Stamatatos
Author Identification Using a Tensor Space Representation. 833-834 - Nicholas Asher, Farah Benamara
Categorizing Opinion in Discourse. 835-836 - Tim vor der Brück, Holger Stenzhorn:
A Dynamic Approach for Automatic Error Detection in Generation Grammars. 837-838 - Chao Shen, Xipeng Qiu
Answering Definition Question: Ranking for Top-k. 839-840 - Thierry Declerck, Hans-Ulrich Krieger, Horacio Saggion, Marcus Spies:
Ontology-Driven Human Language Technology for Semantic-Based Business Intelligence. 841-842 - David M. W. Powers
Evaluation Evaluation. 843-844
6. Uncertainty and AI
- Laura-Andreea Antanas, Kurt Driessens, Jan Ramon, Tom Croonenborghs:
Using Decision Trees as the Answer Networks in Temporal Difference-Networks. 847-848 - Nic Wilson
An Efficient Deduction Mechanism for Expressive Comparative Preferences Languages. 849-850 - Adamo Santana, Gregory M. Provan
An Analysis of Bayesian Network Model-Approximation Techniques. 851-852
7. Distributed and Multi-Agents Systems
- Laura Giordano
Verifying the Conformance of Agents with Multiparty Protocols. 855-856 - Helena Keinänen, Misa Keinänen:
Simulated Annealing for Coalition Formation. 857-858 - Emanuel Santos, João Pavão Martins:
A Default Logic Based Framework for Argumentation. 859-860 - Inon Zuckerman
An Empirical Investigation of the Adversarial Activity Model. 861-862 - Guillaume Piolle, Yves Demazeau:
Addressing Temporal Aspects of Privacy-Related Norms. 863-864 - Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam:
Evaluation of global system state thanks to local phenomenona. 865-866 - Norman Foo, Jochen Renz
Experience and Trust - A Systems-Theoretic Approach. 867-868 - Eugen Staab, Volker Fusenig, Thomas Engel:
Trust-Aided Acquisition Of Unverifiable Information. 869-870 - Madalina Croitoru, Cornelius Croitoru, Paul H. Lewis:
BIDFLOW: a New Graph-Based Bidding Language for Combinatorial Auctions. 871-872 - Arturo Servin, Daniel Kudenko:
Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation. 873-874 - Javier Bajo
GR-MAS: Multi-Agent System for Geriatric Residences. 875-876 - Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn, S. Waqar Jaffry
Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract). 877-878 - Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Organizing Coherent Coalitions. 879-880 - Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset:
A probabilistic trust model for semantic peer-to-peer systems. 881-882 - Jan M. Broersen, Leendert W. N. van der Torre
Conditional Norms and Dyadic Obligations in Time. 883-884 - Nicolás Hormazábal, Josep Lluís de la Rosa, Silvana Vanesa Aciar:
Trust Aware Negotiation Dissolution. 885-886 - Ricardo M. Araujo, Luís C. Lamb
On the Role of Structured Information Exchange in Supervised Learning. 887-888 - Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Magic Agents: Using Information Relevance to Control Autonomy. 889-890 - Norman Salazar, Juan A. Rodríguez-Aguilar
Infection-Based Norm Emergence in Multi-Agent Complex Networks. 891-892 - Dinis Félix, Luís Paulo Reis
Opponent Modelling in Texas Hold'em Poker as the Key for Success. 893-894
8. Constraints and Search
- Aleksander Sadikov, Ivan Bratko:
LRTA. 897-898 - Mitja Lustrek, Vadim Bulitko:
Thinking Too Much: Pathology in Pathfinding. 899-900 - Redouane Ezzahir, Christian Bessiere, Imade Benelallam, Houssine Bouyakhf, Mustapha Belaïssaoui:
Dynamic Backtracking for Distributed Constraint Optimization. 901-902 - Marco Gavanelli
Integrating Abduction and Constraint Optimization in Constraint Handling Rules. 903-904 - Peter Kissmann, Stefan Edelkamp:
Symbolic Classification of General Multi-Player Games. 905-906 - Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais:
Redundancy in CSPs. 907-908 - Roberto Battiti
Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver. 909-910 - Paulo J. Matos, Jordi Planes
A MAX-SAT Algorithm Portfolio. 911-912 - Rina Dechter, Lars Otten, Radu Marinescu:
On the Practical Significance of Hypertree vs. TreeWidth. 913-914
9. Planning and Scheduling
- Jussi Rintanen
A New Approach to Planning in Networks. 917-918 - Eliseo Marzal, Laura Sebastia
Detection of unsolvable temporal planning problems through the use of landmarks. 919-920 - Pascal Bercher
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. 921-922
10. Perception, Sensing and Cognitive Robotics
- Matthieu Boussard
Vector Valued Markov Decision Process for robot platooning. 925-926 - Reinaldo A. C. Bianchi, Arnau Ramisa, Ramón López de Mántaras:
Learning to Select Object Recognition Methods for Autonomous Mobile Robots. 927-928 - Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos:
Robust Reservation-Based Multi-Agent Routing. 929-930 - Khaled Belghith, Benjamin Auder, Froduald Kabanza, Philipe Bellefeuille, Leo Hartman:
Automatic Animation Generation of a Teleoperated Robot Arm. 931-932 - Martin Magnusson, David Landén, Patrick Doherty:
Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. 933-934
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 2024-12-27 21:14 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: