default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd AAAI / 19th IAAI 2007: Vancouver, British Columbia, Canada
- Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. AAAI Press 2007, ISBN 978-1-57735-323-2
Invited Talks
- Toby Walsh:
Uncertainty in Preference Elicitation and Aggregation. 3-8 - Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek:
Logic for Automated Mechanism Design - A Progress Report. 9-17
Technical Papers
Agents, Game Theory, Auctions, and Mechanism Design
- Itai Ashlagi, Dov Monderer, Moshe Tennenholtz:
Learning Equilibrium in Resource Selection Games. 18-23 - Katie Atkinson, Trevor J. M. Bench-Capon:
Action-Based Alternating Transition Systems for Arguments about Action. 24-29 - Liad Blumrosen:
Implementing the Maximum of Monotone Algorithms. 30-35 - Timothy William Cleaver, Abdul Sattar:
Intention Guided Belief Revision. 36-41 - Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal:
The Impact of Network Topology on Pure Nash Equilibria in Graphical Games. 42-49 - Andrew Gilpin, Tuomas Sandholm, Troels Bjerre Sørensen:
Potential-Aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker. 50-57 - Mohammad Taghi Hajiaghayi, Robert D. Kleinberg, Tuomas Sandholm:
Automated Online Mechanism Design and Prophet Inequalities. 58-65 - Anthony Hunter:
Real Arguments Are Approximate Arguments. 66-71 - Nathanael Hyafil, Craig Boutilier:
Partial Revelation Automated Mechanism Design. 72-78 - Albert Xin Jiang, Kevin Leyton-Brown:
Computing Pure Nash Equilibria in Symmetric Action Graph Games. 79-85 - H. Brendan McMahan, Geoffrey J. Gordon:
A Unification of Extensive-Form Games and Markov Decision Processes. 86-93 - David C. Parkes, Quang Duong:
An Ironing-Based Approach to Adaptive Online Mechanism Design in Single-Valued Domains. 94-101 - Avi Pfeffer, Ya'akov Gal:
On the Reasoning Patterns of Agents in Games. 102-109 - Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffrey S. Rosenschein:
Learning Voting Trees. 110-115 - Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum:
On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation. 116-121 - Baharak Rastegari, Anne Condon, Kevin Leyton-Brown:
Revenue Monotonicity in Combinatorial Auctions. 122-127 - Steven Reece, Stephen J. Roberts, Alex Rogers, Nicholas R. Jennings:
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations. 128-135 - Nicolás D. Rotstein, Alejandro Javier García, Guillermo Ricardo Simari:
Reasoning from Desires to Intentions: A Dialectical Framework. 136-141 - Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Logic of Emotions for Intelligent Agents. 142-147 - David R. M. Thompson, Kevin Leyton-Brown:
Valuation Uncertainty and Imperfect Introspection in Second-Price Auctions. 148-153 - Dongmo Zhang:
Reasoning about Bargaining Situations. 154-160
Constraints and Satisfiability
- Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu:
On Balanced CSPs with High Treewidth. 161-166 - Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà:
Inference Rules for High-Order Consistency in Weighted CSP. 167-172 - Russell Bent, Pascal Van Hentenryck:
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows. 173-178 - Kenil C. K. Cheng, Roland H. C. Yap:
Search Space Reduction and Russian Doll Search. 179-184 - Jessica Davies, Fahiem Bacchus:
Using More Reasoning to Improve #SAT Solving. 185-190 - Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale:
Data Structures for Generalised Arc Consistency for Extensional Constraints. 191-197 - Vibhav Gogate
, Rina Dechter:
Approximate Counting by Sampling the Backtrack-free Search Space. 198-203 - Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman:
Counting CSP Solutions Using Generalized XOR Constraints. 204-209 - Esben Rune Hansen, Peter Tiedemann:
Compressing Configuration Data for Memory Limited Devices. 210-216 - Esben Rune Hansen, Henrik Reif Andersen:
Interactive Configuration with Regular String Constraints. 217-223 - Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith:
Using Expectation Maximization to Find Likely Assignments for Solving CSP's. 224-230 - Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck:
Propagating Knapsack Constraints in Sublinear Time. 231-236 - Christophe Lecoutre, Stéphane Cardon, Julien Vion:
Conservative Dual Consistency. 237-242 - Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Transposition Tables for Constraint Satisfaction. 243-248 - Emma Rollon, Javier Larrosa:
Multi-Objective Russian Doll Search. 249-254 - Horst Samulowitz, Roland Memisevic:
Learning to Solve QBF. 255-260 - Daria Terekhov, J. Christopher Beck, Kenneth N. Brown:
Solving a Stochastic Queueing Design and Control Problem with Constraint Programming. 261-266 - Pascal Van Hentenryck, Yannis Vergados:
Population-Based Simulated Annealing for Traveling Tournaments. 267-271 - Pascal Van Hentenryck, Laurent D. Michel:
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. 273-279
Knowledge and Information Systems
- Ken Barker, Bhalchandra Agashe, Shaw Yi Chaw, James Fan, Noah S. Friedland, Michael Robert Glass, Jerry R. Hobbs, Eduard H. Hovy, David J. Israel, Doo Soon Kim, Rutu Mulkar-Mehta, Sourabh Patwardhan, Bruce W. Porter, Dan Tecuci, Peter Z. Yeh:
Learning by Reading: A Prototype System, Performance Baseline and Lessons Learned. 280-286 - Thomas Bittner, Maureen Donnelly:
A Temporal Mereology for Distinguishing between Integral Objects and Portions of Stuff. 287-292 - Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam Biswas:
A Qualitative Approach to Multiple Fault Isolation in Continuous Systems. 293-298 - Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma:
Scalable Semantic Retrieval through Summarization and Refinement. 299-304 - Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva:
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. 305-310 - Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nigel Shadbolt:
On Capturing Semantics in Ontology Mapping. 311-316 - Ying Liu, Kun Bai, Prasenjit Mitra, C. Lee Giles:
TableRank: A Ranking Algorithm for Table Search and Retrieval. 317-322 - Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu:
Representative Explanations for Over-Constrained Problems. 323-328 - Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset:
L2R: A Logical Method for Reference Reconciliation. 329-334 - Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Spectrum of Symbolic On-line Diagnosis Approaches. 335-340 - Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Zheng Chen:
Mining Web Query Hierarchies from Clickthrough Data. 341-346 - Gert Van Dijck, Jo Van Vaerenbergh, Marc M. Van Hulle:
Posterior Probability Profiles for the Automated Assessment of the Recovery of Stroke Patients. 347-353 - Ghim-Eng Yap, Ah-Hwee Tan, HweeHwa Pang:
Learning Causal Models for Noisy Biological Data Mining: An Application to Ovarian Cancer Detection. 354-359
Knowledge Representation and Logic
- Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic. 361-366 - Salem Benferhat, Sylvain Lagrue, Julien Rossit:
An Egalitarist Fusion of Incommensurable Ranked Belief Bases under Constraints. 367-372 - Salem Benferhat, Salma Smaoui:
Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm. 373-378 - Meghyn Bienvenu:
Prime Implicates and Prime Implicants in Modal Logic. 379-384 - Gerhard Brewka, Thomas Eiter:
Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. 385-390 - Diego Calvanese, Thomas Eiter, Magdalena Ortiz:
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. 391-396 - Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe:
Approximate Query Answering in Locally Closed Databases. 397-402 - Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics. 403-408 - Esra Erdem, Paolo Ferraris:
Forgetting Actions in Domain Descriptions. 409-414 - Maria Fox, Derek Long, Julie Porteous:
Discovering Near Symmetry in Graphs. 415-420 - Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
A Logical Theory of Coordination and Joint Ability. 421-426 - Aaron Hunter, James P. Delgrande:
Belief Change and Cryptographic Protocol Verification. 427-433 - Katsumi Inoue, Chiaki Sakama:
Generality and Equivalence Relations in Default Logic. 434-439 - Yi Jin, Michael Thielscher, Dongmo Zhang:
Mutual Belief Revision: Semantics and Computation. 440-445 - Matthew Klenk, Kenneth D. Forbus:
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver. 446-451 - Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler:
Complexity Boundaries for Horn Description Logics. 452-457 - Johannes Oetsch, Hans Tompits, Stefan Woltran:
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. 458-464 - William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz:
Learning Large Scale Common Sense Models of Everyday Life. 465-470 - Guilin Qi:
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic. 471-476 - Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information. 477-482 - Yi-Dong Shen, Jia-Huai You:
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. 483-488 - Afsaneh Shirazi, Eyal Amir:
Probabilistic Modal Logic. 489-495 - Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes. 496-501 - Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi:
Knowledge Compilation Properties of Tree-of-BDDs. 502-507 - Miroslaw Truszczynski:
The Modal Logic S4F, the Default Logic, and the Logic Here-and-There. 508-514
Machine Learning
- Nolan Bard, Michael H. Bowling:
Particle Filtering for Dynamic Agent Modelling in Simplified Poker. 515-521 - Jinbo Bi, Tao Xiong:
A Mathematical Programming Formulation for Sparse Collaborative Computer Aided Diagnosis. 522-527 - Deng Cai, Xiaofei He, Jiawei Han:
Isometric Projection. 528-533 - Feilong Chen, Rong Jin:
Active Algorithm Selection. 534-539 - Wenyuan Dai, Gui-Rong Xue, Qiang Yang, Yong Yu:
Transferring Naive Bayes Classifiers for Text Classification. 540-545 - Christopher P. Diehl, Galileo Namata, Lise Getoor:
Relationship Identification for Social Network Discovery. 546-552 - Roy Fox, Moshe Tennenholtz:
A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs. 553-558 - Jeffrey Johns, Sridhar Mahadevan, Chang Wang:
Compact Spectral Bases for Value Function Approximation Using Kronecker Factorization. 559-564 - Kwangmoo Koh, Seung-Jean Kim, Stephen P. Boyd:
A Method for Large-Scale l1-Regularized Logistic Regression. 565-571 - Bethany R. Leffler, Michael L. Littman, Timothy Edmunds:
Efficient Reinforcement Learning with Relocatable Action Models. 572-577 - Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu:
Graph Partitioning Based on Link Distributions. 578-583 - Richard Maclin, Edward W. Wild, Jude W. Shavlik, Lisa Torrey, Trevor Walker:
Refining Rules Incorporated into Knowledge-Based Support Vector Learners Via Successive Linear Programming. 584-589 - Sofus A. Macskassy:
Improving Learning in Networked Data by Combining Explicit and Mined Links. 590-595 - Luke K. McDowell, Kalyan Moy Gupta, David W. Aha:
Cautious Inference in Collective Classification. 596-601 - Alexandra Meliou, Andreas Krause, Carlos Guestrin, Joseph M. Hellerstein:
Nonmyopic Informative Path Planning in Spatio-Temporal Models. 602-607 - Lilyana Mihalkova, Tuyen N. Huynh, Raymond J. Mooney:
Mapping and Revising Markov Logic Networks for Transfer Learning. 608-614 - David Minnen, Charles Lee Isbell Jr., Irfan A. Essa, Thad Starner:
Discovering Multivariate Motifs using Subsequence Density Estimation and Greedy Mixture Learning. 615-620 - Wee-Chong Oon, Martin Henz:
M2ICAL Analyses HC-Gammon. 621-626 - Shibin Qiu, Terran Lane, Ljubomir J. Buturovic:
A Randomized String Kernel and Its Application to RNA Interference. 627-632 - Tomás Singliar, Denver Dash:
COD: Online Temporal Clustering for Outbreak Detection. 633-638 - Vishal Soni, Satinder Singh:
Abstraction in Predictive State Representations. 639-644 - Alexander L. Strehl, Carlos Diuk, Michael L. Littman:
Efficient Structure Learning in Factored-State MDPs. 645-650 - Wei Tong, Rong Jin:
Semi-Supervised Learning by Mixed Label Propagation. 651-656 - Fei Wang, Changshui Zhang, Tao Li:
Clustering with Local and Global Regularization. 657-662 - Haizheng Zhang, C. Lee Giles, Henry C. Foley, John Yen:
Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model. 663-668 - Min-Ling Zhang, Zhi-Hua Zhou:
Multi-Label Learning by Instance Differentiation. 669-674 - Zhi-Hua Zhou, De-Chuan Zhan, Qiang Yang:
Semi-Supervised Learning with Very Few Labeled Training Examples. 675-680 - Xiaojin Zhu, Andrew B. Goldberg:
Kernel Regression with Order Preferences. 681-687
Multiagents
- Martin Allen, Shlomo Zilberstein:
Agent Influence as a Predictor of Difficulty for Decentralized Problem-Solving. 688-693 - Felix Brandt, Felix A. Fischer:
Computational Aspects of Covering in Dominance Graphs. 694-699 - Yann Chevaleyre, Ulrich Endriss, Nicolas Maudet:
Allocating Goods on a Graph to Eliminate Envy. 700-705 - Dara Curran, Colm O'Riordan, Humphrey Sorensen:
Evolutionary and Lifetime Learning in Varying NK Fitness Landscape Changing Environments: An Analysis of Both Fitness and Diversity. 706-711 - Prashant Doshi:
Improved State Estimation in Multiagent Settings with Continuous or Large Discrete State Spaces. 712-717 - Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael J. Wooldridge:
Computational Complexity of Weighted Threshold Games. 718-723 - Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Llull and Copeland Voting Broadly Resist Bribery and Control. 724-730 - Natalie Fridman, Gal A. Kaminka:
Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory. 731-737 - Tim Harbers, Rajiv T. Maheswaran, Pedro A. Szekely:
Centralized, Distributed or Something Else? Making Timely Decisions in Multi-Agent Systems. 738-743 - Katsutoshi Hirayama:
An alpha-approximation Protocol for the Generalized Mutual Assignment Problem. 744-749 - Marek Petrik, Shlomo Zilberstein:
Anytime Coordination Using Separable Bilinear Programs. 750-755 - Aaron P. Shon, Deepak Verma, Rajesh P. N. Rao:
Active Imitation Learning. 756-762 - Marius-Calin Silaghi, Makoto Yokoo:
Dynamic DFS Tree in ADOPT-ing. 763-769 - Eric Sodomka, John Collins, Maria L. Gini:
Efficient Statistical Methods for Evaluating Trading Agent Performance. 770-775 - Lirong Xia, Jérôme Lang, Mingsheng Ying:
Strongly Decomposable Voting Rules on Multiattribute Domains. 776-781 - Yifeng Zeng, Prashant Doshi, Qiongyu Chen:
Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering. 782-787 - Martin Zinkevich, Michael H. Bowling, Neil Burch:
A New Algorithm for Generating Equilibria in Massive Zero-Sum Games. 788-794