| 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-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-Second International Joint Conference on Artificial Intelligence | A Competitive Strategy for Function Approximation in Q-Learning | Abstract |
| Alejandro Gabriel Agostini, Enric Celaya | ||
| 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-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-Second International Joint Conference on Artificial Intelligence | A Decision-Theoretic Academic Advisor | Abstract |
| Joshua T. Guerin | ||
| 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-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-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-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-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-Second International Joint Conference on Artificial Intelligence | A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling | Abstract |
| Taisuke Sato | ||
| 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-Second International Joint Conference on Artificial Intelligence | A Geometric View of Conjugate Priors | Abstract |
| Arvind Agarwal, Hal Daume III | ||
| 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-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-Second International Joint Conference on Artificial Intelligence | A Hybrid Recursive Multi-Way Number Partitioning Algorithm | Abstract |
| Richard Earl Korf | ||
| Twenty-First International Joint Conference on Artificial Intelligence | A Kernel Method for Market Clearing | Abstract |
| Sebastien Lahaie | ||
| 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-Second International Joint Conference on Artificial Intelligence | A Logical Formulation for Negotiation Among Dishonest Agents | Abstract |
| Chiaki Sakama, Son Cao Tran, Enrico Pontelli | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Market Clearing Solution for Social Lending | Abstract |
| Ning Chen, Arpita Ghosh | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Maximum Likelihood Approach Towards Aggregating Partial Orders | Abstract |
| Lirong Xia, Vincent Conitzer | ||
| 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 | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Method for Evaluating and Standardizing Ontologies | Abstract |
| Ali Patrice Seyed | ||
| 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-Second International Joint Conference on Artificial Intelligence | A Natural Language Question Answering System as a Participant in Human Q&A Portals | Abstract |
| Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning | Abstract |
| H. Leo H. de Penning, Artur S. d'Avila Garcez, Luis C. Lamb, John-Jules C. Meyer | ||
| 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-Second International Joint Conference on Artificial Intelligence | A New Search Engine Integrating Hierarchical Browsing and Keyword Search | Abstract |
| Da Kuang, Xiao Li, Charles X. Ling | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Practical Automata-Based Technique for Reasoning in Expressive Description Logics | Abstract |
| Diego Calvanese, Domenico Carbotta, Magdalena Ortiz | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Real-Time Opponent Modeling System for Rush Football | Abstract |
| Kennard Laviers, Gita Sukthankar | ||
| 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-Second International Joint Conference on Artificial Intelligence | A System for Providing Differentiated QoS in Retail Banking | Abstract |
| Sameep Mehta, Girish Chafle, Gyana Parija, Vikas Kedia | ||
| 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-Second International Joint Conference on Artificial Intelligence | A Theory of Meta-Diagnosis: Reasoning About Diagnostic Systems | Abstract |
| Nuno Belard, Yannick Pencolé, Michel Combacau | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks | Abstract |
| Mohsen Jamali, Martin Ester | ||
| 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-Second International Joint Conference on Artificial Intelligence | A Trust and Reputation Model for Supply Chain Mangement | Abstract |
| Yasaman Haghpanah | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Trust Prediction Approach Capturing Agents' Dynamic Behavior | Abstract |
| Xin Liu, Anwitaman Datta | ||
| 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-Second International Joint Conference on Artificial Intelligence | A Uniform Approach for Generating Proofs and Strategies for both True and False QBF Formulas | Abstract |
| Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus | ||
| Twenty-First International Joint Conference on Artificial Intelligence | A Visual Approach to Sketched Symbol Recognition | Abstract |
| Tom Y. Ouyang, Randall Davis | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogosphere | Abstract |
| Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li | ||
| 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-Second International Joint Conference on Artificial Intelligence | Accelerating Best Response Calculation in Large Extensive Games | Abstract |
| Michael Johanson, Kevin Waugh, Michael Bowling, Martin Zinkevich | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | Accommodating Human Variability in Human-Robot Teams through Theory of Mind | Abstract |
| Laura M. Hiatt, Anthony M. Harrison, J. Gregory Trafton | ||
| 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-Second International Joint Conference on Artificial Intelligence | Action Selection via Learning Behavior Patterns in Multi-Robot Systems | Abstract |
| Can Erdogan, Manuela Veloso | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | Active Exploration for Robust Object Detection | Abstract |
| Javier Velez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | Active Graph Reachability Reduction for Network Security and Software Engineering | Abstract |
| Alice X. Zheng, John Dunagan, Ashish Kapoor | ||
| Twenty-Second International Joint Conference on Artificial Intelligence | Active Online Classification Via Information Maximization | Abstract |
| Noam Slonim, Elad Yom-Tov, Koby Crammer | ||
| 1 - 75 of 817 Items | 1 2 3 4 5 6 7 8 9 10 > >> | |