IJCAI-05 proceedings
Copyright © August 1, 2005 International Joint Conferences on Artificial Intelligence. All rights reserved. This publication, or parts thereof, may not be reproduced in any form without permission.
Please use your browser's find command to search for papers of interest.
CASE-BASED REASONING Cho-k-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based Learning Eyke Hüllermeier
IJCAI-05, page 3 Automating the Discovery of Recommendation Knowledge David McSherry and Christopher Stretch
IJCAI-05, page 9 Sophia: A novel approach for Textual Case-based Reasoning David Patterson, Niall Rooney, Vladimir Dobrynin, and Mykola Galushka
IJCAI-05, page 15 Partial and Vague Knowledge for Similarity Measures Timo Steffens
IJCAI-05, page 21 A flexible and robust similarity measure based on contextual probability Hui Wang and Werner Dubitzky
IJCAI-05, page 27 CONSTRAINT SATISFACTION AND SEARCH Propagating Logical Combinations of Constraints Fahiem Bacchus and Toby Walsh
IJCAI-05, page 35 Improved Knowledge Acquisition for High-Performance Heuristic Search J.P. Bekmann and Achim Hoffmann
IJCAI-05, page 41 Extracting Certificates from Quantified Boolean Formulas Marco Benedetti
IJCAI-05, page 47 Optimal and Suboptimal Singleton Arc Consistency Algorithms Christian Bessiere and Romuald Debruyne
IJCAI-05, page 54 The Range and Roots Constraints: Specifying Counting and Occurrence Problems Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, and Toby Walsh
IJCAI-05, page 60 A Model for Generating Random Quantified Boolean Formulas Hubie Chen and Yannet Interian
IJCAI-05, page 66 A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition David Cohen, Peter Jeavons, and Marc Gyssens
IJCAI-05, page 72 Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search Joseph Culberson, Yong Gao, and Calin Anton
IJCAI-05, page 78 Existential arc consistency: Getting closer to full arc consistency in weighted CSPs Simon de Givry, Federico Heras, Matthias Zytnicki, and Javier Larrosa
IJCAI-05, page 84 A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits
IJCAI-05, page 90 On Solution Correspondences in Answer-Set Programming Thomas Eiter, Hans Tompits, and Stefan Woltran
IJCAI-05, page 97 Dual Lookups in Pattern Databases Ariel Felner, Uzi Zahavi, Jonathan Schaeffer, and Robert C. Holte
IJCAI-05, page 103 The Rules of Constraint Modelling Alan M. Frisch, Chris Jefferson, Bernadette Martínez-Hernández, and Ian Miguel
IJCAI-05, page 109 Bin-Completion Algorithms for Multicontainer Packing and Covering Problems Alex S. Fukunaga and Richard E. Korf
IJCAI-05, page 117 Limited Discrepancy Beam Search David Furcy and Sven Koenig
IJCAI-05, page 125 Generalized Amazons is PSPACE-Complete Timothy Furtak, Masashi Kiyomi, Takeaki Uno, and Michael Buro
IJCAI-05, page 132 QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems Ian P. Gent, Peter Nightingale, and Kostas Stergiou
IJCAI-05, page 138 The computational complexity of dominance and consistency in CP-nets Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, and Nic Wilson
IJCAI-05, page 144 The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions Georg Gottlob, Gianluigi Greco, and Francesco Scarcello
IJCAI-05, page 150 DPLL with a Trace: From SAT to Knowledge Compilation Jinbo Huang and Adnan Darwiche
IJCAI-05, page 156 Optimal Refutations for Constraint Satisfaction Problems Tudor Hulubei and Barry O’Sullivan
IJCAI-05, page 163 Efficient Stochastic Local Search for MPE Solving Frank Hutter, Holger H. Hoos, and Thomas Stützle
IJCAI-05, page 169 The Backbone of the Travelling Salesperson Philip Kilby, John Slaney, and Toby Walsh
IJCAI-05, page 175 Complete MCS-Based Search: Application to Resource Constrained Project Scheduling Philippe Laborie
IJCAI-05, page 181 Three Truth Values for the SAT and MAX-SAT Problems Frédéric Lardeux, Frédéric Saubion, and Jin-Kao Hao
IJCAI-05, page 187 Resolution in Max-SAT and its relation to local consistency in weighted CSPs Javier Larrosa and Federico Heras
IJCAI-05, page 193 A Greedy Approach to Establish Singleton Arc Consistency Christophe Lecoutre and Stéphane Cardon
IJCAI-05, page 199 Identifying Conflicts in Overconstrained Temporal Problems Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, and Karem A. Sakallah
IJCAI-05, page 205 Why Minimax Works: An Alternative Explanation Mitja Lustrek, Matjaz Gams, and Ivan Bratko
IJCAI-05, page 212 A New Approach to Multiobjective A* Search L. Mandow and J.L. Pérez de la Cruz
IJCAI-05, page 218 AND/OR Branch-and-Bound for Graphical Models Radu Marinescu and Rina Dechter
IJCAI-05, page 224 AND/OR Cutset Conditioning Robert Mateescu and Rina Dechter
IJCAI-05, page 230 Reducing Checks and Revisions in Coarse-grained MAC Algorithms D. Mehta and M.R.C. van Dongen
IJCAI-05, page 236 Applying Local Search to Disjunctive Temporal Problems Michael D. Moffitt and Martha E. Pollack
IJCAI-05, page 242 Possibilistic Stable Models Pascal Nicolas, Laurent Garcia, and Igor Stéphan
IJCAI-05, page 248 Game-Tree Search with Combinatorially Large Belief States Austin Parker, Dana Nau, and V.S. Subrahmanian
IJCAI-05, page 254 Counting Solutions of CSPs: A Structural Approach Gilles Pesant
IJCAI-05, page 260 A Scalable Method for Multiagent Constraint Optimization Adrian Petcu and Boi Faltings
IJCAI-05, page 266 Breaking symmetries in all different problems Jean-François Puget
IJCAI-05, page 272 Efficient belief-state AND–OR search, with application to Kriegspiel Stuart Russell and Jason Wolfe
IJCAI-05, page 278 Bounded Search and Symbolic Inference for Constraint Optimization Martin Sachenbacher and Brian C. Williams
IJCAI-05, page 286 Solving Checkers J. Schaeffer, Y. Björnsson, N. Burch, A. Kishimoto, M. Müller, R. Lake, P. Lu, and S. Sutphen
IJCAI-05, page 292 Structural Symmetry Breaking Meinolf Sellmann and Pascal Van Hentenryck
IJCAI-05, page 298 Decentralized Search in Networks Using Homophily and Degree Disparity Özgür Simsek and David Jensen
IJCAI-05, page 304 Value Ordering for Finding All Solutions Barbara M. Smith and Paula Sturdy
IJCAI-05, page 311 Leaf-Value Tables for Pruning Non-Zero-Sum Games Nathan Sturtevant
IJCAI-05, page 317 Choosing between heuristics and strategies: an enhanced model for decision-making Shavit Talman, Rotem Toister, and Sarit Kraus
IJCAI-05, page 324 Decision Diagrams for the Computation of Semiring Valuations Nic Wilson
IJCAI-05, page 331 A Simple Model to Generate Hard Satisfiable Instances Ke Xu, Frédéric Boussemart, Fred Hemery, and Christophe Lecoutre
IJCAI-05, page 337 A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones Weixiong Zhang and Moshe Looks
IJCAI-05, page 343 KNOWLEDGE REPRESENTATION AND REASONING Scalability Study of Peer-to-Peer Consequence Finding P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon
IJCAI-05, page 351 Identifiability of Path-Specific Effects Chen Avin, Ilya Shpitser, and Judea Pearl
IJCAI-05, page 357 Pushing the EL Envelope Franz Baader, Sebastian Brandt, and Carsten Lutz
IJCAI-05, page 364 Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, and Dominique Schneider
IJCAI-05, page 370 Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration Salem Benferhat, Sylvain Lagrue, and Odile Papini
IJCAI-05, page 376 Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly
IJCAI-05, page 382 Propositional Argumentation and Causal Reasoning Alexander Bochman
IJCAI-05, page 388 Reconstructing an Agent’s Epistemic State from Observations Richard Booth and Alexander Nittka
IJCAI-05, page 394 Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat Segments Martin Brooks, Yuhong Yan, and Daniel Lemire
IJCAI-05, page 400 Declarative and Computational Properties of Logic Programs with Aggregates Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Simona Perri
IJCAI-05, page 406 Parameterized Compilability Hubie Chen
IJCAI-05, page 412 Updating Action Domain Descriptions Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko
IJCAI-05, page 418 Quota and Gmin Merging Operators Patricia Everaere, Sébastien Konieczny, and Pierre Marquis
IJCAI-05, page 424 Strong Equivalence for Logic Programs with Preferences Wolfgang Faber and Kathrin Konczak
IJCAI-05, page 430 Representing Flexible Temporal Behaviors in the Situation Calculus Alberto Finzi and Fiora Pirri
IJCAI-05, page 436 Cohesion, coupling and the meta-theory of actions Andreas Herzig and Ivan Varzinczak
IJCAI-05, page 442 A Tableaux Decision Procedure for SHOIQ Ian Horrocks and Ulrike Sattler
IJCAI-05, page 448 Reasoning with Inconsistent Ontologies Zhisheng Huang, Frank van Harmelen, and Annette ten Teije
IJCAI-05, page 454 Iterated Belief Change: A Transition System Approach Aaron Hunter and James P. Delgrande
IJCAI-05, page 460 Data Complexity of Reasoning in Very Expressive Description Logics Ullrich Hustadt, Boris Motik, and Ulrike Sattler
IJCAI-05, page 466 Equivalence in Abductive Logic Katsumi Inoue and Chiaki Sakama
IJCAI-05, page 472 Iterated Belief Revision, Revised Yi Jin and Michael Thielscher
IJCAI-05, page 478 Reasoning under inconsistency: the forgotten connective Sébastien Konieczny, Jérôme Lang, and Pierre Marquis
IJCAI-05, page 484 Semantics for a useful fragment of the situation calculus Gerhard Lakemeyer and Hector J. Levesque
IJCAI-05, page 490 From knowledge-based programs to graded belief-based programs, part II: off-line reasoning Noël Laverny and Jérôme Lang
IJCAI-05, page 497 A Model-Theoretic Counterpart of Loop Formulas Joohyung Lee
IJCAI-05, page 503 Planning with Loops Hector J. Levesque
IJCAI-05, page 509 Discovering Classes of Strongly Equivalent Logic Programs Fangzhen Lin and Yin Chen
IJCAI-05, page 516 Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions Yongmei Liu and Hector J. Levesque
IJCAI-05, page 522 Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains Laura S. Mastella, Mara Abel, Luís C. Lamb, and Luiz F. De Ros
IJCAI-05, page 528 Propositional Abduction is Almost Always Hard Gustav Nordh and Bruno Zanuttini
IJCAI-05, page 534 Inverse Resolution as Belief Change Maurice Pagnucco and David Rajaratnam
IJCAI-05, page 540 Building the Semantic Web Tower from RDF Straw Peter F. Patel-Schneider
IJCAI-05, page 546 Measuring conflict and agreement between two prioritized belief bases Guilin Qi, Weiru Liu, and David A. Bell
IJCAI-05, page 552 Minimal and Absent Information in Contexts Floris Roelofsen and Luciano Serafini
IJCAI-05, page 558 Supervaluation Semantics for an Inland Water Feature Ontology Paulo Santos, Brandon Bennett, and Georgios Sakellariou
IJCAI-05, page 564 Aspects of Distributed and Modular Ontology Reasoning Luciano Serafini, Alex Borgida, and Andrei Tamilin
IJCAI-05, page 570 A Formal Investigation of Mapping Language for Terminological Knowledge Luciano Serafini, Heiner Stuckenschmidt, and Holger Wache
IJCAI-05, page 576 Goal Change Steven Shapiro, Yves Lespérance, and Hector J. Levesque
IJCAI-05, page 582 First-Order Logical Filtering Afsaneh Shirazi and Eyal Amir
IJCAI-05, page 589 Combining Learning Constraints and Numerical Regression Dorian Suc and Ivan Bratko
IJCAI-05, page 596 On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics David Toman and Grant Weddell
IJCAI-05, page 603 Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov and Ian Horrocks
IJCAI-05, page 609 Going Far, Logically Fusun Yaman, Dana Nau, and V.S. Subrahmanian
IJCAI-05, page 615 A Motion Closed World Asumption Fusun Yaman, Dana Nau, and V.S. Subrahmanian
IJCAI-05, page 621 Solving Logic Program Conflict through Strong and Weak Forgettings Yan Zhang, Norman Foo, and Kewen Wang
IJCAI-05, page 627 LEARNING Ranking Cases with Decision Trees: a Geometric Method that Preserves Intelligibility Isabelle Alvarez and Stephan Bernard
IJCAI-05, page 635 Exploiting Informative Priors for Bayesian Classification and Regression Trees Nicos Angelopoulos and James Cussens
IJCAI-05, page 641 Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery Martin Atzmueller, Frank Puppe, and Hans-Peter Buscher
IJCAI-05, page 647 Fast and Complete Symbolic Plan Recognition Dorit Avrahami-Zilberbrand and Gal A. Kaminka
IJCAI-05, page 653 Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology Massimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, and Isabel Rojas
IJCAI-05, page 659 Feature Selection Based on the Shapley Value Shay Cohen, Eytan Ruppin, and Gideon Dror
IJCAI-05, page 665 Stacked Sequential Learning William W. Cohen and Vitor R. Carvalho
IJCAI-05, page 671 View Learning for Statistical Relational Learning: With an Application to Mammography Jesse Davis, Elizabeth Burnside, Inês Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, and Jude Shavlik
IJCAI-05, page 677 Learning Web Page Scores by Error Back-Propagation Michelangelo Diligenti, Marco Gori, and Marco Maggini
IJCAI-05, page 684 Reinforcement Learning in POMDPs Without Resets Eyal Even-Dar, Sham M. Kakade, and Yishay Mansour
IJCAI-05, page 690 A Simple-Transition Model for Relational Sequences Alan Fern
IJCAI-05, page 696 Repairing Concavities in ROC Curves Peter A. Flach and Shaomin Wu
IJCAI-05, page 702 Inferring Useful Heuristics from the Dynamics of Iterative Relational Classifiers Aram Galstyan and Paul R. Cohen
IJCAI-05, page 708 Learning Coordination Classifiers Yuhong Guo, Russell Greiner, and Dale Schuurmans
IJCAI-05, page 714 Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification Vu Ha and Tariq Samad
IJCAI-05, page 722 The COMPSET Algorithm for Subset Selection Yaniv Hamo and Shaul Markovitch
IJCAI-05, page 728 Combining Memory and Landmarks with Predictive State Representations Michael R. James, Britton Wolfe, and Satinder Singh
IJCAI-05, page 734 Learning with Labeled Sessions Rong Jin and Huan Liu
IJCAI-05, page 740 A Novel Approach to Model Generation for Heterogeneous Data Classification Rong Jin and Huan Liu
IJCAI-05, page 746 State Abstraction Discovery from Irrelevant State Variables Nicholas K. Jong and Peter Stone
IJCAI-05, page 752 Signal-to-Score Music Transcription using Graphical Models Emir Kapanci and Avi Pfeffer
IJCAI-05, page 758 A Hybrid Discriminative/Generative Approach for Modeling Human Activities Jonathan Lester, Tanzeem Choudhury, Nicky Kern, Gaetano Borriello, and Blake Hannaford
IJCAI-05, page 766 Location-Based Activity Recognition using Relational Markov Networks Lin Liao, Dieter Fox, and Henry Kautz
IJCAI-05, page 773 Concurrent Hierarchical Reinforcement Learning Bhaskara Marthi, Stuart Russell, David Latham, and Carlos Guestrin
IJCAI-05, page 779 Topic and Role Discovery in Social Networks Andrew McCallum, Andrés Corrada-Emmanuel, and Xuerui Wang
IJCAI-05, page 786 Training without data: Knowledge Insertion into RBF Neural Networks Ken McGarry and Stefan Wermter
IJCAI-05, page 792 Unsupervised Dimensionality Estimation and Manifold Learning in high-dimensional Spaces by Tensor Voting Philippos Mordohai and Gérard Medioni
IJCAI-05, page 798 Generalization Error of Linear Neural Networks in an Empirical Bayes Approach Shinichi Nakajima and Sumio Watanabe
IJCAI-05, page 804 Phase Transitions within Grammatical Inference Nicolas Pernot, Antoine Cornuéjols, and Michèle Sebag
IJCAI-05, page 811 Learning against opponents with bounded memory Rob Powers and Yoav Shoham
IJCAI-05, page 817 ROCCER: an Algorithm for Rule Learning Based on ROC Analysis Ronaldo C. Prati and Peter A. Flach
IJCAI-05, page 823 Stepwise Nearest Neighbor Discriminant Analysis Xipeng Qiu and Lide Wu
IJCAI-05, page 829 Using Predictive Representations to Improve Generalization in Reinforcement Learning Eddie J. Rafols, Mark B. Ring, Richard S. Sutton, and Brian Tanner
IJCAI-05, page 835 InterActive Feature Selection Hema Raghavan, Omid Madani, and Rosie Jones
IJCAI-05, page 841 Generative Modeling with Failure in PRISM Taisuke Sato, Yoshitaka Kameya, and Neng-Fa Zhou
IJCAI-05, page 847 Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence Learning Jürgen Schmidhuber, Daan Wierstra, and Faustino Gomez
IJCAI-05, page 853 A Multi-Objective Multi-Modal Optimization Approach for Mining Stable Spatio-Temporal Patterns Michèle Sebag, Nicolas Tarrisson, Olivier Teytaud, Julien Lefevre, and Sylvain Baillet
IJCAI-05, page 859 Temporal-Difference Networks with History Brian Tanner and Richard S. Sutton
IJCAI-05, page 865 Learning to Play Like the Great Pianists Asmir Tobudic and Gerhard Widmer
IJCAI-05, page 871 Sequential Genetic Search for Ensemble Feature Selection Alexey Tsymbal, Mykola Pechenizkiy, and Pádraig Cunningham
IJCAI-05, page 877 Stereotype Extraction with Default Clustering Julien Velcin and Jean-Gabriel Ganascia
IJCAI-05, page 883 Learning Subjective Representations for Planning Dana Wilkinson, Michael Bowling, and Ali Ghodsi
IJCAI-05, page 889 Maximum A Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human Routines Daniel H. Wilson and Matthai Philipose
IJCAI-05, page 895 Mining Spatial Object Associations for Scientific Data Hui Yang, Srinivasan Parthasarathy, and Sameep Mehta
IJCAI-05, page 902 Semi-Supervised Regression with Co-Training Zhi-Hua Zhou and Ming Li
IJCAI-05, page 908 MULTI-AGENT SYSTEMS On the Axiomatic Foundations of Ranking Systems Alon Altman and Moshe Tennenholtz
IJCAI-05, page 917 Sequential-Simultaneous Information Elicitation in Multi-Agent Systems Gal Bahar and Moshe Tennenholtz
IJCAI-05, page 923 Regret-based Utility Elicitation in Constraint-based Decision Problems Craig Boutilier, Relu Patrascu, Pascal Poupart, and Dale Schuurmans
IJCAI-05, page 929 Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity Sylvain Bouveret and Jérôme Lang
IJCAI-05, page 935 On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet
IJCAI-05, page 941 Two-Sided Bandits and the Dating Market Sanmay Das and Emir Kamenica
IJCAI-05, page 947 Multi-agent Coordination using Local Search Boi Faltings and Quang Huy Nguyen
IJCAI-05, page 953 More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling Incentives Sébastien Lahaie, Florin Constantin, and David C. Parkes
IJCAI-05, page 959 The Role of Clustering on the Emergence of Efficient Social Conventions Josep M. Pujol, Jordi Delgado, Ramon Sangüesa, and Andreas Flache
IJCAI-05, page 965 Distributive and Collective Readings in Group Protocols Silvia Rossi, Sanjeev Kumar, and Philip R. Cohen
IJCAI-05, page 971 Learning Payoff Functions in Infinite Games Yevgeniy Vorobeychik, Michael P. Wellman, and Satinder Singh
IJCAI-05, page 977 A Logical Model of Nash Bargaining Solution Dongmo Zhang
IJCAI-05, page 983 NATURAL LANGUAGE A Two-Stage Method for Active Learning of Statistical Grammars Markus Becker and Miles Osborne
IJCAI-05, page 991 TimeML-Compliant Text Analysis for Temporal Reasoning Branimir Boguraev and Rie Kubota Ando
IJCAI-05, page 997 Viewing Referring Expression Generation as Search Bernd Bohnet and Robert Dale
IJCAI-05, page 1004 Word Sense Disambiguation with Distribution Estimation Yee Seng Chan and Hwee Tou Ng
IJCAI-05, page 1010 A Probabilistic Learning Method for XML Annotation of Documents Boris Chidlovskii and Jérôme Fuselier
IJCAI-05, page 1016 Maps for Verbs: The Relation Between Interaction Dynamics and Verb Use Paul R. Cohen, Clayton T. Morrison, and Erin Cannon
IJCAI-05, page 1022 Learning to Understand Web Site Update Requests William W. Cohen, Einat Minkov, and Anthony Tomasic
IJCAI-05, page 1028 A Probabilistic Model of Redundancy in Information Extraction Doug Downey, Oren Etzioni, and Stephen Soderland
IJCAI-05, page 1034 A Probabilistic Framework for Recognizing Intention in Information Graphics Stephanie Elzer, Sandra Carberry, Ingrid Zukerman, Daniel Chester, Nancy Green, and Seniz Demir
IJCAI-05, page 1042 Feature Generation for Text Categorization Using World Knowledge Evgeniy Gabrilovich and Shaul Markovitch
IJCAI-05, page 1048 Learning Strategies for Open-Domain Natural Language Question Answering Eugene Grois and David C. Wilkins
IJCAI-05, page 1054 Shallow Semantics for Relation Extraction Sanda Harabagiu, Cosmin Adrian Bejan, and Paul Morarescu
IJCAI-05, page 1061 Semantic Argument Classification Exploiting Argument Interdependence Zheng Ping Jiang, Jia Li, and Hwee Tou Ng
IJCAI-05, page 1067 Automatic Text-to-Scene Conversion in the Traffic Accident Domain Richard Johansson, Anders Berglund, Magnus Danielsson, and Pierre Nugues
IJCAI-05, page 1073 Redundancy-free Island Parsing of Word Graphs Bernd Kiefer
IJCAI-05, page 1079 Automatic Evaluation of Text Coherence: Models and Representations Mirella Lapata and Regina Barzilay
IJCAI-05, page 1085 Semantic annotation of unstructured and ungrammatical text Matthew Michelson and Craig A. Knoblock
IJCAI-05, page 1091 Temporal Context Representation and Reasoning Dan Moldovan, Christine Clark, and Sanda Harabagiu
IJCAI-05, page 1099 A Machine Learning Approach to Identification and Resolution of One-Anaphora Hwee Tou Ng, Yu Zhou, Robert Dale, and Mary Gardiner
IJCAI-05, page 1105 Robust Ontology Acquisition from Machine-Readable Dictionaries Eric Nichols, Francis Bond, and Daniel Flickinger
IJCAI-05, page 1111 The Necessity of Syntactic Parsing for Semantic Role Labeling Vasin Punyakanok, Dan Roth, and Wen-tau Yih
IJCAI-05, page 1117 Learning and Inference over Constrained Output Vasin Punyakanok, Dan Roth, Wen-tau Yih, and Dav Zimak
IJCAI-05, page 1124 Beyond TFIDF Weighting for Text Categorization in the Vector Space Model Pascal Soucy and Guy W. Mineau
IJCAI-05, page 1130 Measuring Semantic Similarity by Latent Relational Analysis Peter D. Turney
IJCAI-05, page 1136 Theory of Alignment Generators and Applications to Statistical Machine Translation Raghavendra Udupa U. and Hemanta K. Maji
IJCAI-05, page 1142 Analogy Generation with HowNet Tony Veale
IJCAI-05, page 1148 Meaning development versus predefined meanings in language evolution models Paul Vogt
IJCAI-05, page 1154 Automatic Semantic Role Labeling for Chinese Verbs Nianwen Xue and Martha Palmer
IJCAI-05, page 1160 Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency Information Eiko Yamamoto, Kyoko Kanzaki, and Hitoshi Isahara
IJCAI-05, page 1166 PHILOSOPHICAL FOUNDATIONS Attribution of Knowledge to Artificial Agents and their Principals Samir Chopra and Laurence White
IJCAI-05, page 1175 PsychSim: Modeling Theory of Mind with Decision-Theoretic Agents David V. Pynadath and Stacy C. Marsella
IJCAI-05, page 1181 The Altricial-Precocial Spectrum for Robots Aaron Sloman and Jackie Chappell
IJCAI-05, page 1187 PLANNING Model Compilation for Real-Time Planning and Diagnosis with Feedback Anthony Barrett
IJCAI-05, page 1195 Proactive Algorithms for Scheduling with Probabilistic Durations J. Christopher Beck and Nic Wilson
IJCAI-05, page 1201 Over-Subscription Planning with Numeric Goals J. Benton, Minh B. Do, and Subbarao Kambhampati
IJCAI-05, page 1207 Robust Planning with (L)RTDP Olivier Buffet and Douglas Aberdeen
IJCAI-05, page 1214 Abstraction-based Action Ordering in Planning Maria Fox, Derek Long, and Julie Porteous
IJCAI-05, page 1220 Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows Alfonso Gerevini, Alessandro Saetti, and Ivan Serina
IJCAI-05, page 1226 Real-Time Path Planning for Humanoid Robot Navigation Jens-Steffen Gutmann, Masaki Fukuchi, and Masahiro Fujita
IJCAI-05, page 1232 LRTA*(k) Carlos Hernández and Pedro Meseguer
IJCAI-05, page 1238 Planning with Continuous Resources in Stochastic Domains Mausam, Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, and Eric A. Hansen
IJCAI-05, page 1244 Automated Composition of Web Services by Planning at the Knowledge Level M. Pistore, A. Marconi, P. Bertoli, and P. Traverso
IJCAI-05, page 1252 Conditional Planning in the Discrete Belief Space Jussi Rintanen
IJCAI-05, page 1260 Probabilistic Reasoning for Plan Robustness Steve R. Schaffer, Bradley J. Clement, and Steve A. Chien
IJCAI-05, page 1266 Optimized Execution of Action Chains Using Learned Performance Models of Abstract Actions Freek Stulp and Michael Beetz
IJCAI-05, page 1272 UNCERTAINTY Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic Salem Benferhat and Henri Prade
IJCAI-05, page 1281 Bounded Policy Iteration for Decentralized POMDPs Daniel S. Bernstein, Eric A. Hansen, and Shlomo Zilberstein
IJCAI-05, page 1287 A Decision-Theoretic Approach to Task Assistance for Persons with Dementia Jennifer Boger, Pascal Poupart, Jesse Hoey, Craig Boutilier, Geoff Fernie, and Alex Mihailidis
IJCAI-05, page 1293 Sensitivity Analysis in Markov Networks Hei Chan and Adnan Darwiche
IJCAI-05, page 1300 Compiling Bayesian Networks with Local Structure Mark Chavira and Adnan Darwiche
IJCAI-05, page 1306 The Inferential Complexity of Bayesian and Credal Networks Cassio Polpo de Campos and Fabio Gagliardi Cozman
IJCAI-05, page 1313 Lifted First-Order Probabilistic Inference Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth
IJCAI-05, page 1319 Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors Dmitri Dolgov and Edmund Durfee
IJCAI-05, page 1326 Solving POMDPs with Continuous or Large Discrete Observation Spaces Jesse Hoey and Pascal Poupart
IJCAI-05, page 1332 Optimal Nonmyopic Value of Information in Graphical Models – Efficient Algorithms and Theoretical Limits Andreas Krause and Carlos Guestrin
IJCAI-05, page 1339 An MCMC Approach to Solving Hybrid Factored MDPs Branislav Kveton and Milos Hauskrecht
IJCAI-05, page 1346 BLOG: Probabilistic Models with Unknown Objects Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong, and Andrey Kolobov
IJCAI-05, page 1352 Continuous Time Particle Filtering Brenda Ng, Avi Pfeffer, and Richard Dearden
IJCAI-05, page 1360 Accurate and Low-cost Location Estimation Using Kernels Jeffrey Junfeng Pan, James T. Kwok, Qiang Yang, and Yiqiang Chen
IJCAI-05, page 1366 Algebraic Markov Decision Processes Patrice Perny, Olivier Spanjaard, and Paul Weng
IJCAI-05, page 1372 Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic Riccardo Rosati and Georg Gottlob
IJCAI-05, page 1378 Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference Scott Sanner and David McAllester
IJCAI-05, page 1384 Probabilistic Reasoning with Hierarchically Structured Variables Rita Sharma and David Poole
IJCAI-05, page 1391 Self Adaptive Particle Filter Alvaro Soto
IJCAI-05, page 1398 USER INTERFACE AND MODELING Dynamically Constructed Bayes Nets for Multi-Domain Sketch Understanding Christine Alvarado and Randall Davis
IJCAI-05, page 1407 You Are Wrong!—Automatic Detection of Interaction Errors from Brain Waves Pierre W. Ferrez and José del R. Millán
IJCAI-05, page 1413 A Live-User Evaluation of Collaborative Web Search Barry Smyth, Evelyn Balfe, Oisin Boydell, Keith Bradley, Peter Briggs, Maurice Coyle, and Jill Freyne
IJCAI-05, page 1419 Clinical-Reasoning Skill Acquisition through Intelligent Group Tutoring Siriwan Suebnukarn and Peter Haddawy
IJCAI-05, page 1425 VISION AND ROBOTICS Learning Partially Observable Deterministic Action Models Eyal Amir
IJCAI-05, page 1433 Learning Forward Models for Robots Anthony Dearden and Yiannis Demiris
IJCAI-05, page 1440 Inferring Image Templates from Classification Decisions Arnab Dhua and Florin Cutzu
IJCAI-05, page 1446 Combining Structural Descriptions and Image-based Representations for Image, Object, and Scene Recognition Nicolas Do Huu, Williams Paquier, and Raja Chatila
IJCAI-05, page 1452 Compound Effects of Top-down and Bottom-up Influences on Visual Attention During Action Recognition Bassam Khadhouri and Yiannis Demiris
IJCAI-05, page 1458 Collective AI: context awareness via communication S. Kornienko, O. Kornienko, and P. Levi
IJCAI-05, page 1464 Relational Object Maps for Mobile Robots Benson Limketkai, Lin Liao, and Dieter Fox
IJCAI-05, page 1471 Maintaining Coherent Perceptual Information Using Anchoring Amy Loutfi, Silvia Coradeschi, and Alessandro Saffiotti
IJCAI-05, page 1477 2D Shape Classification and Retrieval Graham McNeill and Sethu Vijayakumar
IJCAI-05, page 1483 Efficient Distributed “Hormone” Graph Gradients Esben Hallundbæk Østergaard
IJCAI-05, page 1489 Building Patterned Structures with Robot Swarms Justin Werfel, Yaneer Bar-Yam, and Radhika Nagpal
IJCAI-05, page 1495 POSTER PAPERS: AI AND COGNITIVE ARCHITECTURES Motivated Agents Kathryn Kasmarik, William Uther, and Mary-Lou Maher
IJCAI-05, page 1505 Using AI and simulations to design and control space habitats David Kortenkamp and Scott Bell
IJCAI-05, page 1507 A Universal Measure of Intelligence for Artificial Agents Shane Legg and Marcus Hutter
IJCAI-05, page 1509 It’s About Time Neil Madden and Brian Logan
IJCAI-05, page 1511 Automation Intelligence for the Smart Environment G. Michael Youngblood, Edwin O. Heierman, Lawrence B. Holder, and Diane J. Cook
IJCAI-05, page 1513 POSTER PAPERS: CONSTRAINT SATISFACTION AND SEARCH Allocation and Scheduling for MPSoCs via decomposition and no-good generation Luca Benini, Davide Bertozzi, Alessio Guerri, and Michela Milano
IJCAI-05, page 1517 Minimizing a Makespan Under Uncertainty Jérôme Fortin, Pawel Zielinski, Didier Dubois, and Hélène Fargier
IJCAI-05, page 1519 Scaling up WA* with Commitment and Diversity David Furcy and Sven Koenig
IJCAI-05, page 1521 A Covering Problem for Hypercubes Jörg Hoffmann and Sebastian Kupferschmid
IJCAI-05, page 1523 Predicate-Oriented Isomorphism Elimination in Model Finding Xiangxue Jia and Jian Zhang
IJCAI-05, page 1525 Maintaining Arc Consistency using Adaptive Domain Ordering Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, and Eugene C. Freuder
IJCAI-05, page 1527 Combination of Local Search Strategies for Rotating Workforce Scheduling Problem Nysret Musliu
IJCAI-05, page 1529 Corrective Explanation for Interactive Constraint Satisfaction Barry O’Sullivan, Barry O’Callaghan, and Eugene C. Freuder
IJCAI-05, page 1531 CSP Search with Responsibility Sets and Kernels Igor Razgon and Amnon Meisels
IJCAI-05, page 1533 Hypertree-decomposition via Branch-decomposition Marko Samer
IJCAI-05, page 1535 Improving Tree Decomposition Methods With Function Filtering Martí Sánchez, Javier Larrosa, and Pedro Meseguer
IJCAI-05, page 1537 Streamlining Local Search for Spatially Balanced Latin Squares Casey Smith, Carla Gomes, and Cesar Fernandez
IJCAI-05, page 1539 POSTER PAPERS: KNOWLEDGE REPRESENTATION AND REASONING Abduction with Hypotheses Confirmation Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni
IJCAI-05, page 1545 A language for functional interpretation of model based simulation Jonathan Bell, Neal Snooke, and Chris Price
IJCAI-05, page 1547 A Non-monotonic Logic for Specifying and Querying Preferences Guido Boella and Leendert van der Torre
IJCAI-05, page 1549 A Multidimensional Semantic Framework for Adaptive Hypermedia Systems Francesca Carmagnola, Federica Cena, Cristina Gena, and Ilaria Torre
IJCAI-05, page 1551 Explaining Search Results Maurice Coyle and Barry Smyth
IJCAI-05, page 1553 A Cognitive Model of Visual Analogical Problem-Solving Transfer Jim Davies, Ashok K. Goel, and Nancy J. Nersessian
IJCAI-05, page 1556 An Architecture for Proof Planning Systems Louise A. Dennis
IJCAI-05, page 1558 Explaining preferences with argument positions Sylvie Doutre, Trevor Bench-Capon, and Paul E. Dunne
IJCAI-05, page 1560 Heuristics for Hard ASP Programs Wolfgang Faber, Nicola Leone, and Francesco Ricca
IJCAI-05, page 1562 Incremental Diagnosis of Discrete-Event Systems Alban Grastien, Marie-Odile Cordier, and Christine Largouët
IJCAI-05, page 1564 Reflection Patterns for Interactive Knowledge Capture Jihie Kim
IJCAI-05, page 1566 A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models Yasuo Kudo and Tetsuya Murai
IJCAI-05, page 1568 Redesign Support Framework based on Hierarchical Multiple Models I. López-Arévalo, A. Rodríguez-Martínez, A. Aldea, R. Bañares-Alcántara, and L. Jiménez
IJCAI-05, page 1570 Knowledge Based Approach for Mechanically Verifying Security Protocols Xiaoqi Ma, Xiaochun Cheng, and Rachel McCrindle
IJCAI-05, page 1572 Capturing and Reusing Case-Based Context for Image Retrieval Dympna O’Sullivan, Eoin McLoughlin, Michela Bertolotto, and David C. Wilson
IJCAI-05, page 1574 Dependency Calculus Reasoning in a General Point Relation Algebra Marco Ragni and Alexander Scivos
IJCAI-05, page 1577 Compact Propositional Encodings of First-Order Theories Deepak Ramachandran and Eyal Amir
IJCAI-05, page 1579 Computationally Grounded Model of BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, and Guido Governatori
IJCAI-05, page 1581 The Ontology Revision Yu Sun and Yuefei Sui
IJCAI-05, page 1583 A CLP-Based, Diagnosticity-Driven System for Concept Combinations Georgios Tagalakis, Daniela Ferrari, and Mark T. Keane
IJCAI-05, page 1585 Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein, David Aspinall, and Christoph Lüth
IJCAI-05, page 1587 Using Learned Browsing Behavior Models to Recommend Relevant Web Pages Tingshao Zhu, Russ Greiner, Gerald Häubl, Kevin Jewell, and Bob Price
IJCAI-05, page 1589 POSTER PAPERS: LEARNING AND INFORMATION EXTRACTION A Study of Selection Noise in Collaborative Web Search Oisín Boydell, Barry Smyth, Cathal Gurrin, and Alan F. Smeaton
IJCAI-05, page 1595 Image Retrieval and Disambiguation for Encyclopedic Web Search Atsushi Fujii and Tetsuya Ishikawa
IJCAI-05, page 1598 Learning Complex Event Descriptions by Abstraction Ugo Galassi, Attilio Giordana, Lorenza Saitta, and Marco Botta
IJCAI-05, page 1600 Conditional Visuomotor Learning and Viability Theory Fadila Hadj-Bouziane, Hélène Frankowska, Martine Meunier, and Driss Boussaoud
IJCAI-05, page 1602 fMRI Analysis via One-class Machine Learning Techniques David R. Hardoon and Larry M. Manevitz
IJCAI-05, page 1604 Adaptive Support Vector Machine for Time-Varying Data Streams Using Martingale Shen-Shyang Ho and Harry Wechsler
IJCAI-05, page 1606 Automatic Hypertext Keyphrase Detection Daniel Kelleher and Saturnino Luz
IJCAI-05, page 1608 Relational Learning for Email Task Management Rinat Khoussainov and Nicholas Kushmerick
IJCAI-05, page 1610 A Fast Normalized Maximum Likelihood Algorithm for Multinomial Data Petri Kontkanen and Petri Myllymäki
IJCAI-05, page 1613 Using Neutral Examples for Learning Polarity Moshe Koppel and Jonathan Schler
IJCAI-05, page 1616 Transfer in Learning by Doing Bill Krueger, Tim Oates, Tom Armstrong, Paul Cohen, and Carole Beal
IJCAI-05, page 1618 Supervised Local Tangent Space Alignment for Classification Hongyu Li, Wenbin Chen, and I-Fan Shen
IJCAI-05, page 1620 Active Cost-Sensitive Learning Dragos D. Margineantu
IJCAI-05, page 1622 Automatic learning of domain model for personalized hypermedia applications Hermine Njike, Thierry Artières, Patrick Gallinari, Julien Blanchard, and Guillaume Letellier
IJCAI-05, page 1624 Kernels on Prolog Ground Terms Andrea Passerini and Paolo Frasconi
IJCAI-05, page 1626 A Learning Scheme for Generating Expressive Music Performances of Jazz Standards Rafael Ramirez and Amaury Hazan
IJCAI-05, page 1628 Incorporating a folding rule into inductive logic programming David A. Rosenblueth
IJCAI-05, page 1630 Development of new techniques to improve Web search David Sánchez and Antonio Moreno
IJCAI-05, page 1632 Intimate Learning: A Novel Approach for Combining Labelled and Unlabelled Data Zhongmin Shi and Anoop Sarkar
IJCAI-05, page 1634 Collective Object Identification Parag Singla and Pedro Domingos
IJCAI-05, page 1636 Question Classification by Structure Induction Menno van Zaanen, Luiz Augusto Pizzato, and Diego Mollá
IJCAI-05, page 1638 An Inductive Database for Mining Temporal Patterns in Event Sequences Alexandre Vautier, Marie-Odile Cordier, and René Quiniou
IJCAI-05, page 1640 Discovering Time Differential Law Equations Containing Hidden State Variables and Chaotic Dynamics Takashi Washio, Fuminori Adachi, and Hiroshi Motoda
IJCAI-05, page 1642 Learning Global Models Based on Distributed Data Abstractions Xiaofeng Zhang and William K. Cheung
IJCAI-05, page 1645 POSTER PAPERS: MULTI-AGENT SYSTEMS Language Learning in Multi-Agent Systems Martin Allen, Claudia V. Goldman, and Shlomo Zilberstein
IJCAI-05, page 1649 On the Evolution of Memory Size in the Minority Game (extended abstract) Ricardo M. Araújo and Luis C. Lamb
IJCAI-05, page 1651 Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational Agents Yoram Bachrach and Jeffrey S. Rosenschein
IJCAI-05, page 1653 The Evolution of Artificial Social Systems Guido Boella and Leendert van der Torre
IJCAI-05, page 1655 Fast convergence to satisfying distributions Teddy Candale and Sandip Sen
IJCAI-05, page 1657 A rule language for modelling and monitoring social expectations in multi-agent systems Stephen Cranefield
IJCAI-05, page 1659 A Framework for Communication Planning on Mobile Devices Joseph B. Kopena and William C. Regli
IJCAI-05, page 1661 Trust No One: Evaluating Trust-based Filtering for Recommenders John O’Donovan and Barry Smyth
IJCAI-05, page 1663 Inter-Agent Communication: A Cost-Reduction Approach Using an Autonomous Mobile Mailbox Armin Stranjak, Igor Cavrak, and Mario Zagar
IJCAI-05, page 1666 Coalitional Games in Open Anonymous Environments Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, and Atsushi Iwasaki
IJCAI-05, page 1668 Value-Centric Trust Model with Improved Familiarity Measurement Jie Zhang and Ali A. Ghorbani
IJCAI-05, page 1670 POSTER PAPERS: NATURAL LANGUAGE AND USER INTERFACES Towards More Intelligent Mobile Search Karen Church, Mark T. Keane, and Barry Smyth
IJCAI-05, page 1675 An Inference Model for Semantic Entailment in Natural Language Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, and Mark Sammons
IJCAI-05, page 1678 Discovering Inconsistency through Examination Dialogues Paul E. Dunne, Sylvie Doutre, and Trevor Bench-Capon
IJCAI-05, page 1680 A Probabilistic Lexical Approach to Textual Entailment Oren Glickman, Ido Dagan, and Moshe Koppel
IJCAI-05, page 1682 Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism Alexander Gutkin and David Gay
IJCAI-05, page 1684 Sentence Extraction for Legal Text Summarisation Ben Hachey and Claire Grover
IJCAI-05, page 1686 Fault-Tolerant Context-Based Interpretation of Mathematical Formulas Helmut Horacek and Magdalena Wolska
IJCAI-05, page 1688 MDL-based Acquisition of Substitutability Relationships between Discourse Connectives Ben Hutchinson
IJCAI-05, page 1690 Can we assign attitudes to a computer based on its beeps?—Toward an effective method for making humans empathize with artificial agents Takanori Komatsu
IJCAI-05, page 1692 Correspondence-guided Synchronous Parsing of Parallel Corpora Jonas Kuhn
IJCAI-05, page 1694 Naturalness of an Utterance Based on the Automatically Retrieved Commonsense Rafal Rzepka, Yali Ge, and Kenji Araki
IJCAI-05, page 1696 Induction of Syntactic Collocation Patterns from Generic Syntactic Relations Violeta Seretan
IJCAI-05, page 1698 Evaluating an NLG System using Post-Editing Somayajulu G. Sripada, Ehud Reiter, and Lezan Hawizy
IJCAI-05, page 1700 Online Support System for Mediator Education Takahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami, and Katsumi Nitta
IJCAI-05, page 1702 Appropriate Microplanning Choices for Low-Skilled Readers Sandra Williams and Ehud Reiter
IJCAI-05, page 1704 POSTER PAPERS: PLANNING Mixed-Initiative Activity Planning for Mars Rovers John Bresina, Ari Jónsson, Paul Morris, and Kanna Rajan
IJCAI-05, page 1709 Planning with graded fluents and actions Marta Cialdea, Carla Limongelli, Andrea Orlandini, and Valentina Poggioni
IJCAI-05, page 1711 Automated Adaptive Support for Task and Information Prioritizing Tjerk de Greef, and Peter-Paul van Maanen
IJCAI-05, page 1713 Planning for Weakly-Coupled Partially Observable Stochastic Games AnYuan Guo and Victor Lesser
IJCAI-05, page 1715 Multi-Agent Assumption-Based Planning Damien Pellier and Humbert Fiorino
IJCAI-05, page 1717 Open-World Planning for Story Generation Mark O. Riedl and R. Michael Young
IJCAI-05, page 1719 Disjunctive Temporal Planning with Uncertainty K. Brent Venable and Neil Yorke-Smith
IJCAI-05, page 1721 POSTER PAPERS: ROBOTICS AND PERCEPTION Talking Robots: a Fully Autonomous Implementation of the Talking Heads Jean-Christophe Baillie and Matthieu Nottale
IJCAI-05, page 1725 An On-Line Time Warping Algorithm for Tracking Musical Performances Simon Dixon
IJCAI-05, page 1727 Path-Planning for Autonomous Training on Robot Manipulators in Space Froduald Kabanza, Roger Nkambou, and Khaled Belghith
IJCAI-05, page 1729 Growth of Motor Coordination in Early Robot Learning M.H. Lee and Q. Meng
IJCAI-05, page 1732 Measuring the Cost of Robotic Communication Avi Rosenfeld, Gal A Kaminka, and Sarit Kraus
IJCAI-05, page 1734 An Heuristic Search based Approach for Moving Objects Tracking Elena Sánchez-Nielsen and Mario Hernández-Tejera
IJCAI-05, page 1736 3-D Interpretation of Single Line Drawings Kenji Shoji, Fubito Toyama, and Juichi Miyamichi
IJCAI-05, page 1738 SVM-based Obstacles Recognition for Road Vehicle Applications M.A. Sotelo, J. Nuevo, D. Fernandez, I. Parra, L.M. Bergasa, M. Ocana, and R. Flores
IJCAI-05, page 1740 Detecting and locating faults in the control software of autonomous mobile robots Gerald Steinbauer and Franz Wotawa
IJCAI-05, page 1742 Learning discontinuities for switching between local models Marc Toussaint and Sethu Vijayakumar
IJCAI-05, page 1744 POSTER PAPERS: UNCERTAINTY Model minimization by linear PSR Masoumeh T. Izadi and Doina Precup
IJCAI-05, page 1749 Using core beliefs for point-based value iteration Masoumeh T. Izadi, Ajit V. Rajwade, and Doina Precup
IJCAI-05, page 1751 Approximating Pseudo-Boolean Functions on Non-Uniform Domains R.F. Lax, Guoli Ding, Peter P. Chen, and J. Chen
IJCAI-05, page 1754 A Modal Logic for Reasoning about Possibilistic Belief Fusion Churn-Jung Liau and Tuan-Fang Fan
IJCAI-05, page 1756 Networked Distributed POMDPs: A Synergy of Distributed Constraint Optimization and POMDPs Ranjit Nair, Pradeep Varakantham, Milind Tambe, and Makoto Yokoo
IJCAI-05, page 1758 Coping with exceptions in multiclass ILP problems using possibilistic logic Mathieu Serrurier and Henri Prade
IJCAI-05, page 1761 RESEARCH EXCELLENCE AWARD What kind of graphical model is the brain? Geoffrey E. Hinton
IJCAI-05, page 1765
|