A Qualitative Representation of Route Networks (Englisch)
- Neue Suche nach: Renz, J.
- Neue Suche nach: Wolfl, S.
- Neue Suche nach: Renz, J.
- Neue Suche nach: Wolfl, S.
- Neue Suche nach: Coelho, Helder
- Neue Suche nach: Studer, Rudi
- Neue Suche nach: Wooldridge, Michael
In:
European conference on artificial intelligence; ECAI 2010
;
1091-1092
;
2010
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:A Qualitative Representation of Route Networks
-
Beteiligte:Renz, J. ( Autor:in ) / Wolfl, S. ( Autor:in ) / Coelho, Helder / Studer, Rudi / Wooldridge, Michael
-
Kongress:19th, European conference on artificial intelligence; ECAI 2010 ; 2010 ; Lisbon
-
Erschienen in:FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS ; 215 ; 1091-1092
-
Verlag:
- Neue Suche nach: IOS
-
Erscheinungsort:Amsterdam
-
Erscheinungsdatum:01.01.2010
-
Format / Umfang:2 pages
-
Anmerkungen:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical ImplicationsPipatsrisawat, K. / Darwiche, A. et al. | 2010
- 9
-
On Decomposability and Interaction FunctionsPipatsrisawat, K. / Darwiche, A. et al. | 2010
- 15
-
On Computing Backbones of Propositional TheoriesMarques-Silva, J. / Janota, M. / Lynce, I. et al. | 2010
- 21
-
Extending Clause Learning DPLL with Parity ReasoningLaitinen, T. / Junttila, T. / Niemela, I. et al. | 2010
- 29
-
Complexity of Axiom Pinpointing in the DL-Lite Family of Description LogicsPenaloza, R. / Sertkaya, B. et al. | 2010
- 35
-
Tractable Reasoning with DL-Programs over Datalog-Rewritable Description LogicsHeymans, S. / Eiter, T. / Xiao, G. et al. | 2010
- 41
-
Enriching epsilon L-Concepts with Greatest FixpointsLutz, C. / Piro, R. / Wolter, F. et al. | 2010
- 47
-
Tableau-Based Forgetting in ALC OntologiesWang, Z. / Wang, K. / Topor, R. / Zhang, X. et al. | 2010
- 53
-
Verifying Properties of Infinite Sequences of Description Logic ActionsBaader, F. / Liu, H. / Mehdi, A.u. et al. | 2010
- 61
-
A Hybrid Continuous Max-Sum Algorithm for Decentralised CoordinationVoice, T. / Stranders, R. / Rogers, A. / Jennings, N.R. et al. | 2010
- 67
-
BnB-ADOPT^+ with Several Soft Arc Consistency LevelsGutierrez, P. / Meseguer, P. et al. | 2010
- 73
-
Optimal Task Migration in Service-Oriented Systems: Algorithms and MechanismsStein, S. / Gerding, E. / Jennings, N.R. et al. | 2010
- 79
-
Modeling the Problem of Many Hands in Organisationsde Lima, T. / Royakkers, L. / Dignum, F. et al. | 2010
- 85
-
Learning Better TogetherBourgne, G. / Soldano, H. / El Fallah Seghrouchni, A. et al. | 2010
- 93
-
Event Model Learning from Complex Videos Using ILPDubba, K.S.R. / Cohn, A.G. / Hogg, D.C. et al. | 2010
- 99
-
A Decentralised Symbolic Diagnosis ApproachSchumann, A. / Pencole, Y. / Thiebaux, S. et al. | 2010
- 105
-
Diagnosability Analysis of Discrete Event Systems with Autonomous ComponentsYe, L. / Dague, P. et al. | 2010
- 111
-
Diagnosing Process Trajectories Under Partially Known BehaviorFriedrich, G. / Mayer, W. / Stumptner, M. et al. | 2010
- 119
-
Computation in Extended Argumentation FrameworksDunne, P.E. / Modgil, S. / Bench-Capon, T. et al. | 2010
- 125
-
An Argumentation-Based Approach to Database RepairSantos, E. / Martins, J.P. / Galhardas, H. et al. | 2010
- 131
-
A Common Computational Framework for Semiring-Based Argumentation SystemsBistarelli, S. / Santini, F. et al. | 2010
- 137
-
Behavior-Oriented Commitment-Based ProtocolsBaldoni, M. / Baroglio, C. / Marengo, E. et al. | 2010
- 145
-
Using Crowdsourcing and Active Learning to Track Sentiment in Online MediaBrew, A. / Greene, D. / Cunningham, P. et al. | 2010
- 151
-
Multiscale Adaptive Agent-Based Management of Storage-Enabled Photovoltaic FacilitiesLi, R. / Wang, P. / James, G. et al. | 2010
- 157
-
Non-Intrusive Detection of Driver Distraction Using Machine Learning AlgorithmsTango, F. / Botta, M. / Minin, L. / Montanari, R. et al. | 2010
- 163
-
Learning and Meta-Learning for Coordination of Autonomous Unmanned Vehicles. A Preliminary AnalysisTosic, P.T. / Vilalta, R. et al. | 2010
- 169
-
Classification of Dreams Using Machine LearningMatwin, S. / De Koninck, J. / Razavi, A.H. / Amini, R.R. et al. | 2010
- 177
-
Deep Reasoning in Clarification Dialogues with Mobile RobotsJian, C. / Zhekova, D. / Shi, H. / Bateman, J. et al. | 2010
- 183
-
Stream-Based Reasoning Support for Autonomous SystemsHeintz, F. / Kvarnstrom, J. / Doherty, P. et al. | 2010
- 189
-
Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable BodiesZickler, S. / Veloso, M. et al. | 2010
- 197
-
Computational Aspects of Extending the Shapley Value to Coalitional Games with ExternalitiesMichalak, T. / Rahwan, T. / Marciniak, D. / Szamotulski, M. / Jennings, N.R. et al. | 2010
- 203
-
On the Stability of an Optimal Coalition StructureAiriau, S. / Sen, S. et al. | 2010
- 209
-
EA^2: The Winning Strategy for the Inaugural Lemonade Stand Game TournamentSykulski, A.M. / Chapman, A.C. / de Cote, E.M. / Jennings, N.R. et al. | 2010
- 217
-
Planning with Concurrency Under Resources and Time UncertaintyBeaudry, E. / Kabanza, F. / Michaud, F. et al. | 2010
- 223
-
Brothers in Arms? On AI Planning and Cellular AutomataHoffmann, J. / Fates, N. / Palacios, H. et al. | 2010
- 229
-
Landmarks in Hierarchical PlanningElkawkagy, M. / Schattenberg, B. / Biundo, S. et al. | 2010
- 237
-
The Necessity of Bounded Treewidth for Efficient Inference in Bayesian NetworksKwisthout, J.H.P. / Bodlaender, H.L. / van der Gaag, L.C. et al. | 2010
- 243
-
Context-Specific Independence in Directed Relational Probabilistic Models and Its Influence on the Efficiency of Gibbs SamplingFierens, D. et al. | 2010
- 249
-
Bayesian Monte Carlo for the Global Optimization of Expensive FunctionsGroot, P. / Birlutiu, A. / Heskes, T. et al. | 2010
- 257
-
An Empirical Study of the Manipulability of Single Transferable VotingWalsh, T. et al. | 2010
- 263
-
Dynamic Matching with a Fall-Back OptionGujar, S. / Parkes, D.C. et al. | 2010
- 269
-
Learning Conditionally Lexicographic Preference RelationsBooth, R. / Chevaleyre, Y. / Lang, J. / Mengin, J. / Sombattheera, C. et al. | 2010
- 277
-
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model GenerationSoh, T. / Inoue, K. et al. | 2010
- 283
-
Interval Forecast of Water Quality ParametersOhashi, O. / Torgo, L. / Ribeiro, R.P. et al. | 2010
- 289
-
Data Mining for Biodiversity Prediction in ForestsO Sullivan, B. / Keady, S. / Keane, E. / Irwin, S. / O Halloran, J. et al. | 2010
- 297
-
Boosting Clustering by Active Constraint SelectionVu, V.-V. / Labroche, N. / Bouchon-Meunier, B. et al. | 2010
- 303
-
A Very Fast Method for Clustering Big Text DatasetsLin, F. / Cohen, W.W. et al. | 2010
- 309
-
Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and MetalearningLeite, R. / Brazdil, P. et al. | 2010
- 315
-
Improving Hierarchical Classification with Partial LabelsNguyen, N. et al. | 2010
- 323
-
Implicit Learning of Compiled Macro-Actions for PlanningNewton, M.A.H. / Levine, J. et al. | 2010
- 329
-
Strengthening Landmark Heuristics via Hitting SetsBonet, B. / Helmert, M. et al. | 2010
- 335
-
Sound and Complete Landmarks for And/Or GraphsKeyder, E. / Richter, S. / Helmert, M. et al. | 2010
- 341
-
Iterative Bounding LAO^*Warnquist, H. / Kvarnstrom, J. / Doherty, P. et al. | 2010
- 349
-
Analysis of Inverse Reinforcement Learning with Perturbed DemonstrationsMelo, F.S. / Lopes, M. / Ferreira, R. et al. | 2010
- 355
-
Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of ActionsBianchi, R.A.C. / de Mantaras, R.L. et al. | 2010
- 361
-
Uncertainty Propagation for Efficient Exploration in Reinforcement LearningHans, A. / Udluft, S. et al. | 2010
- 367
-
The Dynamics of Multi-Agent Reinforcement LearningDickens, L. / Broda, K. / Russo, A. et al. | 2010
- 375
-
An Efficient Procedure for Collective Decision-Making with CP-NetsLi, M. / Vo, Q.B. / Kowalczyk, R. et al. | 2010
- 381
-
Modelling Multilateral Negotiation in Linear LogicPorello, D. / Endriss, U. et al. | 2010
- 387
-
Fair Division Under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible GoodsBouveret, S. / Endriss, U. / Lang, J. et al. | 2010
- 393
-
LP Solvable Models for Multiagent Fair Allocation ProblemsLesca, J. / Perny, P. et al. | 2010
- 401
-
Using Bayesian Networks in an Industrial Setting: Making Printing Systems AdaptiveHommersom, A. / Lucas, P.J.F. et al. | 2010
- 407
-
Context-Aware Media Agent for Public SpacesSatoh, I. et al. | 2010
- 413
-
An Iterative A^* Algorithm for Planning of Airport Ground MovementsLesire, C. et al. | 2010
- 419
-
A Fault-Model-Based Debugging Aid for Data Warehouse ApplicationsStruss, P. / Shivashankar, V. / Zahoor, M. et al. | 2010
- 427
-
Kernel-Based Hybrid Random Fields for Nonparametric Density EstimationFreno, A. / Trentin, E. / Gori, M. et al. | 2010
- 433
-
Multitask Kernel-Based Learning with Logic ConstraintsDiligenti, M. / Gori, M. / Maggini, M. / Rigutini, L. et al. | 2010
- 439
-
Kernel Methods for Revealed Preference AnalysisLahaie, S. et al. | 2010
- 445
-
Regression Learning with Multiple Noisy OraclesRistovski, K. / Das, D. / Ouzienko, V. / Guo, Y. / Obradovic, Z. et al. | 2010
- 453
-
Constraint Based Planning with Composable Substate GraphsGregory, P. / Long, D. / Fox, M. et al. | 2010
- 459
-
Knowledge Compilation Using Interval Automata and Applications to PlanningNiveau, A. / Fargier, H. / Pralet, C. / Verfaillie, G. et al. | 2010
- 465
-
Compiling Uncertainty Away in Non-Deterministic Conformant PlanningAlbore, A. / Palacios, H. / Geffner, H. et al. | 2010
- 471
-
Analyzing Flexible Timeline-Based PlansCesta, A. / Finzi, A. / Fratini, S. / Orlandini, A. / Tronci, E. et al. | 2010
- 479
-
A Unified Framework for Non-Standard Reasoning Services in Description LogicsColucci, S. / Di Noia, T. / Di Sciascio, E. / Donini, F.M. / Ragone, A. et al. | 2010
- 485
-
Parallel TBox Classification in Description Logics - First Experimental ResultsAslani, M. / Haarslev, V. et al. | 2010
- 491
-
Logical Ontology Validation Using an Automatic Theorem ProverBruck, T.v.d. / Stenzhorn, H. et al. | 2010
- 497
-
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial ReasoningHudelot, C. / Atif, J. / Bloch, I. et al. | 2010
- 503
-
Computing the Data Semantics of WSDL Specifications via Gradient BoostingValarakos, A.G. / Vouros, G.A. et al. | 2010
- 511
-
Opinion Question Answering: Towards a Unified ApproachBalahur, A. / Boldrini, E. / Montoyo, A. / Martinez-Barco, P. et al. | 2010
- 517
-
From Bursty Patterns to Bursty Facts: The Effectiveness of Temporal Text Mining for NewsSubasic, I. / Berendt, B. et al. | 2010
- 523
-
Extraction of Places Related to Flickr TagsBaba, Y. / Ishikawa, F. / Honiden, S. et al. | 2010
- 529
-
Automatic Free-Text-Tagging of Online News ArchivesFarkas, R. / Berend, G. / Hegedus, I. / Karpati, A. / Krich, B. et al. | 2010
- 535
-
Learning Aggregation Functions for Expert SearchCummins, R. / Lalmas, M. / O Riordan, C. et al. | 2010
- 543
-
Parallel Model Checking for Temporal Epistemic LogicKwiatkowska, M. / Lomuscio, A. / Qu, H. et al. | 2010
- 549
-
The Complexity of Epistemic Model Checking: Clock Semantics and Branching TimeHuang, X. / van der Meyden, R. et al. | 2010
- 555
-
Higher-Order Coalition LogicBoella, G. / Gabbay, D.M. / Genovese, V. / van der Torre, L. et al. | 2010
- 561
-
Mental State Ascription Using Dynamic LogicSindlar, M. / Dastani, M. / Meyer, J.-J. et al. | 2010
- 567
-
On the (Un-)Decidability of Model Checking Resource-Bounded AgentsBulling, N. / Farwer, B. et al. | 2010
- 575
-
An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious PlayShi, B. / Gerding, E.H. / Vytelingum, P. / Jennings, N.R. et al. | 2010
- 581
-
Addressing the Exposure Problem of Bidding Agents Using Flexibly Priced OptionsRobu, V. / Vetsikas, I.A. / Gerding, E.H. / Jennings, N.R. et al. | 2010
- 587
-
Designing a Successful Adaptive Agent for TAC Ad AuctionChang, M. / He, M. / Luo, X. et al. | 2010
- 595
-
Propagation of Opinions in Structural GraphsOsman, N. / Sierra, C. / Sabater-Mir, J. et al. | 2010
- 601
-
Social Recommendation with Interpersonal InfluenceHuang, J. / Cheng, X.-Q. / Guo, J. / Shen, H.-W. / Yang, K. et al. | 2010
- 607
-
Recommendations Over Domain Specific User GraphsNakatsuji, M. / Fujiwara, Y. / Tanaka, A. / Uchiyama, T. / Ishida, T. et al. | 2010
- 615
-
Foundations of Tree-Like Local Model UpdatesZhang, Y. / Kelly, M. / Zhou, Y. et al. | 2010
- 621
-
The Epistemic View of Belief Merging: Can We Track the Truth?Everaere, P. / Konieczny, S. / Marquis, P. et al. | 2010
- 627
-
Majority Merging: From Boolean Spaces to Affine SpacesCondotta, J.-F. / Kaci, S. / Marquis, P. / Schwind, N. et al. | 2010
- 635
-
Semantics for the Jason Variant of AgentSpeak (Plan Failure and Some Internal Actions)Bordini, R.H. / Hubner, J.F. et al. | 2010
- 641
-
Belief-Goal Relationships in Possibilistic Goal Generationda Costa Pereira, C. / Tettamanzi, A.G.B. et al. | 2010
- 647
-
Predicting Responsiveness of BDI AgentZhang, H. / Shen, Z. / Huang, S.Y. / Miao, C. et al. | 2010
- 655
-
Automating Layouts of Sewers in SubdivisionsBurch, N. / Holte, R. / Muller, M. / O Connell, D. / Schaeffer, J. et al. | 2010
- 661
-
Adaptive Gaussian Process for Short-Term Wind Speed ForecastingJiang, X. / Dong, B. / Xie, L. / Sweeney, L. et al. | 2010
- 667
-
Introducing Personality into Team DynamicsPrada, R. / Camilo, J. / Nunes, M.A. et al. | 2010
- 675
-
EP for Efficient Stochastic Control with ObstaclesMensink, T. / Verbeek, J. / Kappen, B. et al. | 2010
- 681
-
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable DomainsPralet, C. / Verfaillie, G. / Lemaitre, M. / Infantes, G. et al. | 2010
- 687
-
Decision-Theoretic Optimal Sampling in Hidden Markov Random FieldsPeyrard, N. / Sabbadin, R. / Niaz, U.F. et al. | 2010
- 695
-
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and UndecidabilityBresolin, D. / Monica, D.D. / Goranko, V. / Montanari, A. / Sciavicco, G. et al. | 2010
- 701
-
An Axiom System for a Spatial Logic with ConvexityTrybus, A. et al. | 2010
- 707
-
Optimal Tableaux for Conditional Logics with Cautious MonotonicitySchroder, L. / Pattinson, D. / Hausmann, D. et al. | 2010
- 713
-
Linear Logic for Non-Linear StorytellingBosser, A.-G. / Cavazza, M. / Champagnat, R. et al. | 2010
- 719
-
ProbLog Technology for Inference in a Probabilistic First Order LogicBruynooghe, M. / Mantadelis, T. / Kimmig, A. / Gutmann, B. / Vennekens, J. / Janssens, G. / De Raedt, L. et al. | 2010
- 727
-
A Note on the Complexity of Some Multiobjective A^* Search AlgorithmsMandow, L. / de la Cruz, J.-L.P. et al. | 2010
- 733
-
Contract Search: Heuristic Search Under Node Expansion ConstraintsAine, S. / Chakrabarti, P.P. / Kumar, R. et al. | 2010
- 739
-
Fast Local Search for Fuzzy Job Shop SchedulingPuente, J. / Vela, C.R. / Gonzalez-Rodriguez, I. et al. | 2010
- 745
-
Relative-Order Abstractions for the Pancake ProblemHelmert, M. / Roger, G. et al. | 2010
- 751
-
ISAC - Instance-Specific Algorithm ConfigurationKadioglu, S. / Malitsky, Y. / Sellmann, M. / Tierney, K. et al. | 2010
- 759
-
Using Background Knowledge to Support Coreference ResolutionBryl, V. / Giuliano, C. / Serafini, L. / Tymoshenko, K. et al. | 2010
- 765
-
Detecting Ironic Intent in Creative ComparisonsVeale, T. / Hao, Y. et al. | 2010
- 771
-
Cross-Domain Contextualization of Sentiment LexiconsGindl, S. / Weichselbraun, A. / Scharl, A. et al. | 2010
- 777
-
Learning to Author Text with Textual CBRAdeyanju, I. / Wiratunga, N. / Recio-Garcia, J.A. / Lothian, R. et al. | 2010
- 783
-
Classifier Ensemble Using Multiobjective Optimization for Named Entity RecognitionEkbal, A. / Saha, S. et al. | 2010
- 791
-
Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS)Szeto, C.-C. / Hung, E. et al. | 2010
- 797
-
Feature Selection by Approximating the Markov Blanket in a Kernel-Induced SpaceLou, Q. / Obradovic, Z. et al. | 2010
- 803
-
Recognising Agent Behaviour During Variable Length ActivitiesBaxter, R. / Lane, D. / Petillot, Y. et al. | 2010
- 809
-
Continuous Conditional Random Fields for Regression in Remote SensingRadosavljevic, V. / Vucetic, S. / Obradovic, Z. et al. | 2010
- 815
-
Combining Local and Global KNN with CotrainingLaguna, V. / de Andrade Lopes, A. et al. | 2010
- 823
-
Multi Grain Sentiment Analysis using Collective ClassificationShivashankar, S. / Ravindran, B. et al. | 2010
- 829
-
Temporal Relations Learning with a Bootstrapped Cross-Document ClassifierMirroshandel, S.A. / Ghassem-Sani, G. et al. | 2010
- 835
-
Describing the Result of a Classifier to the End-User: Geometric-Based SensitivityAlvarez, I. / Martin, S. / Mesmoudi, S. et al. | 2010
- 841
-
Soft Nearest Convex Hull ClassifierNalbantov, G. / Smirnov, E. et al. | 2010
- 847
-
Using Domain Knowledge to Guide Lattice-Based Complex Data ExplorationMessai, N. / Devignes, M.-D. / Napoli, A. / Smail-Tabbone, M. et al. | 2010
- 855
-
Adaptive Branching for Constraint Satisfaction ProblemsBalafoutis, T. / Stergiou, K. et al. | 2010
- 861
-
Symmetries of Symmetry Breaking ConstraintsKatsirelos, G. / Walsh, T. et al. | 2010
- 867
-
Solving Pseudo-Boolean Modularity ConstraintsAnsotegui, C. / Bejar, R. / Fernandez, C. / Guitart, F. / Mateu, C. et al. | 2010
- 873
-
Learning When to Use Lazy Learning in Constraint SolvingGent, I.P. / Jefferson, C. / Katthoff, L. / Miguel, I. / Moore, N.C.A. / Nightingale, P. / Petrie, K. et al. | 2010
- 881
-
LTL Goal Specifications RevisitedBauer, A. / Haslum, P. et al. | 2010
- 887
-
On the Verification of Very Expressive Temporal Properties of Non-Terminating Golog ProgramsClassen, J. / Lakemeyer, G. et al. | 2010
- 895
-
The Complexity of Handling Minimal Solutions in Logic-Based AbductionPichler, R. / Woltran, S. et al. | 2010
- 901
-
Abduction of Distributed Theories Through Local InteractionsBourgne, G. / Inoue, K. / Maudet, N. et al. | 2010
- 909
-
A NEAT Way for Evolving Echo State NetworksChatzidimitriou, K.C. / Mitkas, P.A. et al. | 2010
- 915
-
Unsupervised Layer-Wise Model Selection in Deep Neural NetworksArnold, L. / Paugam-Moisy, H. / Sebag, M. et al. | 2010
- 923
-
Acquisition of Grammar in Autonomous Artificial SystemsGerasymova, K. / Spranger, M. et al. | 2010
- 929
-
Open-Ended Grounded SemanticsSpranger, M. / Loetzsch, M. / Pauw, S. et al. | 2010
- 937
-
Adaptive Markov Logic Networks: Learning Statistical Relational Models with Dynamic ParametersJain, D. / Barthels, A. / Beetz, M. et al. | 2010
- 943
-
Min-Based Causal Possibilistic Networks: Handling Interventions and Analyzing the Possibilistic Counterpart of Jeffrey's Rule of ConditioningBenferhat, S. / Tabia, K. et al. | 2010
- 951
-
On Testing Answer-Set ProgramsJanhunen, T. / Niemela, I. / Oetsch, J. / Puhrer, J. / Tompits, H. et al. | 2010
- 957
-
On Semantic Update Operators for Answer-Set ProgramsSlota, M. / Leite, J. et al. | 2010
- 965
-
Completeness-Preserving Pruning for Optimal PlanningColes, A. et al. | 2010
- 967
-
Project Scheduling as a Disjunctive Temporal ProblemOddi, A. / Rasconi, R. / Cesta, A. et al. | 2010
- 969
-
On Finding Compromise Solutions in Multiobjective Markov Decision ProcessesPerny, P. / Weng, P. et al. | 2010
- 971
-
A Decision-Theoretic Approach to Cooperative Control and Adjustable AutonomyMouaddib, A.-I. / Zilberstein, S. / Beynier, A. / Jeanpierre, L. et al. | 2010
- 973
-
Learning Action Effects in Partially Observable DomainsMourao, K. / Petrick, R.P.A. / Steedman, M. et al. | 2010
- 975
-
A Probabilistic Approach to Appearance-Based Localization and MappingCampos, F.M. / Correia, L. / Calado, J.M.F. et al. | 2010
- 977
-
Scalable Multi-Agent Pathfinding on Grid Maps with Tractability and Completeness GuaranteesWang, K.-H.C. / Botea, A. et al. | 2010
- 979
-
Behavior-Analysis and -Prediction for Agents in Real-Time and Dynamic Adversarial EnvironmentsRachuy, C. / Visser, U. et al. | 2010
- 981
-
Integrating Probability Constraints into Bayesian NetsPeng, Y. / Zhang, S. et al. | 2010
- 983
-
Probabilistic Logic with Conditional Independence FormulaeIvanovska, M. / Giese, M. et al. | 2010
- 985
-
Towards Learning to Rank in Description LogicsFanizzi, N. / d Amato, C. / Esposito, F. et al. | 2010
- 987
-
Buried Utility Pipeline Mapping Based on Street Survey and Ground Penetrating RadarChen, H. / Cohn, A.G. et al. | 2010
- 989
-
Exploiting the Accumulated Evidence for Gene Selection in Microarray Gene Expression DataPrat-Masramon, G. / Belanche-Munoz, L.A. et al. | 2010
- 991
-
Diagnosis Discrimination for Ontology DebuggingShchekotykhin, K. / Friedrich, G. et al. | 2010
- 993
-
A Contextual Reading of Conditional CommitmentsSerrano, J.M. / Saugar, S. / Laurendi, R. / Buccafurri, F. et al. | 2010
- 995
-
Acceptability Semantics Accounting for Strength of Attacks in ArgumentationCayrol, C. / Devred, C. / Lagasquie-Schiex, M.-C. et al. | 2010
- 997
-
An Argumentation-Based Dialog for Social Evaluations ExchangePinyol, I. / Sabater-Mir, J. et al. | 2010
- 999
-
Dealing with the Dynamics of Proof-Standard in Argumentation-Based Decision AidingOuerdane, W. / Maudet, N. / Tsoukias, A. et al. | 2010
- 1001
-
On the Use of Argumentation in Multi-Agent PlanningSapena, O. / Onaindia, E. / Torreno, A. et al. | 2010
- 1003
-
Preference-Based Argumentation Framework with Varied-Preference IntensityKaci, S. / Labreuche, C. et al. | 2010
- 1005
-
ABA: Argumentation Based AgentsKakas, A. / Amgoud, L. / Kern-Isberner, G. / Maudet, N. / Moraitis, P. et al. | 2010
- 1007
-
On Admissibility in Timed Abstract Argumentation FrameworksCobo, M.L. / Martinez, D.C. / Simari, G.R. et al. | 2010
- 1009
-
Fair Mechanisms for Recurrent Multi Unit Combinatorial AuctionsMurillo, J. / Lopez, B. et al. | 2010
- 1011
-
Balancing Optimality and Robustness in Resource Allocation ProblemsMunoz, V. / Busquets, D. et al. | 2010
- 1013
-
A Knapsack-Based Approach to Bidding in Ad AuctionsBerg, J. / Greenwald, A. / Naroditskiy, V. / Sodomka, E. et al. | 2010
- 1015
-
Coalition Formation Strategies for Self-Interested Agents in Hedonic GamesGenin, T. / Aknine, S. et al. | 2010
- 1017
-
A Network Flow Approach to Coalitional GamesRahwan, T. / Michalak, T. / Croitoru, M. / Sroka, J. / Jennings, N.R. et al. | 2010
- 1019
-
Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring RulesBaumeister, D. / Rothe, J. et al. | 2010
- 1021
-
Complexity of Merging and Splitting for the Probabilistic Banzhaf Power Index in Weighted Voting GamesRey, A. / Rothe, J. et al. | 2010
- 1023
-
Alice and Bob Will Fight: The Problem of Electing a Committee in the Presence of Candidate InterdependenceUckelman, J. et al. | 2010
- 1025
-
Egalitarian Utilities Divide-and-Coordinate: Stop Arguing About Decisions, Let's Share Rewards!Vinyals, M. / Rodriguez-Aguilar, J.A. / Cerquides, J. et al. | 2010
- 1027
-
Reasoning About Norm Compliance with Rational AgentsFagundes, M.S. / Billhardt, H. / Ossowski, S. et al. | 2010
- 1029
-
Collective Sensor Configuration in Uncharted EnvironmentsSalazar, N. / Rodriguez-Aguilar, J.A. / Arcos, J.L. et al. | 2010
- 1031
-
On the Life-Cycle of BDI Agent GoalsThangarajah, J. / Harland, J. / Morley, D. / Yorke-Smith, N. et al. | 2010
- 1033
-
A Unified Interaction-Aware Goal FrameworkWinikoff, M. / Dastani, M. / van Riemsdijk, M.B. et al. | 2010
- 1035
-
An Alternative Approach for Reasoning About the Goal-Plan Tree ProblemShaw, P. / Bordini, R.H. et al. | 2010
- 1037
-
Trust in Complex ActionsBourdon, J. / Feuillade, G. / Herzig, A. / Lorini, E. et al. | 2010
- 1039
-
Analogical Learning Using Dissimilarity Between Tree-StructuresHassena, A.B. / Miclet, L. et al. | 2010
- 1041
-
Complexity in Analogy Tasks: An Analysis and Computational ModelStahl, P. / Ragni, M. et al. | 2010
- 1043
-
Efficient Explanations for Inconsistent Constraint SetsFelfernig, A. / Schubert, M. / Mandl, M. / Friedrich, G. / Teppan, E. et al. | 2010
- 1045
-
Improving RFID's Location Based Services by Means of Hidden Markov ModelsGarcia-Valverde, T. / Garcia-Sola, A. / Botia, J.A. et al. | 2010
- 1047
-
Human Activity Recognition in Intelligent Home Environments: An Evolving ApproachIglesias, J.A. / Angelov, P. / Ledezma, A. / Sanchis, A. et al. | 2010
- 1049
-
Joint Handling of Rational and Behavioral Reactions in Assistant Conversational AgentsSansonnet, J.-P. / Bouchet, F. et al. | 2010
- 1051
-
What If It Suddenly Fails? Behavioral Aspects of Advanced Driver Assistant Systems on the Example of Local Danger AlertsMahr, A. / Cao, Y. / Theune, M. / Dimitrova-Krause, V. / Schwartz, T. / Muller, C. et al. | 2010
- 1053
-
Selecting Information Based on Artificial Forms of Selective AttentionMacedo, L. et al. | 2010
- 1055
-
ANTIPA: An Agent Architecture for Intelligent Information AssistanceOh, J. / Meneguzzi, F. / Sycara, K. et al. | 2010
- 1057
-
Nested Monte-Carlo Expression DiscoveryCazenave, T. et al. | 2010
- 1059
-
Vectorial Pattern DatabasesLopez, C.L. et al. | 2010
- 1061
-
Improving the Global Constraint SoftPrecLesaint, D. / Mehta, D. / O Sullivan, B. / Quesada, L. / Wilson, N. et al. | 2010
- 1063
-
Data-Driven Detection of Recursive Program SchemesHofmann, M. / Schmid, U. et al. | 2010
- 1065
-
Horn Belief Change: A Contraction CoreBooth, R. / Meyer, T. / Varzinczak, I. / Wassermann, R. et al. | 2010
- 1067
-
A Motivation-Based Mechanism to Design BehaviorsDujardin, T. / Routier, J.-C. et al. | 2010
- 1069
-
Preferential vs Rational Description Logics: Which One for Reasoning About Typicality?Giordano, L. / Gliozzi, V. / Olivetti, N. / Pozzato, G.L. et al. | 2010
- 1071
-
Refining the Notion of EffortHeinemann, B. et al. | 2010
- 1073
-
A Constructive Conditional Logic for Access Control: A Preliminary ReportGenovese, V. / Giordano, L. / Gliozzi, V. / Pozzato, G.L. et al. | 2010
- 1075
-
A Logical Model of Intention and Plan DynamicsLorini, E. / van Ditmarsch, H. / de Lima, T. et al. | 2010
- 1077
-
Non-Elementary Speed Up for Model Checking Synchronous Perfect RecallCohen, M. / Lomuscio, A. et al. | 2010
- 1079
-
Querying in epsilon L^+ with Nonmonotonic RulesKnorr, M. / Alferes, J.J. et al. | 2010
- 1081
-
Improving the Efficiency of Ontology Engineering by Introducing PrototypicalityAime, X. / Furst, F. / Kuntz, P. / Trichet, F. et al. | 2010
- 1083
-
Implementing Simple Modular ERDF OntologiesDamasio, C.V. / Analyti, A. / Antoniou, G. et al. | 2010
- 1085
-
Local Search Algorithms on the Stable Marriage Problem: Experimental StudiesGelain, M. / Pini, M.S. / Rossi, F. / Venable, K.B. / Walsh, T. et al. | 2010
- 1087
-
A Combined Calculus on Orientation with Composition Based on Geometric PropertiesDylla, F. / Lee, J.H. et al. | 2010
- 1089
-
Knowledge-Based Adaptive Thresholding from ShadowsSantos, P. / Dee, H.M. / Fenelon, V. et al. | 2010
- 1091
-
A Qualitative Representation of Route NetworksRenz, J. / Wolfl, S. et al. | 2010
- 1093
-
Restarts and Nogood Recording in Qualitative Constraint-Based ReasoningWestphal, M. / Wolfl, S. / Li, J.J. et al. | 2010
- 1095
-
Strategic Planning in the Game of Go Using Coupled Non-Linear OscillatorsWilkinson, N. / Bossomaier, T. / Harre, M. / Snyder, A. et al. | 2010
- 1097
-
Semi-Automatic Revision of Formalized KnowledgeNikitina, N. et al. | 2010
- 1099
-
Instruction Cache Prediction Using Bayesian NetworksBartlett, M. / Bate, I. / Cussens, J. et al. | 2010
- 1101
-
Unsupervised Feature Generation Using Knowledge Repositories for Effective Text CategorizationPrasath, R. / Sarkar, S. et al. | 2010
- 1103
-
Discovering an Event Taxonomy from Video Using Qualitative Spatio-Temporal GraphsSridhar, M. / Cohn, A.G. / Hogg, D.C. et al. | 2010
- 1105
-
Advances in Class Noise DetectionSluban, B. / Gamberger, D. / Lavrac, N. et al. | 2010
- 1107
-
Time-Slice Density Estimation for Semantic-Based Tourist Destination SuggestionCeci, M. / Appice, A. / Malerba, D. et al. | 2010
- 1109
-
Knowledge Compilation for Itemset MiningCambazard, H. / Hadzic, T. / O Sullivan, B. et al. | 2010
- 1111
-
Towards Argumentation-Based Multiagent InductionOntanon, S. / Plaza, E. et al. | 2010
- 1113
-
The Advantages of Seed Examples in First-Order Multi-Class Subgroup DiscoveryAbudawood, T. / Flach, P.A. et al. | 2010
- 1115
-
Generating Time Series Reference Models Based on Event AnalysisLara, J.A. / Perez, A. / Valente, J.P. / Lopez-Illescas, A. et al. | 2010
- 1117
-
Mining Physiological Data for Discovering Temporal Patterns on Disease StagesLoglisci, C. / Ceci, M. / Malerba, D. et al. | 2010
- 1119
-
Drift Severity MetricKosina, P. / Gama, J. / Sebastiao, R. et al. | 2010
- 1121
-
Prediction of Attributes and Links in Temporal Social NetworksOuzienko, V. / Guo, Y. / Obradovic, Z. et al. | 2010
- 1123
-
Reliable Predictive Intervals for the Critical Frequency of the F2 Ionospheric LayerPapadopoulos, H. / Haralambous, H. et al. | 2010
- 1125
-
Decentralised Supply Chain Formation: A Belief Propagation-Based ApproachWinsper, M. / Chli, M. et al. | 2010
- 1127
-
Formal Analysis of Models for the Mammalian Vision SystemMender, B. et al. | 2010
- 1129
-
Implementing an Intelligent Moving Average with a Neural NetworkMarques, N.C. / Gomes, C. et al. | 2010
- 1131
-
Bagged Biclustering for Microarray DataHanczar, B. / Nadif, M. et al. | 2010
- 1133
-
On the Maximalization of the Witness Sets in Independent Set ReadingsRobaldo, L. et al. | 2010
- 1135
-
Automatic Creation of a Conceptual Base for Portuguese Using Clustering TechniquesOliveira, H.G. / Gomes, P. et al. | 2010
- 1137
-
Investigating Human Speech Processing as a Model for Spoken Dialogue Systems: An Experimental FrameworkHacker, M. / Elsweiler, D. / Ludwig, B. et al. | 2010
- 1139
-
Automatically Constructing Dictionaries for Extracting Meaningful Crime Information from Arabic TextAlruily, M. / Ayesh, A. / Zedan, H. et al. | 2010
- 1141
-
GNUsmail: Open Framework for On-Line Email ClassificationCarmona-Cejudo, J.M. / Baena-Garcia, M. / del Campo-Avila, J. / Morales-Bueno, R. / Bifet, A. et al. | 2010
- 1143
-
Discovering Collaboration Opportunities in Research-Oriented NetworksCucchiarelli, A. / D Antonio, F. et al. | 2010
- 1145
-
High-Level Perception as Focused Belief RevisionIsmail, H. / Kasrin, N. et al. | 2010