Browse Title Index


 
Scheduled Conference Title
 
Twenty-Third International Joint Conference on Artificial Intelligence 2013 Conference Organization Abstract
Francesca Rossi
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Bargaining Mechanism for One-Way Games Abstract
Andres Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck
 
Twenty-Third International Joint Conference on Artificial Intelligence A Bayesian Factorised Covariance Model for Image Analysis Abstract
Jun Li, Dacheng Tao
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Boosting Algorithm for Item Recommendation with Implicit Feedback Abstract
Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao
 
Twenty-Third International Joint Conference on Artificial Intelligence A Brain-Computer Interface to a Plan-Based Narrative Abstract
Stephen William Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Eyal Soreq, Gal Raz, Limor Ikar, Ayelet Or-Borichov, Udi Ben-Arie, Ilana Klovatch, Talma Hendler
 
Twenty-Third International Joint Conference on Artificial Intelligence A Case-Based Solution to the Cold-Start Problem in Group Recommenders Abstract
Lara Quijano, Derek Bridge, Belén Díaz-Agudo, Juan Antonio Recio-García
 
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-Fourth International Joint Conference on Artificial Intelligence A Characterization of n-Player Strongly Monotone Scheduling Mechanisms Abstract
Annamaria Kovacs, Angelina Vidali
 
Twenty-Third International Joint Conference on Artificial Intelligence A Classification of First-Order Progressable Action Theories in Situation Calculus Abstract
Stavros Vassos, Fabio Patrizi
 
Twenty-Third International Joint Conference on Artificial Intelligence A Clause-Level Hybrid Approach to Chinese Empty Element Recovery Abstract
Fang Kong, Guodong Zhou
 
Twenty-Second International Joint Conference on Artificial Intelligence A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns Abstract
Jan Treur
 
Twenty-Second International Joint Conference on Artificial Intelligence A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions Abstract
Jan Treur
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems Abstract
Joel Luis Carbonera, Mara Abel
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning Abstract
Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho
 
Twenty-Second International Joint Conference on Artificial Intelligence A Competitive Strategy for Function Approximation in Q-Learning Abstract
Alejandro Gabriel Agostini, Enric Celaya
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Complete Epistemic Planner without the Epistemic Closed World Assumption Abstract
Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu
 
Twenty-Second International Joint Conference on Artificial Intelligence A Comprehensive Approach to On-Board Autonomy Verification and Validation Abstract
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
 
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-Second International Joint Conference on Artificial Intelligence A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results Abstract
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
 
Twenty-Third International Joint Conference on Artificial Intelligence A Consensual Linear Opinion Pool Abstract
Arthur Carvalho, Kate Larson
 
Twenty-Second International Joint Conference on Artificial Intelligence A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets Abstract
Gabriele Kern-Isberner, Patrick Kruempelmann
 
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-Second International Joint Conference on Artificial Intelligence A Convex Formulation of Modularity Maximization for Community Detection Abstract
Yun Kwan Chan, Dit-Yan Yeung
 
Twenty-Second International Joint Conference on Artificial Intelligence A Correctness Result for Reasoning about One-Dimensional Planning Problems Abstract
Yuxiao Hu, Hector Levesque
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Crowdfunding Model for Green Energy Investment Abstract
Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara
 
Twenty-Third International Joint Conference on Artificial Intelligence A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments Abstract
Panagiotis Kouvaros, Alessio Lomuscio
 
Twenty-Second International Joint Conference on Artificial Intelligence A Decision-Theoretic Academic Advisor Abstract
Joshua T. Guerin
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Deterministic Partition Function Approximation for Exponential Random Graph Models Abstract
Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir
 
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-Fourth International Joint Conference on Artificial Intelligence A Dictatorship Theorem for Cake Cutting Abstract
Simina Brânzei, Peter Bro Miltersen
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Direct Boosting Approach for Semi-supervised Classification Abstract
Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang
 
Twenty-First International Joint Conference on Artificial Intelligence A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan Abstract
Roberto Micalizio
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs Abstract
Alejandro Corbellini
 
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-Second International Joint Conference on Artificial Intelligence A Dynamic Logic of Normative Systems Abstract
Andreas Herzig, Emiliano Lorini, Frederic Moisan, Nicolas Troquard
 
Twenty-Second International Joint Conference on Artificial Intelligence A Fast Dual Projected Newton Method for L1-Regularized Least Squares Abstract
Pinghua Gong, Changshui Zhang
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Fast Goal Recognition Technique Based on Interaction Estimates Abstract
Yolanda E-Martin, Maria D. R-Moreno, David E. Smith
 
Twenty-First International Joint Conference on Artificial Intelligence A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management Abstract
Bernhard Nebel, Jochen Renz
 
Twenty-Second International Joint Conference on Artificial Intelligence A Flat Histogram Method for Computing the Density of States of Combinatorial Problems Abstract
Stefano Ermon, Carla Gomes, Bart Selman
 
Twenty-Third International Joint Conference on Artificial Intelligence A Formal Account of Nondeterministic and Failed Actions Abstract
James Delgrande, Hector Levesque
 
Twenty-Second International Joint Conference on Artificial Intelligence A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic Abstract
David Andrzejewski, Xiaojin Zhu, Mark Craven, Benjamin Recht
 
Twenty-Second International Joint Conference on Artificial Intelligence A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks Abstract
Shenghui Wang, Paul Groth
 
Twenty-Third International Joint Conference on Artificial Intelligence A Framework to Choose Trust Models for Different E-Marketplace Environments Abstract
Athirai Aravazhi Irissappane, Siwei Jiang, Jie Zhang
 
Twenty-Third International Joint Conference on Artificial Intelligence A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search Abstract
Di He, Wei Chen, Liwei Wang, Tie-Yan Liu
 
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-Second International Joint Conference on Artificial Intelligence A General Elicitation-Free Protocol for Allocating Indivisible Goods Abstract
Sylvain Bouveret, Jérôme Lang
 
Twenty-Third International Joint Conference on Artificial Intelligence A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior Abstract
Trong Nghia Hoang, Kian Hsiang Low
 
Twenty-Second International Joint Conference on Artificial Intelligence A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling Abstract
Taisuke Sato
 
Twenty-Third International Joint Conference on Artificial Intelligence A Generalization of SAT and #SAT for Robust Policy Evaluation Abstract
Erik Peter Zawadzki, Andre Platzer, Geoffrey J. Gordon
 
Twenty-Second International Joint Conference on Artificial Intelligence A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints Abstract
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Geometric Theory of Feature Selection and Distance-Based Measures Abstract
Kilho Shin, Adrian Pino Angulo
 
Twenty-Second International Joint Conference on Artificial Intelligence A Geometric View of Conjugate Priors Abstract
Arvind Agarwal, Hal Daume III
 
Twenty-Third International Joint Conference on Artificial Intelligence A Global Constrained Optimization Method for Designing Road Networks with Small Diameters Abstract
Teng Ma, Yuexian Hou, Xiaozhao Zhao, Dawei Song
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Graph Kernel Based on the Jensen-Shannon Representation Alignment Abstract
Lu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai, Edwin Hancock
 
Twenty-Second International Joint Conference on Artificial Intelligence A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch Abstract
Roberto Navigli, Paola Velardi, Stefano Faralli
 
Twenty-Second International Joint Conference on Artificial Intelligence A Hidden Markov Model Variant for Sequence Classification Abstract
Sam Blasiak, Huzefa Rangwala
 
Twenty-Third International Joint Conference on Artificial Intelligence A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring Abstract
Davide Zilli, Oliver Parson, Geoff V Merrett, Alex Rogers
 
Twenty-Second International Joint Conference on Artificial Intelligence A Hierarchical Architecture for Adaptive Brain-Computer Interfacing Abstract
Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Hybrid Neural Model for Type Classification of Entity Mentions Abstract
Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu
 
Twenty-Second International Joint Conference on Artificial Intelligence A Hybrid Recursive Multi-Way Number Partitioning Algorithm Abstract
Richard Earl Korf
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A Joint Optimization Framework of Sparse Coding and Discriminative Clustering Abstract
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S Huang
 
Twenty-First International Joint Conference on Artificial Intelligence A Kernel Method for Market Clearing Abstract
Sebastien Lahaie
 
Twenty-Third International Joint Conference on Artificial Intelligence A KNN Based Kalman Filter Gaussian Process Regression Abstract
Yali Wang, Brahim Chaib-draa
 
Twenty-Second International Joint Conference on Artificial Intelligence A Logic for Causal Inference in Time Series with Discrete and Continuous Variables Abstract
Samantha Kleinberg
 
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-Fourth International Joint Conference on Artificial Intelligence A Logic for Reasoning about Justified Uncertain Beliefs Abstract
Tuan-Fang Fan, Churn-Jung Liau
 
Twenty-Second International Joint Conference on Artificial Intelligence A Logical Formulation for Negotiation Among Dishonest Agents Abstract
Chiaki Sakama, Son Cao Tran, Enrico Pontelli
 
Twenty-Third International Joint Conference on Artificial Intelligence A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget Abstract
Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti
 
Twenty-Second International Joint Conference on Artificial Intelligence A Market Clearing Solution for Social Lending Abstract
Ning Chen, Arpita Ghosh
 
Twenty-Third International Joint Conference on Artificial Intelligence A Matroid Approach to the Worst Case Allocation of Indivisible Goods Abstract
Laurent Gourvès, Jérôme Monnot, Lydia Tlilane
 
Twenty-Second International Joint Conference on Artificial Intelligence A Maximum Likelihood Approach Towards Aggregating Partial Orders Abstract
Lirong Xia, Vincent Conitzer
 
Twenty-Fourth International Joint Conference on Artificial Intelligence A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size Abstract
Mario Alviano, Carmine Dodaro, Francesco Ricca
 
Twenty-Second International Joint Conference on Artificial Intelligence A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions Abstract
Alexander Kleiner, Bernhard Nebel, Vittorio Amos Ziparo
 
1 - 75 of 1969 Items 1 2 3 4 5 6 7 8 9 10 > >>