Marcel Antoine Becker  Home/Search
Context Related
| cmu.edu/afs/cs/use...is_Structure.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: jprc.com/Artificial_Intel...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis addresses the problem of building software applications for planning and scheduling systems. Most planning and scheduling problems are NP-complete even for simplified formulations. The practical utilization of planning and scheduling systems as decision support tools requires not only dealing with this computational complexity in a reasonable way but also considering the uncertainties associated with executing plans and schedules in a real environment. Given the complexity of... (Update)
Context of citations to this paper: More
...to quickly respond to requirement changes resulting from increased user exposure and evolving AMC business processes and policies. domains(Becker 1998) have flexibility Concerning the effort involved in this transition, the greatest challenge has been, and remains, to create a...
.... In other systems single resources, e.g. the Hubble telescope, or a set of specific transportation orders, e.g. the DITOPS system [7, 8], are tackled. However, within many industrial enterprises the production processes are distributed over several manufacturing sites, which...
Cited by: More
Integrating Transportation in a Multi-Site Scheduling.. - Sauer, Appelrath (2000) (Correct)
Mixed-Initiative Resource Management: The AMC Barrel Allocator - Becker, Smith (2000) (Correct)
Similar documents (at the sentence level):
8.8%: An Ontology for Multi-Modal Transportation Planning and.. - Becker, Smith (1997) (Correct)
Active bibliography (related documents): More All
1.5: An Ontology for Constructing Scheduling Systems - Smith, Becker (1997) (Correct)
0.7: Capability Representations for Brokering: A Survey - Wickler, Tate (1999) (Correct)
0.6: The Representation Problem in Reverse Engineering - Rugaber, Clayton (1993) (Correct)
Similar documents based on text: More All
0.6: A New Technique Enables Dynamic Replanning of Aeromedical.. - Kott, Saks, Mercer (1999) (Correct)
0.5: Continuity-Guided Regeneration: An Approach To Reactive.. - Kott, Saks (1996) (Correct)
0.5: Initial Experimental Results - Continuity-Guided (1996) (Correct)
Related documents from co-citation: More All
2: Mixed-Initiative Systems for Planning and Scheduling (context) - Smith, Lassila et al. - 1996
BibTeX entry: (Update)
M.A. Becker. Reconfigurable Architectures for MixedInitiative Planning and Scheduling. PhD thesis, Graduate School of Industrial Administration and The Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, July 1998. http://citeseer.ist.psu.edu/becker98reconfigurable.html More
@misc{ becker98reconfigurable,
author = "M. Becker",
title = "Reconfigurable Architectures for MixedInitiative Planning and Scheduling",
text = "M.A. Becker. Reconfigurable Architectures for MixedInitiative Planning
and Scheduling. PhD thesis, Graduate School of Industrial Administration
and The Robotics Institute, Carnegie Mellon University, Pittsburgh, PA,
July 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/becker98reconfigurable.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
702 Consistency in networks of relations (context) - Mackworth - 1977
484 Common Lisp The Language (context) - Steele - 1990
451 Planning for conjunctive goals (context) - Chapman - 1987
444 Towards a general theory of action and time (context) - Allen - 1984
423 The Art of the Metaobject Protocol (context) - Kiczales, Riviares et al. - 1991
366 The Sciences of the Artificial (context) - Simon - 1981
366 The Sciences of the Artificial (context) - Simon - 1981
338 Foundations for the study of software architec- ture - Perry, Wolf - 1992
318 Towards principles for the design of ontologies used for kno.. - Gruber - 1993
297 A calculus for mobile processes (context) - Milner, Parrow et al. - 1992
244 Abstractions for software architecture and tools to support .. - Shaw, DeLine et al. - 1995
225 Learning and executing generalized robot plans (context) - Fikes, Hart et al. - 1981
213 An introduction to software architecture (context) - Garlan, Shaw - 1994
210 Minimizing con- flicts: a heuristic repair method for constr.. - Minton, Johnston et al. - 1992
204 KIDS: A semiautomatic program development system - Smith - 1990
200 Knowledge Interchange Format (context) - Genesereth, Fikes - 1991
195 The design and implementation of hierar- chical software sys.. - Batory, O'Malley - 1992
193 Specification and analysis of system architecture using Rapi.. - Luckham, Kenney et al. - 1995
192 Specifying distributed software architectures - Magee, Dulay et al. - 1995
169 Artificial Intelligence - Newell, level - 1982
149 Heuristic classification (context) - Clancey - 1985
134 Limited discrepancy search - Harvey, Ginsberg - 1995
134 Integrating planning and learning: The PRODIGY architecture - Veloso, Carbonell et al. - 1995
126 Components of expertise (context) - Steels - 1990
121 A Formal Approach to Software Architecture - Allen - 1997
117 ACME: An architecture description interchange language - Garlan, Monroe et al. - 1997
117 The Timeless Way of Building (context) - Alexander - 1979
112 Ontolingua: A mechanism to support portable ontologies - Gruber - 1992
101 Domain independent planning: Representation and plan generat.. - Wilkins - 1984
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1986
92 Monographs in COmputer Science (context) - Abadi, Cardelli et al. - 1996
88 Software's chronic crisis (context) - Gibbs - 1994
70 Scheduling and rescheduling with iterative repair (context) - Zweben, Davis et al. - 1992
69 A framework for classifying and comparing architecture descr.. - Medvidovic, Taylor - 1997
64 Communications of the ACM (context) - Kowalski, logic - 1979
53 OPIS: A methodology and architecture for reactive scheduling (context) - Smith - 1994
53 The GenVoca model of software system generators (context) - Batory, Singhal et al. - 1994
53 Opis: a methodology and architecture for reactive scheduling (context) - Smith - 1992
49 GPS: a program that simulates human thought (context) - Newell, Simon - 1963
42 Composition validation and subjectivity in GenVoca generator.. - Batory, Geraci - 1997
41 An ontology for engineering mathematics (context) - Gruber - 1994
41 worth ten thousand words (context) - Larkin, Simon et al. - 1987
41 Isis: A knowledge-based system for factory scheduling (context) - Fox, Smith - 1984
41 A common-sense model of the enterprise - Fox, Chionglo et al. - 1993
37 Automatically configuring constraint satisfaction programs: .. - Minton - 1996
35 Collaborative ontology con- struction for information integr.. - Farquhar, Fikes et al. - 1995
35 Heuristic Scheduling Systems (context) - Morton, Penrico - 1993
35 An automatic technique for selection of data representationa.. (context) - Schonberg, Scwartz et al. - 1986
33 The structure of ill structured problems - Simon - 1973
32 Multiagent planning architecture - Wilkins, Myers et al. - 1996
31 Towards a methodology for building ontologies - Uschold - 1995
29 Software Construction Using Components - Neighbors - 1981
29 The domain-specific software archi- tecture program (context) - Mettala, Graham - 1992
28 Automatic programming: Myths and prospects (context) - Rich, Waters - 1988
27 A formal approach to domain-oriented software design environ.. (context) - Lowry, Philpot et al. - 1994
25 A blackboard architecture for control (context) - Hayes-Roth - 1985
25 Towards a taxonomy of problem solving types (context) - Chandrasekaran - 1983
24 Strategic advice for hierarchical planners - Myers - 1996
24 Domain analysis concepts and re- search directions (context) - Arango, Prieto-Dfaz - 1991
23 Ontologies for enterprise integration - Fox, Gruninger - 1994
21 METHONTOLOGY: From ontological art towards ontological engin.. (context) - Fernandez, mez-Parez et al. - 1997
20 Research on knowledge-based software environments at Kestrel.. (context) - Smith, Kotik et al. - 1985
20 Components of problem solving and types of problems (context) - Breuker - 1994
19 Knowledge-based production management: Approaches (context) - Smith - 1992
19 Workflow management coalition: The workflow reference model (context) - Hollingsworth - 1994
19 Configurable systems for reactive production management - Smith, Lassila - 1994
19 Feature- oriented domain analysis: Feasibility study (context) - Kang, Cohen et al. - 1990
18 Success factors of systematic reuse (context) - Frakes, Isoda - 1994
18 Assumptions of problem-solving methods - Benjamins, Pierret-Golbreich - 1996
17 Comparing architectural design styles (context) - Shaw - 1995
17 TRAINS-95: Towards a mixed- initiative planning assistant - Ferguson, Allen et al. - 1996
17 conceptual analysis and knowledge representa- tion (context) - Guarino - 1995
17 Automating Software Design (context) - Lowry, McCartney - 1991
17 Automatic Knowledge Acquisition for' Expert Systems (context) - Marcus - 1988
17 Scientific programming by automated synthesis (context) - Kant, Daube et al. - 1991
17 Domain analysis methods (context) - Arango - 1994
17 Building ontologies: Towards a unified methodology - Uschold - 1996
17 The ontology of tasks and methods - Chandrasekaran, Josephson - 1997
17 An approach to resource constrained project scheduling - Crawford - 1996
16 An experiment in knowledge-based automatic programming (context) - Barstow - 1986
16 year perspective on automatic programming (context) - Balzer - 1985
16 Learn- ing to improve constraint-based scheduling (context) - Zweben, Davis et al. - 1992
15 Inside the loom classifier (context) - MacGregor - 1991
15 Salient features of an executable specification lan- guage (context) - Zave, Schell - 1986
14 An inte- grated framework for generating and revising factor.. (context) - Smith, Ow et al. - 1990
14 Data and Knowledge Engineering (context) - Studer, Benjamins et al. - 1998
14 An architecture for real-time distributed scheduling (context) - Hadavi, Hsu et al. - 1992
14 An ontology for constructing scheduling systems - Smith, Becker - 1997
12 The programmer's apprentice: A session with KBEmacs (context) - Waters - 1986
12 Control knowledge to improve plan quality (context) - Perez, Carbonell - 1994
11 Software prototyping using the SETL programming language (context) - Krutchen, Schonberg et al. - 1984
11 Towards the development of flexible mixed- initiative transp.. - Smith, Lassila - 1994
11 Reusability through program transformation (context) - Cheatham - 1986
10 Classifying software for reusabil- ity (context) - Prieto-Dfaz, Freeman - 1987
10 The OPIS framework for modeling manufacturing systems (context) - Smith - 1989
10 A domain-specific software architecture engineering process .. - Tracz - 1993
8 a role of problem-solving methods in knowledge acquisitions .. (context) - Benjamins - 1994
8 SONIA: a knowledge-based scheduling system (context) - Collinot, Le Pape et al. - 1988
8 Automatic compilation of logical specifications into efficie.. (context) - Cohen - 1987
7 On ontologies and enterprise modelling - Fox, Gruninger - 1997
7 What is mixed-initiative interaction (context) - Novick, Sutton - 1997
7 Criteria for comparing reuse-oriented domain analysis approa.. (context) - Wartik - 1992
7 Rescheduling with iterative repair (context) - Zweben, Davis et al. - 1992
6 Reusable software component construction: A product-oriented.. (context) - McCain - 1991
6 Using patterns to improve our architectural vision (context) - Kerth, Cunningham - 1997
6 Using ontologies for defining tasks (context) - Fensel, Motta - 1997
6 Domain analysis and domain engineering in IDEA (context) - Lubars - 1991
6 Domain analysis: Framework for reuse (context) - Moore, Bailin - 1991
6 Problem-solving methods: Making assumptions for efficiency r.. - Fensel, Straatman - 1996
6 The KADS knowledge modelling approach (context) - Wielinga, Velde et al. - 1992
6 Solving large-scale constraint satisfaction scheduling probl.. (context) - Minton, Johnston et al. - 1992
6 A perspective on automatic programming (context) - Barstow - 1986
6 Computing Surveys (context) - Krueger - 1992
5 Mapping a domain model and architecture to a generic design (context) - Peterson, Stanley - 1994
5 Framework and formalism for ex- pressing ontologies (context) - Wielinga, Schreiber et al. - 1994
5 Describing reusable problem-solving methods with a method on.. - Coelho, Lapaline - 1996
5 An activity ontology for enterprise mod- eling (context) - Gruninger, Fox - 1994
5 A method-description lan- guage: An initial ontology with ex.. - Gennari, Grosso et al. - 1998
5 A cost ontology for enterprise mod- elling - Tham, Fox et al. - 1994
5 Integrating 001 tool support into the feature oriented domai.. (context) - Jr - 1993
5 Key issues for automated problem- solving methods reuse - Fensel, Benjamins - 1998
5 Automatic programming for device-control software (context) - Barstow - 1991
5 Knowledge-based software engineering: Where we are and where.. (context) - McCartney - 1991
5 Synthesis of schedulers for planned shutdowns of power plant.. - Gomes, Smith et al. - 1996
4 What is style - Garlan - 1995
4 Synthesis of planning and schedul- ing software - Smith, Parra et al. - 1996
4 DSSA frequently asked questions (context) - Tracz - 1994
4 Formal models of quality and ISO 9000 compliance: An informa.. - Kim, Fox - 1994
4 Exploiting local flexibility during execution of pre-compute.. (context) - Smith, Keng et al. - 1990
4 The TOVE project: Towards a common-sense model of the enterp.. (context) - Fox - 1992
4 Assignment and scheduling (context) - Sundin - 1994
3 An exploratory prototype for aero- medical evacuation planni.. (context) - Lassila, Becker et al. - 1996
3 Architectural styles (context) - Monroe, Kompanek et al. - 1997
3 Coordinating space telescope operations within an integrated.. (context) - Muscettola, Smith et al. - 1992
3 The state of the art in ontology design: A comparative revie.. (context) - Noy, Hafner - 1997
3 The enterprise ontology v (context) - Uschold, King et al. - 1996
2 Perspectives in Artificial Intelligence (context) - Jagannathan, Dodhiawala et al. - 1989
2 Status report: Software reusability (context) - Prieto-Dfaz - 1993
2 Mass produced software components (context) - Mcllroy - 1968
2 Use of the model equational language and program generator b.. (context) - Prywes, Lock - 1989
2 Technical Report AIAI-TR (context) - Uschold, Gruninger et al. - 1996
2 Generic tasks in expert system design and their role in expl.. (context) - Chandrasekaran - 1985
2 Workflow management coalition: Terminology &; glossary (context) - Coalition - 1996
2 Practical software synthesis (context) - Setlift, Kant et al. - 1993
2 A pattern-based applica- tion generator for building simulat.. (context) - Schuetze, Riegel et al. - 1997
2 Large scale systems require higher level abstractions (context) - Shaw - 1989
1 Models and techniuqes for dynamic demand re- sponsive transp.. (context) - Sadeh, Kott - 1996
1 Resource constrained project scheduling: Planning and schedu.. (context) - Fox, Ringer - 1995
1 Ham A new heuristic solution method in resource-constrained .. (context) - Bell - 1991
1 Grad- uate School Of Industrial Administration (context) - Becker, reactive et al. - 1993
1 Agenda task scheduling for the JFACC-After-Next workflow man.. (context) - Smith, Hildum et al. - 1998
1 Adaptative search for solving hard project scheduling proble.. (context) - Kolisch, Drexl - 1996
1 Building Ezpert Systems (context) - Hayes-Roth, Waterman et al. - 1983
1 A constrained-based framework for reactive management of fac.. (context) - Smith - 1987
1 A domain-specific software architecture for adaptative intel.. (context) - Hayes-Roth, Pfieger et al. - 1995
1 Automatic programming through natural language dialogue: A s.. (context) - Heirdon - 1986
1 Knowledge acquisition techniques and tools: Current research.. (context) - Boose - 1988
1 A pattern language for concur- rent and distributed control .. (context) - Menga, Brugali et al. - 1997
1 Constraint propagation in planning and scheduling (context) - Le rape - 1991
1 Implementation of resource constraints in ILOG schedule: A l.. (context) - Le rape - 1994
1 Software engineering: Stretching the limits of complexity (context) - Leveson - 1997
1 The rlF process interchange format and framework (context) - Lee, Yost et al. - 1996
1 Towards a method to conceptualize domain ontologies (context) - Gemez-Parez, Farnandez et al. - 1996
1 volume 21 of Frotiers i Artificial Itelligewe ad Applicatios (context) - Breuker, Velde et al. - 1994
1 Preliminary stept towards a taxonomy of problem-solving meth.. (context) - McDermott - 1988
1 The Draco approach to constructing software fi'om reusable c.. (context) - Neighbors - 1986
1 Configurability and reuse in scheduling system design (context) - Smith, Becker - 1997
1 The growing of an Organon: A hibrid knowledge-based technolo.. (context) - Simos - 1991
1 and Procedures for Theater Air- lift Operations (context) - Joint, Techniques - 1995
1 PattermOrieted Software Architecture: A System of Patter (context) - Bushmann, Meunier et al. - 1996
1 tologies and the configuration of problem-solving methods (context) - Studer, Eriksson et al. - 1996
1 Level 6: Why can't get there from here (context) - Gilb - 1996
1 Domain analysis for reusability (context) - Prieto-Dfaz - 1987
1 Configuring and coordinating system avtivity whithin OZONE (context) - Smith - 1996
1 Sealift Sup- port to Joint Operations (context) - Joint, Techniques et al. - 1996
1 Patient Movement in Joint Operations (context) - Joint, Techniques et al. - 1996
1 and Procedures for' Movement Control (context) - Joint, Techniques - 1996
1 Planning Initiative Shared Planning and Activity Representat.. (context) - Tare - 1997
1 Implementing MBSE in your organization: An approach to domai.. (context) - Whirhey - 1994
1 Reusable and shatable knowl- edge bases: A european perspect.. (context) - Wielinga, Schreiber - 1993
1 Towards a plan ontology (context) - Tare - 1996
1 Representing plans as a set of constraints the <I-N-OVA> mod.. (context) - Tare - 1996
1 Component provider's and tool de- veloper's handbook central.. (context) - Nilson, Kogut et al. - 1994
1 Architectural ntismatch: Why reuse is so hard (context) - Garlan, Allen et al. - 1995
1 an open architecture for command (context) - Tare, Drabble et al. - 1994
1 A Guide to the Theow of NP-Completeness (context) - Garey, Johnson et al. - 1979
1 mixed-initiative sys- tems for planning and scheduling (context) - Smith, Lassila et al. - 1996
1 Practical Plamig (context) - Wilkins - 1988
1 JFT ATD core plan representation (context) - Pease, Carrico - 1997
1 MACMERL: Mixed- initiative scheduling with coincident proble.. (context) - Prietula, Hsu et al. - 1994
1 Characteristics of high-level languages for soft- ware archi.. (context) - Shaw, Garlan - 1994
1 Ninth European Knowledge Acquisition Workshop (context) - Shadbolt, Schreiber et al. - 1996
1 Domain analysis: From art to engineering (context) - Arango - 1989
1 Systematic Itroductio to Expert Systems (context) - Puppe - 1993
1 Software Egieerig: The Productio of Software Quality (context) - Pfieeger - 1991
1 object-orieted software developmet (context) - Pree, for - 1995
1 Mc Craw Hill Inc (context) - Rich, Knight - 1993
1 Americaz Heritage Dictiozary (context) - Cobuild
1 Unified process language: Require- ments for modeling proces.. (context) - Schlenoff, Knutilla et al. - 1996
[Article contains additional citations not shown here]
Documents on the same site (http://www.cora.jprc.com/Artificial_Intelligence/Planning/index.html): More
Preferential Semantics for Goals - Wellman, Doyle (1991) (Correct)
Planning in a Complex Real Domain - Ricci, Perini, Avesani (1993) (Correct)
Lazy Incremental Learning of Control Knowledge for.. - Borrajo, Veloso (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC