Browse Title Index


 
Scheduled Conference Title
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Compilation of the Full PDDL+ Language into SMT Abstract
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Distributed Cognition Perspective on Symbiotic Cognitive Systems: External Representations as a Medium for Symbiosis Abstract
Thomas Erickson
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Feasibility Study of an Approach to Extend Research Footprints Abstract
Francisco Osuna, Bhanukiran Gurijala, Patricia Esparza, Monika Akbar, Ann Gates
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Formal Framework for Studying Interaction in Human-Robot Societies Abstract
Tathagata Chakraborti, Kartik Talamadupula, Yu Zhang, Subbarao Kambhampati
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Game Theoretic Approach to Ad-Hoc Coalitions in Human-Robot Societies Abstract
Tathagata Chakraborti, Venkata Vamsikrishna Meduri, Vivek Dondeti, Subbarao Kambhampati
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Happening-Based Encoding for Nonlinear PDDL+ Planning Abstract
Daniel Bryce
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Novel Method for Mining Semantics from Patterns over ECG Data Abstract
Zhen Qiu, Feifei Li, Shenda Hong, Hongyan Li
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Prototype Intelligent Assistant to Help Dysphagia Patients Eat Safely At Home Abstract
Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence A Real-Time Technique for Positioning a Wheelchair-Mounted Robotic Arm for Household Manipulation Tasks Abstract
Pooya Abolghasemi, Rouhollah Rahmatizadeh, Aman Behal, Ladislau Boloni
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents Abstract
Martina Troesch, Steve Chien, Yi Chao, John Farrara
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Active Inference and Dynamic Gaussian Bayesian Networks for Battery Optimization in Wireless Sensor Networks Abstract
Caner Komurlu, Mustafa Bilgic
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Active Perception for Cyber Intrusion Detection and Defense Abstract
J. Benton, Robert P. Goldman, Mark Burstein, Joseph Mueller, Paul Robertson, Dan Cerys, Andreas Hoffman, Rusty Bobrow
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Activity Recognition Through Complex Event Processing: First Findings Abstract
Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Adaptive Ensemble Learning with Confidence Bounds for Personalized Diagnosis Abstract
Cem Tekin, Jinsung Yoon, Mihaela van der Schaar
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence An Analysis of Trimming in Digital Social Networks Abstract
Renita Margaret Murimi
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence An Architecture for Hybrid Planning and Execution Abstract
Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence An Intelligent Dialogue Agent for the IoT Home Abstract
Heesik Jeon, Hyung Rai Oh, Inchul Hwang, Jihie Kim
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence An MDP-Based Winning Approach to Autonomous Power Trading: Formalization and Empirical Analysis Abstract
Daniel Urieli, Peter Stone
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence An Overview of Affective Motivational Collaboration Theory Abstract
Mahni Shayganfar, Charles Rich, Candace L. Sidner
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Analyzing NIH Funding Patterns over Time with Statistical Text Analysis Abstract
Jihyun Park, Margaret Blume-Kohout, Ralf Krestel, Eric Nalisnick, Padhraic Smyth
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Artificial Attention at Scale Abstract
Alexander M. Morison, David D. Woods
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Automatic Construction of Evaluation Sets and Evaluation of Document Similarity Models in Large Scholarly Retrieval Systems Abstract
Kriste Krstovski, David A. Smith, Michael J. Kurtz
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Automatic Extraction of Events-Based Conditional Commonsense Knowledge Abstract
Arpit Sharma, Chitta Baral
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Automatic Label Correction and Appliance Prioritization in Single Household Electricity Disaggregation Abstract
Mark Valovage, Maria Gini
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Automatic Scoring for Innovativeness of Textual Ideas Abstract
Tirthankar Dasgupta, Lipika Dey
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Automatic Summary Generation for Scientific Data Charts Abstract
Rabah A. Al-Zaidy, Sagnik Ray Choudhury, C. Lee Giles
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Automatically Augmenting Titles of Research Papers for Better Discovery Abstract
Madhavan Pallan, Biplav Srivastava
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Bandits for Cybersecurity: Adaptive Intrusion Detection Using Honeypots Abstract
Marcus Paul Gutierrez, Christopher Kiekintveld
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Bayesian Markov Games with Explicit Finite-Level Types Abstract
Muthukumaran Chandrasekaran, Yingke Chen, Prashant Doshi
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Bayesian Networks with Prior Knowledge for Malware Phylogenetics Abstract
Diane Oyen, Blake Anderson, Christine Anderson-Cook
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence CATS: Cognitive Analytic Trail System Abstract
Raphael Melo Thiago, Leonardo Guerreiro Azevedo, Viviane Torres da Silva, Vinícius C. V.B Segura, Marcelo Nery dos Santos, Renato F. de G. Cerqueira
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Ceding Control: Empowering Remote Participants in Meetings involving Smart Conference Rooms Abstract
Vinay Venkataraman, Jonathan Lenchner, Shari Trewin, Maryam Ashoori, Shang Guo, Mishal Dholakia, Pavan Turaga
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Child-Centred Motion-Based Age and Gender Estimation with Neural Network Learning Abstract
Anara Sandygulova, Yerdaulet Absattar, Damir Doszhan, German I. Parisi
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Chinese Relation Extraction by Multiple Instance Learning Abstract
Yu-Ju Chen, Jane Yung-jen Hsu
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Clauses Versus Gates in CEGAR-Based 2QBF Solving Abstract
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Combining Multiple Concurrent Physiological Streams to Assessing Patients Condition Abstract
Shenda Hong, Zhen Qiu, Jinbo Zhang, Hongyan Li
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Compact CFR Abstract
Eric Griffin Jackson
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Constrained Sampling and Counting: Universal Hashing Meets SAT Solving Abstract
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning Abstract
Carl Schultz, Mehul Bhatt
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Contexts for Symbiotic Autonomy: Semantic Mapping, Task Teaching and Social Robotics Abstract
Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi, Francesco Riccio, Andrea Vanzo
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Cost-Effective Feature Selection and Ordering for Personalized Energy Estimates Abstract
Kirstin Early, Stephen Fienberg, Jennifer Mankoff
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Coupled Semi-Supervised Learning for Chinese Knowledge Extraction Abstract
Leeheng Ma, Yi-Ting Tsao, Yen-Ling Kuo, Jane Yung-jen Hsu
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Creating a Mars Target Encyclopedia by Extracting Information from the Planetary Science Literature Abstract
Kiri L. Wagstaff, Ellen Riloff, Nina L. Lanza, Chris A. Mattmann, Paul M. Ramirez
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Deep Activity Recognition Models with Triaxial Accelerometers Abstract
Mohammad Abu Alsheikh, Ahmed Selim, Dusit Niyato, Linda Doyle, Shaowei Lin, Hwee-Pink Tan
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Defining Human Values for Value Learners Abstract
Kaj Sotala
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Discourse, Health and Well-Being of Military Populations Through the Social Media Lens Abstract
Umashanthi Pavalanathan, Vivek Datla, Svitlana Volkova, Lauren Charles-Smith, Meg Pirrung, Josh Harrison, Alan Chappell, Courtney D Corley
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Discovering Human and Machine Readable Descriptions of Malware Families Abstract
Blake Anderson, David McGrew, Subharthi Paul
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Discovering Relevant Hashtags for Health Concepts: A Case Study of Twitter Abstract
Quanzhi Li, Sameena Shah, Rui Fang, Armineh Nourbakhsh, Xiaomo Liu
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Effect of Part-of-Speech and Lemmatization Filtering in Email Classification for Automatic Reply Abstract
Rogerio Bonatti, Arthur G. de Paula, Victor S. Lamarca, Fabio G. Cozman
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Efficient Inference in Dual-Emission FHMM for Energy Disaggregation Abstract
Henning Lange, Mario Bergés
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence EmoGram: An Open-Source Time Sequence-Based Emotion Tracker and Its Innovative Applications Abstract
Aditya Joshi, Vaibhav Tripathi, Ravindra Soni, Pushpak Bhattacharyya, Mark James Carman
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Enabling Public Access to Non-Open Access Biomedical Literature via Idea-Expression Dichotomy and Fact Extraction Abstract
Xiaocheng Huang, Pauline C. Ng
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Encoding Lineage in Scholarly Articles Abstract
Sheikh Motahar Naim, Md Abdul Kader, Arnold P. Boedihardjo, M. Shahriar Hossain
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Ensuring Ethical Behavior from Autonomous Systems Abstract
Michael Anderson, Susan Anderson, Vincent Berenz
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Evaluating the Performance of Presumed Payoff Perfect Information Monte Carlo Sampling Against Optimal Strategies Abstract
Florian Wisser
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Exploiting the Hidden Structure of Junction Trees for MPE Abstract
Batya Kenig, Avigdor Gal
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem Abstract
Tony T. Tran, Zhihui Wang, Minh Do, Eleanor G. Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Extending Biology Models with Deep NLP over Scientific Articles Abstract
David McDonald, Scott Friedman, Amandalynne Paullada, Rusty Bobrow, Mark Burstein
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Extension Variables in QBF Resolution Abstract
Olaf Beyersdorf, Leroy Chew, Mikolas Janota
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Extracting Generalizable Spatial Features from Smart Phones Datasets Abstract
Kevin Bouchard, Lawrence Holder, Diane J. Cook
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Factorized Databases: A Knowledge Compilation Perspective Abstract
Dan Olteanu
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Formalizing Convergent Instrumental Goals Abstract
Tsvi Benson-Tilsen, Nate Soares
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence From a Scholarly Big Dataset to a Test Collection for Bibliographic Citation Recommendation Abstract
Dwaipayan Roy, Kunal Ray, Mandar Mitra
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Heuristic Planning for PDDL+ Domains Abstract
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Human-Like Morality and Ethics for Robots Abstract
Benjamin Kuipers
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Identifying and Tracking Switching, Non-Stationary Opponents: A Bayesian Approach Abstract
Pablo Hernandez-Leal, Matthew E. Taylor, Benjamin Rosman, L. Enrique Sucar, Enrique Munoz de Cote
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Identifying Contributing Factors of Occupant Thermal Discomfort in a Smart Building Abstract
Aniruddha Basak, Ole Mengshoel, Stefan Hosein, Rodney Martin, Jayasudha Jayakumaran, Mario Gurrola Morga, Ishwari Aghav
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Interaction and Task Patterns in Symbiotic, Mixed-Initiative Human-Robot Interaction Abstract
Felip Martí Carrillo, Elin Anna Topp
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Inter-Temporal Incentives in Security Information Sharing Agreements Abstract
Parinaz Naghizadeh, Mingyan Liu
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence JudgeD: A Probabilistic Datalog with Dependencies Abstract
Brend Wanders, Maurice van Keulen, Jan Flokstra
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs Abstract
Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Lazy Arithmetic Circuits Abstract
Seyed Mehran Kazemi, David Poole
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Learning Constraints and Optimization Criteria Abstract
Samuel M. Kolb
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Learning to REDUCE: A Reduced Electricity Consumption Prediction Ensemble Abstract
Saima Aman, Charalampos Chelmis, Viktor Prasanna
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Measuring Synergy from Benevolence in a Network Organization Abstract
Saad Alqithami, Henry Hexmoor
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning Abstract
Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Modeling Progress in AI Abstract
Miles Brundage
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Modeling Topic-Level Academic Influence in Scientific Literatures Abstract
Jiaming Shen, Zhenyu Song, Shitao Li, Zhaowei Tan, Yuning Mao, Luoyi Fu, Li Song, Xinbing Wang
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Modeling Trust Evaluating Agents: Towards a Comprehensive Trust Management for Multi-agent Systems Abstract
Abdullah Aref, Thomas Tran
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Monitoring Discussion of Vaccine Adverse Events in the Media: Opportunities from the Vaccine Sentimeter Abstract
Guido Powell, Kate Zinszer, Jahnavi Dhananjay, Chi Bahk, Lawrence Madoff, John Brownstein, Sabine Bergler, David Buckeridge
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Non-CNF QBF Solving with QCIR Abstract
Charles Jordan, Will Klieber, Martina Seidl
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence On Declarative Modeling of Structured Pattern Mining Abstract
Tias Guns, Sergey Paramonov, Benjamin Negrevergne
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Planning in Dynamic Environments Through Temporal Logic Monitoring Abstract
Bardh Hoxha, Georgios Fainekos
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Planning, Scheduling and Monitoring for Airport Surface Operations Abstract
Robert Morris, Corina S. Pasareanu, Kasper Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Planning under Uncertainty for Aggregated Electric Vehicle Charging Using Markov Decision Processes Abstract
Erwin Walraven, Matthijs T. J. Spaan
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Playing Games Across the Superintelligence Divide Abstract
Aaron Isaksen, Julian Togelius, Frank Lantz, Andy Nealen
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Policy Communication for Coordination with Unknown Teammates Abstract
Trevor Sarratt, Arnav Jhala
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Predicting 30-Day Risk and Cost of "All-Cause" Hospital Readmissions Abstract
Shanu Sushmita, Garima Khulbe, Aftab Hasan, Stacey Newman, Padmashree Ravindra, Senjuti Basu Roy, Martine De Cock, Ankur Teredesai
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Preface: The Beyond NP Workshop Abstract
Adnan Darwiche, Joao Marquest-Silva, Pierre Marquis
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Proactive Dynamic DCOPs Abstract
Khoi Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Proposal of an Adaptive Service Providing System for a Multi-User Smart Home Abstract
Nicola Kuijpers, Sylvain Giroux, Florent de Lamotte, Jean-Luc Philippe
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Protecting Wildlife under Imperfect Observation Abstract
Thanh Hong Nguyen, Arunesh Sinha, Shahrzad Gholami, Andrew Plumptre, Lucas Joppa, Milind Tambe, Margaret Driciru, Fred Wanyama, Aggrey Rwetsiba, Rob Critchlow, Colin Beale
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Qualitative RFID Tracking for ADL Recognition Abstract
Frédéric Bergeron, Kevin Bouchard, Sylvain Giroux, Sébastien Gaboury, Bruno Bouchard
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Quantilizers: A Safer Alternative to Maximizers for Limited Optimization Abstract
Jessica Taylor
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Reinforcement Learning as a Framework for Ethical Decision Making Abstract
David Abel, James MacGlashan, Michael L. Littman
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Relational Enhancement: A Framework for Evaluating and Designing Human-Robot Relationships Abstract
Jason R. Wilson, Thomas Arnold, Matthias Scheutz
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence RELOOP: A Python-Embedded Declarative Language for Relational Optimization Abstract
Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Satisfiability and Model Counting in Open Universes Abstract
Vaishak Belle
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Scalable Causal Learning for Predicting Adverse Events in Smart Buildings Abstract
Aniruddha Basak, Ole Mengshoel, Stefan Hosein, Rodney Martin
 
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence Simultaneous Influencing and Mapping for Health Interventions Abstract
Leandro Soriano Marcolino, Aravind Lakshminarayanan, Amulya Yadav, Milind Tambe
 
1 - 100 of 122 Items 1 2 > >>