Browse Title Index


 
Scheduled Conference Title
 
Twenty-First International Joint Conference on Artificial Intelligence A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics Abstract
Iyad Rahwan, Kate Larson, Fernando Tohmé
 
Twenty-First International Joint Conference on Artificial Intelligence A Computational Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interaction Abstract
Agnes Swadzba, Constanze Vorwerg, Sven Wachsmuth, Gert Rickheit
 
Twenty-First International Joint Conference on Artificial Intelligence A Content-Based Method to Enhance Tag Recommendation Abstract
Yu-Ta Lu, Shoou-I Yu, Tsung-Chieh Chang, Jane Yung-jen Hsu
 
Twenty-First International Joint Conference on Artificial Intelligence A Context Driven Approach for Workflow Mining Abstract
Fusun Yaman, Tim Oates, Mark Burstein
 
Twenty-First International Joint Conference on Artificial Intelligence A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences Abstract
Lirong Xia, Jerome Lang
 
Twenty-First International Joint Conference on Artificial Intelligence A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan Abstract
Roberto Micalizio
 
Twenty-First International Joint Conference on Artificial Intelligence A Divide-and-Conquer Approach for Solving Interval Algebra Networks Abstract
Jason Jingshi Li, Jinbo Huang, Jochen Renz
 
Twenty-First International Joint Conference on Artificial Intelligence A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management Abstract
Bernhard Nebel, Jochen Renz
 
Twenty-First International Joint Conference on Artificial Intelligence A General Approach to Environment Design with One Agent Abstract
Haoqi Zhang, Yiling Chen, David C. Parkes
 
Twenty-First International Joint Conference on Artificial Intelligence A Kernel Method for Market Clearing Abstract
Sebastien Lahaie
 
Twenty-First International Joint Conference on Artificial Intelligence A Logic for Coalitions with Bounded Resources Abstract
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib
 
Twenty-First International Joint Conference on Artificial Intelligence A Logic for Reasoning about Counterfactual Emotions Abstract
Emiliano Lorini, François Schwarzentruber
 
Twenty-First International Joint Conference on Artificial Intelligence A Multi-Agent Learning Approach to Online Distributed Resource Allocation Abstract
Chongjie Zhang, Victor Lesser, Prashant Shenoy
 
Twenty-First International Joint Conference on Artificial Intelligence A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes Abstract
Nadja Betzler, Susanne Hemmann, Rolf Niedermeier
 
Twenty-First International Joint Conference on Artificial Intelligence A New Bayesian Approach to Multiple Intermittent Fault Diagnosis Abstract
Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund
 
Twenty-First International Joint Conference on Artificial Intelligence A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT Abstract
Knot Pipatsrisawat, Adnan Darwiche
 
Twenty-First International Joint Conference on Artificial Intelligence A Semantical Account of Progression in the Presence of Defaults Abstract
Gerhard Lakemeyer, Hector J. Levesque
 
Twenty-First International Joint Conference on Artificial Intelligence A Soft Global Precedence Constraint Abstract
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson
 
Twenty-First International Joint Conference on Artificial Intelligence A Sparse Covariance Function for Exact Gaussian Process Inference in Large Datasets Abstract
Arman Melkumyan, Fabio Tozeto Ramos
 
Twenty-First International Joint Conference on Artificial Intelligence A Structural Approach to Reasoning with Quantified Boolean Formulas Abstract
Luca Pulina, Armando Tacchella
 
Twenty-First International Joint Conference on Artificial Intelligence A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Abstract
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
 
Twenty-First International Joint Conference on Artificial Intelligence A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs Abstract
Anbu Yue, Weiru Liu
 
Twenty-First International Joint Conference on Artificial Intelligence A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics Abstract
Francesco Maria Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio
 
Twenty-First International Joint Conference on Artificial Intelligence A Translation-based Approach to Contingent Planning Abstract
Alexandre Albore, Héctor Palacios, Héctor Geffner
 
Twenty-First International Joint Conference on Artificial Intelligence A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation Abstract
PhanMinh Dung, PhanMinh Thang
 
Twenty-First International Joint Conference on Artificial Intelligence A Visual Approach to Sketched Symbol Recognition Abstract
Tom Y. Ouyang, Randall Davis
 
Twenty-First International Joint Conference on Artificial Intelligence A* Search with Inconsistent Heuristics Abstract
Zhifu Zhang, Nathan R. Sturtevant, Robert Holte, Jonathan Schaeffer, Ariel Felner
 
Twenty-First International Joint Conference on Artificial Intelligence Abnormal Activity Recognition based on HDP-HMM Models Abstract
Derek Hao Hu, Xian-Xing Zhang, Jie Yin, Vincent Wenchen Zheng, Qiang Yang
 
Twenty-First International Joint Conference on Artificial Intelligence Acquiring Agent-Based Models of Conflict from Event Data Abstract
Glenn Taylor, Michael Quist, Allen Hicken
 
Twenty-First International Joint Conference on Artificial Intelligence Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximation in Reinforcement Learning Abstract
Takayuki Akiyama, Hirotaka Hachiya, Masashi Sugiyama
 
Twenty-First International Joint Conference on Artificial Intelligence Activity Recognition with Intended Actions Abstract
Alfredo Gabaldon
 
Twenty-First International Joint Conference on Artificial Intelligence Activity Recognition: Linking Low-Level Sensors to High-Level Intelligence Abstract
Qiang Yang
 
Twenty-First International Joint Conference on Artificial Intelligence Adaptive Cluster Ensemble Selection Abstract
Javad Azimi, Xiaoli Fern
 
Twenty-First International Joint Conference on Artificial Intelligence Adversarial Uncertainty in Multi-Robot Patrol Abstract
Noa Agmon, Sarit Kraus, Gal A. Kaminka, Vladimir Sadov
 
Twenty-First International Joint Conference on Artificial Intelligence Algorithms and Complexity Results for Pursuit-Evasion Problems Abstract
Richard Borie, Craig Tovey, Sven Koenig
 
Twenty-First International Joint Conference on Artificial Intelligence An Argumentation-Based Interpreter for Golog Programs Abstract
Michelle Blom, Adrian Pearce
 
Twenty-First International Joint Conference on Artificial Intelligence An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space Abstract
Daoqiang Zhang, Wanquan Liu
 
Twenty-First International Joint Conference on Artificial Intelligence Analysis of a Winning Computational Billiards Player Abstract
Christopher Archibald, Alon Altman, Yoav Shoham
 
Twenty-First International Joint Conference on Artificial Intelligence Angluin-Style Learning of NFA Abstract
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
 
Twenty-First International Joint Conference on Artificial Intelligence Answer-Set Programming with Bounded Treewidth Abstract
Michael Jakl, Reinhard Pichler, Stefan Woltran
 
Twenty-First International Joint Conference on Artificial Intelligence Applications and Extensions of PTIME Description Logics with Functional Constraints Abstract
David Toman, Grant Weddell
 
Twenty-First International Joint Conference on Artificial Intelligence Argumentation System with Changes of an Agent's Knowledge Base Abstract
Kenichi Okuno, Kazuko Takahashi
 
Twenty-First International Joint Conference on Artificial Intelligence Automated Theorem Proving for General Game Playing Abstract
Stephan Schiffel, Michael Thielscher
 
Twenty-First International Joint Conference on Artificial Intelligence Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation Abstract
Jonathan Mugan, Benjamin Kuipers
 
Twenty-First International Joint Conference on Artificial Intelligence Axiomatic Characterization of Task Oriented Negotiation Abstract
Dongmo Zhang
 
Twenty-First International Joint Conference on Artificial Intelligence Balancing Utility and Deal Probability for Auction-based Negotiations in Highly Nonlinear Utility Spaces Abstract
Ivan Marsa-Maestre, Miguel A. Lopez-Carmona, Juan R. Velasco, Takayuki Ito, Mark Klein, Katsuhide Fujita
 
Twenty-First International Joint Conference on Artificial Intelligence Bayesian Extreme Components Analysis Abstract
Yutian Chen, Max Welling
 
Twenty-First International Joint Conference on Artificial Intelligence Bayesian Real-time Dynamic Programming Abstract
Scott Sanner, Robby Goetschalckx, Kurt Driessens, Guy Shani
 
Twenty-First International Joint Conference on Artificial Intelligence Best-First Heuristic Search for Multi-Core Machines Abstract
Ethan Burns, Seth Lemons, Rong Zhou, Wheeler Ruml
 
Twenty-First International Joint Conference on Artificial Intelligence Bidirectional Answer Set Programs with Function Symbols Abstract
Thomas Eiter, Mantas Simkus
 
Twenty-First International Joint Conference on Artificial Intelligence Boosting Constrained Mutual Subspace Method for Robust Image-set Based Object Recognition Abstract
Xi Li, Kazuhiro Fukui, Nanning Zheng
 
Twenty-First International Joint Conference on Artificial Intelligence Bootstrap Voting Experts Abstract
Daniel Hewlett, Paul Cohen
 
Twenty-First International Joint Conference on Artificial Intelligence Can Movies and Books Collaborate? Cross-Domain Collaborative Filtering for Sparsity Reduction Abstract
Bin Li, Qiang Yang, Xiangyang Xue
 
Twenty-First International Joint Conference on Artificial Intelligence Canadian Traveler Problem with Remote Sensing Abstract
Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony
 
Twenty-First International Joint Conference on Artificial Intelligence Ceteris Paribus Preference Elicitation with Predictive Guarantees Abstract
Yannis Dimopoulos, Loizos Michael, Fani Athienitou
 
Twenty-First International Joint Conference on Artificial Intelligence Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions Abstract
Valeria Fionda, Gianluigi Greco
 
Twenty-First International Joint Conference on Artificial Intelligence Circuit Complexity and Decompositions of Global Constraints Abstract
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
 
Twenty-First International Joint Conference on Artificial Intelligence Circumscriptive Event Calculus as Answer Set Programming Abstract
Tae-Won Kim, Joohyung Lee, Ravi Palla
 
Twenty-First International Joint Conference on Artificial Intelligence Coalition Structure Generation in Multi-Agent Systems With Positive and Negative Externalities Abstract
Talal Rahwan, Tomasz Michalak, Nicholas Jennings, Michael Wooldridge, Peter McBurney
 
Twenty-First International Joint Conference on Artificial Intelligence Coalitional Affinity Games and the Stability Gap Abstract
Simina Branzei, Kate Larson
 
Twenty-First International Joint Conference on Artificial Intelligence Collaboration and Shared Plans in the Open World: Studies of Ridesharing Abstract
Ece Kamar, Eric Horvitz
 
Twenty-First International Joint Conference on Artificial Intelligence Collaborative Multi Agent Physical Search with Probabilistic Knowledge Abstract
Noam Hazon, Yonatan Aumann, Sarit Kraus
 
Twenty-First International Joint Conference on Artificial Intelligence Combining Breadth-First and Depth-First Strategies in Searching for Treewidth Abstract
Rong Zhou, Eric A. Hansen
 
Twenty-First International Joint Conference on Artificial Intelligence Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity Abstract
Weiming Liu, Li Sanjiang, Renz Jochen
 
Twenty-First International Joint Conference on Artificial Intelligence Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices Abstract
David Tyler Bischel, Thomas F. Stahovich, Randall Davis, Aaron Adler, Eric J. Peterson
 
Twenty-First International Joint Conference on Artificial Intelligence Commitment Tracking via the Reactive Event Calculus Abstract
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
 
Twenty-First International Joint Conference on Artificial Intelligence Compiling the Votes of a Subelectorate Abstract
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Guillaume Ravilly-Abadie
 
Twenty-First International Joint Conference on Artificial Intelligence Completeness and Optimality Preserving Reduction for Planning Abstract
Yixin Chen, Guohui Yao
 
Twenty-First International Joint Conference on Artificial Intelligence Complexity of Unweighted Coalitional Manipulation Under Some Common Voting Rules Abstract
Lirong Xia, Michael Zuckerman, Ariel D. Procaccia, Vincent Conitzer, Jeffrey S. Rosenschein
 
Twenty-First International Joint Conference on Artificial Intelligence Composition of ConGolog Programs Abstract
Sebastian Sardina, Giuseppe De Giacomo
 
Twenty-First International Joint Conference on Artificial Intelligence Computational Properties of Resolution-based Grounded Semantics Abstract
Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin
 
Twenty-First International Joint Conference on Artificial Intelligence Computational Semantics of Noun Compounds in a Semantic Space Model Abstract
Akira Utsumi
 
Twenty-First International Joint Conference on Artificial Intelligence Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information Abstract
Sam Ganzfried, Tuomas Sandholm
 
Twenty-First International Joint Conference on Artificial Intelligence Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods Abstract
Sylvain Bouveret, Ulle Endriss, Jérôme Lang
 
Twenty-First International Joint Conference on Artificial Intelligence Conjunctive Query Answering in the Description Logic EL using a Relational Database System Abstract
Carsten Lutz, David Toman, David Toman, Frank Wolter, Frank Wolter
 
1 - 75 of 335 Items 1 2 3 4 5 > >>