19. IJCAI 2005:
Edinburgh,
Scotland,
UK
Leslie Pack Kaelbling, Alessandro Saffiotti (Eds.):
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005.
Professional Book Center 2005, ISBN 0938075934 BibTeX
Case-Based Reasoning
Constraint Satisfaction and Search
- Fahiem Bacchus, Toby Walsh:
Propagating Logical Combinations of Constraints.
35-40
Electronic Edition (link) BibTeX
- J. P. Bekmann, Achim G. Hoffmann:
Improved Knowledge Acquisition for High-Performance Heuristic Search.
41-46
Electronic Edition (link) BibTeX
- Marco Benedetti:
Extracting Certificates from Quantified Boolean Formulas.
47-53
Electronic Edition (link) BibTeX
- Christian Bessière, Romuald Debruyne:
Optimal and Suboptimal Singleton Arc Consistency Algorithms.
54-59
Electronic Edition (link) BibTeX
- Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
The Range and Roots Constraints: Specifying Counting and Occurrence Problems.
60-65
Electronic Edition (link) BibTeX
- Hubie Chen, Yannet Interian:
A Model for Generating Random Quantified Boolean Formulas.
66-71
Electronic Edition (link) BibTeX
- David A. Cohen, Peter Jeavons, Marc Gyssens:
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.
72-77
Electronic Edition (link) BibTeX
- Joseph C. Culberson, Yong Gao, Calin Anton:
Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search.
78-83
Electronic Edition (link) BibTeX
- Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa:
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.
84-89
Electronic Edition (link) BibTeX
- Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.
90-96
Electronic Edition (link) BibTeX
- Thomas Eiter, Hans Tompits, Stefan Woltran:
On Solution Correspondences in Answer-Set Programming.
97-102
Electronic Edition (link) BibTeX
- Ariel Felner, Uzi Zahavi, Jonathan Schaeffer, Robert C. Holte:
Dual Lookups in Pattern Databases.
103-108
Electronic Edition (link) BibTeX
- Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel:
The Rules of Constraint Modelling.
109-116
Electronic Edition (link) BibTeX
- Alex S. Fukunaga, Richard E. Korf:
Bin-Completion Algorithms for Multicontainer Packing and Covering Problems.
117-124
Electronic Edition (link) BibTeX
- David Furcy, Sven Koenig:
Limited Discrepancy Beam Search.
125-131
Electronic Edition (link) BibTeX
- Timothy Furtak, Masashi Kiyomi, Takeaki Uno, Michael Buro:
Generalized Amazons is PSPACE-Complete.
132-137
Electronic Edition (link) BibTeX
- Ian P. Gent, Peter Nightingale, Kostas Stergiou:
QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems.
138-143
Electronic Edition (link) BibTeX
- Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson:
The computational complexity of dominance and consistency in CP-nets.
144-149
Electronic Edition (link) BibTeX
- Georg Gottlob, Gianluigi Greco, Francesco Scarcello:
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions.
150-155
Electronic Edition (link) BibTeX
- Jinbo Huang, Adnan Darwiche:
DPLL with a Trace: From SAT to Knowledge Compilation.
156-162
Electronic Edition (link) BibTeX
- Tudor Hulubei, Barry O'Sullivan:
Optimal Refutations for Constraint Satisfaction Problems.
163-168
Electronic Edition (link) BibTeX
- Frank Hutter, Holger H. Hoos, Thomas Stützle:
Efficient Stochastic Local Search for MPE Solving.
169-174
Electronic Edition (link) BibTeX
- Philip Kilby, John K. Slaney, Toby Walsh:
The Backbone of the Travelling Salesperson.
175-180
Electronic Edition (link) BibTeX
- Philippe Laborie:
Complete MCS-Based Search: Application to Resource Constrained Project Scheduling.
181-186
Electronic Edition (link) BibTeX
- Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao:
Three Truth Values for the SAT and MAX-SAT Problems.
187-192
Electronic Edition (link) BibTeX
- Javier Larrosa, Federico Heras:
Resolution in Max-SAT and its relation to local consistency in weighted CSPs.
193-198
Electronic Edition (link) BibTeX
- Christophe Lecoutre, Stéphane Cardon:
A Greedy Approach to Establish Singleton Arc Consistency.
199-204
Electronic Edition (link) BibTeX
- Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah:
Identifying Conflicts in Overconstrained Temporal Problems.
205-211
Electronic Edition (link) BibTeX
- Mitja Lustrek, Matjaz Gams, Ivan Bratko:
Why Minimax Works: An Alternative Explanation.
212-217
Electronic Edition (link) BibTeX
- Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
A New Approach to Multiobjective A* Search.
218-223
Electronic Edition (link) BibTeX
- Radu Marinescu, Rina Dechter:
AND/OR Branch-and-Bound for Graphical Models.
224-229
Electronic Edition (link) BibTeX
- Robert Mateescu, Rina Dechter:
AND/OR Cutset Conditioning.
230-235
Electronic Edition (link) BibTeX
- Deepak Mehta, Marc R. C. van Dongen:
Reducing Checks and Revisions in Coarse-grained MAC Algorithms.
236-241
Electronic Edition (link) BibTeX
- Michael D. Moffitt, Martha E. Pollack:
Applying Local Search to Disjunctive Temporal Problems.
242-247
Electronic Edition (link) BibTeX
- Pascal Nicolas, Laurent Garcia, Igor Stéphan:
Possibilistic Stable Models.
248-253
Electronic Edition (link) BibTeX
- Austin Parker, Dana S. Nau, V. S. Subrahmanian:
Game-Tree Search with Combinatorially Large Belief States.
254-259
Electronic Edition (link) BibTeX
- Gilles Pesant:
Counting Solutions of CSPs: A Structural Approach.
260-265
Electronic Edition (link) BibTeX
- Adrian Petcu, Boi Faltings:
A Scalable Method for Multiagent Constraint Optimization.
266-271
Electronic Edition (link) BibTeX
- Jean-Francois Puget:
Breaking symmetries in all different problems.
272-277
Electronic Edition (link) BibTeX
- Stuart J. Russell, Jason Wolfe:
Efficient belief-state AND-OR search, with application to Kriegspiel.
278-285
Electronic Edition (link) BibTeX
- Martin Sachenbacher, Brian C. Williams:
Bounded Search and Symbolic Inference for Constraint Optimization.
286-291
Electronic Edition (link) BibTeX
- Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Müller, Robert Lake, Paul Lu, Steve Sutphen:
Solving Checkers.
292-297
Electronic Edition (link) BibTeX
- Meinolf Sellmann, Pascal Van Hentenryck:
Structural Symmetry Breaking.
298-303
Electronic Edition (link) BibTeX
- Özgür Simsek, David Jensen:
Decentralized Search in Networks Using Homophily and Degree Disparity.
304-310
Electronic Edition (link) BibTeX
- Barbara M. Smith, Paula Sturdy:
Value Ordering for Finding All Solutions.
311-316
Electronic Edition (link) BibTeX
- Nathan R. Sturtevant:
Leaf-Value Tables for Pruning Non-Zero-Sum Games.
317-323
Electronic Edition (link) BibTeX
- Shavit Talman, Rotem Toister, Sarit Kraus:
Choosing between heuristics and strategies: an enhanced model for decision-making.
324-330
Electronic Edition (link) BibTeX
- Nic Wilson:
Decision Diagrams for the Computation of Semiring Valuations.
331-336
Electronic Edition (link) BibTeX
- Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre:
A Simple Model to Generate Hard Satisfiable Instances.
337-342
Electronic Edition (link) BibTeX
- Weixiong Zhang, Moshe Looks:
A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones.
343-350
Electronic Edition (link) BibTeX
Knowledge Representation and Reasoning
- Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Scalability Study of Peer-to-Peer Consequence Finding.
351-356
Electronic Edition (link) BibTeX
- Chen Avin, Ilya Shpitser, Judea Pearl:
Identifiability of Path-Specific Effects.
357-363
Electronic Edition (link) BibTeX
- Franz Baader, Sebastian Brandt, Carsten Lutz:
Pushing the EL Envelope.
364-369
Electronic Edition (link) BibTeX
- Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider:
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
370-375
Electronic Edition (link) BibTeX
- Salem Benferhat, Sylvain Lagrue, Odile Papini:
Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration.
376-381
Electronic Edition (link) BibTeX
- Thomas Bittner, Maureen Donnelly:
Computational ontologies of parthood, componenthood, and containment.
382-387
Electronic Edition (link) BibTeX
- Alexander Bochman:
Propositional Argumentation and Causal Reasoning.
388-393
Electronic Edition (link) BibTeX
- Richard Booth, Alexander Nittka:
Reconstructing an Agent's Epistemic State from Observations.
394-399
Electronic Edition (link) BibTeX
- Martin Brooks, Yuhong Yan, Daniel Lemire:
Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat Segments.
400-405
Electronic Edition (link) BibTeX
- Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Declarative and Computational Properties of Logic Programs with Aggregates.
406-411
Electronic Edition (link) BibTeX
- Hubie Chen:
Parameterized Compilability.
412-417
Electronic Edition (link) BibTeX
- Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Updating Action Domain Descriptions.
418-423
Electronic Edition (link) BibTeX
- Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Quota and Gmin Merging Operators.
424-429
Electronic Edition (link) BibTeX
- Wolfgang Faber, Kathrin Konczak:
Strong Equivalence for Logic Programs with Preferences.
430-435
Electronic Edition (link) BibTeX
- Alberto Finzi, Fiora Pirri:
Representing Flexible Temporal Behaviors in the Situation Calculus.
436-441
Electronic Edition (link) BibTeX
- Andreas Herzig, Ivan José Varzinczak:
Cohesion, coupling and the meta-theory of actions.
442-447
Electronic Edition (link) BibTeX
- Ian Horrocks, Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ.
448-453
Electronic Edition (link) BibTeX
- Zhisheng Huang, Frank van Harmelen, Annette ten Teije:
Reasoning with Inconsistent Ontologies.
454-459
Electronic Edition (link) BibTeX
- Aaron Hunter, James P. Delgrande:
Iterated Belief Change: A Transition System Approach.
460-465
Electronic Edition (link) BibTeX
- Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Data Complexity of Reasoning in Very Expressive Description Logics.
466-471
Electronic Edition (link) BibTeX
- Katsumi Inoue, Chiaki Sakama:
Equivalence in Abductive Logic.
472-477
Electronic Edition (link) BibTeX
- Yi Jin, Michael Thielscher:
Iterated Belief Revision, Revised.
478-483
Electronic Edition (link) BibTeX
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Reasoning under inconsistency: the forgotten connective.
484-489
Electronic Edition (link) BibTeX
- Gerhard Lakemeyer, Hector J. Levesque:
Semantics for a useful fragment of the situation calculus.
490-496
Electronic Edition (link) BibTeX
- Noël Laverny, Jérôme Lang:
From knowledge-based programs to graded belief-based programs, part II: off-line reasoning.
497-502
Electronic Edition (link) BibTeX
- Joohyung Lee:
A Model-Theoretic Counterpart of Loop Formulas.
503-508
Electronic Edition (link) BibTeX
- Hector J. Levesque:
Planning with Loops.
509-515
Electronic Edition (link) BibTeX
- Fangzhen Lin, Yin Chen:
Discovering Classes of Strongly Equivalent Logic Programs.
516-521
Electronic Edition (link) BibTeX
- Yongmei Liu, Hector J. Levesque:
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions.
522-527
Electronic Edition (link) BibTeX
- Laura S. Mastella, Mara Abel, Luís C. Lamb, Luis Fernando De Ros:
Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains.
528-533
Electronic Edition (link) BibTeX
- Gustav Nordh, Bruno Zanuttini:
Propositional Abduction is Almost Always Hard.
534-539
Electronic Edition (link) BibTeX
- Maurice Pagnucco, David Rajaratnam:
Inverse Resolution as Belief Change.
540-545
Electronic Edition (link) BibTeX
- Peter F. Patel-Schneider:
Building the Semantic Web Tower from RDF Straw.
546-551
Electronic Edition (link) BibTeX
- Guilin Qi, Weiru Liu, David A. Bell:
Measuring conflict and agreement between two prioritized belief bases.
552-557
Electronic Edition (link) BibTeX
- Floris Roelofsen, Luciano Serafini:
Minimal and Absent Information in Contexts.
558-563
Electronic Edition (link) BibTeX
- Paulo Santos, Brandon Bennett, Georgios Sakellariou:
Supervaluation Semantics for an Inland Water Feature Ontology.
564-569
Electronic Edition (link) BibTeX
- Luciano Serafini, Alexander Borgida, Andrei Tamilin:
Aspects of Distributed and Modular Ontology Reasoning.
570-575
Electronic Edition (link) BibTeX
- Luciano Serafini, Heiner Stuckenschmidt, Holger Wache:
A Formal Investigation of Mapping Language for Terminological Knowledge.
576-581
Electronic Edition (link) BibTeX
- Steven Shapiro, Yves Lespérance, Hector J. Levesque:
Goal Change.
582-588
Electronic Edition (link) BibTeX
- Afsaneh Shirazi, Eyal Amir:
First-Order Logical Filtering.
589-595
Electronic Edition (link) BibTeX
- Dorian Suc, Ivan Bratko:
Combining Learning Constraints and Numerical Regression.
596-602
Electronic Edition (link) BibTeX
- David Toman, Grant E. Weddell:
On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.
603-608
Electronic Edition (link) BibTeX
- Dmitry Tsarkov, Ian Horrocks:
Ordering Heuristics for Description Logic Reasoning.
609-614
Electronic Edition (link) BibTeX
- Fusun Yaman, Dana S. Nau, V. S. Subrahmanian:
Going Far, Logically.
615-620
Electronic Edition (link) BibTeX
- Fusun Yaman, Dana S. Nau, V. S. Subrahmanian:
A Motion Closed World Asumption.
621-626
Electronic Edition (link) BibTeX
- Yan Zhang, Norman Y. Foo, Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings.
627-634
Electronic Edition (link) BibTeX
Learning
- Isabelle Alvarez, Stephan Bernard:
Ranking Cases with Decision Trees: a Geometric Method that Preserves Intelligibility.
635-640
Electronic Edition (link) BibTeX
- Nicos Angelopoulos, James Cussens:
Exploiting Informative Priors for Bayesian Classification and Regression Trees.
641-646
Electronic Edition (link) BibTeX
- Martin Atzmüller, Frank Puppe, Hans-Peter Buscher:
Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery.
647-652
Electronic Edition (link) BibTeX
- Dorit Avrahami-Zilberbrand, Gal A. Kaminka:
Fast and Complete Symbolic Plan Recognition.
653-658
Electronic Edition (link) BibTeX
- Massimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, Isabel Rojas:
Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology.
659-664
Electronic Edition (link) BibTeX
- Shay Cohen, Eytan Ruppin, Gideon Dror:
Feature Selection Based on the Shapley Value.
665-670
Electronic Edition (link) BibTeX
- William W. Cohen, Vitor Rocha de Carvalho:
Stacked Sequential Learning.
671-676
Electronic Edition (link) BibTeX
- Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik:
View Learning for Statistical Relational Learning: With an Application to Mammography.
677-683
Electronic Edition (link) BibTeX
- Michelangelo Diligenti, Marco Gori, Marco Maggini:
Learning Web Page Scores by Error Back-Propagation.
684-689
Electronic Edition (link) BibTeX
- Eyal Even-Dar, Sham M. Kakade, Yishay Mansour:
Reinforcement Learning in POMDPs Without Resets.
690-695
Electronic Edition (link) BibTeX
- Alan Fern:
A Simple-Transition Model for Relational Sequences.
696-701
Electronic Edition (link) BibTeX
- Peter A. Flach, Shaomin Wu:
Repairing Concavities in ROC Curves.
702-707
Electronic Edition (link) BibTeX
- Aram Galstyan, Paul R. Cohen:
Inferring Useful Heuristics from the Dynamics of Iterative Relational Classifiers.
708-713
Electronic Edition (link) BibTeX
- Yuhong Guo, Russell Greiner, Dale Schuurmans:
Learning Coordination Classifiers.
714-721
Electronic Edition (link) BibTeX
- Vu Ha, Tariq Samad:
Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification.
722-727
Electronic Edition (link) BibTeX
- Yaniv Hamo, Shaul Markovitch:
The COMPSET Algorithm for Subset Selection.
728-733
Electronic Edition (link) BibTeX
- Michael R. James, Britton Wolfe, Satinder P. Singh:
Combining Memory and Landmarks with Predictive State Representations.
734-739
Electronic Edition (link) BibTeX
- Rong Jin, Huan Liu:
Learning with Labeled Sessions.
740-745
Electronic Edition (link) BibTeX
- Rong Jin, Huan Liu:
A Novel Approach to Model Generation for Heterogeneous Data Classification.
746-751
Electronic Edition (link) BibTeX
- Nicholas K. Jong, Peter Stone:
State Abstraction Discovery from Irrelevant State Variables.
752-757
Electronic Edition (link) BibTeX
- Emir Kapanci, Avi Pfeffer:
Signal-to-Score Music Transcription using Graphical Models.
758-765
Electronic Edition (link) BibTeX
- Jonathan Lester, Tanzeem Choudhury, Nicky Kern, Gaetano Borriello, Blake Hannaford:
A Hybrid Discriminative/Generative Approach for Modeling Human Activities.
766-772
Electronic Edition (link) BibTeX
- Lin Liao, Dieter Fox, Henry A. Kautz:
Location-Based Activity Recognition using Relational Markov Networks.
773-778
Electronic Edition (link) BibTeX
- Bhaskara Marthi, Stuart J. Russell, David Latham, Carlos Guestrin:
Concurrent Hierarchical Reinforcement Learning.
779-785
Electronic Edition (link) BibTeX
- Andrew McCallum, Andrés Corrada-Emmanuel, Xuerui Wang:
Topic and Role Discovery in Social Networks.
786-791
Electronic Edition (link) BibTeX
- Kenneth McGarry, Stefan Wermter:
Training without data: Knowledge Insertion into RBF Neural Networks.
792-797
Electronic Edition (link) BibTeX
- Philippos Mordohai, Gérard G. Medioni:
Unsupervised Dimensionality Estimation and Manifold Learning in high-dimensional Spaces by Tensor Voting.
798-803
Electronic Edition (link) BibTeX
- Shinichi Nakajima, Sumio Watanabe:
Generalization Error of Linear Neural Networks in an Empirical Bayes Approach.
804-810
Electronic Edition (link) BibTeX
- Nicolas Pernot, Antoine Cornuéjols, Michèle Sebag:
Phase Transitions within Grammatical Inference.
811-816
Electronic Edition (link) BibTeX
- Rob Powers, Yoav Shoham:
Learning against opponents with bounded memory.
817-822
Electronic Edition (link) BibTeX
- Ronaldo C. Prati, Peter A. Flach:
ROCCER: An Algorithm for Rule Learning Based on ROC Analysis.
823-828
Electronic Edition (link) BibTeX
- Xipeng Qiu, Lide Wu:
Stepwise Nearest Neighbor Discriminant Analysis.
829-834
Electronic Edition (link) BibTeX
- Eddie J. Rafols, Mark B. Ring, Richard S. Sutton, Brian Tanner:
Using Predictive Representations to Improve Generalization in Reinforcement Learning.
835-840
Electronic Edition (link) BibTeX
- Hema Raghavan, Omid Madani, Rosie Jones:
InterActive Feature Selection.
841-846
Electronic Edition (link) BibTeX
- Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou:
Generative Modeling with Failure in PRISM.
847-852
Electronic Edition (link) BibTeX
- Jürgen Schmidhuber, Daan Wierstra, Faustino J. Gomez:
Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence Learning.
853-858
Electronic Edition (link) BibTeX
- Michèle Sebag, Nicolas Tarrisson, Olivier Teytaud, Julien Lefevre, Sylvain Baillet:
A Multi-Objective Multi-Modal Optimization Approach for Mining Stable Spatio-Temporal Patterns.
859-864
Electronic Edition (link) BibTeX
- Brian Tanner, Richard S. Sutton:
Temporal-Difference Networks with History.
865-870
Electronic Edition (link) BibTeX
- Asmir Tobudic, Gerhard Widmer:
Learning to Play Like the Great Pianists.
871-876
Electronic Edition (link) BibTeX
- Alexey Tsymbal, Mykola Pechenizkiy, Padraig Cunningham:
Sequential Genetic Search for Ensemble Feature Selection.
877-882
Electronic Edition (link) BibTeX
- Julien Velcin, Jean-Gabriel Ganascia:
Stereotype Extraction with Default Clustering.
883-888
Electronic Edition (link) BibTeX
- Dana F. Wilkinson, Michael H. Bowling, Ali Ghodsi:
Learning Subjective Representations for Planning.
889-894
Electronic Edition (link) BibTeX
- Daniel H. Wilson, Matthai Philipose:
Maximum A Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human Routines.
895-901
Electronic Edition (link) BibTeX
- Hui Yang, Srinivasan Parthasarathy, Sameep Mehta:
Mining Spatial Object Associations for Scientific Data.
902-907
Electronic Edition (link) BibTeX
- Zhi-Hua Zhou, Ming Li:
Semi-Supervised Regression with Co-Training.
908-916
Electronic Edition (link) BibTeX
Multi-Agent Systems
- Alon Altman, Moshe Tennenholtz:
On the Axiomatic Foundations of Ranking Systems.
917-922
Electronic Edition (link) BibTeX
- Gal Bahar, Moshe Tennenholtz:
Sequential-Simultaneous Information Elicitation in Multi-Agent Systems.
923-928
Electronic Edition (link) BibTeX
- Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans:
Regret-based Utility Elicitation in Constraint-based Decision Problems.
929-934
Electronic Edition (link) BibTeX
- Sylvain Bouveret, Jérôme Lang:
Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity.
935-940
Electronic Edition (link) BibTeX
- Yann Chevaleyre, Ulle Endriss, Nicolas Maudet:
On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation.
941-946
Electronic Edition (link) BibTeX
- Sanmay Das, Emir Kamenica:
Two-Sided Bandits and the Dating Market.
947-952
Electronic Edition (link) BibTeX
- Boi Faltings, Quang Huy Nguyen:
Multi-agent Coordination using Local Search.
953-958
Electronic Edition (link) BibTeX
- Sébastien Lahaie, Florin Constantin, David C. Parkes:
More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling Incentives.
959-964
Electronic Edition (link) BibTeX
- Josep M. Pujol, Jordi Delgado, Ramon Sangüesa, Andreas Flache:
The Role of Clustering on the Emergence of Efficient Social Conventions.
965-970
Electronic Edition (link) BibTeX
- Silvia Rossi, Sanjeev Kumar, Philip R. Cohen:
Distributive and Collective Readings in Group Protocols.
971-976
Electronic Edition (link) BibTeX
- Yevgeniy Vorobeychik, Michael P. Wellman, Satinder P. Singh:
Learning Payoff Functions in Infinite Games.
977-982
Electronic Edition (link) BibTeX
- Dongmo Zhang:
A Logical Model of Nash Bargaining Solution.
983-990
Electronic Edition (link) BibTeX
Natural Language
- Markus Becker, Miles Osborne:
A Two-Stage Method for Active Learning of Statistical Grammars.
991-996
Electronic Edition (link) BibTeX
- Branimir Boguraev, Rie Kubota Ando:
TimeML-Compliant Text Analysis for Temporal Reasoning.
997-1003
Electronic Edition (link) BibTeX
- Bernd Bohnet, Robert Dale:
Viewing Referring Expression Generation as Search.
1004-1009
Electronic Edition (link) BibTeX
- Yee Seng Chan, Hwee Tou Ng:
Word Sense Disambiguation with Distribution Estimation.
1010-1015
Electronic Edition (link) BibTeX
- Boris Chidlovskii, Jérôme Fuselier:
A Probabilistic Learning Method for XML Annotation of Documents.
1016-1021
Electronic Edition (link) BibTeX
- Paul R. Cohen, Clayton T. Morrison, Erin Cannon:
Maps for Verbs: The Relation Between Interaction Dynamics and Verb Use.
1022-1027
Electronic Edition (link) BibTeX
- William W. Cohen, Einat Minkov, Anthony Tomasic:
Learning to Understand Web Site Update Requests.
1028-1033
Electronic Edition (link) BibTeX
- Doug Downey, Oren Etzioni, Stephen Soderland:
A Probabilistic Model of Redundancy in Information Extraction.
1034-1041
Electronic Edition (link) BibTeX
- Stephanie Elzer, Sandra Carberry, Ingrid Zukerman, Daniel Chester, Nancy Green, Seniz Demir:
A Probabilistic Framework for Recognizing Intention in Information Graphics.
1042-1047
Electronic Edition (link) BibTeX
- Evgeniy Gabrilovich, Shaul Markovitch:
Feature Generation for Text Categorization Using World Knowledge.
1048-1053
Electronic Edition (link) BibTeX
- Eugene Grois, David C. Wilkins:
Learning Strategies for Open-Domain Natural Language Question Answering.
1054-1060
Electronic Edition (link) BibTeX
- Sanda M. Harabagiu, Cosmin Adrian Bejan, Paul Morarescu:
Shallow Semantics for Relation Extraction.
1061-1066
Electronic Edition (link) BibTeX
- Zheng Ping Jiang, Jia Li, Hwee Tou Ng:
Semantic Argument Classification Exploiting Argument Interdependence.
1067-1072
Electronic Edition (link) BibTeX
- Richard Johansson, Anders Berglund, Magnus Danielsson, Pierre Nugues:
Automatic Text-to-Scene Conversion in the Traffic Accident Domain.
1073-1078
Electronic Edition (link) BibTeX
- Bernd Kiefer:
Redundancy-free Island Parsing of Word Graphs.
1079-1084
Electronic Edition (link) BibTeX
- Mirella Lapata, Regina Barzilay:
Automatic Evaluation of Text Coherence: Models and Representations.
1085-1090
Electronic Edition (link) BibTeX
- Matthew Michelson, Craig A. Knoblock:
Semantic annotation of unstructured and ungrammatical text.
1091-1098
Electronic Edition (link) BibTeX
- Dan I. Moldovan, Christine Clark, Sanda M. Harabagiu:
Temporal Context Representation and Reasoning.
1099-1104
Electronic Edition (link) BibTeX
- Hwee Tou Ng, Yu Zhou, Robert Dale, Mary Gardiner:
A Machine Learning Approach to Identification and Resolution of One-Anaphora.
1105-1110
Electronic Edition (link) BibTeX
- Eric Nichols, Francis Bond, Dan Flickinger:
Robust Ontology Acquisition from Machine-Readable Dictionaries.
1111-1116
Electronic Edition (link) BibTeX
- Vasin Punyakanok, Dan Roth, Wen-tau Yih:
The Necessity of Syntactic Parsing for Semantic Role Labeling.
1117-1123
Electronic Edition (link) BibTeX
- Vasin Punyakanok, Dan Roth, Wen-tau Yih, Dav Zimak:
Learning and Inference over Constrained Output.
1124-1129
Electronic Edition (link) BibTeX
- Pascal Soucy, Guy W. Mineau:
Beyond TFIDF Weighting for Text Categorization in the Vector Space Model.
1130-1135
Electronic Edition (link) BibTeX
- Peter D. Turney:
Measuring Semantic Similarity by Latent Relational Analysis.
1136-1141
Electronic Edition (link) BibTeX
- Raghavendra Udupa, Hemanta Kumar Maji:
Theory of Alignment Generators and Applications to Statistical Machine Translation.
1142-1147
Electronic Edition (link) BibTeX
- Tony Veale:
Analogy Generation with HowNet.
1148-1153
Electronic Edition (link) BibTeX
- Paul Vogt:
Meaning development versus predefined meanings in language evolution models.
1154-1159
Electronic Edition (link) BibTeX
- Nianwen Xue, Martha Stone Palmer:
Automatic Semantic Role Labeling for Chinese Verbs.
1160-1165
Electronic Edition (link) BibTeX
- Eiko Yamamoto, Kyoko Kanzaki, Hitoshi Isahara:
Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency Information.
1166-1174
Electronic Edition (link) BibTeX
Philosophical Foundations
Planning
- Anthony Barrett:
Model Compilation for Real-Time Planning and Diagnosis with Feedback.
1195-1200
Electronic Edition (link) BibTeX
- J. Christopher Beck, Nic Wilson:
Proactive Algorithms for Scheduling with Probabilistic Durations.
1201-1206
Electronic Edition (link) BibTeX
- J. Benton, Minh Binh Do, Subbarao Kambhampati:
Over-Subscription Planning with Numeric Goals.
1207-1213
Electronic Edition (link) BibTeX
- Olivier Buffet, Douglas Aberdeen:
Robust Planning with (L)RTDP.
1214-1219
Electronic Edition (link) BibTeX
- Maria Fox, Derek Long, Julie Porteous:
Abstraction-based Action Ordering in Planning.
1220-1225
Electronic Edition (link) BibTeX
- Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows.
1226-1231
Electronic Edition (link) BibTeX
- Jens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita:
Real-Time Path Planning for Humanoid Robot Navigation.
1232-1237
Electronic Edition (link) BibTeX
- Carlos Hernández, Pedro Meseguer:
LRTA*(k).
1238-1243
Electronic Edition (link) BibTeX
- Mausam, Emmanuel Benazera, Ronen I. Brafman, Nicolas Meuleau, Eric A. Hansen:
Planning with Continuous Resources in Stochastic Domains.
1244-1251
Electronic Edition (link) BibTeX
- Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso:
Automated Composition of Web Services by Planning at the Knowledge Level.
1252-1259
Electronic Edition (link) BibTeX
- Jussi Rintanen:
Conditional Planning in the Discrete Belief Space.
1260-1265
Electronic Edition (link) BibTeX
- Steve R. Schaffer, Bradley J. Clement, Steve A. Chien:
Probabilistic Reasoning for Plan Robustness.
1266-1271
Electronic Edition (link) BibTeX
- Freek Stulp, Michael Beetz:
Optimized Execution of Action Chains Using Learned Performance Models of Abstract Actions.
1272-1280
Electronic Edition (link) BibTeX
Uncertainty
- Salem Benferhat, Henri Prade:
Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic.
1281-1286
Electronic Edition (link) BibTeX
- Daniel S. Bernstein, Eric A. Hansen, Shlomo Zilberstein:
Bounded Policy Iteration for Decentralized POMDPs.
1287-1292
Electronic Edition (link) BibTeX
- Jennifer Boger, Pascal Poupart, Jesse Hoey, Craig Boutilier, Geoff Fernie, Alex Mihailidis:
A Decision-Theoretic Approach to Task Assistance for Persons with Dementia.
1293-1299
Electronic Edition (link) BibTeX
- Hei Chan, Adnan Darwiche:
Sensitivity Analysis in Markov Networks.
1300-1305
Electronic Edition (link) BibTeX
- Mark Chavira, Adnan Darwiche:
Compiling Bayesian Networks with Local Structure.
1306-1312
Electronic Edition (link) BibTeX
- Cassio Polpo de Campos, Fabio Gagliardi Cozman:
The Inferential Complexity of Bayesian and Credal Networks.
1313-1318
Electronic Edition (link) BibTeX
- Rodrigo de Salvo Braz, Eyal Amir, Dan Roth:
Lifted First-Order Probabilistic Inference.
1319-1325
Electronic Edition (link) BibTeX
- Dmitri A. Dolgov, Edmund H. Durfee:
Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors.
1326-1331
Electronic Edition (link) BibTeX
- Jesse Hoey, Pascal Poupart:
Solving POMDPs with Continuous or Large Discrete Observation Spaces.
1332-1338
Electronic Edition (link) BibTeX
- Andreas Krause, Carlos Guestrin:
Optimal Nonmyopic Value of Information in Graphical Models - Efficient Algorithms and Theoretical Limits.
1339-1345
Electronic Edition (link) BibTeX
- Branislav Kveton, Milos Hauskrecht:
An MCMC Approach to Solving Hybrid Factored MDPs.
1346-1351
Electronic Edition (link) BibTeX
- Brian Milch, Bhaskara Marthi, Stuart J. Russell, David Sontag, Daniel L. Ong, Andrey Kolobov:
BLOG: Probabilistic Models with Unknown Objects.
1352-1359
Electronic Edition (link) BibTeX
- Brenda Ng, Avi Pfeffer, Richard Dearden:
Continuous Time Particle Filtering.
1360-1365
Electronic Edition (link) BibTeX
- Jeffrey Junfeng Pan, James T. Kwok, Qiang Yang, Yiqiang Chen:
Accurate and Low-cost Location Estimation Using Kernels.
1366-1371
Electronic Edition (link) BibTeX
- Patrice Perny, Olivier Spanjaard, Paul Weng:
Algebraic Markov Decision Processes.
1372-1377
Electronic Edition (link) BibTeX
- Riccardo Rosati, Georg Gottlob:
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic.
1378-1383
Electronic Edition (link) BibTeX
- Scott Sanner, David A. McAllester:
Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference.
1384-1390
Electronic Edition (link) BibTeX
- Rita Sharma, David Poole:
Probabilistic Reasoning with Hierarchically Structured Variables.
1391-1397
Electronic Edition (link) BibTeX
- Alvaro Soto:
Self Adaptive Particle Filter.
1398-1406
Electronic Edition (link) BibTeX
User Interface and Modeling
Vision and Robotics
- Eyal Amir:
Learning Partially Observable Deterministic Action Models.
1433-1439
Electronic Edition (link) BibTeX
- Anthony M. Dearden, Yiannis Demiris:
Learning Forward Models for Robots.
1440-1445
Electronic Edition (link) BibTeX
- Arnab Dhua, Florin Cutzu:
Inferring Image Templates from Classification Decisions.
1446-1451
Electronic Edition (link) BibTeX
- Nicolas Do Huu, Williams Paquier, Raja Chatila:
Combining Structural Descriptions and Image-based Representations for Image, Object, and Scene Recognition.
1452-1457
Electronic Edition (link) BibTeX
- Bassam Khadhouri, Yiannis Demiris:
Compound Effects of Top-down and Bottom-up Influences on Visual Attention During Action Recognition.
1458-1463
Electronic Edition (link) BibTeX
- Sergey Kornienko, Olga Kornienko, Paul Levi:
Collective AI: context awareness via communication.
1464-1470
Electronic Edition (link) BibTeX
- Benson Limketkai, Lin Liao, Dieter Fox:
Relational Object Maps for Mobile Robots.
1471-1476
Electronic Edition (link) BibTeX
- Amy Loutfi, Silvia Coradeschi, Alessandro Saffiotti:
Maintaining Coherent Perceptual Information Using Anchoring.
1477-1482
Electronic Edition (link) BibTeX
- Graham McNeill, Sethu Vijayakumar:
2D Shape Classification and Retrieval.
1483-1488
Electronic Edition (link) BibTeX
- Esben Hallundbæk Østergaard:
Efficient Distributed "Hormone" Graph Gradients.
1489-1494
Electronic Edition (link) BibTeX
- Justin Werfel, Yaneer Bar-Yam, Radhika Nagpal:
Building Patterned Structures with Robot Swarms.
1495-1504
Electronic Edition (link) BibTeX
Poster Papers:
AI and Cognitive Architectures
Poster Papers:
Constraint Satisfaction and Search
- Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano:
Allocation and Scheduling for MPSoCs via decomposition and no-good generation.
1517-1518
Electronic Edition (link) BibTeX
- Jérôme Fortin, Pawel Zielinski, Didier Dubois, Hélène Fargier:
Minimizing a Makespan Under Uncertainty.
1519-1520
Electronic Edition (link) BibTeX
- David Furcy, Sven Koenig:
Scaling up WA* with Commitment and Diversity.
1521-1522
Electronic Edition (link) BibTeX
- Jörg Hoffmann, Sebastian Kupferschmid:
A Covering Problem for Hypercubes.
1523-1524
Electronic Edition (link) BibTeX
- Xiangxue Jia, Jian Zhang:
Predicate-Oriented Isomorphism Elimination in Model Finding.
1525-1516
Electronic Edition (link) BibTeX
- Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder:
Maintaining Arc Consistency using Adaptive Domain Ordering.
1527-1528
Electronic Edition (link) BibTeX
- Nysret Musliu:
Combination of Local Search Strategies for Rotating Workforce Scheduling Problem.
1529-1530
Electronic Edition (link) BibTeX
- Barry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder:
Corrective Explanation for Interactive Constraint Satisfaction.
1531-1532
Electronic Edition (link) BibTeX
- Igor Razgon, Amnon Meisels:
CSP Search with Responsibility Sets and Kernels.
1533-1534
Electronic Edition (link) BibTeX
- Marko Samer:
Hypertree-decomposition via Branch-decomposition.
1535-1536
Electronic Edition (link) BibTeX
- Martí Sánchez, Javier Larrosa, Pedro Meseguer:
Improving Tree Decomposition Methods With Function Filtering.
1537-1538
Electronic Edition (link) BibTeX
- Casey Smith, Carla P. Gomes, Cèsar Fernández:
Streamlining Local Search for Spatially Balanced Latin Squares.
1539-1540
Electronic Edition (link) BibTeX
Poster Papers:
Knowledge Representation and Reasoning
- Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Abduction with Hypotheses Confirmation.
1545-1546
Electronic Edition (link) BibTeX
- Jonathan Bell, Neal Snooke, Chris Price:
A language for functional interpretation of model based simulation.
1547-1548
Electronic Edition (link) BibTeX
- Guido Boella, Leendert W. N. van der Torre:
A Non-monotonic Logic for Specifying and Querying Preferences.
1549-1550
Electronic Edition (link) BibTeX
- Francesca Carmagnola, Federica Cena, Cristina Gena, Ilaria Torre:
A Multidimensional Semantic Framework for Adaptive Hypermedia Systems.
1551-1552
Electronic Edition (link) BibTeX
- Maurice Coyle, Barry Smyth:
Explaining Search Results.
1553-1555
Electronic Edition (link) BibTeX
- Jim Davies, Ashok K. Goel, Nancy J. Nersessian:
A Cognitive Model of Visual Analogical Problem-Solving Transfer.
1556-1557
Electronic Edition (link) BibTeX
- Louise A. Dennis:
An Architecture for Proof Planning Systems.
1558-1559
Electronic Edition (link) BibTeX
- Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne:
Explaining preferences with argument positions.
1560-1561
Electronic Edition (link) BibTeX
- Wolfgang Faber, Nicola Leone, Francesco Ricca:
Heuristics for Hard ASP Programs.
1562-1563
Electronic Edition (link) BibTeX
- Alban Grastien, Marie-Odile Cordier, Christine Largouët:
Incremental Diagnosis of Discrete-Event Systems.
1564-1665
Electronic Edition (link) BibTeX
- Jihie Kim:
Reflection Patterns for Interactive Knowledge Capture.
1566-1567
Electronic Edition (link) BibTeX
- Yasuo Kudo, Tetsuya Murai:
A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models.
1568-1569
Electronic Edition (link) BibTeX
