This report lists journal articles on planning and scheduling, based on a
DAML knowledge base containing 28373 triples (which was generated from BibTex
entries).
|
Author |
Title |
Year |
Journal |
Vol |
No |
Pages |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| P. M. Woodward and I. L. Davies |
|
|
|
| Proc. Inst. Electrical Engineers |
|
|
|
|
| A. Newell and J. C. Shaw and H. A. Simon |
|
|
|
|
|
|
|
|
|
|
|
| IBM Journal of Research and Development |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Actions, reasons and causes |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| J. Csima and C. C. Gotlieb |
|
|
|
| Communications of the ACM |
|
|
|
|
|
|
|
|
|
|
|
|
| R. C. Carlson and G. L. Nemhauser |
|
| Scheduling to minimize interaction cost |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Communications of the ACM |
|
|
|
|
|
|
| Indeterminist time and truth-value gaps |
|
|
|
|
|
|
| Richard E. Fikes and Nils Nilsson |
|
|
|
|
|
|
|
| Harold J. Kushner and A. J. Kleinman |
|
|
|
| International Journal of Control |
|
|
|
|
| R. Fikes and P. E. Hart and N. J. Nilsson |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| R. Fikes and N. J. Nilsson |
|
| Learning and Executing Generalized Robots |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Richard D. Smallwood and Edward J. Sondik |
|
|
|
|
|
|
|
|
|
| Causes and counterfactuals |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| J. Roberto Rivas and Dale F. Rudd |
|
| Synthesis of Failure-Safe Operations |
|
|
|
|
|
|
|
|
| Computer-Aided Safety Interlock Systems |
|
|
|
|
|
|
| R. J. Waldinger and K. N. Levitt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Some experiences in non-numeric modelling |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Communications of the ACM |
|
|
|
|
| J. Roberto Rivas and Dale F. Rudd |
|
|
|
|
|
|
|
| Z. Manna and R. Waldinger |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Int'l J Man-Machine Studies |
|
|
|
|
| M. Garey and D. Johnson and R. Sethi |
|
|
|
| Mathematical Operations Research |
|
|
|
|
| Olga Stepankova and Ivan M. Havel |
|
| A logical theory of robot problem solving |
|
|
|
|
|
|
| Jerome A. Feldman and Robert F. Sproull |
|
|
|
|
|
|
|
|
|
| Relational production systems |
|
|
|
|
|
|
| Kenneth Kahn and G. Anthony Gorry |
|
| Mechanising temporal knowledge |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| A logic of algorithmic reasoning |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| N. Dershowitz and Z. Manna |
|
|
|
| IEEE trans. on software engineering |
|
|
|
|
| John D. Lowrance and Daniel P. Friedman |
|
|
|
|
|
|
|
|
|
| Safety Supervision of Valve Operations |
|
|
| Journal of Chemical Engineering of Japan |
|
|
|
|
| C. C. Green and D. Barstow |
|
| On program synthesis knowledge |
|
|
|
|
|
|
| R. M. Stallman and G. J. Sussman |
|
|
|
|
|
|
|
|
|
| Events, processes and states |
|
|
| Linguistics and Philosophy |
|
|
|
|
|
|
|
|
|
|
|
|
| Charlotte Linde and J. A. Goguen |
|
| Structure of planning discourse |
|
|
| J. social biological structures |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Z. Manna and R. Waldinger |
|
|
|
| Communications of the ACM |
|
|
|
|
|
|
|
|
|
|
|
|
| Martin L. Puterman and Moon Chirl Shin |
|
|
|
|
|
|
|
|
|
| Communicating sequential processes |
|
|
| Communications of the ACM |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Katsushige Sawaki and Akira Ichikawa |
|
|
|
|
|
|
|
| M. J. Fischer and R. E. Ladner |
|
|
|
| Journal of Computer and system sciences |
|
|
|
|
| B. Hayes-Roth and F. Hayes-Roth |
|
| A cognitive model of planning |
|
|
|
|
|
|
| Philip R. Cohen and C. R. Perrault |
|
|
|
|
|
|
|
|
|
| A Truth maintenance system |
|
|
|
|
|
|
| M. L. Puterman and S. L. Brumelle |
|
|
|
| Mathematics of Operations Research |
|
|
|
|
| J. R. Hobbs and J. J. Robinson |
|
|
|
|
|
|
|
| Barbera Hays-Roth and Fredrick Hayes-Roth |
|
| A Cognitive Model of Planning |
|
|
|
|
|
|
|
|
|
|
| Bulletin Electrotechnical Lab |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| A method for analyzing loop programs |
|
|
| IEEE trans. on software engineering |
|
|
|
|
|
|
| The pragmatics of discourse planning |
|
|
|
|
|
|
| G. L. Sussman and G. J. Steele |
|
|
|
|
|
|
|
|
|
| Application of Modal Logic to Programming |
|
|
|
|
|
|
|
|
| A logic for default reasoning |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Descriptively complete process logic |
|
|
|
|
|
|
| J. R. King and S. Spachis |
|
| Scheduling: bibliography & review |
|
|
|
|
|
|
| James F. Allen and C. R. Perrault |
|
| Analyzing intention in dialogues |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| C. Raymond Perrault and James F. Allen |
|
|
|
|
|
|
|
|
|
|
|
| SIAM Journal of Control and Optimization |
|
|
|
|
|
|
|
|
|
|
|
|
| R. M. Haralick and G. L. Elliott |
|
|
|
|
|
|
|
|
|
|
|
| Journal of Computer and System Sciences |
|
|
|
|
| J. R. Hobbs and D. A. Evans |
|
| Conversation as planned behaviour |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Zohar Manna and Richard Waldinger |
|
| A deductive approach to program synthesis |
|
|
|
|
|
|
|
|
|
|
| ACM Trans. on Prog. Lang. and systems |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| European Journal of Operational Research |
|
|
|
|
| G. Schmidt and T. Strohlein |
|
|
|
|
|
|
|
|
|
| Using Patterns and Plans in Chess |
|
|
|
|
|
|
|
|
|
|
| Journal of Computer and System Sciences |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Issues in knowledge-based problem solving |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Towards a model of representation changes |
|
|
|
|
|
|
| R. R. Tenney and N. R. Sandell |
|
| Structures for distributed decision-making |
|
|
|
|
|
|
|
|
| The temporal logic of concurrent programs |
|
|
| Theoretical Computer Science |
|
|
|
|
| V. R. Lesser and D. D. Corkill |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| J. R. Birk and R. B. Kelly |
|
|
|
|
|
|
|
| Zohar Manna and Richard Waldinger |
|
|
|
|
|
|
|
|
|
| Semantics of probabilistic programs |
|
|
| J. Computer and system sciences |
|
|
|
|
|
|
|
|
| Intl. J. man-machine studies |
|
|
|
|
|
|
| A Review of Process Synthesis |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Theoretical Computer Science |
|
|
|
|
|
|
|
|
| Cognition and Brain Theory |
|
|
|
|
|
|
| Ten years of Hoare's logic |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Reid G. Smith and R. Davis |
|
|
|
|
|
|
|
| W. A. Kornfeld and Carl Hewitt |
|
| The scientific community metaphor |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| IEEE Trans on Systems, Man and Cybernetics |
|
|
|
|
| Zohar Manna and Richard Waldinger |
|
|
|
| Science of Computer programming |
|
|
|
|
|
|
| Looping versus repeating in dynamic logic |
|
|
|
|
|
|
| M. J. Stefik and L. Conway |
|
|
|
|
|
|
|
| George W. Ernst and M. M. Goldstein |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| P. F. McCalla and G. Reid and L. Schneider |
|
|
|
| Int'l J of Man-Machine Studies |
|
|
|
|
|
|
|
|
|
|
|
|
| J. Pearl and A. Leal and J. Saleh |
|
|
|
|
|
|
|
|
|
| Decision trees and diagrams |
|
|
|
|
|
|
|
|
| Using Knowledge to Control Tree Searching |
|
|
|
|
|
|
|
|
|
|
| Intl. machine learning workshop 2 |
|
|
|
|
| D. Harel and D. Kozen and R. Parikh |
|
|
|
| J. Computer and systems science |
|
|
|
|
|
|
|
|
|
|
|
|
| M. Cayrol and B. Fade and H. Farreny |
|
|
|
| Pocitace a Umela Inteligencia |
|
|
|
|
|
|
| Symbolic error analysis and robot planning |
|
|
| Intl. J. of robotics research |
|
|
|
|
| M. Ben-Ari and J. Y. Halpern and A. Pnueli |
|
|
|
| J. Computer and system sciences |
|
|
|
|
|
|
|
|
|
|
|
|
| Randall Davis and Reid G. Smith |
|
|
|
|
|
|
|
|
|
|
|
| Comp. and Meth. with Appls. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Social theory and practice |
|
|
|
|
|
|
|
|
| Theoretical Computer Science |
|
|
|
|
|
|
| Results on the propositional mu-calculus |
|
|
| Theoretical Computer Science |
|
|
|
|
|
|
| Computer Aided Plant Operation |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Deterministic process logic is elementary |
|
|
|
|
|
|
| J. Adams and E. Balas and D. Zawack |
|
|
|
|
|
|
|