| 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 > >> | |