See this document in CiteSeerX!

Specification and Analysis of Real-time Problem Solvers (1993)  (Make Corrections)  (2 citations)
Babak Hamidzadeh, Shashi Shekhar
Software Engineering



  Home/Search   Context   Related

 
View or download:
umn.edu/research/shas...tse93.dynora.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  umn.edu/Researc...se93.dynora.abs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: There has been a recent rise in research on real-time problem solving algorithms in artificial intelligence (AI). A real-time AI problem solver performs a task or a set of tasks in two phases. During the first phase, the problem solver searches for a solution that, once executed, will satisfy the requirements of the task. We refer to this phase as the planning phase or the search phase. During the next phase, the problem solver executes the planned solution to achieve the desired results... (Update)

Context of citations to this paper:   More

.... on imprecise computation For combinatorial AI search problems, existing any time and time constrained algorithms (e.g. RTA 3 [14] DYNORAII [13] and TCA 3 [12] can be used to implement lower versions while optimal algorithms (e.g. A 3 [23] and IDA 3 [24] can be used to...

Cited by:   More
Temporal Reasoning for a Collaborative Planning Agent in.. - Hadad, Kraus, Gal, Lin (2002)   (Correct)
On Applying Imprecise Computation to Real-Time AI Systems - Chen (1995)   (Correct)

Active bibliography (related documents):   More   All
0.6:   DYNORAII: A Real-Time Planning Algorithm - Hamidzadeh, Shekhar (1992)   (Correct)
0.5:   Real-Time Search in Non-Deterministic Domains - Koenig, Simmons (1995)   (Correct)
0.5:   Functional Specification of Time Sensitive Communicating Systems - Broy (1995)   (Correct)

Similar documents based on text:   More   All
0.3:   Learning Transformation Rules for Semantic Query.. - Shekhar.. (1993)   (Correct)
0.2:   Teaching Accomplishments - Shashi Shekhar Department   (Correct)
0.2:   Dynamic Scheduling Techniques for Heterogeneous Computing.. - Hamidzadeh, Lilja, Atif (1995)   (Correct)

Related documents from co-citation:   More   All
2:   The Challenges of Real-Time AI - Musliner, Hendler et al. - 1995
2:   On scheduling with ready times and due dates to minimize maximum lateness (context) - McMahon, Florian - 1975

BibTeX entry:   (Update)

B. Hamidzadeh, and S. Shekhar, `Specification and analysis of real-time problem solvers,' IEEE Trans. Soft. Eng., August 1993, pp. 788--803. http://citeseer.ist.psu.edu/hamidzadeh93specification.html   More

@article{ hamidzadeh93specification,
    author = "Babak Hamidzadeh and Shashi Shekhar",
    title = "Specification and Analysis of Real-time Problem Solvers",
    journal = "Software Engineering",
    volume = "19",
    number = "8",
    pages = "788-803",
    year = "1993",
    url = "citeseer.ist.psu.edu/hamidzadeh93specification.html" }
Citations (may not include all citations):
1582   Scheduling Algorithms for Multiprogramming in a Hard Real-ti.. - Liu, Layland - 1973
1364   A Robust Layered Control System for a Mobile Robot (context) - Brooks - 1986
410   Principles of Artificial Intelligence (context) - Nilsson - 1980
402   An Analysis of Time Dependent Planning (context) - Dean, Boddy - 1988
316   Freeman and Company (context) - Garey, Johnson et al. - 1979
283   Random Graphs (context) - Bollobas - 1985
278   Depth-First Iterative Deepening : An Optimal Admissible Tree.. (context) - Korf - 1985
249   Artificial Intelligence (context) - Winston - 1984
218   Safety Analysis of Timing Properties in Real-Time Systems (context) - Jahanian, Mok - 1986
158   A Formal Basis For the Heuristic Determination of Minimum Co.. (context) - Hart, Nilsson et al. - 1968
150   Static Scheduling of Synchronous Data Flow Programs for Digi.. (context) - Lee, Messerschmitt - 1987
63   An Architecture for Intelligent Reactive System (context) - Kaelbling - 1987
60   Reflection and Action Under Scarce Resources: Theoretical Pr.. - Horvitz, Cooper et al. - 1989
59   Complexity Results for Multiprocessor Scheduling Under Resou.. (context) - Garey, Johnson - 1975
59   Complexity Results for Multiprocessor Scheduling Under Resou.. (context) - Garey, Johnson - 1975
58   Virtual Time CSMA Protocols for Hard Real-Time Communication (context) - Zhao, Ramamritham - 1987
52   On Scheduling Tasks with a Quick Recovery from Failure (context) - Krishna, Shin - 1986
50   Programming a Computer For Playing Chess (context) - Shannon - 1950
42   Nonmonotonic Reasoning (context) - Reiter - 1988
35   Anytime Problem Solving Using Dynamic Programming (context) - Boddy - 1991
35   Multiple-Access Protocols and TimeConstrained Communication (context) - Kurose, Schwartz et al. - 1984
34   Safety Analysis Using Petri Nets (context) - Leveson, Stolzy - 1987
31   Task Allocation in Fault-Tolerant Distributed Systems (context) - Bannister, Trivedi - 1983
23   RealTime Heuristic Search First Results (context) - Korf - 1987
20   RealTime Heuristic Search New Results (context) - Korf - 1988
19   Planning is Just a Way of Avoiding Figuring Out What to Do N.. (context) - Brooks - 1987
18   IEEE Transaction on Systems (context) - Payton, Rosenblatt et al. - 1990
11   Minimizing Response Times In Real Time Planning And Search (context) - Shekhar, Dutta - 1989
10   universal traversal sequences and the complexity of maze pro.. (context) - Aleliunas, Karp et al. - 1979
10   Channel Characteristics in Local Area Hard Real-Time Systems (context) - Ramamritham - 1987
8   Guaranteed Response Times in a Distributed Hard Real-Time En.. (context) - Leinbaugh, Yamini - 1986
5   Decision Theoretic Control of Reasoning: General Theory and .. (context) - Russell, Wefald - 1988
4   Adding Time to Synchronous Process Communications (context) - Lee, Davidson - 1987
3   Can Real-Time Search Algorithms Meet Deadlines (context) - Hamidzadeh, Shekhar - 1992
2   DYNORA: A Real-Time Planning Algorithm to Meet Response Time.. (context) - Hamidzadeh, Shekhar - 1991
2   IEEE Transactions on Software Engineering (context) - Hasse, of - 1981
1   Some Philosophic Problems from the Standpoint of Artificial .. (context) - McCarthy, Hayes - 1969
1   Exploring artificial intelligence (context) - Korf, of et al. - 1988
1   Timing Constraints of Real-Time Systems: Construcsts for Exp.. (context) - Dasarathy - 1985
1   Timing Requirements for Time-Drivern Systems Using Augmented.. (context) - Coolahan, Roussopoulus - 1983

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