23. AAAI / 20. IAAI 2008:
Chicago,
Illinois,
USA
Dieter Fox, Carla P. Gomes (Eds.):
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008.
AAAI Press 2008, ISBN 978-1-57735-368-3 BibTeX
Main Track Technical Papers
Agents,
Game Theory,
Auctions,
and Mechanism Design
- Ricardo M. Araujo, Luís C. Lamb:
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance.
3-8 BibTeX
- Yonatan Aumann, Noam Hazon, Sarit Kraus, David Sarne:
Physical Search Problems Applying Economic Search Models.
9-16 BibTeX
- Michael Benisch, Norman M. Sadeh, Tuomas Sandholm:
A Theory of Expressiveness in Mechanisms.
17-23 BibTeX
- Yaad Blum, Jeffrey S. Rosenschein:
Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality.
24-29 BibTeX
- Craig Boutilier, David C. Parkes, Tuomas Sandholm, William E. Walsh:
Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing.
30-37 BibTeX
- Felix Brandt, Felix A. Fischer, Paul Harrenstein, Maximilian Mair:
A Computational Analysis of the Tournament Equilibrium Set.
38-43 BibTeX
- Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor:
Approximability of Manipulating Elections.
44-49 BibTeX
- Ruggiero Cavallo, David C. Parkes:
Efficient Metadeliberation Auctions.
50-56 BibTeX
- Steven Damer, Maria L. Gini:
Achieving Cooperation in a Minimally Constrained Environment.
57-62 BibTeX
- Prashant Doshi, Dennis Perez:
Generalized Point Based Value Iteration for Interactive POMDPs.
63-68 BibTeX
- Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg, Michael Wooldridge:
On the Dimensionality of Voting Games.
69-74 BibTeX
- Andrew Gilpin, Javier Peña, Tuomas Sandholm:
First-Order Algorithm with O(ln(1/e)) Convergence for e-Equilibrium in Two-Person Zero-Sum Games.
75-82 BibTeX
- Robin Glinton, Katia P. Sycara, Paul Scerri:
Agent Organized Networks Redux.
83-88 BibTeX
- Anthony Hunter:
Reasoning about the Appropriateness of Proponents for Arguments.
89-94 BibTeX
- Samuel Ieong, Yoav Shoham:
Bayesian Coalitional Games.
95-100 BibTeX
- Sven Koenig, Xiaoming Zheng, Craig A. Tovey, Richard B. Borie, Philip Kilby, Vangelis Markakis, Pinar Keskinocak:
Agent Coordination with Regret Clearing.
101-107 BibTeX
- Sébastien Lahaie, David C. Parkes, David M. Pennock:
An Expressive Auction Design for Online Display Advertising.
108-113 BibTeX
- Fangzhen Lin, Pingzhong Tang:
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems.
114-119 BibTeX
- Toshihiro Matsui, Hiroshi Matsuo, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo:
Resource Constrained Distributed Constraint Optimization with Virtual Variables.
120-125 BibTeX
- Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein:
Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions.
126-131 BibTeX
- Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
Argument Theory Change Applied to Defeasible Logic Programming.
132-137 BibTeX
- Steven Okamoto, Paul Scerri, Katia P. Sycara:
The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems.
138-143 BibTeX
- Zinovi Rabinovich, Nir Pochter, Jeffrey S. Rosenschein:
Coordination and Multi-Tasking Using EMT.
144-149 BibTeX
- Iyad Rahwan, Kate Larson:
Pareto Optimality in Abstract Argumentation.
150-155 BibTeX
- Talal Rahwan, Nicholas R. Jennings:
Coalition Structure Generation: Dynamic Programming Meets Anytime Optimization.
156-161 BibTeX
- Sven Seuken, Ruggiero Cavallo, David C. Parkes:
Partially Synchronized DEC-MDPs in Dynamic Mechanism Design.
162-169 BibTeX
- Sameena Shah, Ravi Kothari, Jayadeva, Suresh Chandra:
Mathematical Modeling and Convergence Analysis of Trail Formation.
170-175 BibTeX
- Munindar P. Singh:
Semantical Considerations on Dialectical and Practical Commitments.
176-181 BibTeX
- Ioannis A. Vetsikas, Nicholas R. Jennings:
Bidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions.
182-189 BibTeX
- Liad Wagman, Vincent Conitzer:
Optimal False-Name-Proof Voting Rules with Costly Voting.
190-195 BibTeX
- Lirong Xia, Vincent Conitzer:
Determining Possible and Necessary Winners under Common Voting Rules Given Partial Orders.
196-201 BibTeX
- Lirong Xia, Vincent Conitzer, Jérôme Lang:
Voting on Multiattribute Domains with Cyclic Preferential Dependencies.
202-207 BibTeX
- Haoqi C. Zhang, David Parkes:
Value-Based Policy Teaching with Active Indirect Elicitation.
208-214 BibTeX
- Michael Zuckerman, Piotr Faliszewski, Yoram Bachrach, Edith Elkind:
Manipulating the Quota in Weighted Voting Games.
215-220 BibTeX
Constraints,
Satisfiability,
and Search
- Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà:
Measuring the Hardness of SAT Instances.
222-228 BibTeX
- Belaid Benhamou, Mohamed Réda Saïdi:
A New Incomplete Method for CSP Inconsistency Checking.
229-234 BibTeX
- Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh:
The Parameterized Complexity of Global Constraints.
235-240 BibTeX
- Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote:
Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search.
241-246 BibTeX
- Hai Leong Chieu, Wee Sun Lee:
Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT.
247-252 BibTeX
- Martin C. Cooper, Simon de Givry, Martí Sánchez, Thomas Schiex, Matthias Zytnicki:
Virtual Arc Consistency for Weighted CSP.
253-258 BibTeX
- Hilmar Finnsson, Yngvi Björnsson:
Simulation-Based Approach to General Game Playing.
259-264 BibTeX
- Yong Gao:
Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems.
265-270 BibTeX
- Vibhav Gogate, Rina Dechter:
Studies in Solution Sampling.
271-276 BibTeX
- Thomas Dueholm Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
On Range of Skill.
277-282 BibTeX
- Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder:
Clause Learning Can Effectively P-Simulate General Propositional Resolution.
283-290 BibTeX
- Joshua D. Isom, Sean P. Meyn, Richard D. Braatz:
Piecewise Linear Dynamic Programming for Constrained POMDPs.
291-296 BibTeX
- Joxan Jaffar, Andrew E. Santosa, Razvan Voicu:
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
297-303 BibTeX
- Matti Järvisalo, Tommi A. Junttila:
On the Power of Top-Down Branching Heuristics.
304-309 BibTeX
- Serdar Kadioglu, Meinolf Sellmann:
Efficient Context-Free Grammar Constraints.
310-316 BibTeX
- Richard E. Korf:
Minimizing Disk I/O in Two-Bit Breadth-First Search.
317-324 BibTeX
- Akshat Kumar, Adrian Petcu, Boi Faltings:
H-DPOP: Using Hard Constraints for Search Space Pruning in DCOP.
325-330 BibTeX
- Branislav Kveton, Jia Yuan Yu, Georgios Theocharous, Shie Mannor:
Online Learning with Expert Advice and Finite-Horizon Constraints.
331-336 BibTeX
- Wei Li, Pascal Poupart, Peter van Beek:
Exploiting Causal Independence Using Weighted Model Counting.
337-343 BibTeX
- Maxim Likhachev, Anthony Stentz:
R* Search.
344-350 BibTeX
- Han Lin, Kaile Su, Chu Min Li:
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
351-356 BibTeX
- Mehdi Samadi, Ariel Felner, Jonathan Schaeffer:
Learning from Multiple Heuristics.
357-362 BibTeX
- Marko Samer, Stefan Szeider:
Backdoor Trees.
363-368 BibTeX
- Pierre Schaus, Yves Deville:
A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem.
369-374 BibTeX
- Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms:
Bound Consistency for Binary Length-Lex Set Constraints.
375-380 BibTeX
- Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte:
Predicting the Performance of IDA* with Conditional Distributions.
381-386 BibTeX
- Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning with Cardinal Directions: An Efficient Algorithm.
387-392 BibTeX
- Roie Zivan:
Anytime Local Search for Distributed Constraint Optimization.
393-398 BibTeX
Knowledge Representation,
Logic,
and Information Systems
- Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar:
On the Decidability of Role Mappings between Modular Ontologies.
400-405 BibTeX
- Chitta Baral, Jicheng Zhao:
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals.
406-411 BibTeX
- Meghyn Bienvenu:
Prime Implicate Normal Form for ALC Concepts.
412-417 BibTeX
- Piero A. Bonatti, Enrico Pontelli, Tran Cao Son:
Credulous Resolution for Answer Set Programming.
418-423 BibTeX
- Heeyoul Choi, Seungjin Choi, Yoonsuck Choe:
Manifold Integration with Markov Random Walks.
424-429 BibTeX
- James P. Delgrande, Yi Jin:
Parallel Belief Revision.
430-435 BibTeX
- Esra Erdem, Ferhan Türe:
Efficient Haplotype Inference with Answer Set Programming.
436-441 BibTeX
- Hélène Fargier, Pierre Marquis:
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond.
442-447 BibTeX
- Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits:
A Meta-Programming Technique for Debugging Answer-Set Programs.
448-453 BibTeX
- Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.
454-459 BibTeX
- Victor Jauregui:
Nonmonotonic Modes of Inference.
460-465 BibTeX
- Marina Langlois, Robert H. Sloan, Balázs Szörényi, György Turán:
Horn Complements: Towards Horn-to-Horn Belief Revision.
466-471 BibTeX
- Joohyung Lee, Vladimir Lifschitz, Ravi Palla:
A Reductive Semantics for Counting and Choice in Answer Set Programming.
472-479 BibTeX
- Fangzhen Lin, Jia-Huai You:
Abductive Logic Programming by Nonground Rewrite Systems.
480-485 BibTeX
- Yongmei Liu:
A Formalization of Program Debugging in the Situation Calculus.
486-491 BibTeX
- Denis Mindolin, Jan Chomicki:
Minimal Contraction of Preference Relations.
492-497 BibTeX
- Leora Morgenstern:
A First-Order Theory of Stanislavskian Scene Analysis.
498-503 BibTeX
- Magdalena Ortiz, Mantas Simkus, Thomas Eiter:
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
504-510 BibTeX
- Austin Parker, Guillaume Infantes, V. S. Subrahmanian, John Grant:
An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics.
511-516 BibTeX
- Knot Pipatsrisawat, Adnan Darwiche:
New Compilation Languages Based on Structured Decomposability.
517-522 BibTeX
- Guilin Qi:
A Semantic Approach for Iterated Revision in Possibilistic Logic.
523-528 BibTeX
- Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
529-534 BibTeX
- Anika Schumann, Jinbo Huang:
A Scalable Jointree Algorithm for Diagnosability.
535-540 BibTeX
- Afsaneh Shirazi, Eyal Amir:
Factored Models for Probabilistic Modal Logic.
541-547 BibTeX
- Robert Speer, Catherine Havasi, Henry Lieberman:
AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge.
548-553 BibTeX
- Kaile Su, Abdul Sattar:
An Extended Interpreted System Model for Epistemic Logics.
554-559 BibTeX
- Miroslaw Truszczynski, Stefan Woltran:
Hyperequivalence of Logic Programs with Respect to Supported Models.
560-565 BibTeX
- Jun Wang, Gregory M. Provan:
Generating Application-Specific Benchmark Models for Complex Systems.
566-571 BibTeX
- Johan Wittocx, Maarten Mariën, Marc Denecker:
Grounding with Bounds.
572-577 BibTeX
- Patrick Ye, Timothy Baldwin:
Towards Automatic Animated Storyboarding.
578-583 BibTeX
- Jia-Huai You, Guohua Liu:
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.
584-589 BibTeX
- Anbu Yue, Weiru Liu:
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming.
590-596 BibTeX
Machine Learning
- Babak Alipanahi, Michael Biggs, Ali Ghodsi:
Distance Metric Learning Versus Fisher Discriminant Analysis.
598-603 BibTeX
- John Asmuth, Michael L. Littman, Robert Zinkov:
Potential-based Shaping in Model-based Reinforcement Learning.
604-609 BibTeX
- Deng Cai, Xiaofei He, Jiawei Han:
Sparse Projections over Graph.
610-615 BibTeX
- Mo Chen, Jianzhuang Liu, Xiaoou Tang:
Clustering via Random Walk Hitting Time on Directed Graphs.
616-621 BibTeX
- Thomas G. Dietterich, Xinlong Bao:
Integrating Multiple Learning Components through Markov Logic.
622-627 BibTeX
- Jason Gauci, Kenneth O. Stanley:
A Case Study on the Critical Role of Geometric Regularity in Machine Learning.
628-633 BibTeX
- Steven C. H. Hoi, Rong Jin:
Semi-Supervised Ensemble Ranking.
634-639 BibTeX
- Yangqing Jia, Changshui Zhang:
Instance-level Semisupervised Multiple Instance Learning.
640-645 BibTeX
- Hugo Larochelle, Dumitru Erhan, Yoshua Bengio:
Zero-data Learning of New Tasks.
646-651 BibTeX
- Yi Liu, Xu-Lei Wang, Hongbin Zha:
Dimension Amnesic Pyramid Match Kernel.
652-658 BibTeX
- Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu, Tianbing Xu:
Clustering on Complex Graphs.
659-664 BibTeX
- Zhiwu Lu, Yuxin Peng, Jianguo Xiao:
From Comparing Clusterings to Combining Clusterings.
665-670 BibTeX
- Feiping Nie, Shiming Xiang, Yangqing Jia, Changshui Zhang, Shuicheng Yan:
Trace Ratio Criterion for Feature Selection.
671-676 BibTeX
- Sinno Jialin Pan, James T. Kwok, Qiang Yang:
Transfer Learning via Dimensionality Reduction.
677-682 BibTeX
- Dan Roth, Kevin Small:
Active Learning for Pipeline Models.
683-688 BibTeX
- Erik G. Schultink, Ruggiero Cavallo, David C. Parkes:
Economic Hierarchical Q-Learning.
689-695 BibTeX
- Jianqiang Shen, Lida Li, Weng-Keen Wong:
Markov Blanket Feature Selection for Support Vector Machines.
696-701 BibTeX
- Neha Sugandh, Santiago Ontañón, Ashwin Ram:
On-Line Case-Based Plan Adaptation for Real-Time Strategy Games.
702-707 BibTeX
- Robert Van Dam, Irene Langkilde-Geary, Dan Ventura:
Adapting ADtrees for High Arity Features.
708-713 BibTeX
- Thomas J. Walsh, Michael L. Littman:
Efficient Learning of Action Schemas and Web-Service Descriptions.
714-719 BibTeX
- Fei Wang, Changshui Zhang:
On Discriminative Semi-Supervised Classification.
720-725 BibTeX
- Fei Wang, Tao Li, Gang Wang, Changshui Zhang:
Semi-supervised Classification Using Local and Global Regularization.
726-731 BibTeX
- Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes:
Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data.
732-738 BibTeX
- Xiaofeng Yu, Wai Lam:
Hidden Dynamic Probabilistic Models for Labeling Sequence Data.
739-745 BibTeX
- Bin Zhang, Fei Wang, Ta-Hsin Li, Wen Jun Yin, Jin Dong:
Classification by Discriminative Regularization.
746-751 BibTeX
- Dan Zhang, Fei Wang, Changshui Zhang, Tao Li:
Multi-View Local Learning.
752-757 BibTeX
- Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou, Qiang Yang:
Constraint Projections for Ensemble Learning.
758-763 BibTeX
Multidisciplinary Topics and Applications
- Yolanda Gil, Varun Ratnakar:
Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents.
765-771 BibTeX
- Benjamin Liebald, Dan Roth, Neelay Shah, Vivek Srikumar:
Proactive Intrusion Detection.
772-777 BibTeX
- Ian McGraw, Stephanie Seneff:
Speech-enabled Card Games for Language Learners.
778-783 BibTeX
- Dan Morris, Ian Simon, Sumit Basu:
Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation.
784-791 BibTeX
- Mark J. Nelson, Michael Mateas:
Another Look at Search-Based Drama Management.
792-797 BibTeX
- Nathan Rosenblum, Xiaojin Zhu, Barton Miller, Karen Hunt:
Learning to Analyze Binary Computer Code.
798-804 BibTeX
- Jun Zhou, Li Cheng, Walter F. Bischof:
Prediction and Change Detection in Sequential Data for Interactive Applications.
805-810 BibTeX
- Yang Zhou, Zheng Li, Xuerui Yang, Linxia Zhang, Shireesh Srivastava, Rong Jin, Christina Chan:
Using Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory Network.
811-816 BibTeX
Natural-Language Processing
- Chitta Baral, Juraj Dzifcak, Tran Cao Son:
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
818-823 BibTeX
- Brandon Beamer, Alla Rozovskaya, Roxana Girju:
Automatic Semantic Relation Extraction with Multiple Boundary Generation.
824-829 BibTeX
- Ming-Wei Chang, Lev-Arie Ratinov, Dan Roth, Vivek Srikumar:
Importance of Semantic Representation: Dataless Classification.
830-835 BibTeX
- Jacob Eisenstein, Regina Barzilay, Randall Davis:
Discourse Topic and Gestural Form.
836-841 BibTeX
- Rakesh Gupta, Lev-Arie Ratinov:
Text Categorization with Knowledge Transfer from Heterogeneous Data Sources.
842-847 BibTeX
- Benjamin Snyder, Regina Barzilay:
Cross-lingual Propagation for Morphological Analysis.
848-854 BibTeX
- Xiaojun Wan, Jianguo Xiao:
Single Document Keyphrase Extraction Using Neighborhood Knowledge.
855-860 BibTeX
- Torsten Zesch, Christof Müller, Iryna Gurevych:
Using Wiktionary for Computing Semantic Relatedness.
861-866 BibTeX
Reasoning about Plans,
Processes,
and Actions
- Spyros Angelopoulos, Alejandro López-Ortiz, Angèle M. Hamel:
Optimal Scheduling of Contract Algorithms with Soft Deadlines.
868-873 BibTeX
- Björn Ulrich Borowsky, Stefan Edelkamp:
Optimal Metric Planning with State Sets in Automata Representation.
874-879 BibTeX
- Paul Breimyer, Peter R. Wurman:
PBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations.
880-885 BibTeX
- Yixin Chen, Ruoyun Huang, Weixiong Zhang:
Fast Planning by Search in Domain Transition Graph.
886-891 BibTeX
- Andrew Coles, Maria Fox, Derek Long, Amanda Smith:
Planning with Problems Requiring Temporal Coordination.
892-897 BibTeX
- Peng Dai, Mausam, Daniel S. Weld:
Partitioned External-Memory Value Iteration.
898-904 BibTeX
- Thomas Eiter, Michael Fink, Ján Senko:
Error Classification in Action Descriptions: A Heuristic Approach.
905-910 BibTeX
- Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Computing Minimal Diagnoses by Greedy Stochastic Search.
911-918 BibTeX
- Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund:
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses.
919-924 BibTeX
- Christian Fritz:
Finding State Similarities for Faster Planning.
925-930 BibTeX
- Yilan Gu, Mikhail Soutchanski:
Reasoning about Large Taxonomies of Actions.
931-937 BibTeX
- Malte Helmert, Robert Mattmüller:
Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
938-943 BibTeX
- Malte Helmert, Gabriele Röger:
How Good is Almost Perfect?.
944-949 BibTeX
- Chad Hogg, Héctor Muñoz-Avila, Ugur Kuter:
HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required.
950-956 BibTeX
- Li Li, Nilufer Onder:
Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains.
957-962 BibTeX
- Colin McMillen, Manuela M. Veloso:
Unknown Rewards in Finite-Horizon Domains.
963-968 BibTeX
- Evdokia Nikolova, David R. Karger:
Route Planning under Uncertainty: The Canadian Traveller Problem.
969-974 BibTeX
- Silvia Richter, Malte Helmert, Matthias Westphal:
Landmarks Revisited.
975-982 BibTeX
- Dmitry Shaparau, Marco Pistore, Paolo Traverso:
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
983-990 BibTeX
- Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein:
Learning Generalized Plans Using Abstract Counting.
991-997 BibTeX
- Gita Sukthankar, Katia P. Sycara:
Hypothesis Pruning and Ranking for Large Plan Recognition Problems.
998-1003 BibTeX
- Stavros Vassos, Hector J. Levesque:
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.
1004-1009 BibTeX
- Sung Wook Yoon, Alan Fern, Robert Givan, Subbarao Kambhampati:
Probabilistic Planning via Determinization in Hindsight.
1010-1016 BibTeX
Uncertainty in AI
- Minmin Chen, Yixin Chen, Michael R. Brent:
CRF-OPT: An Efficient High-Quality Conditional Random Field Solver.
1018-1023 BibTeX
- Arthur Choi, Adnan Darwiche:
Focusing Generalizations of Belief Propagation on Targeted Queries.
1024-1030 BibTeX
- Arthur Choi, Adnan Darwiche:
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations.
1031-1036 BibTeX
- Christophe Gonzales, Patrice Perny, Sergio Queiroz:
Preference Aggregation with Graphical Utility Models.
1037-1042 BibTeX
- Kee-Eung Kim:
Exploiting Symmetries in POMDPs for Point-Based Algorithms.
1043-1048 BibTeX
- Janusz Marecki, Milind Tambe:
Towards Faster Planning with Continuous Resources in Stochastic Domains.
1049-1055 BibTeX
- Mahdi Milani Fard, Joelle Pineau, Peng Sun:
A Variance Analysis for POMDP Policy Evaluation.
1056-1061 BibTeX
- Brian Milch, Luke S. Zettlemoyer, Kristian Kersting, Michael Haimes, Leslie Pack Kaelbling:
Lifted Probabilistic Inference with Counting Formulas.
1062-1068 BibTeX
- Michael Munie, Yoav Shoham:
Optimal Testing of Structured Knowledge.
1069-1074 BibTeX
- Hoifung Poon, Pedro Domingos, Marc Sumner:
A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC.
1075-1080 BibTeX
- Ilya Shpitser, Judea Pearl:
Dormant Independence.
1081-1087 BibTeX
- Hyeong Seop Sim, Kee-Eung Kim, Jin Hyung Kim, Du-Seong Chang, Myoung-Wan Koo:
Symbolic Heuristic Search Value Iteration for Factored POMDPs.
1088-1093 BibTeX
- Parag Singla, Pedro Domingos:
Lifted First-Order Belief Propagation.
1094-1099 BibTeX
- Ioannis Tsamardinos, Laura E. Brown:
Bounding the False Discovery Rate in Local Bayesian Network Learning.
1100-1105 BibTeX
- Jue Wang, Pedro Domingos:
Hybrid Markov Logic Networks.
1106-1111 BibTeX
- Yi Wang, Nevin Lianwen Zhang, Tao Chen:
Latent Tree Models and Approximate Inference in Bayesian Networks.
1112-1118 BibTeX
- Changhe Yuan, Tsai-Ching Lu:
A General Framework for Generating Multivariate Explanations in Bayesian Networks.
1119-1124 BibTeX
Special Track on Artificial Intelligence and the Web
- Nirmit Desai, Munindar P. Singh:
On the Enactability of Business Protocols.
1126-1131 BibTeX
- Ofer Egozi, Evgeniy Gabrilovich, Shaul Markovitch:
Concept-Based Feature Generation and Selection for Information Retrieval.
1132-1137 BibTeX
- Jennifer Golbeck, Matthew Rothstein:
Linking Social Networks on the Web with FOAF: A Semantic Web Case Study.
1138-1143 BibTeX
- Rong Hu, Weizhu Chen, Jian Hu, Yansheng Lu, Zheng Chen, Qiang Yang:
Mining Translations of Web Queries from Web Click-through Data.
1144-1149 BibTeX
- Shu Huang, Qiankun Zhao, Prasenjit Mitra, C. Lee Giles:
Hierarchical Location and Topic Based Query Expansion.
1150-1155 BibTeX
- Daisuke Ikeda, Hiroya Takamura, Manabu Okumura:
Semi-Supervised Learning for Blog Classification.
1156-1161 BibTeX
- Jun Karamon, Yutaka Matsuo, Mitsuru Ishizuka:
Generating Useful Network-based Features for Analyzing Social Networks.
1162-1168 BibTeX
- Saurabh Kataria, William Browuer, Prasenjit Mitra, C. Lee Giles:
Automatic Extraction of Data Points and Text Blocks from 2-Dimensional Plots in Digital Documents.
1169-1174 BibTeX
- Masahiro Kimura, Kazumi Saito, Hiroshi Motoda:
Minimizing the Spread of Contamination by Blocking Links in a Network.
1175-1180 BibTeX
- Andreas Krause, Eric Horvitz:
A Utility-Theoretic Approach to Privacy and Personalization.
1181-1188 BibTeX
- Lin Li, Zhenglu Yang, Ling Liu, Masaru Kitsuregawa:
Query-URL Bipartite Based Approach to Personalized Query Recommendation.
1189-1194 BibTeX
- Qing Li, K. Selçuk Candan, Qi Yan:
Extracting Relevant Snippets for Web Navigation.
1195-1200 BibTeX
- Gang Luo:
Intelligent Output Interface for Intelligent Medical Search Engine.
1201-1206 BibTeX
- Ming Mao, Yefei Peng, Michael Spring:
Neural Network based Constraint Satisfaction in Ontology Mapping.
1207-1212 BibTeX
- Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin:
Supporting Manual Mapping Revision using Logical Reasoning.
1213-1218 BibTeX
- Vivi Nastase, Michael Strube:
Decoding Wikipedia Categories for Knowledge Acquisition.
1219-1224 BibTeX
- Marius Pasca:
Turning Web Text and Search Queries into Factual Knowledge: Hierarchical Class Attribute Extraction.
1225-1230 BibTeX
- Young-In Song, Chin-Yew Lin, Yunbo Cao, Hae-Chang Rim:
Question Utility: A Novel Static Ranking of Question Search.
1231-1236 BibTeX
- Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks:
Metalevel Information in Ontology-Based Applications.
1237-1242 BibTeX
- Benjamin Van Durme, Marius Pasca:
Finding Cars, Goddesses and Enzymes: Parametrizable Acquisition of Labeled Instances for Open-Domain Information Extraction.
1243-1248 BibTeX
- Tak-Lam Wong, Tik-Shun Wong, Wai Lam:
An Unsupervised Approach for Product Record Normalization across Different Web Sites.
1249-1254 BibTeX
- Songhua Xu, Yi Zhu, Hao Jiang, Francis C. M. Lau:
A User-Oriented Webpage Ranking Algorithm Based on User Attention Time.
1255-1260 BibTeX
- Zhenglu Yang, Lin Li, Masaru Kitsuregawa:
Efficient Querying Relaxed Dominant Relationship between Product Items Based on Rank Aggregation.
1261-1266 BibTeX
Special Track on Integrated Intelligence
- Cynthia Breazeal, Matt Berlin:
Spatial Scaffolding for Sociable Robot Learning.
1268-1273 BibTeX
- Mark H. Burstein, Robert Laddaga, David McDonald, Michael T. Cox, Brett Benyo, Paul Robertson, Talib Hussain, Marshall Brinn, Drew V. McDermott:
POIROT - Integrated Learning of Web Service Procedures.
1274-1279 BibTeX
- Morteza Dehghani, Emmett Tomai, Kenneth D. Forbus, Matthew Klenk:
An Integrated Reasoning Approach to Moral Decision-Making.
1280-1286 BibTeX
- Michael Freed, Jaime G. Carbonell, Geoffrey J. Gordon, Jordan Hayes, Brad A. Myers, Daniel P. Siewiorek, Stephen Smith, Aaron Steinfeld, Anthony Tomasic:
RADAR: A Personal Assistant that Learns to Reduce Email Overload.
1287-1293 BibTeX
- Sergio Jiménez, Fernando Fernández, Daniel Borrajo:
The PELA Architecture: Integrating Planning and Learning to Improve Execution.
1294-1299 BibTeX
- William G. Kennedy, Magdalena D. Bugajska, William Adams, Alan C. Schultz, J. Gregory Trafton:
Incorporating Mental Simulation for a More Effective Robotic Teammate.
1300-1305 BibTeX
- Lukas Kuhn, Bob Price, Johan de Kleer, Minh Binh Do, Rong Zhou:
Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans.
1306-1312 BibTeX
- Josh McCoy, Michael Mateas:
An Integrated Agent for Playing Real-Time Strategy Games.
1313-1318 BibTeX
- Conor McGann, Frederic Py, Kanna Rajan, John Ryan, Richard Henthorn:
Adaptive Control for Autonomous Underwater Vehicles.
1319-1324 BibTeX
- Dan Shapiro, Tolga Könik, Paul O'Rorke:
Achieving Far Transfer in an Integrated Cognitive Architecture.
1325-1330 BibTeX
- Samuel Wintermute, John E. Laird:
Bimodal Spatial Reasoning with Continuous Motion.
1331-1337 BibTeX
Special Track on Physically Grounded Artificial Intelligence
- Frank Broz, Illah R. Nourbakhsh, Reid G. Simmons:
Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs.
1339-1344 BibTeX
- Hung Hai Bui, Dinh Q. Phung, Svetha Venkatesh, Hai Phan:
The Hidden Permutation Model and Location-Based Activity Recognition.
1345-1350 BibTeX
- Hirotaka Hachiya, Takayuki Akiyama, Masashi Sugiyama, Jan Peters:
Adaptive Importance Sampling with Automatic Model Selection in Value Function Approximation.
1351-1356 BibTeX
- Guy Hoffman, Cynthia Breazeal:
Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study.
1357-1362 BibTeX
- Derek Hao Hu, Qiang Yang:
CIGAR: Concurrent and Interleaving Goal and Activity Recognition.
1363-1368 BibTeX
- Thomas Kollar, Nicholas Roy:
Efficient Optimization of Information-Theoretic Exploration in SLAM.
1369-1375 BibTeX
- Masahiro Ono, Brian C. Williams:
An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure.
1376-1382 BibTeX
- Sinno Jialin Pan, Dou Shen, Qiang Yang, James T. Kwok:
Transferring Localization Models across Space.
1383-1388 BibTeX
- William Pentney, Matthai Philipose, Jeff A. Bilmes:
Structure Learning on Large Scale Common Sense Statistical Models of Human State.
1389-1395 BibTeX
- Cédric Rose, Jamal Saboune, François Charpillet:
Reducing Particle Filtering Complexity for 3D Motion Capture using Dynamic Bayesian Networks.
1396-1401 BibTeX
- Benjamin Sapp, Ashutosh Saxena, Andrew Y. Ng:
A Fast Data Collection and Augmentation Procedure for Object Recognition.
1402-1408 BibTeX
- Luciano Spinello, Rudolph Triebel, Roland Siegwart:
Multimodal People Detection and Tracking in Crowded Scenes.
1409-1414 BibTeX
- Douglas L. Vail, Manuela M. Veloso:
Feature Selection for Activity Recognition in Multi-Robot Domains.
1415-1420 BibTeX
- Vincent Wenchen Zheng, Evan Wei Xiang, Qiang Yang, Dou Shen:
Transferring Localization Models over Time.
1421-1426 BibTeX
- Vincent Wenchen Zheng, Sinno Jialin Pan, Qiang Yang, Jeffrey Junfeng Pan:
Transferring Multi-device Localization Models using Latent Multi-task Learning.
1427-1432 BibTeX
- Brian Ziebart, Andrew L. Maas, J. Andrew Bagnell, Anind K. Dey:
Maximum Entropy Inverse Reinforcement Learning.
1433-1438 BibTeX
Short Papers
- Martin Allen, Marek Petrik, Shlomo Zilberstein:
Interaction Structure and Dimensionality Reduction in Decentralized MDPs.
1440-1441 BibTeX
- Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu:
Generating Hard SAT/CSP Instances Using Expander Graphs.
1442-1443 BibTeX
- Victoria Bobicev, Marina Sokolova:
An Effective and Robust Method for Short Text Classification.
1444-1445 BibTeX
- James C. Boerkoel Jr., Edmund H. Durfee:
Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems.
1446-1449 BibTeX
- Jonathan Dinerstein, Parris K. Egbert, Dan Ventura, Michael A. Goodrich:
Data-Driven Programming and Behavior for Autonomous Virtual Characters.
1450-1451 BibTeX
- Stefan Edelkamp, Peter Kissmann:
Limits and Possibilities of BDDs in State Space Search.
1452-1453 BibTeX
- Andrew Gilpin, Tuomas Sandholm:
Expectation-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker.
1454-1457 BibTeX
- Sean Igo, Ellen Riloff:
Learning to Identify Reduced Passive Verb Phrases with a Shallow Parser.
1458-1461 BibTeX
- Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger, Angela Schwering:
The Re-Representation Problem in a Logic-Based Framework for Analogy Making.
1462-1463 BibTeX
- Riadh Ksantini, Djemel Ziou, Bernard Colin, François Dubeau:
A Bayesian Kernel Logistic Discriminant Model: An Improvement to the Kernel Fisher's Discriminant.
1464-1465 BibTeX
- Robert N. Lass, Evan Sultanik, William C. Regli:
Dynamic Distributed Constraint Reasoning.
1466-1469 BibTeX
- Thomas H. Lotze, Galit Shmueli:
Ensemble Forecasting for Disease Outbreak Detection.
1470-1471 BibTeX
- Sridhar Mahadevan:
Fast Spectral Learning using Lanczos Eigenspace Projections.
1472-1475 BibTeX
- Duc Nghia Pham, John Thornton, Abdul Sattar:
Efficiently Exploiting Dependencies in Local Search for SAT.
1476-1478 BibTeX
- Manh Tung Pham, Kiam Tian Seow:
Towards Synthesizing Optimal Coordination Modules for Distributed Agents.
1479-1480 BibTeX
- Knot Pipatsrisawat, Adnan Darwiche:
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.
1481-1484 BibTeX
- Marc J. V. Ponsen, Jan Ramon, Tom Croonenborghs, Kurt Driessens, Karl Tuyls:
Bayes-Relational Learning of Opponent Models from Incomplete Information in No-Limit Poker.
1485-1486 BibTeX
- Ian Porteous, Evgeniy Bart, Max Welling:
Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization.
1487-1490 BibTeX
- Ashutosh Saxena, Lawson L. S. Wong, Andrew Y. Ng:
Learning Grasp Strategies with Partial Shape Information.
1491-1494 BibTeX
- Alberto Venturini, Gregory M. Provan:
Incremental Algorithms for Approximate Compilation.
1495-1498 BibTeX
- William E. Walsh, David C. Parkes, Tuomas Sandholm, Craig Boutilier:
Computing Reserve Prices and Identifying the Value Distribution in Real-world Auctions with Market Disruptions.
1499-1502 BibTeX
- Yin Zhang, Zhi-Hua Zhou:
Multi-Label Dimensionality Reduction via Dependence Maximization.
1503-1505 BibTeX
- Xiaojin Zhu, Michael Coen, Shelley Prudom, Ricki Colman, Joseph Kemnitz:
Online Learning in Monkeys.
1506-1507 BibTeX
Nectar Papers
- Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith:
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
1509-1512 BibTeX
- Ming-Wei Chang, Lev-Arie Ratinov, Nicholas Rizzolo, Dan Roth:
Learning and Inference with Constraints.
1513-1518 BibTeX
- Minh Binh Do, Wheeler Ruml, Rong Zhou:
On-line Planning and Scheduling: An Application to Controlling Modular Printers.
1519-1523 BibTeX
- Mark Dredze, Hanna M. Wallach, Danny Puller, Tova Brooks, Josh Carroll, Joshua Magarick, John Blitzer, Fernando Pereira:
Intelligent Email: Aiding Users with AI.
1524-1527 BibTeX
- Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Data Integration.
1528-1531 BibTeX
- Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock:
Decision-Theoretic User Interface Generation.
1532-1536 BibTeX
- Sylvain Gelly, David Silver:
Achieving Master Level Play in 9 x 9 Computer Go.
1537-1540 BibTeX
- Georg Gottlob, Reinhard Pichler, Fang Wei:
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.
1541-1546 BibTeX
- Malte Helmert, Patrik Haslum, Jörg Hoffmann:
Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
1547-1550 BibTeX
- Anthony Hoogs, A. G. Amitha Perera:
Video Activity Recognition in the Real World.
1551-1554 BibTeX
- Vithal Kuchibatla, Héctor Muñoz-Avila:
An Analysis of Transformational Analogy: General Framework and Complexity.
1555-1558 BibTeX
- Praveen Paruchuri, Jonathan P. Pearce, Janusz Marecki, Milind Tambe, Fernando Ordóñez, Sarit Kraus:
Efficient Algorithms to Solve Bayesian Stackelberg Games for Security Applications.
1559-1562 BibTeX
- Kayur Patel, James Fogarty, James A. Landay, Beverly L. Harrison:
Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine Learning.
1563-1566 BibTeX
- Claude-Guy Quimper, Toby Walsh:
Decompositions of Grammar Constraints.
1567-1570 BibTeX
- Ashutosh Saxena, Min Sun, Andrew Y. Ng:
Make3D: Depth Perception from a Single Still Image.
1571-1576 BibTeX
- Krysta Marie Svore, Lucy Vanderwende, Christopher J. C. Burges:
Using Signals of Human Interest to Enhance Single-document Summarization.
1577-1580 BibTeX
- Kagan Tumer, Adrian K. Agogino:
Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach.
1581-1584 BibTeX
- Toby Walsh:
Breaking Value Symmetry.
1585-1588 BibTeX
Senior Member Papers
Innovative Applications of Artificial Intelligence
Deployed Papers
Emerging Papers
- Jennifer Abernethy, Robert Sharman, Elizabeth Bradley:
Application of Artificial Intelligence to Operational Real-Time Clear-Air Turbulence Prediction.
1649-1654 BibTeX
- Scott Dejmal, Alan Fern, Thinh Nguyen:
Reinforcement Learning for Vulnerability Assessment in Peer-to-Peer Networks.
1655-1662 BibTeX
- Glenn Fung, Sriram Krishnan, R. Bharat Rao, Hui Chen:
Learning Sparse Kernels from 3D Surfaces for Heart Wall Motion Abnormality Detection.
1663-1670 BibTeX
- Arthur Guez, Robert D. Vincent, Massimo Avoli, Joelle Pineau:
Adaptive Treatment of Epilepsy via Batch-mode Reinforcement Learning.
1671-1678 BibTeX
- Kalyan Moy Gupta, Michael Zang, Adam Gray, David W. Aha, Joe Kriege:
Enabling the Interoperability of Large-Scale Legacy Systems.
1679-1684 BibTeX
- Hamid Haidarian Shahri, Donald Perlis:
Finding Ontological Correspondences for a Domain-Independent Natural Language Dialog Agent.
1685-1692 BibTeX
- David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson:
Personalisation of Telecommunications Services as Combinatorial Optimisation.
1693-1698 BibTeX
- Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun:
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft.
1699-1705 BibTeX
- Robert A. Morris, John Gasch, Lina Khatib, Steven Covington:
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images.
1706-1711 BibTeX
- Robert A. Morris, Nikunj C. Oza, Leslie Keely, Elif Kürklü, Anthony Strawa:
Learning to Improve Earth Observation Flight Planning.
1712-1717 BibTeX
- Nicolas Padoy, Tobias Blum, Hubertus Feussner, Marie-Odile Berger, Nassir Navab:
On-line Recognition of Surgical Activity for Monitoring in the Operating Room.
1718-1724 BibTeX
- Ariella Richardson, Sarit Kraus, Patrice L. Weiss, Sara Rosenblum:
COACH - Cumulative Online Algorithm for Classification of Handwriting Deficiencies.
1725-1730 BibTeX
- Reza Sadoddin, Ali A. Ghorbani:
Real-time Alert Correlation Using Stream Data Mining Techniques.
1731-1737 BibTeX
- Ramesh Thangarajoo, Lucas Agussurja, Hoong Chuin Lau:
A Hybrid Approach to Convoy Movement Planning in an Urban City.
1738-1744 BibTeX
- William H. Turkett Jr., Andrew V. Karode, Errin W. Fulp:
In-the-Dark Network Traffic Classification Using Support Vector Machines.
1745-1750 BibTeX
- Christian von Lücken, Ricardo Brunelli:
Crops Selection for Optimal Soil Planning using Multiobjective Evolutionary Algorithms.
1751-1756 BibTeX
- Zhaohui Wu, Tong Yu, Huajun Chen, Xiaohong Jiang, Chunying Zhou, Yu Zhang, Yuxin Mao, Yi Feng, Meng Cui, Aining Yin:
Semantic Web Development for Traditional Chinese Medicine.
1757-1762 BibTeX
- Jianfeng Zhu, Wenbin Zhu, Chan Hou Che, Andrew Lim:
A Vehicle Routing System to Solve a Periodic Vehicle Routing Problem for a Food Chain in Hong Kong.
1763-1768 BibTeX
Student Abstracts
- Dimitrios Antos, Avi Pfeffer:
Using Reasoning Patterns to Simplify Games.
1770-1771 BibTeX
- Tom Armstrong, Tim Oates:
Lexical and Grammatical Inference.
1772-1773 BibTeX
- Mark Austin, Matthew Kelly, Michael Brady:
The Benefits of an Ontological Patient Model in Clinical Decision-Support.
1774-1775 BibTeX
- Cosmin Adrian Bejan, Sanda M. Harabagiu:
Using Clustering Methods for Discovering Event Structures.
1776-1777 BibTeX
- Antonis Bikakis, Grigoris Antoniou:
Distributed Reasoning with Conflicts in a Multi-Context Framework.
1778-1779 BibTeX
- Dunbo Cai, Jigui Sun, Minghao Yin:
Conformant Planning Heuristics Based on Plan Reuse in Belief States.
1780-1781 BibTeX
- Shu-Bin Cai, Zhong Ming, Shi-xian Li:
Personalized Reasoner Based on Belief Strengths of Information Sources.
1782-1783 BibTeX
- Giovanna Castellano, Anna Maria Fanelli, Paola Plantamura, Maria Alessandra Torsello:
A Neuro-Fuzzy Strategy for Web Personalization.
1784-1785 BibTeX
- Heeyoul Choi, Tracy Hammond:
Sketch Recognition Based on Manifold Learning.
1786-1787 BibTeX
- Paul Corey, Tracy Hammond:
GLADDER: Combining Gesture and Geometric Sketch Recognition.
1788-1789 BibTeX
- Katie Dahmen, Tracy Hammond:
Distinguishing between Sketched Scribble Look Alikes.
1790-1791 BibTeX
- Luke Dickens:
Perpetual Learning for Non-Cooperative Multiple Agents.
1792-1793 BibTeX
- Brian Eoff, Tracy Hammond:
User Identification by Means of Sketched Stroke Features.
1794-1795 BibTeX
- Pooyan Fazli, Ara Bedrosian:
Unsupervised Categorization (Filtering) of Google Images Based on Visual Consistency.
1796-1797 BibTeX
- Paul Fodor:
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs.
1798-1799 BibTeX
- Paul Fodor:
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques.
1800-1801 BibTeX
- Lushan Han, Tim Finin:
Predicting Appropriate Semantic Web Terms from Words.
1802-1893 BibTeX
- Robert Holder:
Improving a Plan Library for Real-time Systems Using Nearly Orthogonal Latin Hypercube Sampling.
1804-1805 BibTeX
- Fahim Kawsar, Shaikh Mostafa Al Masum, Mitsuru Ishizuka:
Text Beautifier: An Affective-Text Tool to Tailor Written Text.
1806-1807 BibTeX
- Igor Kiselev, Reda Alhajj:
A Self-organizing Multi-agent System for Adaptive Continuous Unsupervised Learning in Complex Uncertain Environments.
1808-1809 BibTeX
- Lukas Kroc, Michael Chertkov:
Loop Calculus for Satisfiability.
1810-1811 BibTeX
- Chi-Hoon Lee, Matthew R. G. Brown, Russell Greiner, Shaojun Wang, Albert Murtha:
Constrained Classification on Structured Data.
1812-1813 BibTeX
- Chia-chun Lian, Jane Yung-jen Hsu:
Chatting Activity Recognition in Social Occasions Using Factorial Conditional Random Fields with Iterative Classification.
1814-1815 BibTeX
- Zhihui Luo, David A. Bell, Barry McCollum:
Discover Relevant Environment Feature Using Concurrent Reinforcement Learning.
1816-1817 BibTeX
- Ross Mead, Jerry B. Weinberg:
2-Dimensional Cellular Automata Approach for Robot Grid Formations.
1818-1819 BibTeX
- Matthew Miller, Alexander Stoytchev:
Hierarchical Voting Experts: An Unsupervised Algorithm for Segmenting Hierarchically Structured Sequences.
1820-1821 BibTeX
- Don Miner, Marie desJardins, Peter Hamilton:
The Swarm Application Framework.
1822-1823 BibTeX
- A. S. M. Mahbub Morshed, Mitsuru Ishizuka:
ADROIT: Automatic Discourse Relation Organizer of Internet-based Text.
1824-1825 BibTeX
- Keith Purrington, Edmund H. Durfee:
NP-Completeness of Outcome Optimization for Partial CP-Nets.
1826-1827 BibTeX
- Jivko Sinapov, Alexander Stoytchev:
Toward Autonomous Learning of an Ontology of Tool Affordances by a Robot.
1828-1829 BibTeX
- John C. Stamper, Tiffany Barnes:
The Validity of Providing Automated Hints in an ITS Using a MDP.
1830-1831 BibTeX
- Paul Taele, Tracy Hammond:
Using a Geometric-Based Sketch Recognition Approach to Sketch Chinese Radicals.
1832-1833 BibTeX
- Ferhan Türe, Esra Erdem:
Efficient Haplotype Inference with Answer Set Programming.
1834-1835 BibTeX
- Aaron Wolin, Brandon Paulson, Tracy Hammond:
Eliminating False Positives during Corner Finding by Merging Similar Segments.
1836-1837 BibTeX
- Jiayu Zhou, Youfang Lin, Xi Wang:
Visualization of Large-Scale Weighted Clustered Graph: A Genetic Approach.
1838-1839 BibTeX
Doctoral Consortium Abstracts
Intelligent Systems Demonstrations
- Mark Austin, Matthew Kelly, Michael Brady:
The Benefits of an Ontological Patient Model in Clinical Decision-Support.
1872-1873 BibTeX
- Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan:
A Hybrid Approach to Domino Portrait Generation.
1874-1875 BibTeX
- Andrew Faulring, Brad A. Myers, Ken Mohnkern, Michael Freed:
A Demonstration of the RADAR Personal Assistant.
1876-1877 BibTeX
- Kenneth D. Forbus, Andrew Lovett, Kate Lockwood, Jon Wetzel, Camillia Matuk, Ben Jee, Jeffrey M. Usher:
CogSketch.
1878-1879 BibTeX
- Sharad Goel, David Pennock, Daniel M. Reeves, Cong Yu:
Yoopick: A Combinatorial Sports Prediction Market.
1880-1881 BibTeX
- Lin Padgham, John Thangarajah, Michael Winikoff:
Prometheus Design Tool.
1882-1883 BibTeX
- James Pita, Manish Jain, Fernando Ordóñez, Christopher Portway, Milind Tambe, Craig Western, Praveen Paruchuri, Sarit Kraus:
ARMOR Security for Los Angeles International Airport.
1884-1885 BibTeX
- Evan Sultanik, Ilya Braude, Peter Thai, Robert N. Lass, Duc N. Nguyen, Joseph B. Kopena, William C. Regli, Sean A. Lisse, Steven N. Furtwangler, Alan J. Vayda:
Human-Robot Collaboration for Remote Surveillance.
1886-1887 BibTeX
- Dan Tappan:
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions.
1888-1889 BibTeX
- Michael Zang, Adam Gray, Joe Kriege, Kalyan Moy Gupta, David W. Aha:
IMT: A Mixed-Initiative Data Mapping and Search Toolkit.
1890-1891 BibTeX
Copyright © Sat May 16 22:55:33 2009
by Michael Ley (ley@uni-trier.de)
