default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th AAAI / 17th IAAI 2005: Pittsburgh, Pennsylvania, USA
- Manuela M. Veloso, Subbarao Kambhampati:
Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press / The MIT Press 2005, ISBN 1-57735-236-X
AAAI-05 Technical Papers
Activity and Plan Recognition
- Xiaoyong Chai, Qiang Yang:
Multiple-Goal Recognition from Low-Level Signals. 3-8 - Jeffrey Johns, Sridhar Mahadevan:
A Variational Learning Algorithm for the Abstract Hidden Markov Model. 9-14 - Julie Letchner, Dieter Fox, Anthony LaMarca:
Large-Scale Localization from Wireless Signal Strength. 15-20 - Danny Wyatt, Matthai Philipose, Tanzeem Choudhury:
Unsupervised Activity Recognition Using Automatically Mined Common Sense. 21-27 - Jie Yin, Dou Shen, Qiang Yang, Ze-Nian Li:
Activity Recognition through Goal-Based Segmentation. 28-34
Agents / Multiagent Systems
- Noa Agmon, Gal A. Kaminka, Sarit Kraus:
Team Member Reallocation via Tree Pruning. 35-40 - Bikramjit Banerjee, Jing Peng:
Efficient No-Regret Multiagent Learning. 41-46 - Muhammed Basharu, Inés Arana, Hatem Ahriz:
Solving DisCSPs with Penalty Driven Search. 47-52 - Michael H. Bowling, Peter McCracken:
Coordination and Adaptation in Impromptu Teams. 53-58 - Jimming Cheng, Winston Cheng, Radhika Nagpal:
Robust and Self-Repairing Formation Control for Swarms of Mobile Agents. 59-64 - Jiangbo Dang, Michael N. Huhns:
An Extended Protocol for Multiple-Issue Concurrent Negotiation. 65-70 - Xiaocong Fan, John Yen:
The Semantics of Potential Intentions. 71-76 - Matthew E. Gaston, Marie desJardins:
Agent-Organized Networks for Multi-Agent Production and Exchange. 77-82 - Meirav Hadad, Gilad Armon-Kest, Gal A. Kaminka, Sarit Kraus:
Supporting Collaborative Activity. 83-88 - Asaad Hakeem, Mubarak Shah:
Multiple Agent Event Detection and Representation in Videos. 89-94 - Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Anyone but Him: The Complexity of Precluding an Alternative. 95-101 - Meir Kalech, Gal A. Kaminka:
Towards Model-Based Diagnosis of Coordination Failures. 102-107 - Gal A. Kaminka, Inna Frenkel:
Flexible Teamwork in Behavior-Based Robots. 108-113 - Thomas Léauté, Brian C. Williams:
Coordinating Agile Systems through the Model-based Execution of Temporal Plans. 114-120 - Paolo Massa, Paolo Avesani:
Controversial Users Demand Local Trust Metrics: An Experimental Study on Epinions.com Community. 121-126 - Yohei Murakami, Yuki Sugimoto, Toru Ishida:
Modeling Human Behavior for Virtual Training Systems. 127-132 - Ranjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo:
Networked Distributed POMDPs: A Synthesis of Distributed Constraint Optimization and POMDPs. 133-139 - Relu Patrascu, Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, Gerald Tesauro, William E. Walsh:
New Approaches to Optimization and Utility Elicitation in Autonomic Computing. 140-145 - Maxim Peysakhov, Robert N. Lass, William C. Regli, Moshe Kam:
An Ecological Approach to Agent Population Management. 146-151 - Talal Rahwan, Nicholas R. Jennings:
Distributing Coalitional Value Calculations among Cooperative Agents. 152-159 - David Sarne, Sarit Kraus:
Cooperative Exploration in the Electronic Marketplace. 158-163 - David Sarne, Sarit Kraus:
Solving the Auction-Based Task Allocation Problem in an Open Environment. 164-169 - Sandip Sen, Teddy Candale, Susnata Basak:
Profit Sharing Auction. 170-175 - Jiaying Shen, Ingo Weber, Victor R. Lesser:
OAR: A Formal Framework for Multi-Agent Negotiation. 176-183 - Robert St. Amant, Alexander B. Wood:
Tool Use for Autonomous Agents. 184-189 - Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan:
Observation-based Model for BDI-Agents. 190-195 - Evan Sultanik, William C. Regli:
Stable Service Placement on Dynamic Peer-to-Peer Networks: A Heuristic for the Distributed k-Center Problem. 196-201
Analogical and Case-Based Reasoning
- Kenneth D. Forbus, Jeffrey M. Usher, Emmett Tomai:
Analogical Learning of Visual/Conceptual Relationships in Sketches. 202-208 - Matthew Klenk, Kenneth D. Forbus, Emmett Tomai, Hyeonkyeong Kim, Brian Kyckelhahn:
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches. 209-215 - Stewart Massie, Susan Craw, Nirmalie Wiratunga:
Complexity-Guided Case Discovery for Case Based Reasoning. 216-221 - Monica H. Ou, Geoff A. W. West, Mihai M. Lazarescu, Chris Clay:
Interactive Knowledge Validation and Query Refinement in CBR. 222-227 - Rong Pan, Qiang Yang, Jeffrey Junfeng Pan, Lei Li:
Competence Driven Case-Base Mining. 228-233 - Ke Xu, Héctor Muñoz-Avila:
A Domain-Independent System for Case-Based Task Decomposition without Domain Theories. 234-240
Auctions and Market-Based Systems
- Moshe Babaioff, Ron Lavi, Elan Pavlov:
Mechanism Design for Single-Value Domains. 241-247 - Vincent Conitzer, Tuomas Sandholm, Paolo Santi:
Combinatorial Auctions with k-wise Dependent Valuations. 248-254 - Vincent Conitzer, Tuomas Sandholm:
Expressive Negotiation in Settings with Externalities. 255-260 - Takayuki Ito, Makoto Yokoo, Atsushi Iwasaki, Shigeo Matsubara:
A New Strategy-Proof Greedy-Allocation Combinatorial Auction Protocol and Its Extension to Open Ascending Auction Protocol. 261-268 - Anton Likhodedov, Tuomas Sandholm:
Approximating Revenue-Maximizing Combinatorial Auctions. 267-274
Automated Reasoning
- Carlos Ansótegui, Carla P. Gomes, Bart Selman:
The Achilles' Heel of QBF. 275-281 - Lars Blackmore, Stanislav Funiak, Brian C. Williams:
Combining Stochastic and Greedy Search in Hybrid Estimation. 282-287 - Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis:
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. 288-293 - Timothy L. Hinrichs, Michael R. Genesereth:
Axiom Schemata as Metalevel Axioms: Model Theory. 294-299 - Jinbo Huang, Adnan Darwiche:
On Compiling System Models for Faster and More Scalable Diagnosis. 300-306 - Arnav Jhala, Robert Michael Young:
A Discourse Planning Approach to Cinematic Camera Control for Narratives in Virtual Environments. 307-312 - Frances L. Johnson, Stuart C. Shapiro:
Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems. 313-320 - Oliver B. Martin, Brian C. Williams, Michel D. Ingham:
Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata. 321-326 - Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher:
Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior. 327-333 - Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre:
Recommender Systems: Attack Types and Strategies. 334-339 - Deepak Ramachandran, Eyal Amir:
Compact Propositional Encodings of First-Order Theories. 340-345 - Jin Tian:
Identifying Direct Causal Effects in Linear Models. 346-353
Constraint Satisfaction and Satisfiability
- Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar:
Old Resolution Meets Modern SLS. 354-359 - Lucas Bordeaux, Marco Cadoli, Toni Mancini:
CSP Properties for Quantified Constraints: Definitions and Complexity. 360-365 - Kenil C. K. Cheng, Roland H. C. Yap:
Constrained Decision Diagrams. 366-371 - Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh:
Finding Diverse and Similar Solutions in Constraint Programming. 372-377 - Alan Holland, Barry O'Sullivan:
Weighted Super Solutions for Constraint Programs. 378-383 - Haixia Jia, Cristopher Moore, Doug Strain:
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. 384-389 - George Katsirelos, Fahiem Bacchus:
Generalized NoGoods in CSPs. 390-396 - Anagh Lal, Berthe Y. Choueiry, Eugene C. Freuder:
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs. 397-404 - Olivier Lhomme, Jean-Charles Régin:
A Fast Arc Consistency Algorithm for n-ary Constraints. 405-410 - Olivier Lhomme:
Quick Shaving. 411-415 - Stephen M. Majercik, Byron Boots:
DC-SSAT: A Divide-and-Conquer Approach to Solving Stochastic Satisfiability Problems Efficiently. 416-422 - Martin Michalowski, Craig A. Knoblock:
A Constraint Satisfaction Approach to Geospatial Reasoning. 423-429 - David G. Mitchell, Eugenia Ternovska:
A Framework for Representing and Solving NP Search Problems. 430-435 - Juan Antonio Navarro Pérez, Andrei Voronkov:
Generation of Hard Non-Clausal Random Satisfiability Problems. 436-442 - Bart Peintner, Martha E. Pollack:
Anytime, Complete Algorithm for Finding Utilitarian Optimal Solutions to STPPs. 443-448 - Adrian Petcu, Boi Faltings:
Superstabilizing, Fault-Containing Distributed Combinatorial Optimization. 449-454 - Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi:
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. 455-460 - Steve Prestwich, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Constraint-Based Preferential Optimization. 461-466 - Ashish Sabharwal:
SymChaff: A Structure-Aware Satisfiability Solver. 467-474 - Tian Sang, Paul Beame, Henry A. Kautz:
Performing Bayesian Inference by Weighted Model Counting. 475-482
Game Theory and Economic Models
- Vincent Conitzer, Tuomas Sandholm:
A Generalized Strategy Eliminability Criterion and Computational Methods for Applying It. 483-488 - Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun:
Fast and Compact: A Simple Class of Congestion Games. 489-494 - Tuomas Sandholm, Andrew Gilpin, Vincent Conitzer:
Mixed-Integer Programming Methods for Finding Nash Equilibria. 495-501 - Michael P. Wellman, Daniel M. Reeves, Kevin M. Lochner, Shih-Fen Cheng, Rahul Suri:
Approximate Strategic Reasoning through Hierarchical Reduction of Large Symmetric Games. 502-508 - Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki:
Coalitional Games in Open Anonymous Environments. 509-515
Human-Computer Interaction
- Christoph Benzmüller, Quoc Bao Vo:
Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. 516-522 - Beau Crawford, Kai J. Miller, Pradeep Shenoy, Rajesh P. N. Rao:
Real-Time Classification of Electromyographic Signals for Robotic Control. 523-528 - Wenhui Liao, Weihong Zhang, Zhiwei Zhu, Qiang Ji:
A Decision Theoretic Model for Stress Recognition and User Assistance. 529-534 - Kevin McCarthy, Lorraine McGinty, Barry Smyth, James Reilly:
On the Evaluation of Dynamic Critiquing: A Large-Scale User Study. 535-540 - Robert Price, Paul R. Messinger:
Optimal Recommendation Sets: Covering Uncertainty over User Preferences. 541-548 - Tingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price:
Goal-Directed Site-Independent Recommendations from Passive Observations. 549-557
Knowledge Acquisition and Engineering
- Jim Blythe:
An Analysis of Procedure Learning by Instruction. 558-563 - Timothy Chklovski, Yolanda Gil:
An Analysis of Knowledge Collected from Volunteer Contributors. 564-571
Knowledge Representation and Reasoning
- Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. 572-577 - Chitta Baral, Thomas Eiter, Jicheng Zhao:
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains. 578-583 - Salem Benferhat, Salma Smaoui:
Hybrid Possibilistic Networks. 584-589 - Philippe Besnard, Anthony Hunter:
Practical First-Order Argumentation. 590-595 - Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:
Prioritized Component Systems. 596-601 - Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies. 602-607 - Martin Caminada, Leila Amgoud:
An Axiomatic Account of Formal Argumentation. 608-613 - Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis:
Merging Argumentation Systems. 614-619 - Marie desJardins, Kiri Wagstaff:
DD-PREF: A Language for Expressing Preferences over Sets. 620-626 - Esra Erdem, Alfredo Gabaldon:
Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents. 627-632 - Gerhard Lakemeyer, Hector J. Levesque:
Only-Knowing: Taking It Beyond Autoepistemic Reasoning. 633-638 - Yongmei Liu, Hector J. Levesque:
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. 639-644 - Thomas Andreas Meyer, Kevin Lee, Richard Booth:
Knowledge Integration for Description Logics. 645-650 - Praveen K. Paritosh, Kenneth D. Forbus:
Analysis of Strategic Knowledge in Back of the Envelope Reasoning. 651-656 - Bijan Parsia, Bernardo Cuenca Grau:
Generalized Link Properties for Expressive epsilon-Connections of Description Logics. 657-662 - Avi Pfeffer:
Functional Specification of Probabilistic Process Models. 663-669 - Stefan Schlobach:
Diagnosing Terminologies. 670-675 - Tran Hoai Nam, Chitta Baral, Carron Shankland:
Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. 676-681 - Kewen Wang, Abdul Sattar, Kaile Su:
A Theory of Forgetting in Logic Programming. 682-688
Logic Programming
- Chitta Baral, Michael Gelfond
:
Reasoning about Intended Actions. 689-694 - Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. 695-700 - Lengning Liu, Miroslaw Truszczynski:
Properties of Programs with Monotone and Convex Constraints. 701-706 - Yan Zhang, Norman Y. Foo:
A Unified Framework for Representing Logic Program Updates. 707-713
Machine Learning
- J. Andrew Bagnell:
Robust Supervised Learning. 714-719 - Alina Beygelzimer, John Langford, Bianca Zadrozny:
Weighted One-Against-All. 720-725 - Ronen I. Brafman, Moshe Tennenholtz:
Optimal Efficient Learning Equilibrium: Imperfect Monitoring in Symmetric Games. 726-731 - Thomas Briggs, Tim Oates:
Discovering Domain-Specific Composite Kernels. 732-738 - Laura E. Brown, Ioannis Tsamardinos, Constantin F. Aliferis:
A Comparison of Novel and State-of-the-Art Polynomial Bayesian Network Learning Algorithms. 739-745 - Aron Culotta, Andrew McCallum:
Reducing Labeling Effort for Structured Prediction Tasks. 746-751 - Luc De Raedt, Kristian Kersting, Sunna Torge:
Towards Learning Stochastic Logic Programs from Proof-Banks. 752-757 - German Florez-Larrahondo, Susan Bridges, Eric A. Hansen:
Incremental Estimation of Discrete Hidden Markov Models Based on a New Backward Procedure. 758-763 - Akinori Fujino, Naonori Ueda, Kazumi Saito:
A Hybrid Generative/Discriminative Approach to Semi-Supervised Classifier Design. 764-769 - Yuhong Guo, Russell Greiner:
Discriminative Model Selection for Belief Net Structures. 770-776 - Daniel T. Halstead, Kenneth D. Forbus:
Transforming between Propositions and Features: Bridging the Gap. 777-782 - Bret Hoehn, Finnegan Southey, Robert C. Holte, Valeriy Bulitko:
Effective Short-Term Opponent Exploitation in Simplified Poker. 783-788 - Steven Jensen, Daniel Boley, Maria L. Gini, Paul R. Schrater:
Non-Stationary Policy Learning in 2-Player Zero Sum Games. 789-794 - Niels Landwehr, Kristian Kersting, Luc De Raedt:
nFOIL: Integrating Naïve Bayes and FOIL. 795-800 - Fan Li, Yiming Yang:
Using Modified Lasso Regression to Learn Large Undirected Graphs in a Probabilistic Framework. 801-806 - Haifeng Li, Keshu Zhang, Tao Jiang:
The Regularized EM Algorithm. 807-812 - Wei Li, Andrew McCallum:
Semi-Supervised Sequence Modeling with Syntactic Topic Models. 813-818 - Richard Maclin, Jude W. Shavlik, Lisa Torrey, Trevor Walker, Edward W. Wild:
Giving Advice about Preferred Actions to Reinforcement Learners Via Knowledge-Based Kernel Regression. 819-824 - Dimitris Margaritis:
Distribution-Free Learning of Bayesian Network Structure in Continuous Domains. 825-830