Browse Title Index


 
Scheduled Conference Title
 
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-Third International Joint Conference on Artificial Intelligence An Empirical Investigation of Ceteris Paribus Learnability Abstract
Loizos Michael, Elena Papageorgiou
 
Twenty-Second International Joint Conference on Artificial Intelligence An Empirical Study of Seeding Manipulations and Their Prevention Abstract
Tyrel Russell, Peter van Beek
 
Twenty-Third International Joint Conference on Artificial Intelligence An Ensemble of Bayesian Networks for Multilabel Classification Abstract
Alessandro Antonucci, Giorgio Corani, Denis Deratani Maua', Sandra Gabaglio
 
Twenty-Third International Joint Conference on Artificial Intelligence An Epistemic Halpern-Shoham Logic Abstract
Alessio Lomuscio, Jakub Michaliszyn
 
Twenty-Third International Joint Conference on Artificial Intelligence An Exact Algorithm for Computing the Same-Decision Probability Abstract
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
 
Twenty-Fourth International Joint Conference on Artificial Intelligence An Exact Inference Scheme for MinSAT Abstract
Chu-Min Li, Felip Manyà
 
Twenty-Fourth International Joint Conference on Artificial Intelligence An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data Abstract
Andre M. S. Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup
 
Twenty-Fourth International Joint Conference on Artificial Intelligence An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling Abstract
Florian Wisser
 
Twenty-Fourth International Joint Conference on Artificial Intelligence An Extension-Based Approach to Belief Revision in Abstract Argumentation Abstract
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
 
Twenty-Third International Joint Conference on Artificial Intelligence An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract) Abstract
Maria Luisa Bonet, Sam Buss
 
Twenty-Fourth International Joint Conference on Artificial Intelligence An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation Abstract
Sayan Dev Sen
 
Twenty-Third International Joint Conference on Artificial Intelligence An Intelligent Broker Agent for Energy Trading: An MDP Approach Abstract
Rodrigue Talla Kuate, Minghua He, Maria Chli, Hai H. Wang
 
Twenty-Second International Joint Conference on Artificial Intelligence An Interaction-Oriented Model for Multi-Scale Simulation Abstract
Sébastien Picault, Philippe Mathieu
 
Twenty-Third International Joint Conference on Artificial Intelligence An Introduction to String Re-Writing Kernel Abstract
Fan Bu, Hang Li, Xiaoyan Zhu
 
Twenty-Fourth International Joint Conference on Artificial Intelligence An Iterative Approach to Synthesize Data Transformation Programs Abstract
Bo Wu, Craig A. Knoblock
 
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-Fourth International Joint Conference on Artificial Intelligence An Ontology Matching Approach Based on Affinity-Preserving Random Walks Abstract
Chuncheng Xiang, Baobao Chang, Zhifang Sui
 
Twenty-Third International Joint Conference on Artificial Intelligence Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox Abstract
John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson
 
Twenty-Third International Joint Conference on Artificial Intelligence Analysis and Optimization of Multi-Dimensional Percentile Mechanisms Abstract
Xin Sui, Craig Boutilier, Tuomas Sandholm
 
Twenty-First International Joint Conference on Artificial Intelligence Analysis of a Winning Computational Billiards Player Abstract
Christopher Archibald, Alon Altman, Yoav Shoham
 
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-Fourth International Joint Conference on Artificial Intelligence Analysis of Sampling Algorithms for Twitter Abstract
Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, LV Subramaniam
 
Twenty-First International Joint Conference on Artificial Intelligence Angluin-Style Learning of NFA Abstract
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
 
Twenty-Second International Joint Conference on Artificial Intelligence Angular Decomposition Abstract
Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang
 
Twenty-Third International Joint Conference on Artificial Intelligence Annealed Importance Sampling for Structure Learning in Bayesian Networks Abstract
Teppo Mikael Niinimäki, Mikko Koivisto
 
Twenty-Third International Joint Conference on Artificial Intelligence Answer Extraction from Passage Graph for Question Answering Abstract
Hong Sun, Nan Duan, Yajuan Duan, Ming Zhou
 
Twenty-Third International Joint Conference on Artificial Intelligence Answer Set Programming Modulo Theories and Reasoning about Continuous Changes Abstract
Joohyung Lee, Yunsong Meng
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Answer Update for Rule-Based Stream Reasoning Abstract
Harald Beck, Minh Dao-Tran, Thomas Eiter
 
Twenty-First International Joint Conference on Artificial Intelligence Answer-Set Programming with Bounded Treewidth Abstract
Michael Jakl, Reinhard Pichler, Stefan Woltran
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Anytime Inference in Probabilistic Logic Programs with Tp-Compilation Abstract
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt
 
Twenty-First International Joint Conference on Artificial Intelligence Applications and Extensions of PTIME Description Logics with Functional Constraints Abstract
David Toman, Grant Weddell
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Applying Max-Sum to Asymmetric Distributed Constraint Optimization Abstract
Roie Zivan, Tomer Parash, Yarden Naveh
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Approximate Algorithms for Stochastic Network Design Abstract
Xiaojian Wu
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Approximate Nash Equilibria with Near Optimal Social Welfare Abstract
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Approximately Stable Pricing for Coordinated Purchasing of Electricity Abstract
Andrew Perrault, Craig Boutilier
 
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-Third International Joint Conference on Artificial Intelligence Approximation Algorithms for Max-Sum-Product Problems Abstract
Denis Deratani Maua
 
Twenty-Second International Joint Conference on Artificial Intelligence Approximation-Guided Evolutionary Multi-Objective Optimization Abstract
Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner
 
Twenty-Third International Joint Conference on Artificial Intelligence Arbitration and Stability in Cooperative Games with Overlapping Coalitions Abstract
Yair Zick
 
Twenty-Third International Joint Conference on Artificial Intelligence Are There Any Nicely Structured Preference Profiles Nearby? Abstract
Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger
 
Twenty-First International Joint Conference on Artificial Intelligence Argumentation System with Changes of an Agent's Knowledge Base Abstract
Kenichi Okuno, Kazuko Takahashi
 
Twenty-Second International Joint Conference on Artificial Intelligence Artificial Intelligence and Human Thinking Abstract
Robert Anthony Kowalski
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Artificial Intelligence in the Concertgebouw Abstract
Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Artificial Prediction Markets for Online Prediction Abstract
Fatemeh Jahedpari
 
Twenty-Fourth International Joint Conference on Artificial Intelligence ASAP-UCT: Abstraction of State-Action Pairs in UCT Abstract
Ankit Anand, Aditya Grover, Mausam ., Parag Singla
 
Twenty-Fourth International Joint Conference on Artificial Intelligence AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand Abstract
Mehdi Samadi, Partha Talukdar, Manuela Veloso, Tom Mitchell
 
Twenty-Third International Joint Conference on Artificial Intelligence Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees. Application to Bilingual Societies Abstract
Isabelle Alvarez, Ricardo de Aldama, Sophie Martin, Romain Reuillon
 
Twenty-Second International Joint Conference on Artificial Intelligence Assumption-Based Argumentation Dialogues Abstract
Xiuyi Fan, Francesca Toni
 
Twenty-Second International Joint Conference on Artificial Intelligence AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament Abstract
Meng Chang, Minghua He, Xudong Luo
 
Twenty-Third International Joint Conference on Artificial Intelligence At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures Abstract
Tom A. Rodden, Joel E. Fischer, Nadia Pantidi, Khaled Bachour, Stuart Moran
 
Twenty-Second International Joint Conference on Artificial Intelligence Attack Semantics for Abstract Argumentation Abstract
Serena Villata, Guido Boella, Leendert van der Torre
 
Twenty-Third International Joint Conference on Artificial Intelligence Audience-Based Uncertainty in Abstract Argument Games Abstract
Davide Grossi, Wiebe van der Hoek
 
Twenty-Third International Joint Conference on Artificial Intelligence Audit Games Abstract
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
 
Twenty-Second International Joint Conference on Artificial Intelligence Augmenting Tractable Fragments of Abstract Argumentation Abstract
Sebastian Ordyniak, Stefan Szeider
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Automated Agents for Advice Provision Abstract
Ariel Rosenfeld
 
Twenty-Third International Joint Conference on Artificial Intelligence Automated Generation of Interaction Graphs for Value-Factored Dec-POMDPs Abstract
William Yeoh, Akshat Kumar, Shlomo Zilberstein
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Automated Geometry Theorem Proving for Human-Readable Proofs Abstract
Ke Wang, Zhendong Su
 
Twenty-Third International Joint Conference on Artificial Intelligence Automated Grading of DFA Constructions Abstract
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
 
Twenty-Third International Joint Conference on Artificial Intelligence Automated Reasoning to Infer all Minimal Keys Abstract
Pablo Cordero, Manuel Enciso, Angel Mora
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Automated Rule Selection for Aspect Extraction in Opinion Mining Abstract
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang
 
Twenty-First International Joint Conference on Artificial Intelligence Automated Theorem Proving for General Game Playing Abstract
Stephan Schiffel, Michael Thielscher
 
Twenty-Second International Joint Conference on Artificial Intelligence Automatic Construction of Efficient Multiple Battery Usage Policies Abstract
Maria Fox, Derek Long, Daniele Magazzeni
 
Twenty-Second International Joint Conference on Artificial Intelligence Automatic Discovery of Fuzzy Synsets from Dictionary Definitions Abstract
Hugo Gonçalo Oliveira, Paulo Gomes
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information Abstract
Yoko Nakajima
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Automatic Generation of Raven’s Progressive Matrices Abstract
Ke Wang, Zhendong Su
 
Twenty-Third International Joint Conference on Artificial Intelligence Automatic Name-Face Alignment to Enable Cross-Media News Retrieval Abstract
Yuejie Zhang, Wei Wu, Yang Li, Cheng Jin, Xiangyang Xue, Jianping Fan
 
Twenty-Second International Joint Conference on Artificial Intelligence Automatic State Abstraction from Demonstration Abstract
Luis Carlos Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Automatic Verification of Partial Correctness of Golog Programs Abstract
Naiqi Li, Yongmei Liu
 
Twenty-Third International Joint Conference on Artificial Intelligence Automatically Generating Problems and Solutions for Natural Deduction Abstract
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
 
Twenty-Third International Joint Conference on Artificial Intelligence Automating Quantified Conditional Logics in HOL Abstract
Christoph Benzmueller
 
Twenty-Fourth International Joint Conference on Artificial Intelligence Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning Abstract
Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo
 
Twenty-Second International Joint Conference on Artificial Intelligence Autonomous Object Manipulation: A Semantic-Driven Approach Abstract
Nicola Vitucci
 
Twenty-First International Joint Conference on Artificial Intelligence Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation Abstract
Jonathan Mugan, Benjamin Kuipers
 
226 - 300 of 1969 Items << < 1 2 3 4 5 6 7 8 9 10 > >>