|
Scheduled Conference |
Title |
|
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-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-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-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-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-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-Second International Joint Conference on Artificial Intelligence |
A Logic for Causal Inference in Time Series with Discrete and Continuous Variables |
Abstract
|
Samantha Kleinberg |
|
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-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-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-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-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-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-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-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-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-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 |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders |
Abstract
|
Hossam Sharara, Lise Getoor, Myra Norton |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Activity Recognition with Finite State Machines |
Abstract
|
Wesley Kerr, Anh Tran, Paul Cohen |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Adaptation of a Mixture of Multivariate Bernoulli Distributions |
Abstract
|
Ankur Kamthe, Miguel Angel Carreira-Perpinan, Alberto E. Cerpa |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Adaptive Data Compression for Robot Perception |
Abstract
|
Mike Smith, Ingmar Posner, Paul M Newman |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Aesthetic Guideline Driven Photography by Robots |
Abstract
|
Raghudeep Gadde, Kamalakar Karlapalem |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context |
Abstract
|
Li Zhang |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Agent-Based Negotiation Teams |
Abstract
|
Victor Sanchez-Anguix, Vicente Julian, Ana Garcia-Fornes |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Agent-Oriented Incremental Team and Activity Recognition |
Abstract
|
Daniele Masato, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Agents, Actions and Goals in Dynamic Environments |
Abstract
|
Peter Novák, Wojciech Jamroga |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections |
Abstract
|
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Alternating Epistemic Mu-Calculus |
Abstract
|
Nils Bulling, Wojciech Jamroga |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Agent Architecture for Prognostic Reasoning Assistance |
Abstract
|
Jean Oh, Felipe Meneguzzi, Katia Sycara, Timothy J Norman |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations |
Abstract
|
Sergio Esparcia, Estefania Argente, Vicente Botti |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Algorithm for Adapting Cases Represented in ALC |
Abstract
|
Julien Cojan, Jean Lieber |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Analysis of Multiobjective Search Algorithms and Heuristics |
Abstract
|
Enrique Machuca, Lawrence Mandow |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Approach to Answer Selection in Question-Answering Based on Semantic Relations |
Abstract
|
Ana Cristina Mendes, Luísa Coheur |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Approach to Minimal Belief Via Objective Belief |
Abstract
|
David Pearce, Levan Uridia |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases |
Abstract
|
Jeffrey Pound, David Toman, Grant Weddell, Jiewen Wu |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments |
Abstract
|
Lirong Xia, David M. Pennock |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics |
Abstract
|
Saeed Amizadeh, Shuguang Wang, Milos Hauskrecht |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Empirical Study of Seeding Manipulations and Their Prevention |
Abstract
|
Tyrel Russell, Peter van Beek |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An Interaction-Oriented Model for Multi-Scale Simulation |
Abstract
|
Sébastien Picault, Philippe Mathieu |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
An On-Line Algorithm for Semantic Forgetting |
Abstract
|
Heather Stephanie Packer, Nicholas Gibbins, Nicholas R Jennings |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization |
Abstract
|
Koji Yatani, Michael Novati, Andrew Trusty, Khai Truong |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Angular Decomposition |
Abstract
|
Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Approximately Strategy-Proof Voting |
Abstract
|
Eleanor Birrell, Rafael Pass |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization |
Abstract
|
Pingzhong Tang, Tuomas Sandholm |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Approximation-Guided Evolutionary Multi-Objective Optimization |
Abstract
|
Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner |
|
Twenty-Second International Joint Conference on Artificial Intelligence |
Artificial Intelligence and Human Thinking |
Abstract
|
Robert Anthony Kowalski |
|
1 - 75 of 482 Items |
1 2 3 4 5 6 7 > >> |