Source: http://www.phoster.com/parallel-and-distributed-computer-aided-and-automated-reasoning-planning-and-scheduling/machine-learning/
Timestamp: 2019-04-22 08:55:50+00:00

Document:
Human Planning Processes by Barbara Hayes-Roth, Stephanie Cammarata, Sarah E Goldin, Frederick Hayes-Roth, Stanley Rosenschein and Penny W. Thorndyke, A Cognitive Model of Planning by Barbara Hayes‐Roth and Frederick Hayes‐Roth, Cognitive Processes in Planning by Barbara Hayes-Roth and Frederick Hayes-Roth, Heuristics, Planning and Cognition by Hector Geffner, Planning and Understanding: A Computational Approach to Human Reasoning by Robert Wilensky, Human Problem Solving by Allen Newell and Herbert Alexander Simon, Thinking, Problem Solving, Cognition by Richard E. Mayer, Strategic Cognitive Sequencing: A Computational Cognitive Neuroscience Approach by Seth A. Herd, Kai A. Krueger, Trenton E. Kriete, Tsung-Ren Huang, Thomas E. Hazy and Randall C. O’Reilly, Best Practices in Teaching Planning by Steve Graham and Karen R. Harris, Planning in Young Children: A Review and Synthesis by Teresa McCormack and Cristina M. Atance, Future Thinking in Young Children by Cristina M. Atance, Episodic Future Thinking in Children by Cristina M. Atance and Caitlin E. V. Mahy, The Development of Mental Scenario Building and Episodic Foresight by Thomas Suddendorf and Jonathan Redshaw, The Development of Episodic Foresight: Emerging Concepts and Methods by Judith A. Hudson, E. M. Mayhew and Janani Prabhakar and Looking Forward and Looking Backward: Cognitive and Experiential Search by Giovanni Gavetti and Daniel Levinthal.
An Investigation into Team-based Planning by Dionysis Kalofonos and Timothy J. Norman, Real-time Strategy: Improvising Team-based Planning for a Fast-changing World by Lee Tom Perry, W. Norman Smallwood and Randall G. Stott, Team-based Strategic Planning: A Complete Guide to Structuring, Facilitating, and Implementing the Process by C. Davis Fogg, A Generative Dialogue System for Arguing about Plans in Situation Calculus by Alexandros Belesiotis, Michael Rovatsos and Iyad Rahwan, Strategies for Question Selection in Argumentative Dialogues about Plans by Rolando Medellin-Gasque, Katie Atkinson, Trevor Bench-Capon and Peter McBurney, Reaching a Common Agreement Discourse Universe on Multi-agent Planning by Alejandro Torreño, Eva Onaindia and Oscar Sapena, Argumentation-based Dialogues over Cooperative Plans by Angel R. M. Gasque and Achieving Coordination through Combining Joint Planning and Joint Learning by Gerhard Weiß.
Cognitive Models for Mixed-initiative Planning by Chen Zhang, Human-machine Collaborative Planning by James F. Allen and George Ferguson, Configurable, Mixed-initiative Systems for Planning and Scheduling by Stephen F. Smith, Ora Lassila and Marcel Becker, Reasoning about Plans by James F. Allen, Henry Kautz, Richard Pelavin and Josh Tenenberg, Arguing About Plans: Plan Representation and Reasoning for Mixed-Initiative Planning by George Ferguson and James F. Allen, Rationale in Planning: Causality, Dependencies and Decisions by Stephen T. Polyak and Austin Tate, Rationale-supported Mixed-initiative Case-based Planning by Manuela M. Veloso, Alice M. Mulvehill and Michael T. Cox, Formalizing Plan Justifications by Eugene Fink and Qiang Yang, An Interactive Planner that Creates a Structured, Annotated Trace of its Operation by John L. Bresina, On Representations of Problems of Reasoning about Actions by Saul Amarel, Teaching Robots Parametrized Executable Plans through Spoken Interaction by Guglielmo Gemignani, Emanuele Bastianelli and Daniele Nardi and Meta‐planning: Representing and Using Knowledge about Planning in Problem Solving and Natural Language Understanding by Robert Wilensky.
Automated Planning: Theory and Practice by Malik Ghallab, Dana Nau and Paolo Traverso, Computational Models of Planning by Hector Geffner, Planning with Problems Requiring Temporal Coordination by Andrew Coles, Maria Fox, Derek Long and Amanda Smith, Planning with Resources and Concurrency: A Forward Chaining Approach by Fahiem Bacchus and Michael Ady, Temporal Planning with Problems Requiring Concurrency through Action Graphs and Local Search by Alfonso Gerevini, Alessandro Saetti and Ivan Serina, Complexity of Concurrent Temporal Planning by Jussi Rintanen, Managing Concurrency in Temporal Planning Using Planner-scheduler Interaction by Andrew Coles, Maria Fox, Keith Halsey, Derek Long and Amanda Smith, Temporal Planning with Continuous Change by J. Scott Penberthy and Daniel S. Weld, Learned Models for Continuous Planning by Matthew D. Schmill, Tim Oates and Paul R. Cohen, Rationale-based Monitoring for Planning in Dynamic Environments by Manuela M. Veloso, Martha E. Pollack and Michael T. Cox, Goal Transformations in Continuous Planning by Michael T. Cox and Manuela M. Veloso, Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling by Steve A. Chien, Russell Knight, Andre Stechert, Rob Sherwood and Gregg Rabideau, Planning and Acting in Incomplete Domains by Christopher Weber and Daniel Bryce, Assessing and Generating Robust Plans with Partial Domain Models by Tuan A. Nguyen, Subbarao Kambhampati and Minh B. Do, Reachability Heuristics for Planning in Incomplete Domains by Jared Robertson and Daniel Bryce, Synthesizing Robust Plans under Incomplete Domain Models by Tuan A. Nguyen, Subbarao Kambhampati and Minh Do, Generation and Exploitation of Intermediate Goals in Automated Planning by Vidal Alcázar Saiz, Temporal Landmarks: What Must Happen, and When by Erez Karpas, David Wang, Brian C Williams and Patrik Haslum, Ordered Landmarks in Planning by Jörg Hoffmann, Julie Porteous and Laura Sebastia, Landmark-based Heuristics and Search Control for Automated Planning by Silvia Richter, Cost-optimal Planning with Landmarks by Erez Karpas and Carmel Domshlak, Landmark-enhanced Abstraction Heuristics by Carmel Domshlak, Michael Katz and Sagi Lefler, Using Abstraction for Generalized Planning by Srivastava Siddharth, Neil Immerman and Shlomo Zilberstein, Flexible Abstraction Heuristics for Optimal Sequential Planning by Malte Helmert, Patrik Haslum and Jörg Hoffmann, Challenges in Finding Generalized Plans by Srivastava Siddharth, Neil Immerman and Shlomo Zilberstein, Generalized Planning: Synthesizing Plans That Work for Multiple Environments by Hu Yuxiao and Giuseppe De Giacomo, On the Role of Abstraction in Case-based Reasoning by Bergmann Ralph and Wolfgang Wilke, Planning with Constraints by Mark Jeffrey Stefik, Planning with Constraints by Barry Richards, Cost-optimal Planning with Constraints and Preferences in Large State Spaces by Stefan Edelkamp, Shahid Jabbar and Mohammed Nazih, Planning with Preferences by Jorge A. Baier and Sheila A. McIlraith, Planning with Preferences using Logic Programming by Tran Cao Son and Enrico Pontelli, Planning with Goal Preferences and Constraints by Ronen I. Brafman and Yuri Chernyavsky, Planning with Prioritized Goals by Robert Feldmann, Gerhard Brewka and Sandro Wenzel, Temporal Planning with Preferences and Probabilities by Robert Morris, Paul Morris, Lina Khatib and Neil Yorke-Smith, Planning under Uncertainty by George B. Dantzig, Parallel Processors for Planning under Uncertainty by George B. Dantzig and Peter W. Glynn, Planning under Uncertainty for Robotic Tasks with Mixed Observability by Sylvie C. W. Ong, Shao Wei Png, David Hsu and Wee Sun Lee, Evaluating Planners, Plans, and Planning Agents by Martha E. Pollack, Evaluating Temporal Planning Domains by William Cushing, Daniel S. Weld, Subbarao Kambhampati, Talamadupula Mausam and Kartik Talamadupula and Evaluating Temporal Plans in Incomplete Domains by Daniel Morwood and Daniel Bryce.
A Case-based Approach to Heuristic Planning by Tomás de la Rosa, Angel García-Olaya and Daniel Borrajo, On the Complexity of Case-based Planning by Paolo Liberatore, Kernel Functions for Case-based Planning by Ivan Serina, Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval by Alfonso Gerevini, Alessandro Saetti and Ivan Serina, Identifying and Exploiting Features for Effective Plan Retrieval in Case-based Planning by Mauro Vallati, Ivan Serina, Alessandro Saetti and Alfonso Emilio Gerevini, Progress in Case-based Planning by Daniel Borrajo, Anna Roubíčková and Ivan Serina, On the Plan-library Maintenance Problem in a Case-based Planner by Alfonso E. Gerevini, Anna Roubíčková, Alessandro Saetti and Ivan Serina, Offline and Online Plan Library Maintenance in Case-based Planning by Alfonso E. Gerevini, Anna Roubíčková, Alessandro Saetti and Ivan Serina, Flexible Plan Reuse in a Formal Framework by Jana Koehler, Plan Reuse versus Plan Generation: A Theoretical and Empirical Analysis by Bernhard Nebel and Jana Koehler, Heuristic Search-based Replanning by Sven Koenig, David Furcy and Colin Bauer, Fast Plan Adaptation through Planning Graphs: Local and Systematic Search Techniques by Alfonso Gerevini and Ivan Serina, Replanning: A New Perspective by William Cushing and Subbarao Kambhampati, Plan Stability: Replanning versus Plan Repair by Maria Fox, Alfonso Gerevini, Derek Long and Ivan Serina and Plan Repair as an Extension of Planning by Krogt Roman Van Der and Mathijs De Weerdt.
The Role of Simulation in Planning by David P. Miller, Incorporating Simulation-based Models into Planning Systems by Jin Joo Lee and Paul A. Fishwick and Simulation-based Decision Support for Evaluating Operational Plans by Johan Schubert, Farshad Moradi, Hirad Asadi, Linus Luotsinen, Eric Sjöberg, Pontus Hörling, Anna Linderhed and Daniel Oskarsson.
Generating Perception Requests and Expectations to Verify the Execution of Plans by Richard J. Doyle, David J. Atkinson and Rajkumar S. Doshi, Sensible Planning: Focusing Perceptual Attention by Lonnie Chrisman and Reid G. Simmons and Cost-effective Sensing during Plan Execution by Eric A. Hansen.
Abstraction in Planning by Josh D. Tenenberg, A Theory of Abstraction for Hierarchical Planning by Craig A. Knoblock, Learning Plan Abstractions by Ralph Bergmann, Plan Abstraction Based on Operator Generalization by John S. Anderson and Arthur M. Farley, Planning in a Hierarchy of Abstraction Spaces by Earl D. Sacerdoti, Characterizing Abstraction Hierarchies for Planning by Craig A. Knoblock, Josh D. Tenenberg and Qiang Yang, Efficient Retrieval of Abstract Cases for Case-based Planning by Ralph Bergmann, Abstraction Planning in Real Time by Richard Washington, Automatically Generating Abstractions for Planning by Craig A. Knoblock, Abstraction and Approximate Decision-theoretic Planning by Richard Dearden and Craig Boutilier, Abstraction in Problem Solving and Learning by Amy Unruh and Paul S. Rosenbloom, On the Role of Abstraction in Case-based Reasoning by Ralph Bergmann and Wolfgang Wilke, Challenges in Finding Generalized Plans by Siddharth Srivastava, Neil Immerman and Shlomo Zilberstein, Efficient Retrieval of Abstract Cases for Case-based Planning by Ralph Bergmann, Abstraction Planning in Real Time by Richard Washington, Automatically Generating Abstractions for Planning by Craig A. Knoblock, Abstraction and Approximate Decision-theoretic Planning by Richard Dearden and Craig Boutilier, Abstraction in Problem Solving and Learning by Amy Unruh and Paul S. Rosenbloom, Conscious Attention and Abstraction in Concept Learning by Richard A. Carlson and Don E. Dulany, Conceptual Modelling: Knowledge Acquisition and Model Abstraction by Kathy Kotiadis and Stewart Robinson and Learning and Abstraction in Simulation by Sarah E. Goldin and Philip Klahr.
A Formal Theory of Plan Recognition by Henry A. Kautz, The Plan Recognition Problem: An Intersection of Psychology and Artificial Intelligence by Charles F. Schmidt, N. S. Sridharan and John L. Goodson, Programming Mental State Abduction by Michal Sindlar, Mehdi Dastani and John-Jules Meyer, Seeing beyond Shadows: Incremental Abductive Reasoning for Plan Understanding by Ben Leon Meadows, Pat Langley and Miranda Jane Emery, The Perceptual Organization of Ongoing Behavior by D. Newtson and G. Engquist, The Reliability of a Measure of Behavior Perception by D. Newtson, G. Engquist and J. Bois, Episode Cognition: Internal Representations of Interaction Routines by Joseph P. Forgas, Plans and Goals in Understanding Episodes by Gordon H. Bower, Understanding Actions in Relation to Goals by C. Foss and G. Bower, Using Movement and Intentions to Understand Human Activity by Jeffrey M. Zacks, Shawn Kumar, Richard A. Abrams and Ritesh Mehta, Techniques for Plan Recognition by Sandra Carberry, Plan Recognition as Planning by Miquel Ramırez and Hector Geffner, Generalized Plan Recognition by Henry A. Kautz and James F. Allen, A Conceptual Modelling Approach to the Implementation of Beliefs and Intentions by Ralph Meyer, Inferring Beliefs from Actions by Itai Arieli and Manuel Mueller-Frank, A Model of Plan Inference That Distinguishes between the Beliefs of Actors and Observers by Martha E. Pollack, A Belief Tracking Challenge Task for Spoken Dialog Systems by Jason D. Williams, Shared Representations of Belief and Their Effects on Action Selection: A Preliminary Computational Cognitive Model by Paul Bello, Fast and Complete Symbolic Plan Recognition by Dorit Avrahami-Zilberbrand and Gal A. Kaminka, Plan Recognition for Context Sensitive Help by Klaus-Jürgen Quast, Inference to the Best Plan: A Coherence Theory of Decision by Paul Thagard and Elijah Millgram, Plan Recognition in Natural Language Dialogue by Sandra Carberry, Plan Recognition and Discourse Analysis: An Integrated Approach for Understanding Dialogues by Diane Litman, Analyzing Intention in Utterances by James F. Allen and C. Raymond Perrault, Intentions in Communication edited by Philip R. Cohen, Jerry L. Morgan and Martha E. Pollack, The Perceived Intentionality of Groups by Paul Bloom and Csaba Veres, Multi-agent Plan Recognition: Formalization and Algorithms by Bikramjit Banerjee, Landon Kraemer and Jeremy Lyle, The Complexity of Multi-agent Plan Recognition by Bikramjit Banerjee, Jeremy Lyle and Landon Kraemer, Action-model Based Multi-agent Plan Recognition by Hankz H. Zhuo, Qiang Yang and Subbarao Kambhampati and Multi-agent Plan Recognition with Partial Team Traces and Plan Libraries by Hankz H. Zhuo and Lei Li.
Game Theory by Roger B. Myerson, Algorithmic Game Theory by Tim Roughgarden, Eva Tardos and Vijay V. Vazirani, Representations and Solutions for Game-theoretic Problems by Daphne Koller and Avi Pfeffer, Game Theory and Strategy by Philip D. Straffin, Parallel Game-tree Search by T. Anthony Marsland and Fred Popowich and Distributed Game-tree Searching by Jonathan Schaeffer.
Heuristics: Intelligent Search Strategies for Computer Problem Solving by Judea Pearl, Parallel Breadth-first Search Algorithms for Trees and Graphs by Ratan K. Ghosh and G. P. Bhattacharjee, Parallel Algorithms for Depth-first Search by Jon Freeman, Parallel Depth-first Search in General Directed Graphs by Alok Aggarwal, Richard J. Anderson, and Ming-Yang Kao, Parallel Best-first Search of State-space Graphs: A Summary of Results by Vipin Kumar, K. Ramesh, and V. Nageshwara Rao, Scalable, Parallel Best-first Search for Optimal Sequential Planning by Akihiro Kishimoto, Alex S. Fukunaga and Adi Botea, A Parallel Implementation of Iterative-deepening-A* by V. Nageshwara Rao, Vipin Kumar and K. Ramesh, Multicriteria Heuristic Search by Lawrence Mandow and Jose L. Pérez de la Cruz, Multiobjective Heuristic State-space Planning by Ioannis Refanidis and Ioannis Vlahavas, An Empirical Comparison of Some Multiobjective Graph Search Algorithms by Enrique L. Machuca Sánchez, Lorenzo Mandow, Jose L. Pérez de la Cruz and Amparo Ruiz-Sepulveda, An Analysis of Some Algorithms and Heuristics for Multiobjective Graph Search by Enrique L. Machuca Sánchez, Multi-criteria Decision Making (MCDM) Techniques in Planning by Bryan H. Massam, Learning for Adaptive Real-time Search by Vadim Bulitko, Learning in Real-time Search: A Unifying Framework by Vadim Bulitko and Greg Lee, Controlling the Learning Process of Real-time Heuristic Search by Masashi Shimbo and Toru Ishida, Real-time Heuristic Search with a Priority Queue by D. Chris Rayner, Katherine Davison, Vadim Bulitko, Kenneth Anderson and Jieshan Lu, Value Backpropagation versus Backtracking in Real-time Heuristic Search by Sverrir Sigmundarson and Yngvi Björnsson, Dynamic Control in Real-time Heuristic Search by Vadim Bulitko, Mitja Lustrek, Jonathan Schaeffer, Yngvi Bjornsson and Sverrir Sigmundarson, Dynamic Control in Path-planning with Real-time Heuristic Search by Vadim Bulitko, Yngvi Björnsson, Mitja Lustrek, Jonathan Schaeffer and Sverrir Sigmundarson, Graph Abstraction in Real-time Heuristic Search by Vadim Bulitko, Nathan R. Sturtevant, Jieshan Lu and Timothy Yau, Implicit Abstraction Heuristics by Michael Katz and Carmel Domshlak, State Abstraction in Real-time Heuristic Search: The Director’s Cut by Vadim Bulitko, Nathan Sturtevant, Jieshan Lu and Timothy Yau Science http www cs ualberta ca∼ bulitkoircllrtspubsprlrts pdf, Speeding up Learning in Real-time Search via Automatic State Abstraction by Vadim Bulitko, Nathan Sturtevant and Maryia Kazakevich and Applications of Parallel Processing Technologies in Heuristic Search Planning: Methodologies and Experiments by Tu Huy Phan, Enrico Pontelli, Tran Cao Son and Son Thanh To.
Planning as Satisfiability by Henry A. Kautz and Bart Selman, Planning and SAT by Jussi Rintanen, Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search by Jussi Rintanen, Keijo Heljanko and Ilkka Niemelä and An Overview of Parallel SAT Solving by Ruben Martins, Vasco Manquinho and Inês Lynce.
Relating Stable Models and AI Planning Domains by V. S. Subrahmanian and Carlo Zaniolo and Computing Stable Models in Parallel by Raphael A. Finkel, Victor W. Marek, Neil Moore and Miroslaw Truszczynski.
Answer Set Planning by Vladimir Lifschitz, Action Languages, Answer Sets, and Planning by Vladimir Lifschitz, Answer Set Programming and Plan Generation by Vladimir Lifschitz, Applications of Preferences using Answer Set Programming by Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon and David Sol and Construction and Optimization of a Parallel Engine for Answer Set Programming by Enrico Pontelli and Omar El-Khatib.
Search-based Planning: A Method for Character Behaviour by Miguel Lozano, S. J. Mead, Marc Cavazza and Fred Charles, Planning Characters’ Behaviour in Interactive Storytelling by Marc Cavazza, Fred Charles and Steven J. Mead, An Intent-driven Planner for Multi-agent Story Generation by Mark O. Riedl and R. Michael Young, Using Motivation-driven Continuous Planning to Control the Behaviour of Virtual Agents by Nikos Avradinis, Ruth Aylett and Themis Panayiotopoulos and Planning Interactive Task for Intelligent Characters by Dan Zong, Chunpeng Li, Shihong Xia and Zhaoqi Wang.
An Intelligent Tutoring System that Generates a Natural Language Dialogue Using Dynamic Multi-level Planning by Chong W. Woo, Martha W. Evens, Reva Freedman, Michael Glass, Leem S. Shim, Yuemei Zhang, Yujian Zhou and Joel Michael, Building Natural Language Generation Systems by Ehud Reiter, Robert Dale and Zhiwei Feng, Natural Language Generation from Plans by Chris Mellish and Roger Evans, Natural Language Generation as Planning Under Uncertainty for Spoken Dialogue Systems by Verena Rieser and Oliver Lemon, Planning Texts by Constraint Satisfaction by Richard Power, Experiences with Planning for Natural Language Generation by Alexander Koller and Ronald Petrick, Processes of Incremental Message Planning during Conversation by Sarah Brown-Schmidt and Agnieszka E. Konopka, Ways of Looking Ahead: Hierarchical Planning in Language Production by Eun-Kyung Lee, Sarah Brown-Schmidt and Duane G. Watson, Discourse Structuring of Dynamic Content by Nadjet Bouayad-Agha, Leo Wanner and Daniel Nicklass, Towards Generating Text from Discourse Representation Structures by Valerio Basile and Johan Bos, From Logic to Language: Natural Language Generation from Logical Forms by Valerio Basile, Aspects of Natural Language Generation and Prosody by Martin Haase, Prosodic Cues for Information Structure by Poesio, Massimo, Stephen Isard, Helen Wright, James Hieronymus, Robin Cooper, Staan Larsson and Johan Bos, Prosody Modeling in Concept-to-speech Generation by Shimei Pan and Using Dialogue Representations for Concept-to-speech Generation by Christine H. Nakatani and Jennifer Chu-Carroll.
Behavior Planning for Character Animation by Manfred Lau and James J. Kuffner, Real-time Planning for Parameterized Human Motion by Wan-Yen Lo and Matthias Zwicker, Planning Motions with Intentions by Yoshihito Koga, Koichi Kondo, James Kuffner and Jean-Claude Latombe, Precomputed Search Trees: Planning for Interactive Goal-driven Animation by Manfred Lau and James J. Kuffner, Scalable Precomputed Search Trees by Manfred Lau and James J. Kuffner, Planning Humanlike Actions in Blending Spaces by Yazhou Huang, Mentar Mahmudi and Marcelo Kallmann, Multi-modal Planning for Humanlike Motion Synthesis Using Motion Capture by Mentar Mahmudi, Generating the Animation of a 3D Agent from Explanation Text by Ken’ichi Kakizaki, Path Abstraction for Combined Navigation and Animation by Ben J. H. van Basten and Arjan Egges and Evaluating Motion Graphs for Character Animation by Paul S. A. Reitsma and Nancy S. Pollard.
Planning Stories by Michael Lebowitz, Plans and Planning in Narrative Generation: A Review of Plan-based Approaches to the Generation of Story, Discourse and Interactivity in Narratives by R. Michael Young, S. G. Ware, Brad Cassell and Justus Robertson, Planning Algorithms for Interactive Storytelling by Leandro Motta Barros and Soraia Raupp Musse, Real-time Planning for Interactive Storytelling by Richard Paul, Michael McNeill, Darryl Charles, David McSherry and Philip Morrow, Story-telling as Planning and Learning by Michael Lebowitz and Narrative-centered Tutorial Planning for Inquiry-based Learning Environments by Bradford W. Mott and James C. Lester.
Teacher Planning by Christopher M. Clark and Robert J. Yinger, A Study of Teacher Planning by Robert J. Yinger, The Effect of Planning on Teaching by John A. Zahorik, Teacher Planning, Teacher Behavior, and Student Achievement by Penelope L. Peterson, Ronald W. Marx and Christopher M. Clark, What’s in a Plan? Stated and Unstated Plans for Lessons by Greta Morine-Dershimer, Teachers’ Planning Models by John A. Zahorik, Three Studies of Teacher Planning by Christopher M. Clark and Robert J. Yinger, Problem Solving, Reasoning, and Analytical Thinking in a Classroom Environment by Joanne K. Robbins, Planning in Classroom Reality: An In-depth Look by Greta Morine-Dershimer, Review of Research on Teachers’ Pedagogical Judgments, Plans, and Decisions by Richard J. Shavelson, A Psychological Approach to Research on Teachers’ Classroom Decision‐making by James Calderhead, A Study of Teacher Interactive Decision Making by Michael G. Wodlinger, How Teachers Plan Their Courses: Studies in Curriculum Planning by Philip H. Taylor, Experienced Teachers’ Planning Practices: A U.S. Survey by Deborah Sardo‐Brown, Using Planning Techniques in Intelligent Tutoring Systems by Darwyn R. Peachey and Gordon I. McCalla, A Curriculum Planning Model for an Intelligent Tutoring System by Byung-In Cho, Joel A. Michael, Allen A. Rovick and Martha W. Evens, Dynamic Planning Models to Support Curriculum Planning and Multiple Tutoring Protocols in Intelligent Tutoring Systems by Byung-In Cho, Instructional Planning in an Intelligent Tutoring System: Combining Global Lesson Plans with Local Discourse Control by Chong W. Woo, Interaction of Discourse Planning, Instructional Planning and Dialogue Management in an Interactive Tutoring System by Reva K. Freedman, An Intelligent Tutoring System That Generates a Natural Language Dialogue Using Dynamic Multi-level Planning by Chong W. Woo, Martha W. Evens, Reva K. Freedman, Michael Glass, Leem S. Shim, Yuemei Zhang, Yujian Zhou and Joel Michael, Toward an Instructional Design Model Based on Learning Objects by Andrés C. Laverde, Yasbley S. Cifuentes and Helda Y. R. Rodriguez, Instructional Planning with Learning Objects by Permanand Mohan, Jim Greer and G. McCalla, Learning Object Design and Sequencing Theory by David A. Wiley, A Categorization Scheme for Principles of Sequencing Content by George J. Posner and Kenneth A. Strike, Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs by Luis Castillo, Lluvia Morales, Arturo González-Ferrer, Juan Fernández-Olivares and Óscar García-Pérez, Automatic Generation of Learning Designs: Two Planning Approaches Comparison by Lluvia Morales, Automatic Generation of User Adapted Learning Designs: An AI-Planning Proposal by Lluvia Morales, Luis Castillo, Juan Fernandez-Olivares and Arturo Gonzalez-Ferrer, Modeling E-learning Activities in Automated Planning by Antonio Garrido, Eva Onaindia, Lluvia Morales, Luis Castillo, Susana Fernández and Daniel Borrajo, On the Automatic Compilation of E-learning Models to Planning by Antonio Garrido, Susana Fernández, Lluvia Morales, Eva Onaindía, Daniel Borrajo and Luis Castillo, Automatic Generation of Temporal Planning Domains for E-learning Problems by Luis Castillo, Lluvia Morales, Arturo González-Ferrer, Juan Fdez-Olivares, Daniel Borrajo and Eva Onaindía, A Standards-based Modelling Approach for Dynamic Generation of Adaptive Learning Scenarios by Jesus Boticario and Olga C. Santos, Planning for Conditional Learning Routes by Lluvia Morales, Luis Castillo and Juan Fernández-Olivares, Constraint Programming for Planning Routes in an E-learning Environment by Antonio Garrido, Eva Onaindıa and Oscar Sapena, E-learning and Intelligent Planning: Improving Content Personalization by Antonio Garrido and Lluvia Morales, Planning and Execution in a Personalised E-learning Setting by Lluvia Morales, Antonio Garrido and Ivan Serina, Pedagogically Founded Courseware Generation Based on HTN-planning by Carsten Ullrich and Erica Melis, An Architecture for a Self‐improving Instructional Planner for Intelligent Tutoring Systems by Stuart A. MacMillan and Derek H. Sleeman, Decision Theoretic Instructional Planner for Intelligent Tutoring Systems by Noboru Matsuda and Kurt VanLehn and Using Case-based Reasoning in Instructional Planning: Towards a Hybrid Self-improving Instructional Planner by Jon A. Elorriaga and Isabel Fernández-Castro.
User and Discourse Models for Multimodal Communication by Wolfgang Wahlster, Using a Simulated Student for Instructional Design by Joseph S. Mertz, Plan-based Integration of Natural Language and Graphics Generation by Wolfgang Wahlster, Elisabeth André, Wolfgang Finkler, Hans-Jürgen Profitlich and Thomas Rist, The Design of Illustrated Documents as a Planning Task by Elisabeth André and Thomas Rist, Designing Illustrated Texts: How Language Production Is Influenced by Graphics Generation by Wolfgang Wahlster, Elisabeth André, Winfried Graf and Thomas Rist, Automating the Design of Graphical Presentations of Relational Information by Jock Mackinlay, Computer-generated Pen-and-ink Illustration by Georges Winkenbach and David H. Salesin, Generating Scientific Illustrations in Digital Books by Stefan Schlechtweg and Thomas Strothotte, Knowledge-supported Graphical Illustration of Texts by Knut Hartmann, Stefan Schlechtweg, Ralf Helbing and Thomas Strothotte, Automated Generation of Intent-based 3D Illustrations by Dorée D. Seligmann and Steven Feiner, Supporting Interactivity in Automated 3D Illustrations by Dorée D. Seligmann and Steven Feiner, Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations by Stuart G. Towns, Charles B. Callaway and James C. Lester, Automated Generation of News Content Hierarchy by Integrating Audio, Video, and Text Information by Qian Huang, Zhu Liu, Aaron Rosenberg, David Gibbon and Behzad Shahraray, Towards Constructive Text, Diagram, and Layout Generation for Information Presentation by John Bateman, Thomas Kamps, Jörg Kleinz and Klaus Reichenberger, Contextualized Text Explanations for Visualizations by Wallace Chigona and Thomas Strothotte, Constraints on Layout in Multimodal Document Generation by John Bateman, Judy Delin and Patrick Allen, Automatic Design of Multimodal Presentations by Wolfgang Wahlster, Creating Meaningful Multimedia Presentations by Lynda Hardman and Jacco van Ossenbruggen, The Generation of Multimedia Presentations by Elisabeth André, Coping with Temporal Constraints in Multimedia Presentation Planning by Elisabeth André and Thomas Rist, Design Dependencies within the Automatic Generation of Hypermedia Presentations by Oscar R. Martinez, Generating Cross-references for Multimedia Explanation by Kathleen McKeown, Steven Feiner, Jacques Robin, Dorée D Seligmann and Michael A Tanenblatt, Generating References in Hierarchical Domains: The Case of Document Deixis by Ivandré Paraboni, Generating Multimedia Presentations from Plain Text to Screenplay by Paul Piwek, Richard Power, Donia Scott and Kees Van Deemter and Automatic Cinematography and Multilingual NLG for Generating Video Documentaries by Charles Callaway, Elena Not, Alessandra Novello, Cesare Rocchi, Oliviero Stock and Massimo Zancanaro.
An Intelligent Assistant for Interactive Workflow Composition by Jihie Kim, Marc Spraragen and Yolanda Gil, A Knowledge-based Approach to Interactive Workflow Composition by Jihie Kim, Yolanda Gil and Marc Spraragen, Optimizing Grid-based Workflow Execution by Gurmeet Singh, Carl Kesselman and Ewa Deelman, From Data to Knowledge to Discoveries: Scientific Workflows and Artificial Intelligence by Yolanda Gil and Synthesis of Optimal Workflow Structure by József Tick, Zoltán Kovacs and Ferenc Friedler.
Derivation of Logic Programs by Christopher John Hogger, From Program Verification to Program Synthesis by Saurabh Srivastava, Sumit Gulwani and Jeffrey S. Foster, Quantitative Specifications for Verification and Synthesis by Arjun Radhakrishna, Computing Plans with Control Flow and Procedures Using a Classical Planner by Sergio Jimenez Celorrio and Anders Jonsson, Synthetic Programming by Nachum Dershowitz, Automatic Synthesis of Typed λ-programs on Term Algebras by Corrado Böhm and Alessandro Berarducci, Automating the Synthesis of Functional Programs by Alan Smaill and Ian Green, Towards Automatic Imperative Program Synthesis through Proof Planning by Jamie Stark and Andrew Ireland, Automatic Generation of Programs Containing Conditional Statements by D. C. Luckham and J. R. Buchanan, Learning Generalized Plans Using Abstract Counting by Srivastava Siddharth, Neil Immerman and Shlomo Zilberstein, Planning with Loops: Some New Results by Hu Yuxiao and Hector Levesque, Identifying Recursive Functions by Klaus P. Jantke, Recursive Program Synthesis by Aws Albarghouthi, Sumit Gulwani and Zachary Kincaid, Automatic Derivation of Code Generators from Machine Descriptions by Roderic G. G. Cattell, Formalization and Automatic Derivation of Code Generators by Roderic G. G. Cattell, Software Controlled Adaptive Pre-execution for Data Prefetching by Ákos Dudás, Sándor Juhász and Tamás Schrádi, Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic by Edmund M. Clarke and E. Allen Emerson and Optimizing Solution Quality in Synchronization Synthesis by Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta and Thorsten Tarrach.
Runtime Code Generation by Markus Malmqvist and Tero Hasu, Compiling for Runtime Code Generation (Extended Version) by Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof and Trevor Jim, Compilation Techniques for High Level Parallel Code by Benedict R. Gaster, Tim Bainbridge, David Lacey and David Gardner, A Characterization and Analysis of GPGPU Kernels by Andrew Kerr, Gregory Diamos and Sudhakar Yalamanchili, Modeling GPU-CPU Workloads and Systems by Andrew Kerr, Gregory Diamos and Sudhakar Yalamanchili, Exploring GPGPU Workloads: Characterization Methodology, Analysis and Microarchitecture Evaluation Implications by Nilanjan Goswami, Ramkumar Shankar, Madhura Joshi and Tao Li and Comparison of Technologies for General-purpose Computing on Graphics Processing Units by Torbjörn Sörman.
A Brief Review of Tools and Methods for Knowledge Engineering for Planning and Scheduling by Tiago S. Vaquero, José R. Silva and J. Christopher Beck, Knowledge Engineering Tools in Planning: State-of-the-art and Future Challenges by Mohammad M. Shahin Shah, Lukáš Chrpa, Falilat Jimoh, Diane E. Kitchin, Thomas L. McCluskey, S. Parkinson and Mauro Vallati, Automated Knowledge Engineering Tools in Planning: State-of-the-art and Future Challenges by Rabia Jilani, Andrew Crampton, Diane E. Kitchin and Mauro Vallati, Using Automated Planning for Improving Data Mining Processes by Susana Fernández, Tomás De La Rosa, Fernando Fernández, Rubén Suárez, Javier Ortiz, Daniel Borrajo and David Manzano, On Compiling Data Mining Tasks to PDDL by Susana Fernández, Fernando Fernández, Alexis Sánchez, Tomás De La Rosa, Javier Ortiz, Daniel Borrajo and David Manzano, Planning Meets Verification and Validation in a Knowledge Engineering Environment by Andrea Orlandini, Giulio Bernardi, Amedeo Cesta and Alberto Finzi and Integrating Knowledge Engineering for Planning with Validation and Verification Tools by Andrea Orlandini, Giulio Bernardi, Amedeo Cesta and Alberto Finzi.
Optimizing Datalog Programs by Yehoshua Sagiv, Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines by Alakananda Bhattacharya, Amit Konar and Ajit K. Mandal, Parallelism in Logic Programs by Raghu Ramakrishnan, Parallel Execution of Logic Programs by John S. Conery, Parallel Implementation of Logic Programs by Yow-Jian Lin, Parallel Logic Programming by Akikazu Takeuchi, Parallel Execution of Prolog Programs: A Survey by Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson and Manuel V. Hermenegildo and Parallel Logic Programming Systems by Jacques Chassin De Kergommeaux and Philippe Codognet.
Inductive Logic Programming: Theory and Methods by Stephen Muggleton and Luc De Raedt, Inductive Logic Programming by Nada Lavrac and Saso Dzeroski, Induction as a Search Procedure by Stasinos Konstantopoulos, Rui Camacho, Nuno A Foseca and Vítor Santos Costa, Improving the Efficiency of ILP Systems by Rui Camacho, Parallelism in Inductive Logic Programming Systems by Nuno A. P. da Fonseca, Parallel and Sequential Algorithms for Data Mining Using Inductive Logic by David B. Skillicorn and Yu Wang, From Sequential to Parallel Inductive Logic Programming by Rui Camacho, Strategies to Parallelize ILP Systems by Nuno A. P. da Fonseca, Fernando Silva and Rui Camacho, Comparison of Three Parallel Implementations of an Induction Algorithm by Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki and Hidenori Itoh, Parallel Induction Algorithms for Large Samples by Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki and Hidenori Itoh, Scalable Acceleration of Inductive Logic Programs by Andreas Fidjeland, Wayne Luk and Stephen Muggleton, Parallel Execution for Speeding up Inductive Logic Programming Systems by Hayato Ohwada and Fumio Mizoguchi, Customisable Multi-processor Acceleration of Inductive Logic by Andreas K. Fidjeland, Wayne Luk and Stephen H. Muggleton, A Pipelined Data-parallel Algorithm for ILP by Nuno A. P. da Fonseca, Fernando Silva, Vitor S. Costa and Rui Camacho, A Comparative Study on ILP-based Concept Discovery Systems by Yusuf Kavurucu, Pinar Senkul and Ismail H. Toroslu, Efficient Learning and Evaluation of Complex Concepts in Inductive Logic Programming by José C. A. Santos, MPI-based Parallelization for ILP-based Multi-relational Concept Discovery by Alev Mutlu, Pinar Senkul and Yusuf Kavurucu, Improving the Scalability of ILP-based Multi-relational Concept Discovery System through Parallelization by Alev Mutlu, Pinar Senkul and Yusuf Kavurucu and Learning Time Series Models with Inductive Logic Programming by Alexessander Alves, Rui Camacho and Eugénio Oliveira.
Can Cloud Computing be Used for Planning? An Initial Study by Qiang Lu, You Xu, Ruoyun Huang, Yixin Chen and Guoliang Chen, Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters by Alex Fukunaga, Akihiro Kishimoto and Adi Botea and Planning in the Cloud: Massively Parallel Planning by Tommy Thompson and Dave Voorhis.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V.