Using temporal hierarchies to efficiently maintain large temporal databases
暂无分享,去创建一个
[1] Steven Vere. Temporal Scope of Assertions and Window Cutoff , 1985, IJCAI.
[2] Eugene Charniak,et al. Artificial Intelligence Programming , 1987 .
[3] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[4] Kenneth M. Kahn,et al. Mechanizing Temporal Knowledge , 1977, Artif. Intell..
[5] Vladimir Lifschitz,et al. ON THE SEMANTICS OF STRIPS , 1987 .
[6] David P. Miller,et al. Hierarchical planning involving deadlines, travel time, and resources , 1988, Comput. Intell..
[7] Martín Abadi,et al. A Timely Resolution , 1986, LICS.
[8] Yoav Shoham,et al. A propositional modal logic of time intervals , 1991, JACM.
[9] Steven A. Vere,et al. Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[10] Ernest Davis,et al. Constraint Propagation with Interval Labels , 1987, Artif. Intell..
[11] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..
[12] Earl David Sacerdoti,et al. A Structure for Plans and Behavior , 1977 .
[13] Harry K. T. Wong,et al. The role of time in information processing: a survey , 1982, SGMD.
[14] David P. Miller,et al. The Forbin Paper. , 1987 .
[15] Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .
[16] Drew McDermott,et al. Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.
[17] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[18] Drew McDermott,et al. Planning Routes Through Uncertain Territory , 1983, Artif. Intell..
[19] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[20] Drew McDermott,et al. Temporal Data Base Management , 1987, Artif. Intell..
[21] Jitendra Malik,et al. Reasoning in Time and Space , 1983, IJCAI.
[22] William F. Clocksin,et al. Programming in Prolog , 1987, Springer Berlin Heidelberg.
[23] Thomas Dean,et al. Planning and temporal reasoning under uncertainty , 1984 .
[24] Austin Tate,et al. Generating Project Networks , 1977, IJCAI.
[25] Drew McDermott,et al. Flexibility and Efficiency in a Computer Program for Designing Circuits , 1976 .
[26] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[27] David Scott Warren,et al. Formal semantics for time in databases , 1982, TODS.
[28] Peter B. Ladkin,et al. The Completeness of a Natural System for Reasoning with Time Intervals , 1987, IJCAI.
[29] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[30] Stephen F. Smith. Exploiting Temporal Knowledge to Organize Constraints , 1983 .
[31] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[32] Henry A. Kautz,et al. Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.
[33] David Chapman,et al. Planning for Conjunctive Goals , 1987, Artif. Intell..
[34] T. L. Dean,et al. Reasoning about the effects of actions in automated planning systems , 1988 .
[35] Thomas L. Dean. Handling shared resources in a temporal data base management system , 1986, Decis. Support Syst..
[36] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.
[37] George W. Ernst,et al. GPS : a case study in generality and problem solving , 1971 .
[38] Peter Dadam,et al. Designing DBMS support for the temporal dimension , 1984, SIGMOD '84.
[39] J. McCarthy. Circumscription|a Form of Nonmonotonic Reasoning , 1979 .
[40] Bertram C. Bruce. A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..
[41] David E. Wilkins,et al. Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..
[42] Richard T. Snodgrass,et al. A temporal query language , 1987 .
[43] John McCarthy,et al. Circumscription—a form of non-monotonic reasoning , 1987 .
[44] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[45] Mark S. Boddy,et al. Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.