Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

Artificial Intelligence Applied to Assistive Technologies and Smart Environments

A Real-Time Technique for Positioning a Wheelchair-Mounted Robotic Arm for Household Manipulation Tasks PDF
Pooya Abolghasemi, Rouhollah Rahmatizadeh, Aman Behal, Ladislau Boloni
Deep Activity Recognition Models with Triaxial Accelerometers PDF
Mohammad Abu Alsheikh, Ahmed Selim, Dusit Niyato, Linda Doyle, Shaowei Lin, Hwee-Pink Tan
Ensuring Ethical Behavior from Autonomous Systems PDF
Michael Anderson, Susan Anderson, Vincent Berenz
Qualitative RFID Tracking for ADL Recognition PDF
Frédéric Bergeron, Kevin Bouchard, Sylvain Giroux, Sébastien Gaboury, Bruno Bouchard
Extracting Generalizable Spatial Features from Smart Phones Datasets PDF
Kevin Bouchard, Lawrence Holder, Diane J. Cook
A Prototype Intelligent Assistant to Help Dysphagia Patients Eat Safely At Home PDF
Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman
Activity Recognition Through Complex Event Processing: First Findings PDF
Sylvain Hallé, Sébastien Gaboury, Bruno Bouchard
An Intelligent Dialogue Agent for the IoT Home PDF
Heesik Jeon, Hyung Rai Oh, Inchul Hwang, Jihie Kim
Proposal of an Adaptive Service Providing System for a Multi-User Smart Home PDF
Nicola Kuijpers, Sylvain Giroux, Florent de Lamotte, Jean-Luc Philippe
Child-Centred Motion-Based Age and Gender Estimation with Neural Network Learning PDF
Anara Sandygulova, Yerdaulet Absattar, Damir Doszhan, German I. Parisi

AI, Ethics, and Society

Reinforcement Learning as a Framework for Ethical Decision Making PDF
David Abel, James MacGlashan, Michael L. Littman
Formalizing Convergent Instrumental Goals PDF
Tsvi Benson-Tilsen, Nate Soares
Modeling Progress in AI PDF
Miles Brundage
Using "The Machine Stops" for Teaching Ethics in Artificial Intelligence and Computer Science PDF
Emanuelle Burton, Judy Goldsmith, Nicholas Mattei
Playing Games Across the Superintelligence Divide PDF
Aaron Isaksen, Julian Togelius, Frank Lantz, Andy Nealen
Human-Like Morality and Ethics for Robots PDF
Benjamin Kuipers
Using Stories to Teach Human Values to Artificial Agents PDF
Mark O. Riedl, Brent Harrison
Defining Human Values for Value Learners PDF
Kaj Sotala
Quantilizers: A Safer Alternative to Maximizers for Limited Optimization PDF
Jessica Taylor
Relational Enhancement: A Framework for Evaluating and Designing Human-Robot Relationships PDF
Jason R. Wilson, Thomas Arnold, Matthias Scheutz
Taxonomy of Pathways to Dangerous Artificial Intelligence PDF
Roman V. Yampolskiy

Artificial Intelligence for Cyber Security

Discovering Human and Machine Readable Descriptions of Malware Families PDF
Blake Anderson, David McGrew, Subharthi Paul
Active Perception for Cyber Intrusion Detection and Defense PDF
J. Benton, Robert P. Goldman, Mark Burstein, Joseph Mueller, Paul Robertson, Dan Cerys, Andreas Hoffman, Rusty Bobrow
Bandits for Cybersecurity: Adaptive Intrusion Detection Using Honeypots PDF
Marcus Paul Gutierrez, Christopher Kiekintveld
Validating an Agent-Based Model of Human Password Behavior PDF
Bruno Korbar, Jim Blythe, Ross Koppel, Vijay Kothari, Sean W. Smith
Inter-Temporal Incentives in Security Information Sharing Agreements PDF
Parinaz Naghizadeh, Mingyan Liu
Toward Argumentation-Based Cyber Attribution PDF
Eric Nunes, Paulo Shakarian, Gerardo Simari
Bayesian Networks with Prior Knowledge for Malware Phylogenetics PDF
Diane Oyen, Blake Anderson, Christine Anderson-Cook
Socio-Cultural Modeling for Cyber Threat Actors PDF
Paulo Shakarian, Jana Shakarian
UCO: A Unified Cybersecurity Ontology PDF
Zareen Syed, Ankur Padia, Tim Finin, Lisa Mathews, Anupam Joshi

AI for Smart Grids and Smart Buildings

Learning to REDUCE: A Reduced Electricity Consumption Prediction Ensemble PDF
Saima Aman, Charalampos Chelmis, Viktor Prasanna
Scalable Causal Learning for Predicting Adverse Events in Smart Buildings PDF
Aniruddha Basak, Ole Mengshoel, Stefan Hosein, Rodney Martin
Identifying Contributing Factors of Occupant Thermal Discomfort in a Smart Building PDF
Aniruddha Basak, Ole Mengshoel, Stefan Hosein, Rodney Martin, Jayasudha Jayakumaran, Mario Gurrola Morga, Ishwari Aghav
Cost-Effective Feature Selection and Ordering for Personalized Energy Estimates PDF
Kirstin Early, Stephen Fienberg, Jennifer Mankoff
Proactive Dynamic DCOPs PDF
Khoi Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan
Active Inference and Dynamic Gaussian Bayesian Networks for Battery Optimization in Wireless Sensor Networks PDF
Caner Komurlu, Mustafa Bilgic
Efficient Inference in Dual-Emission FHMM for Energy Disaggregation PDF
Henning Lange, Mario Bergés
An MDP-Based Winning Approach to Autonomous Power Trading: Formalization and Empirical Analysis PDF
Daniel Urieli, Peter Stone
Automatic Label Correction and Appliance Prioritization in Single Household Electricity Disaggregation PDF
Mark Valovage, Maria Gini
Planning under Uncertainty for Aggregated Electric Vehicle Charging Using Markov Decision Processes PDF
Erwin Walraven, Matthijs T. J. Spaan

Beyond NP

Preface: The Beyond NP Workshop PDF
Adnan Darwiche, Joao Marquest-Silva, Pierre Marquis
Clauses Versus Gates in CEGAR-Based 2QBF Solving PDF
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
Satisfiability and Model Counting in Open Universes PDF
Vaishak Belle
Extension Variables in QBF Resolution PDF
Olaf Beyersdorf, Leroy Chew, Mikolas Janota
Subset Minimization in Dynamic Programming on Tree Decompositions PDF
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
Solving QBF Instances with Nested SAT Solvers PDF
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases PDF
Eric Gribkoff, Dan Suciu
Non-CNF QBF Solving with QCIR PDF
Charles Jordan, Will Klieber, Martina Seidl
Lazy Arithmetic Circuits PDF
Seyed Mehran Kazemi, David Poole
Exploiting the Hidden Structure of Junction Trees for MPE PDF
Batya Kenig, Avigdor Gal
Toward Caching Symmetrical Subtheories for Weighted Model Counting PDF
Timothy Kopp, Parag Singla, Henry Kautz
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving PDF
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Factorized Databases: A Knowledge Compilation Perspective PDF
Dan Olteanu
Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs PDF
Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt

Computer Poker and Imperfect Information Games

Compact CFR PDF
Eric Griffin Jackson
Protecting Wildlife under Imperfect Observation PDF
Thanh Hong Nguyen, Arunesh Sinha, Shahrzad Gholami, Andrew Plumptre, Lucas Joppa, Milind Tambe, Margaret Driciru, Fred Wanyama, Aggrey Rwetsiba, Rob Critchlow, Colin Beale
The Scalability of the HyperPlay Technique for Imperfect-Information Games PDF
Michael Schofield, Michael Thielscher
Evaluating the Performance of Presumed Payoff Perfect Information Monte Carlo Sampling Against Optimal Strategies PDF
Florian Wisser

Declarative Learning Based Programming

On Declarative Modeling of Structured Pattern Mining PDF
Tias Guns, Sergey Paramonov, Benjamin Negrevergne
Learning Constraints and Optimization Criteria PDF
Samuel M. Kolb
RELOOP: A Python-Embedded Declarative Language for Relational Optimization PDF
Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning PDF
Carl Schultz, Mehul Bhatt
JudgeD: A Probabilistic Datalog with Dependencies PDF
Brend Wanders, Maurice van Keulen, Jan Flokstra

Expanding the Boundaries of Health Informatics Using AI

Combining Multiple Concurrent Physiological Streams to Assessing Patients Condition PDF
Shenda Hong, Zhen Qiu, Jinbo Zhang, Hongyan Li
Simultaneous Influencing and Mapping for Health Interventions PDF
Leandro Soriano Marcolino, Aravind Lakshminarayanan, Amulya Yadav, Milind Tambe
A Novel Method for Mining Semantics from Patterns over ECG Data PDF
Zhen Qiu, Feifei Li, Shenda Hong, Hongyan Li
Predicting 30-Day Risk and Cost of "All-Cause" Hospital Readmissions PDF
Shanu Sushmita, Garima Khulbe, Aftab Hasan, Stacey Newman, Padmashree Ravindra, Senjuti Basu Roy, Martine De Cock, Ankur Teredesai
Adaptive Ensemble Learning with Confidence Bounds for Personalized Diagnosis PDF
Cem Tekin, Jinsung Yoon, Mihaela van der Schaar

Incentives and Trust in Electronic Communities

Modeling Trust Evaluating Agents: Towards a Comprehensive Trust Management for Multi-agent Systems PDF
Abdullah Aref, Thomas Tran
User Participation and Honesty in Online Rating Systems: What a Social Network Can Do PDF
Alan Davoust, Babak Esfandiari
An Analysis of Trimming in Digital Social Networks PDF
Renita Margaret Murimi
TRM: Computing Reputation Score by Mining Reviews PDF
Guangquan Xu, Yan Cao, Yao Zhang, Gaoxu Zhang, Xiaohong Li, Zhiyong Feng

Knowledge Extraction from Text

Effect of Part-of-Speech and Lemmatization Filtering in Email Classification for Automatic Reply PDF
Rogerio Bonatti, Arthur G. de Paula, Victor S. Lamarca, Fabio G. Cozman
Chinese Relation Extraction by Multiple Instance Learning PDF
Yu-Ju Chen, Jane Yung-jen Hsu
Automatic Scoring for Innovativeness of Textual Ideas PDF
Tirthankar Dasgupta, Lipika Dey
EmoGram: An Open-Source Time Sequence-Based Emotion Tracker and Its Innovative Applications PDF
Aditya Joshi, Vaibhav Tripathi, Ravindra Soni, Pushpak Bhattacharyya, Mark James Carman
Coupled Semi-Supervised Learning for Chinese Knowledge Extraction PDF
Leeheng Ma, Yi-Ting Tsao, Yen-Ling Kuo, Jane Yung-jen Hsu
Extending Biology Models with Deep NLP over Scientific Articles PDF
David McDonald, Scott Friedman, Amandalynne Paullada, Rusty Bobrow, Mark Burstein
Automatic Extraction of Events-Based Conditional Commonsense Knowledge PDF
Arpit Sharma, Chitta Baral
Creating a Mars Target Encyclopedia by Extracting Information from the Planetary Science Literature PDF
Kiri L. Wagstaff, Ellen Riloff, Nina L. Lanza, Chris A. Mattmann, Paul M. Ramirez

Multiagent Interaction without Prior Coordination

Measuring Synergy from Benevolence in a Network Organization PDF
Saad Alqithami, Henry Hexmoor
A Game Theoretic Approach to Ad-Hoc Coalitions in Human-Robot Societies PDF
Tathagata Chakraborti, Venkata Vamsikrishna Meduri, Vivek Dondeti, Subbarao Kambhampati
Bayesian Markov Games with Explicit Finite-Level Types PDF
Muthukumaran Chandrasekaran, Yingke Chen, Prashant Doshi
Identifying and Tracking Switching, Non-Stationary Opponents: A Bayesian Approach PDF
Pablo Hernandez-Leal, Matthew E. Taylor, Benjamin Rosman, L. Enrique Sucar, Enrique Munoz de Cote
Policy Communication for Coordination with Unknown Teammates PDF
Trevor Sarratt, Arnav Jhala

Planning for Hybrid Systems

A Happening-Based Encoding for Nonlinear PDDL+ Planning PDF
Daniel Bryce
A Compilation of the Full PDDL+ Language into SMT PDF
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
An Architecture for Hybrid Planning and Execution PDF
Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
Planning in Dynamic Environments Through Temporal Logic Monitoring PDF
Bardh Hoxha, Georgios Fainekos
Planning, Scheduling and Monitoring for Airport Surface Operations PDF
Robert Morris, Corina S. Pasareanu, Kasper Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig
Heuristic Planning for PDDL+ Domains PDF
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
SMT-Based Reasoning for Uncertain Hybrid Domains PDF
Fedor Shmarov, Paolo Zuliani
Mixed Propositional Metric Temporal Logic: A New Formalism for Temporal Planning PDF
Son Thanh To, Mark Roberts, Thomas Apker, Benjamin Johnson, David W. Aha
Explorations of Quantum-Classical Approaches to Scheduling a Mars Lander Activity Problem PDF
Tony T. Tran, Zhihui Wang, Minh Do, Eleanor G. Rieffel, Jeremy Frank, Bryan O'Gorman, Davide Venturelli, J. Christopher Beck
Active Control of Marine Vehicles in the Presence of Strong, Dynamic, Uncertain Currents PDF
Martina Troesch, Steve Chien, Yi Chao, John Farrara

Scholarly Big Data: AI Perspectives, Challenges, and Ideas

Automatic Summary Generation for Scientific Data Charts PDF
Rabah A. Al-Zaidy, Sagnik Ray Choudhury, C. Lee Giles
Enabling Public Access to Non-Open Access Biomedical Literature via Idea-Expression Dichotomy and Fact Extraction PDF
Xiaocheng Huang, Pauline C. Ng
Automatic Construction of Evaluation Sets and Evaluation of Document Similarity Models in Large Scholarly Retrieval Systems PDF
Kriste Krstovski, David A. Smith, Michael J. Kurtz
Encoding Lineage in Scholarly Articles PDF
Sheikh Motahar Naim, Md Abdul Kader, Arnold P. Boedihardjo, M. Shahriar Hossain
A Feasibility Study of an Approach to Extend Research Footprints PDF
Francisco Osuna, Bhanukiran Gurijala, Patricia Esparza, Monika Akbar, Ann Gates
Automatically Augmenting Titles of Research Papers for Better Discovery PDF
Madhavan Pallan, Biplav Srivastava
Analyzing NIH Funding Patterns over Time with Statistical Text Analysis PDF
Jihyun Park, Margaret Blume-Kohout, Ralf Krestel, Eric Nalisnick, Padhraic Smyth
From a Scholarly Big Dataset to a Test Collection for Bibliographic Citation Recommendation PDF
Dwaipayan Roy, Kunal Ray, Mandar Mitra
Modeling Topic-Level Academic Influence in Scientific Literatures PDF
Jiaming Shen, Zhenyu Song, Shitao Li, Zhaowei Tan, Yuning Mao, Luoyi Fu, Li Song, Xinbing Wang

Symbiotic Cognitive Systems

Symbiotic Cognitive Computing through Iteratively Supervised Lexicon Induction PDF
Alfredo Alba, Clemens Drews, Daniel Gruhl, Neal Lewis, Pablo N. Mendes, Meenakshi Nagarajan, Steve Welch, Anni Coden, Ashequl Qadir
The Impending Ubiquity of Cognitive Objects PDF
Maryam Ashoori, Rachel Bellamy, Justin Weisz
Towards a Dataset for Human Computer Communication via Grounded Language Acquisition PDF
Yonatan Bisk, Daniel Marcu, William Wong
Contexts for Symbiotic Autonomy: Semantic Mapping, Task Teaching and Social Robotics PDF
Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi, Francesco Riccio, Andrea Vanzo
A Formal Framework for Studying Interaction in Human-Robot Societies PDF
Tathagata Chakraborti, Kartik Talamadupula, Yu Zhang, Subbarao Kambhampati
A Distributed Cognition Perspective on Symbiotic Cognitive Systems: External Representations as a Medium for Symbiosis PDF
Thomas Erickson
Towards Learning From Stories: An Approach to Interactive Machine Learning PDF
Brent Harrison, Mark O. Riedl
Task Learning through Visual Demonstration and Situated Dialogue PDF
Changsong Liu, Joyce Y. Chai, Nishant Shukla, Song-Chun Zhu
Interaction and Task Patterns in Symbiotic, Mixed-Initiative Human-Robot Interaction PDF
Felip Martí Carrillo, Elin Anna Topp
Artificial Attention at Scale PDF
Alexander M. Morison, David D. Woods
An Overview of Affective Motivational Collaboration Theory PDF
Mahni Shayganfar, Charles Rich, Candace L. Sidner
CATS: Cognitive Analytic Trail System PDF
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
Ceding Control: Empowering Remote Participants in Meetings involving Smart Conference Rooms PDF
Vinay Venkataraman, Jonathan Lenchner, Shari Trewin, Maryam Ashoori, Shang Guo, Mishal Dholakia, Pavan Turaga

World Wide Web and Population Health Intelligence

Studying Anonymous Health Issues and Substance Use on College Campuses with Yik Yak PDF
Animesh Koratana, Mark Dredze, Margaret S. Chisolm, Matthew W. Johnson, Michael J. Paul
Discovering Relevant Hashtags for Health Concepts: A Case Study of Twitter PDF
Quanzhi Li, Sameena Shah, Rui Fang, Armineh Nourbakhsh, Xiaomo Liu
Venting Weight: Analyzing the Discourse of an Online Weight Loss Forum PDF
Lydia Manikonda, Heather Pon-Barry, Subbarao Kambhampati, Eric Hekler, David W. McDonald
Discourse, Health and Well-Being of Military Populations Through the Social Media Lens PDF
Umashanthi Pavalanathan, Vivek Datla, Svitlana Volkova, Lauren Charles-Smith, Meg Pirrung, Josh Harrison, Alan Chappell, Courtney D Corley
Monitoring Discussion of Vaccine Adverse Events in the Media: Opportunities from the Vaccine Sentimeter PDF
Guido Powell, Kate Zinszer, Jahnavi Dhananjay, Chi Bahk, Lawrence Madoff, John Brownstein, Sabine Bergler, David Buckeridge