On-Line Search for Solving Markov Decision Processes via Heuristic Sampling (English)
- New search for: Peret, L.
- New search for: Garcia, F.
- New search for: Peret, L.
- New search for: Garcia, F.
- New search for: Lopez de Mantaras, Ramon
- New search for: Saitta, Lorenza
In:
Artificial intelligence; ECAI 2004
;
530-534
;
2004
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:On-Line Search for Solving Markov Decision Processes via Heuristic Sampling
-
Contributors:
-
Conference:European conference; 16th, Artificial intelligence; ECAI 2004 ; 2004 ; Valencia, Spain
-
Published in:Artificial intelligence; ECAI 2004 ; 530-534ECAI ; 530-534
-
Publisher:
- New search for: IOS Press
-
Publication date:2004-01-01
-
Size:5 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Agreements Without DisagreementsAknine, S. / Caillou, P. et al. | 2004
- 8
-
Negotiation in State-Oriented Domains with Incomplete Information over GoalsBergman, S. / Pavlov, E. / Rosenschein, J. S. et al. | 2004
- 13
-
Negotiating the Distribution of Obligations with Sanctions among Autonomous AgentsBoella, G. / van der Torre, L. et al. | 2004
- 18
-
FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent SystemsHuynh, T. D. / Jennings, N. R. / Shadbolt, N. R. et al. | 2004
- 23
-
Game-Theoretic Agent Programming in GologFinzi, A. / Lukasiewicz, T. et al. | 2004
- 28
-
Agent Planning, Negotiation and Control of OperationKakas, A. C. / Torroni, P. / Demetriou, N. et al. | 2004
- 33
-
The KGP Model of AgencyKakas, A. C. / Mancarella, P. / Sadri, F. / Stathis, K. / Toni, F. et al. | 2004
- 38
-
Negotiation Strategies for Autonomous Computational AgentsLopes, F. / Mamede, N. / Novais, A. Q. / Coelho, H. et al. | 2004
- 43
-
Diagnosability Analysis of Distributed Discrete Event SystemsPencole, Y. et al. | 2004
- 48
-
Emergence of Complex Networks through Local OptimizationPujol, J. M. / Flache, A. / Sanguesa, R. / Delgado, J. et al. | 2004
- 53
-
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD'sRaimondi, F. / Lomuscio, A. et al. | 2004
- 58
-
Many Hands Make Light Work: Localized Satisfiability for Multi-Context SystemsRoelofsen, F. / Serafini, L. / Cimatti, A. et al. | 2004
- 63
-
SERSE: Searching for Semantic Web ContentTamma, V. / Blacoe, I. / Smith, B. L. / Wooldridge, M. et al. | 2004
- 68
-
Balancing Coordination and Synchronization Cost in Cooperative Situated Multi-Agent Systems with Imperfect CommunicationTavares, A. I. / Campos, M. F. M. et al. | 2004
- 74
-
Expectation Reasoning Using Regret and DisappointmentTran, B. V. / Harland, J. / Hamilton, M. et al. | 2004
- 79
-
A Risk-Based Bidding Strategy for Continuous Double AuctionsVytelingum, P. / Dash, R. K. / David, E. / Jennings, N. R. et al. | 2004
- 84
-
Algorithms for Distributed ExplorationWalker, T. / Kudenko, D. / Strens, M. et al. | 2004
- 89
-
Passive Threats among Agents in State Oriented DomainsWeinberger, Y. B. / Rosenschein, J. S. et al. | 2004
- 97
-
Instance-Based Prediction with Guaranteed ConfidenceHullermeier, E. et al. | 2004
- 102
-
Instance-Based Learning Techniques of Unsupervised Feature Weighting Do not Perform So Badly!Nunez, H. / Sanchez-Marre, M. et al. | 2004
- 109
-
Applying Affective Tactics for a Better LearningJaques, P. A. / Vicari, R. M. / Pesty, S. / Bonneville, J.-F. et al. | 2004
- 114
-
Exchanging Emotions - SOM ApproachHyotyniemi, H. / Hemanus, J. / Lantz, V. et al. | 2004
- 119
-
Forming Odour Categories Using an Electronic NoseLoutfi, A. / Coradeschi, S. et al. | 2004
- 124
-
A Formal Tutoring Process Model for Intelligent Tutoring SystemsMartens, A. / Uhrmacher, A. M. et al. | 2004
- 129
-
Reasoning about Emotional AgentsMeyer, J.-J. C. et al. | 2004
- 134
-
Focusing Reasoning Through Emotional MechanismsMorgado, L. / Gaspar, G. et al. | 2004
- 141
-
A Case Study of Revisiting Best-First vs. Depth-First SearchAuer, A. / Kaindl, H. et al. | 2004
- 146
-
Boosting Systematic Search by Weighting ConstraintsBoussemart, F. / Hemery, F. / Lecoutre, C. / Sais, L. et al. | 2004
- 151
-
Adversarial Constraint Satisfaction by Game-Tree SearchBrown, K. N. / Little, J. / Creed, P. J. / Freuder, E. C. et al. | 2004
- 156
-
Generalized WideningCazenave, T. et al. | 2004
- 161
-
Quantified Constraint Satisfaction and Bounded TreewidthChen, H. et al. | 2004
- 166
-
How to Use the Scuba Diving Metaphor to Solve Problems with Neutrality?Collard, P. / Verel, S. / Clergue, M. et al. | 2004
- 171
-
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling PatternFrisch, A. M. / Jefferson, C. / Miguel, I. et al. | 2004
- 176
-
Encoding Quantified CSPs as Quantified Boolean FormulaeGent, I. P. / Nightingale, P. / Rowley, A. et al. | 2004
- 181
-
Constrained Pure Nash Equilibria in Graphical GamesGreco, G. / Scarcello, F. et al. | 2004
- 186
-
Robust Solutions for Constraint Satisfaction and OptimizationHebrard, E. / Hnich, B. / Walsh, T. et al. | 2004
- 191
-
An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence ProblemHuang, G. / Lim, A. et al. | 2004
- 196
-
Decomposition and Good Recording for Solving Max-CSPsJegou, P. / Terrioux, C. et al. | 2004
- 201
-
A Study of the Accuracy of Heuristic FunctionsLopez, C. L. et al. | 2004
- 206
-
Improving Asynchronous Backtracking for Dealing with Complex Local ProblemsMaestre, A. / Bessiere, C. et al. | 2004
- 211
-
Tractable Symmetry Breaking Using Restricted Search TreesRoney-Dougal, C. M. / Gent, I. P. / Kelsey, T. / Linton, S. et al. | 2004
- 216
-
Using Constraints with Memory to Implement Variable EliminationSanchez, M. / Meseguer, P. / Larrosa, J. et al. | 2004
- 221
-
Guiding a Theorem Prover with Soft ConstraintsSlaney, J. / Binas, A. / Price, D. et al. | 2004
- 226
-
Complete and Incomplete Algorithms for the Queen Graph Coloring ProblemVasquez, M. / Habet, D. et al. | 2004
- 231
-
Uncertain Linear ConstraintsWilson, N. et al. | 2004
- 239
-
Generation of Desired Emergent Behavior in Swarm of Micro-RobotsKornienko, S. / Kornienko, O. / Levi, P. et al. | 2004
- 244
-
A Genetic Algorithm with Feminine Selectionde Castro, J. P. / Postal, A. / Bittencourt, G. et al. | 2004
- 251
-
Control of a Hydroforming Press with Bayesian NetworksDeventer, R. / Niemann, H. / Celeghini, M. et al. | 2004
- 256
-
Knowledge-Based Cinematography and Its ApplicationsFriedman, D. / Feldman, Y. A. et al. | 2004
- 263
-
Determining the Direction of Causal Influence in Large Probabilistic Networks: A Constraint-Based ApproachBadea, L. et al. | 2004
- 268
-
Improving Web Search through Collaborative Query RecommendationBalfe, E. / Smyth, B. et al. | 2004
- 273
-
Goal Specification in Presence of Non-Deterministic ActionsBaral, C. / Zhao, J. et al. | 2004
- 278
-
Extending a Lexicon Ontology for Intelligent Information IntegrationBenassi, R. / Bergamaschi, S. / Fergnani, A. / Miselli, D. et al. | 2004
- 283
-
The Mereology of Stages and Persistent EntitiesBittner, T. / Donnelly, M. et al. | 2004
- 288
-
Abduction over Unbounded Domains via ASPBonatti, P. A. et al. | 2004
- 293
-
Analysis of Design Process DynamicsBosse, T. / Jonker, C. / Treur, J. et al. | 2004
- 298
-
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?Brandt, S. et al. | 2004
- 303
-
A Rank Based Description Language for Qualitative PreferencesBrewka, G. et al. | 2004
- 308
-
An Ontology Based Visual Tool for Query Formulation SupportCatarci, T. / Dongilli, P. / Di Mascio, T. / Franconi, E. / Santucci, G. / Tessaris, S. et al. | 2004
- 313
-
Fundamental Issues of Aesthetic Knowledge RepresentationCristani, M. / Bellomi, F. et al. | 2004
- 318
-
Operationalizing Domain Ontologies: A Method and a ToolFurst, F. / Leclere, M. / Trichet, F. et al. | 2004
- 323
-
Generating Random Bayesian Networks with Constraints on Induced WidthIde, J. S. / Cozman, F. G. / Ramos, F. T. et al. | 2004
- 328
-
New Advances in Compiling CNF into Decomposable Negation Normal FormDarwiche, A. et al. | 2004
- 333
-
Similarity-Based Ontology Alignment in OWL-LiteEuzenat, J. / Valtchev, P. et al. | 2004
- 338
-
An Investigation into the Expressive Power of PDDL2.1Fox, M. / Long, D. / Halsey, K. et al. | 2004
- 343
-
A Semantics for AbstractionGhidini, C. / Giunchiglia, F. et al. | 2004
- 348
-
Domain Descriptions Should Be ModularHerzig, A. / Varzinczak, I. et al. | 2004
- 353
-
Reasoning in Description Logics with a Concrete Domain in the Framework of ResolutionHustadt, U. / Motik, B. / Sattler, U. et al. | 2004
- 358
-
Representing Normal Programs with ClausesJanhunen, T. et al. | 2004
- 363
-
Representing Knowledge about NormsKayser, D. / Nouioua, F. et al. | 2004
- 368
-
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line ReasoningLaverny, N. / Lang, J. et al. | 2004
- 373
-
Gene Network Modeling through Semi-Fixed Bayesian NetworkLiu, T.-F. / Sung, W.-K. / Mittal, A. et al. | 2004
- 378
-
Description Logics with Concrete Domains and Functional DependenciesLutz, C. / Milicic, M. et al. | 2004
- 383
-
Efficient and Secure Collaborative Filtering through Intelligent Neighbour SelectionO Mahony, M. P. / Hurley, N. J. / Silvestre, G. C. M. et al. | 2004
- 388
-
Synonymous Theories in Answer Set Programming and Equilibrium LogicPearce, D. / Valverde, A. et al. | 2004
- 393
-
DILIGENT: Towards a fine-grained methodology for DIstributed, Loosely-controlled and evolvInG Engineering of oNTologiesPinto, H. S. / Staab, S. / Tempich, C. et al. | 2004
- 398
-
Type Checking in Open-Domain Question AnsweringSchlobach, S. / Olsthoorn, M. / de Rijke, M. et al. | 2004
- 403
-
Representing Natural Kinds by Spatial Inclusion and ContainmentSchulz, S. / Hahn, U. et al. | 2004
- 411
-
Explaining the Result of a Decision Tree to the End-UserAlvarez, I. et al. | 2004
- 416
-
Outlier Detection Using Disjunctive Logic ProgrammingAngiulli, F. / Ben-Eliyahu-Zohary, R. / Palopoli, L. et al. | 2004
- 420
-
A Model-Based Approach to Sequence ClusteringBinsztok, H. / Artieres, T. / Gallinari, P. et al. | 2004
- 425
-
Learning Complex and Sparse Events in Long SequencesBotta, M. / Galassi, U. / Giordana, A. et al. | 2004
- 430
-
Statistical Strategies for Pruning All the Uninteresting Association RulesCasas-Garriga, G. et al. | 2004
- 435
-
Comparing Conceptual, Divisive and Agglomerative Clustering for Learning Taxonomies from TextCimiano, P. / Hotho, A. / Staab, S. et al. | 2004
- 440
-
PoBOC: An Overlapping Clustering Algorithm. Application to Rule-Based Classification and Textual DataCleuziou, G. / Martin, L. / Vrain, C. et al. | 2004
- 445
-
Learning Qualitative Metabolic ModelsCoghill, G. M. / Garrett, S. M. / King, R. D. et al. | 2004
- 450
-
Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Miningda Silva, J. C. / Klusch, M. / Lodi, S. / Moro, G. et al. | 2004
- 455
-
Face Recognition Using Novel LDA-Based AlgorithmsDai, G. / Qian, Y. et al. | 2004
- 460
-
A Backtracking Strategy for Order-Independent Incremental LearningDi Mauro, N. / Esposito, F. / Ferilli, S. / Basile, T. M. A. et al. | 2004
- 465
-
Pushing "Underfitting" to the Limit: Learning in Bidimensional Text CategorizationDi Nunzio, G. M. / Micarelli, A. et al. | 2004
- 470
-
Avoiding Data Overfitting in Scientific Discovery: Experiments in Functional GenomicsGamberger, D. / Lavrac, N. et al. | 2004
- 475
-
Learning Techniques for Automatic Algorithm Portfolio SelectionGuerri, A. / Milano, M. et al. | 2004
- 480
-
AntTree: A Web Document Clustering Using Artificial AntsHanene, A. / Guinot, C. / Venturini, G. et al. | 2004
- 485
-
Knowledge-Based Selection of Association Rules for Text MiningJanetzko, D. / Cherfi, H. / Kennke, R. / Napoli, A. / Toussaint, Y. et al. | 2004
- 490
-
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal SharingKameya, Y. / Sato, T. / Zhou, N.-F. et al. | 2004
- 495
-
Bias Windowing for Relational LearningKoriche, F. et al. | 2004
- 500
-
Exploiting Association and Correlation Rules - Parameters for Improving the K2 AlgorithmLamma, E. / Riguzzi, F. / Storari, S. et al. | 2004
- 505
-
Adaptive Discriminative Generative Model for Object TrackingLin, R.-S. / Yang, M.-H. / Levinson, S. E. et al. | 2004
- 510
-
Finding Social Network for Trust CalculationMatsuo, Y. / Tomobe, H. / Hasida, K. / Ishizuka, M. et al. | 2004
- 515
-
Voted Co-Training for Bootstrapping Sense ClassifiersMihalcea, R. et al. | 2004
- 520
-
Ideal Refinement of Datalog Clauses Using Primary KeysNijssen, S. / Kok, J. N. et al. | 2004
- 525
-
Visual Learning by Set Covering Machine with Efficient Feature SelectionNomiya, H. / Uehara, K. et al. | 2004
- 530
-
On-Line Search for Solving Markov Decision Processes via Heuristic SamplingPeret, L. / Garcia, F. et al. | 2004
- 535
-
Time-Independent Rule-Based Guideline InductionRiano, D. et al. | 2004
- 539
-
Incremental Augmented Naive Bayes ClassifiersAlcobe, J. R. et al. | 2004
- 544
-
Combining Multiple Answers for Learning Mathematical Structures from Visual ObservationSantos, P. / Magee, D. / Cohn, A. / Hogg, D. et al. | 2004
- 549
-
Stacked Generalization for Information ExtractionSigletos, G. / Paliouras, G. / Spyropoulos, C. D. / Stamatopoulos, T. et al. | 2004
- 554
-
Avatars That Learn How To BehaveSzarowicz, A. / Remagnino, P. et al. | 2004
- 559
-
Piece-Wise Model Fitting Using Local Data PatternsVilalta, R. / Achari, M. / Eick, C. F. et al. | 2004
- 564
-
M-SOM-ART: Growing Self Organizing Map for Sequences Clustering and ClassificationZehraoui, F. / Bennani, Y. et al. | 2004
- 571
-
Automatic Discovery of Translation Collocations from Bilingual CorporaBarrachina, S. / Vilar, J. M. et al. | 2004
- 576
-
Improvements on Automatic Word Codification for Connectionist Machine TranslationCasan, G. A. / Castano, M. A. et al. | 2004
- 581
-
An Argumentative Approach to Assessing Natural Language Usage based on the Web CorpusChesnevar, C. I. / Maguitman, A. G. et al. | 2004
- 586
-
Finite-State Models for Computer Assisted TranslationCubel, E. / Civera, J. / Vilar, J. M. / Lagarda, A. L. / Casacuberta, F. / Vidal, E. / Pico, D. / Gonzalez, J. / Rodriguez, L. et al. | 2004
- 591
-
Parsing Languages with a ConfiguratorEstratat, M. / Henocque, L. et al. | 2004
- 596
-
An Application of Lexicalized Grammars in English-Persian TranslationFeili, H. / Ghassem-Sani, G. et al. | 2004
- 601
-
A Comparative Analysis of Extracted GrammarsMazzei, A. / Lombardo, V. et al. | 2004
- 606
-
WordNet Sits the S.A.T. - A Knowledge-Based Approach to Lexical AnalogyVeale, T. et al. | 2004
- 613
-
Likely-Admissible and Sub-Symbolic HeuristicsErnandes, M. / Gori, M. et al. | 2004
- 618
-
Dynamic Selection of Model Parameters in Principal Components Analysis Neural NetworksLopez-Rubio, E. / Ortiz-de-Lazcano-Lobato, J. M. / del Carmen Vargas-Gonzalez, M. / Lopez-Rubio, J. M. et al. | 2004
- 623
-
Towards Efficient Learning of Neural Network Ensembles from Arbitrarily Large DatasetsPeng, K. / Obradovic, Z. / Vucetic, S. et al. | 2004
- 628
-
A Generalized Quadratic Loss for Support Vector MachinesPortera, F. / Sperduti, A. et al. | 2004
- 635
-
Artificial Agents - Personhood in Law and PhilosophyChopra, S. / White, L. et al. | 2004
- 640
-
Simplicity in Solving the Frame ProblemJauregui, V. / Pagnucco, M. / Foo, N. et al. | 2004
- 647
-
Utilizing Volatile External Information During PlanningAu, T.-C. / Nau, D. / Subrahmanian, V. S. et al. | 2004
- 652
-
Job Shop Scheduling with Probabilistic DurationsBeck, J. C. / Wilson, N. et al. | 2004
- 657
-
Interleaving Execution and Planning for Nondeterministic, Partially Observable DomainsBertoli, P. / Cimatti, A. / Traverso, P. et al. | 2004
- 662
-
Planning with Numeric Variables in Multiobjective PlanningGarrido, A. / Long, D. et al. | 2004
- 667
-
Planning with Numerical Expressions in LPGGerevini, A. / Saetti, A. / Serina, I. et al. | 2004
- 672
-
When Are Behaviour Networks Well-Behaved?Nebel, B. / Babovich-Lierler, Y. et al. | 2004
- 677
-
Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing SchedulingPecora, F. / Rasconi, R. / Cesta, A. et al. | 2004
- 682
-
Evaluation Strategies for Planning as SatisfiabilityRintanen, J. et al. | 2004
- 688
-
Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time WindowsTam, V. / Kwan, M. C. et al. | 2004
- 693
-
Lazy Adaptive Multicriteria PlanningTsoumakas, G. / Vrakas, D. / Bassiliades, N. / Vlahavas, I. et al. | 2004
- 698
-
Flexible Demand Assignment ProblemWang, F. / Lim, A. / Chen, H. et al. | 2004
- 705
-
Querying the Semantic Web with Corese Search EngineCorby, O. / Dieng-Kuntz, R. / Faron-Zucker, C. et al. | 2004
- 710
-
MASFIT: Multi-Agent System for FIsh TradingCuni, G. / Esteva, M. / Garcia, P. / Puertas, E. / Sierra, C. / Solchaga, T. et al. | 2004
- 715
-
A Portal for Publishing Museum Collections on the Semantic WebHyvonen, E. / Saarela, S. / Viljanen, K. / Makela, E. / Valo, A. / Salminen, M. / Kettula, S. / Junnila, M. et al. | 2004
- 720
-
ADVISOR SUITE - A Knowledge-Based Sales Advisory SystemJannach, D. et al. | 2004
- 725
-
A Platform for Cross-Lingual, Domain and User Adaptive Web Information ExtractionKarkaletsis, V. / Spyropoulos, C. D. / Grover, C. / Pazienza, M.-T. / Coch, J. / Souflis, D. et al. | 2004
- 730
-
An Interactive System for Hiring and Managing Graduate Teaching AssistantsLim, R. / Guddeti, V. P. / Choueiry, B. Y. et al. | 2004
- 735
-
A System for Pacemaker Treatment AdviceLucas, P. / Kuipers, R. / Feith, F. et al. | 2004
- 740
-
Model and Heuristics for the Shortest Road Layout ProblemMandow, L. / de la Cruz, J. L. P. et al. | 2004
- 745
-
SmartCare™- Automated Clinical Guidelines in Critical CareMersmann, S. / Dojat, M. et al. | 2004
- 750
-
AUTAS: A Tool for Supporting FMECA Generation in Aeronautic SystemsPicardi, C. / Console, L. / Berger, F. / Breeman, J. / Kanakis, T. / Moelands, J. / Collas, S. / Arbaretier, E. / De Domenico, N. / Girardelli, E. et al. | 2004
- 755
-
APPROACH: Decentralised Rotation Planning for Container BargesSchut, M. / Kentrop, M. / Leenaarts, M. / Melis, M. / Miller, I. et al. | 2004
- 760
-
Lessons from Deploying NLG Technology for Marine Weather Forecast Text GenerationSripada, S. G. / Reiter, E. / Davy, I. / Nilssen, K. et al. | 2004
- 765
-
A Soft Computing Technique Applied to Industrial CatalysisValero, S. / Argente, E. / Serra, J. M. / Serna, P. / Botti, V. / Corma, A. et al. | 2004
- 773
-
Paraconsistent Preferential Reasoning by Signed Quantified Boolean FormulaeArieli, O. et al. | 2004
- 778
-
The Use of Temporal Reasoning and Management of Complex Events in Smart HomesAugusto, J. C. / Nugent, C. D. et al. | 2004
- 783
-
A General Recursive Schema for Argumentation SemanticsBaroni, P. / Giacomin, M. et al. | 2004
- 788
-
A Syntactical Approach to RevisionBittencourt, G. / Perrussel, L. / Marchi, J. et al. | 2004
- 793
-
A Unifying Semantics for Belief ChangeBooth, R. / Chopra, S. / Meyer, T. / Ghose, A. et al. | 2004
- 798
-
New Insights on the Intuitionistic Interpretation of Default LogicCabalar, P. / Lorenzo, D. et al. | 2004
- 803
-
A Unit Resolution-Based Approach to Tractable and Paraconsistent ReasoningCoste-Marquis, S. / Marquis, P. et al. | 2004
- 808
-
A Tabulation Proof Procedure for Residuated Logic ProgrammingDamasio, C. V. / Medina, J. / Ojeda-Aciego, M. et al. | 2004
- 813
-
Elimination of Spurious ExplanationsFriedrich, G. et al. | 2004
- 818
-
Reasoning about Actions with Sensing under Qualitative and Probabilistic UncertaintyIocchi, L. / Lukasiewicz, T. / Nardi, D. / Rosati, R. et al. | 2004
- 823
-
Representing Beliefs in the Fluent CalculusJin, Y. / Thielscher, M. et al. | 2004
- 828
-
Geographic Information Revision Based on ConstraintsKhelfallah, M. / Benhamou, B. et al. | 2004
- 833
-
Introducing Alias Information into Model-Based DebuggingKob, D. / Wotawa, F. et al. | 2004
- 838
-
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and ReuseLamperti, G. / Zanella, M. et al. | 2004
- 843
-
Debugging Program Loops Using Approximate ModelingMayer, W. / Stumptner, M. et al. | 2004
- 848
-
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based ApproachMicalizio, R. / Torasso, P. / Torta, G. et al. | 2004
- 853
-
Plausibility Structures for Default ReasoningMoinard, Y. et al. | 2004
- 858
-
A Qualitative Theory for Shape Representation and Matching for DesignMuseros, L. / Escrig, M. T. et al. | 2004
- 863
-
An Algorithm for Knowledge Base ExtractionNittka, A. et al. | 2004
- 868
-
A Fuzzy Approach to Temporal Model-Based Diagnosis for Intensive Care UnitsPalma, J. / Juarez, J. M. / Campos, M. / Marin, R. et al. | 2004
- 873
-
Diagnosis as Semiring-Based Constraint OptimizationSachenbacher, M. / Williams, B. C. et al. | 2004
- 878
-
Iterated Belief Change and Exogenous Actions in the Situation CalculusShapiro, S. / Pagnucco, M. et al. | 2004
- 883
-
Models of Behavior Deviations in Model-Based SystemsStruss, P. et al. | 2004
- 888
-
Consistency and Constrained Optimisation for Conditional PreferencesWilson, N. et al. | 2004
- 895
-
A Robot Task Planner that Merges Symbolic and Geometric ReasoningCambon, S. / Gravot, F. / Alami, R. et al. | 2004
- 900
-
Indirect and Conditional Sensing in the Event CalculusForth, J. / Shanahan, M. et al. | 2004
- 905
-
Active Learning for Robot ManipulationMorales, A. / Chinellato, E. / Fagg, A. H. / del Pobil, A. P. et al. | 2004
- 910
-
Adaptive Robot Coordination Using Interference MetricsRosenfeld, A. / Kaminka, G. A. / Kraus, S. et al. | 2004
- 917
-
Attention-Driven Parts-Based Object DetectionAutio, I. / Lindgren, J. T. et al. | 2004
- 922
-
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving ObjectsBennett, B. / Magee, D. R. / Cohn, A. G. / Hogg, D. C. et al. | 2004
- 927
-
A Context-Based Model of AttentionBergboer, N. / Postma, E. / van den Herik, J. et al. | 2004
- 932
-
Learning to Focus Attention on Discriminative Regions for Object DetectionFritz, G. / Seifert, C. / Paletta, L. / Bischof, H. et al. | 2004
- 937
-
Vision-Language Integration in AI: A Reality CheckPastra, K. / Wilks, Y. et al. | 2004
- 945
-
Distributed Reasoning in a Peer-to-Peer SettingAdjiman, P. / Chatalic, P. / Goasdoue, F. / Rousset, M.-C. / Simon, L. et al. | 2004
- 947
-
Learning Model Free Motor ControlAgostini, A. / Celaya, E. et al. | 2004
- 949
-
Iterated Algorithm for the Optimal Winner Determination in Combined NegotiationsAknine, S. et al. | 2004
- 951
-
A Declarative Characterisation of Disjunctive Paraconsistent Answer SetsAlcantara, J. / Damasio, C. V. / Pereira, L. M. et al. | 2004
- 953
-
Transmission Expansion Planning Based on Tabu Search AlgorithmAl-Hamouz, Z. M. / Mantawy, A. H. / Al-Duwaish, H. / El-Amin, I. / Al-Faraj, A. et al. | 2004
- 955
-
Automatic Generation of Macro-Operators from Static Domain AnalysisArmano, G. / Cherchi, G. / Vargiu, E. et al. | 2004
- 957
-
Optimal Brain Surgeon Variants for OptimizationAttik, M. / Bougrain, L. / Alexandre, F. et al. | 2004
- 959
-
Failing First: An UpdateBeck, J. C. / Prosser, P. / Wallace, R. J. et al. | 2004
- 961
-
Handling Conflicts in Access Control ModelsBenferhat, S. / El Baida, R. et al. | 2004
- 963
-
Preferences for Queries in a Mediator ApproachBidault, A. / Boulakia, S. C. / Froidevaux, C. et al. | 2004
- 965
-
An Abstraction from Power to Coalition StructuresBoella, G. / Sauro, L. / van der Torre, L. et al. | 2004
- 967
-
ACLAnalyser: A Tool for Debugging Multi-Agent SystemsBotia, J. A. / Lopez-Acosta, A. / Skarmeta, A. G. et al. | 2004
- 969
-
On Multiclass Active Learning with Support Vector MachinesBrinker, K. et al. | 2004
- 971
-
A Speech Architecture for Personal Assistants in a Knowledge Management ContextParaiso, E. C. / Barthes, J.-P. A. / Tacla, C. A. et al. | 2004
- 973
-
Local Search Heuristics: Fitness Cloud versus Fitness LandscapeCollard, P. / Verel, S. / Clergue, M. et al. | 2004
- 975
-
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description LogicsColucci, S. / Di Noia, T. / Di Sciascio, E. / Donini, F. M. / Mongiello, M. et al. | 2004
- 977
-
Lakatos-Style Automated Theorem ModificationColton, S. / Pease, A. et al. | 2004
- 979
-
Axiomatizing Noisy-ORCozman, F. G. et al. | 2004
- 981
-
Different Strokes for Different Folks: An Analysis of Similarity and Diversity in Web SearchCoyle, M. / Smyth, B. et al. | 2004
- 983
-
Adapting LPGP to Plan with DeadlinesCresswell, S. / Coddington, A. et al. | 2004
- 985
-
Compilation of LTL Goal Formulas into PDDLCresswell, S. / Coddington, A. et al. | 2004
- 987
-
Towards a Connectionist Argumentation FrameworkGarcez, A. S. d. / Gabbay, D. M. / Lamb, L. C. et al. | 2004
- 989
-
Dynamical Teams of Genetic PredictorsDefoin-Platel, M. / Clergue, M. / Collard, P. et al. | 2004
- 991
-
From Belief Change to Obligation Change in the Situation CalculusDemolombe, R. et al. | 2004
- 993
-
Discovering Relevancies in Very Difficult Regression Problems: Applications to Sensory Data AnalysisDiez, J. / Bayon, G. F. / Quevedo, J. R. / del Coz, J. J. / Luaces, O. / Alonso, J. / Bahamonde, A. et al. | 2004
- 995
-
Miss Scarlett in the Ballroom with the Lead PipingDixon, C. et al. | 2004
- 997
-
Towards a Logical Analysis of Biochemical ReactionsDoherty, P. / Kertes, S. / Magnusson, M. / Szalas, A. et al. | 2004
- 999
-
A New MDL-Based Function for Feature Selection for Bayesian Network ClassifiersDrugan, M. M. / van der Gaag, L. C. et al. | 2004
- 1001
-
Context Dependence in Multiagent Resource AllocationDunne, P. E. et al. | 2004
- 1003
-
Tractability Results for Automatic ContractingDunne, P. E. / Laurence, M. / Wooldridge, M. et al. | 2004
- 1005
-
Evolution of Communication Between Genetic AgentsEnee, G. / Escazut, C. / Defoin-Platel, M. et al. | 2004
- 1007
-
Induction and Revision of TerminologiesEsposito, F. / Fanizzi, N. / Iannone, L. / Palmisano, I. / Semeraro, G. et al. | 2004
- 1009
-
Empirical Evaluation of the Effects of Concept Complexity on Generalization ErrorEsposito, R. et al. | 2004
- 1011
-
Automatic Induction of Domain-Related Information: Learning Descriptors Type DomainsFerilli, S. / Esposito, F. / Basile, T. M. A. / Di Mauro, N. et al. | 2004
- 1013
-
Appropriateness of the Case-Based Approach in an Application Domain with Multiple Conflicts Among Goalsde Freitas, R. L. / Nakamiti, G. / Tobar, C. M. / Piva, D. et al. | 2004
- 1015
-
Interactive Task Planning through Multiple Abstraction: Application to Assistant RoboticsGalindo, C. / Gonzalez, J. / Fernandez-Madrigal, J.-A. et al. | 2004
- 1017
-
Qualitative Interpolation for Environmental Knowledge RepresentationGalton, A. / Hood, J. et al. | 2004
- 1019
-
Swarm Intelligence: Agents for Adaptive Web SearchGasparetti, F. / Micarelli, A. et al. | 2004
- 1021
-
A Spatial Logic of BetweennessGiritli, M. et al. | 2004
- 1023
-
Using the Implication/Realization Model for Measuring Melodic SimilarityGrachten, M. / Arcos, J.-L. et al. | 2004
- 1025
-
Model-Based Monitoring of Software ComponentsGrosclaude, I. et al. | 2004
- 1027
-
Dynamic Skeleton Based WayfindingGuesgen, H. / Shotbolt, P. et al. | 2004
- 1029
-
Multiple Relaxations in Temporal PlanningHalsey, K. / Long, D. / Fox, M. et al. | 2004
- 1031
-
Improving Heuristics Through SearchHaslum, P. et al. | 2004
- 1033
-
Utilizing Structured Representations and CSPs in Conformant Probabilistic PlanningHyafil, N. / Bacchus, F. et al. | 2004
- 1035
-
Converting Texts of Road Accidents into 3D ScenesJohansson, R. / Williams, D. / Nugues, P. et al. | 2004
- 1037
-
Parameter Estimation in Large Causal ModelsJurgelenaite, R. / Lucas, P. et al. | 2004
- 1039
-
Temporal Plan InterdependenciesKaiser, K. / Miksch, S. et al. | 2004
- 1041
-
Qualitative Reasoning Feeding Back into Quantitative Model-Based TrackingKohler, C. / Ottlik, A. / Nagel, H.-H. / Nebel, B. et al. | 2004
- 1043
-
A Troubleshooting Approach with Dependent ActionsKoca, E. / Bilgic, T. et al. | 2004
- 1045
-
Estimating Confidence Values of Individual Predictions by their Typicalness and ReliabilityKukar, M. et al. | 2004
- 1047
-
Problems with Local Consistency for Qualitative CalculiLigozat, G. / Renz, J. et al. | 2004
- 1049
-
A Critical-Shaking Neighborhood Search for the Yard Allocation ProblemLim, A. / Xu, Z. et al. | 2004
- 1051
-
Qualitative Modelling of Planar RobotsLiu, H. / Coghill, G. M. et al. | 2004
- 1053
-
Modelling the Interpretation of Novel CompoundsLynott, D. / Keane, M. T. et al. | 2004
- 1055
-
Role Swapping in Multi-Agent Sensor WebsRuairi, R. M. / Keane, M. T. et al. | 2004
- 1057
-
Embodied Conversational Agents and InfluencesMaya, V. / Lamolle, M. / Pelachaud, C. et al. | 2004
- 1059
-
High-Level Observations in Java DebuggingMayer, W. / Stumptner, M. et al. | 2004
- 1061
-
A 3D Free Form Object Localization Using Skeletons: Application to TeleoperationMerad, D. / Khezami, N. / Otmane, S. / Mallem, M. et al. | 2004
- 1063
-
Mapping Clinical Guidelines Representation Primitives to Decision Theory ConceptsMontani, S. / Terenziani, P. et al. | 2004
- 1065
-
IPSS: A Hybrid Reasoner for Planning and SchedulingR-Moreno, M. D. / Oddi, A. / Borrajo, D. / Cesta, A. / Meziat, D. et al. | 2004
- 1067
-
Robel: Synthesizing and Controlling Complex Robust Robot BehaviorsMorisset, B. / Infantes, G. / Ghallab, M. / Ingrand, F. et al. | 2004
- 1069
-
Local Search for Heuristic Guidance in Tree SearchNareyek, A. / Smith, S. F. / Ohler, C. M. et al. | 2004
- 1071
-
Identifying Relational Concept Lexicalisations by Using General Linguistic KnowledgePazienza, M.-T. / Pennacchiotti, M. / Zanzotto, F. M. et al. | 2004
- 1073
-
Adaptive, Multilingual Named Entity Recognition in Web PagesPetasis, G. / Karkaletsis, V. / Grover, C. / Hachey, B. / Pazienza, M.-T. / Vindigni, M. / Coch, J. et al. | 2004
- 1075
-
Extending Defeasible Logic and Defeasible PrologPietarinen, A.-V. et al. | 2004
- 1077
-
Context-Aware Personalised Service DeliveryPignotti, E. / Edwards, P. / Grimnes, G. A. et al. | 2004
- 1079
-
Cooperation Based on Communication: An Approach for an Autonomous Driving SystemRegele, R. / Levi, P. et al. | 2004
- 1081
-
A Characterization of Linearly Compensated Hybrid Connectives Used in Fuzzy ClassificationsSanchez, M. / Prats, F. / Agell, N. / Aguilar-Martin, J. et al. | 2004
- 1083
-
Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent SystemsSarne, D. / Hadad, M. / Kraus, S. et al. | 2004
- 1085
-
Symbolic Models for Diagnosing Discrete-Event SystemsSchumann, A. / Pencole, Y. / Thiebaux, S. et al. | 2004
- 1087
-
Concurrent Planning by DecompositionSebastia, L. / Onaindia, E. / Marzal, E. et al. | 2004
- 1089
-
An Intrinsic Information Content Metric for Semantic Similarity in WordNetSeco, N. / Veale, T. / Hayes, J. et al. | 2004
- 1091
-
Kernel Machine Based Feature Extraction Algorithms for Regression ProblemsSzepesvari, C. / Kocsor, A. / Kovacs, K. et al. | 2004
- 1093
-
Variants of A^* for PlanningTang, M. / Mali, A. D. et al. | 2004
- 1095
-
Domain Representation Assisting Cognitive AnalysisSerguieva, A. / Khan, T. M. et al. | 2004
- 1097
-
Configuration of Web Services as Parametric DesignTeije, A. t. / van Harmelen, F. / Wielinga, B. et al. | 2004
- 1099
-
A Spanish-Catalan Translator Using Statistical MethodsTomas, J. / Lloret, J. / Casacuberta, F. et al. | 2004
- 1101
-
Defining Classes of Influences for the Acquisition of Probability Constraints for Bayesian Networksvan der Gaag, L. C. / Helsper, E. M. et al. | 2004
- 1103
-
A Qualitative Representation of Trajectory PairsVan de Weghe, N. / Cohn, A. G. / De Maeyer, P. et al. | 2004
- 1105
-
Postponing Branching Decisionsvan Hoeve, W. J. / Milano, M. et al. | 2004
- 1107
-
Contextualized Abstraction for Assertion-Level Theorem ProvingVo, Q. B. et al. | 2004
- 1109
-
Automatic Recognition of Famous Artists by MachineWidmer, G. / Zanon, P. et al. | 2004
- 1111
-
Soft Constraints with Partially Ordered PreferencesWilson, N. et al. | 2004
- 1113
-
An Ant Colony Genetic AlgorithmXiaowei, S. / Changsheng, S. / Changan, Z. et al. | 2004
- 1115
-
NGP: Numerical Graph PlanningZalaket, J. / Camilleri, G. et al. | 2004
- 1117
-
Topological Visual Localization Using Decentralized Galois LatticesZenou, E. / Ghallab, M. / Samuelides, M. et al. | 2004
- 1121
-
Media Fabrics: The Problem of Time in Personal Media MakingDavenport, G. et al. | 2004
- 1122
-
Spatial Cognition: An AI PerspectiveFreksa, C. et al. | 2004
- 1129
-
The Semantic Grid: Myth Busting and Bridge BuildingGoble, C. / De Roure, D. et al. | 2004
- 1136
-
Adding Intelligence to Virtual RealityLaukkanen, S. / Karanta, I. / Kotovirta, V. / Markkanen, J. / Ronkko, J. et al. | 2004
- 1145
-
Autonomous Cache-Provision Agreement for Scalability of Directory Facilitator in MASGhafoor, A. / Mustafa, B. / Ahmad, H. F. / Ali, A. / Suguri, H. / Abbas, Z. et al. | 2004