{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:07:46Z","timestamp":1760202466104},"reference-count":45,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1016\/0169-023x(95)00011-g","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T16:52:26Z","timestamp":1053363146000},"page":"27-49","source":"Crossref","is-referenced-by-count":6,"title":["Dependable reactive event-oriented planning"],"prefix":"10.1016","volume":"16","author":[{"given":"J\u00fcrgen","family":"Dorn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"11","key":"10.1016\/0169-023X(95)00011-G_BIB1","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun. ACM"},{"key":"10.1016\/0169-023X(95)00011-G_BIB2","series-title":"Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning","first-page":"3","article-title":"Planing as temporal reasoning","author":"Allen","year":"1991"},{"key":"10.1016\/0169-023X(95)00011-G_BIB3","series-title":"Proc. IFIP WG 5.4 Workshop on Dependability of Artificial Intelligence Systems","first-page":"73","article-title":"Deep knowledge and rigorous engineering practice: Two ingredients to build dependable knowledge based systems for industrial process control","author":"Bologna","year":"1991"},{"key":"10.1016\/0169-023X(95)00011-G_BIB4","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","article-title":"Planning for conjunctive goals","volume":"32","author":"Chapman","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/0169-023X(95)00011-G_BIB5","first-page":"32","article-title":"Trial by fire: Understanding the design requirements for agents in complex environments","volume":"10","author":"Cohen","year":"1989","journal-title":"AI Mag."},{"key":"10.1016\/0169-023X(95)00011-G_BIB6","series-title":"Proc. 10th National Conf. on Artificial Intelligence","first-page":"375","article-title":"Achieving the functionality of filter conditions in a partial order planner","author":"Collins","year":"1992"},{"key":"10.1016\/0169-023X(95)00011-G_BIB7","series-title":"Proc. 7th Nat. Conf. on Artificial Intelligence","first-page":"49","article-title":"An analysis of time dependent planning","author":"Dean","year":"1988"},{"key":"10.1016\/0169-023X(95)00011-G_BIB8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-84182-7","article-title":"Wissensbasierte Echtzeitplanung","author":"Dorn","year":"1989"},{"key":"10.1016\/0169-023X(95)00011-G_BIB9","series-title":"Proc. IFIP WG 5.4 Workshop on Dependability of Artificial Intelligence Systems","first-page":"237","article-title":"Learning and performing hard real-time skills","author":"Dorn","year":"1991"},{"key":"10.1016\/0169-023X(95)00011-G_BIB10","series-title":"Proc. 1st World Congress on Expert Systems","first-page":"395","article-title":"An expert system for scheduling in a steelmaking plant","author":"Dorn","year":"1991"},{"key":"10.1016\/0169-023X(95)00011-G_BIB11","series-title":"Proc. 3rd Int. Conf. On Data and Knowledge Systems for Manufacturing and Engineering","first-page":"355","article-title":"Using scripts for reactive planning","author":"Dorn","year":"1992"},{"key":"10.1016\/0169-023X(95)00011-G_BIB12","series-title":"Proc. 10th Nat. Conf. on Artificial Intelligence","first-page":"735","article-title":"Temporal reasoning in sequence graphs","author":"Dorn","year":"1992"},{"key":"10.1016\/0169-023X(95)00011-G_BIB13","series-title":"Proc. 11th Europ. Conf. on Artificial Intelligence","first-page":"619","article-title":"Hybrid temporal reasoning","author":"Dorn","year":"1994"},{"key":"10.1016\/0169-023X(95)00011-G_BIB14","series-title":"Intelligent Scheduling","first-page":"629","article-title":"Flow shop with compatability constraints in a steel making plant","author":"Dorn","year":"1994"},{"key":"10.1016\/0169-023X(95)00011-G_BIB15","series-title":"Proc. 13th Int. Joint Conf. on Artificial Intelligence","first-page":"1408","article-title":"Reaction-first search","author":"Drummond","year":"1993"},{"key":"10.1016\/0169-023X(95)00011-G_BIB16","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A new approach to the application of theorem proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(95)00011-G_BIB17","series-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"10.1016\/0169-023X(95)00011-G_BIB18","series-title":"Proc. 8th Nat. Conf. on Artificial Intelligence","first-page":"677","article-title":"Reactive reasoning and planning","author":"Georgeff","year":"1989"},{"key":"10.1016\/0169-023X(95)00011-G_BIB19","series-title":"Proc. 10th Nat. Conf. on Artificial Intelligence","first-page":"486","article-title":"Can real-time search algorithms meet deadlines?","author":"Hamidzadeh","year":"1992"},{"issue":"2","key":"10.1016\/0169-023X(95)00011-G_BIB20","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","article-title":"A formal basis for the heuristic determination of minimum cost paths","volume":"SSC-4","author":"Hart","year":"1968","journal-title":"IEEE Trans. Systems, Science, and Cybernet"},{"key":"10.1016\/0169-023X(95)00011-G_BIB21","series-title":"Proc. 1986 Workshop: Reasoning about Actions and Plans","article-title":"An architecture for intelligent reactive systems","author":"Kaebling","year":"1987"},{"issue":"No 82","key":"10.1016\/0169-023X(95)00011-G_BIB22","article-title":"An architecture for a maintainable real time system (MARS)","author":"Kopetz","year":"1982","journal-title":"Technical Report TU Berlin"},{"key":"10.1016\/0169-023X(95)00011-G_BIB23","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(90)90054-4","article-title":"Real-tome heuristic search","volume":"42","author":"Korf","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0169-023X(95)00011-G_BIB24","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"4","author":"Kowalski","year":"1986","journal-title":"New Generation Comput."},{"key":"10.1016\/0169-023X(95)00011-G_BIB25","series-title":"Proc. 9th Nat. Conf. on Artificial Intelligence","first-page":"692","article-title":"Characterizing abstraction hierarchies for planning","author":"Knoblock","year":"1991"},{"key":"10.1016\/0169-023X(95)00011-G_BIB26","first-page":"27","article-title":"Real-time knowledge-based systems","author":"Laffey","year":"1988","journal-title":"AI Mag."},{"key":"10.1016\/0169-023X(95)00011-G_BIB27","article-title":"Modellierung einer Eisenbahnanlage mit Skripten","author":"Langermann","year":"1988"},{"key":"10.1016\/0169-023X(95)00011-G_BIB28","first-page":"300","article-title":"Strict implication: An emendation","volume":"17","author":"Lewis","year":"1920","journal-title":"J. Philosophy"},{"key":"10.1016\/0169-023X(95)00011-G_BIB29","series-title":"Proc. 10th Nat. Conf. on Artificial Intelligence","first-page":"590","article-title":"Concurrent actions in the situation calculus","author":"Lin","year":"1992"},{"issue":"2","key":"10.1016\/0169-023X(95)00011-G_BIB30","doi-asserted-by":"crossref","first-page":"58","DOI":"10.3233\/AIC-1990-3204","article-title":"Knowledge based systems validation: A state of the art","volume":"3","author":"Lopez","year":"1990","journal-title":"AI Commun."},{"key":"10.1016\/0169-023X(95)00011-G_BIB31","first-page":"403","article-title":"Programs with common sense","volume":"4","author":"McCarthy","year":"1969"},{"key":"10.1016\/0169-023X(95)00011-G_BIB32","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","article-title":"A temporal logic for reasoning about processes and plans","volume":"6","author":"McDermott","year":"1982","journal-title":"Cognitive Sci."},{"key":"10.1016\/0169-023X(95)00011-G_BIB33","article-title":"Ein Skriptverarbeitungssystem basierend auf Pr\u00e4dikatenlogik","author":"Neubert","year":"1987"},{"key":"10.1016\/0169-023X(95)00011-G_BIB34","first-page":"67","article-title":"Knowledge base verification","author":"Nguyen","year":"1987","journal-title":"AI Mag."},{"issue":"4","key":"10.1016\/0169-023X(95)00011-G_BIB35","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/MEX.1987.5006538","article-title":"Validating expert system performance","volume":"2","author":"O'Keefe","year":"1987","journal-title":"IEEE Expert"},{"issue":"3","key":"10.1016\/0169-023X(95)00011-G_BIB36","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/64.54674","article-title":"Expert system security","volume":"5","author":"O'Leary","year":"1990","journal-title":"IEEE Expert"},{"key":"10.1016\/0169-023X(95)00011-G_BIB37","first-page":"1364","article-title":"A formal logic of plans in temporally rich domains","volume":"74","author":"Pelavin","year":"1986"},{"key":"10.1016\/0169-023X(95)00011-G_BIB38","first-page":"383","article-title":"Propagating temporal constraints for scheduling","author":"Rit","year":"1986"},{"key":"10.1016\/0169-023X(95)00011-G_BIB39","series-title":"A Structure for Plans and Behavior","author":"Sacerdoti","year":"1977"},{"key":"10.1016\/0169-023X(95)00011-G_BIB40","series-title":"Scripts, Plans, Goals and Understanding","author":"Schank","year":"1977"},{"key":"10.1016\/0169-023X(95)00011-G_BIB41","series-title":"Proc. 10th Int. Joint Conf. on Artificial Intelligence","first-page":"1039","article-title":"Universal plans for reactive robots in unpredictable domains","author":"Schoppers","year":"1987"},{"key":"10.1016\/0169-023X(95)00011-G_BIB42","series-title":"Proc. 10th Nat. Conf. on Artificial Intelligence","first-page":"500","article-title":"Real-time metareasoning with dynamic trade-off evaluation","author":"Schwuttke","year":"1992"},{"key":"10.1016\/0169-023X(95)00011-G_BIB43","series-title":"Proc. 1st Int. Conf. on Principles of Knowledge Representation and Reasoning","first-page":"475","article-title":"Inheritance in automated planning","author":"Tenenberg","year":"1990"},{"key":"10.1016\/0169-023X(95)00011-G_BIB44","series-title":"Proc. IEEE Conf. on Tools for Artificial Intelligence","first-page":"314","article-title":"TCA\u2217 \u2014 A time-constrained approximate A\u2217 search algorithm","author":"Wah","year":"1990"},{"key":"10.1016\/0169-023X(95)00011-G_BIB45","series-title":"Proc. IFIP WG 5.4 Workshop in Dependability of Artificial Intelligence Systems","first-page":"121","article-title":"Expert systems design method supporting verification","author":"Yen","year":"1991"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9500011G?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X9500011G?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T01:30:45Z","timestamp":1579051845000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X9500011G"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["0169023X9500011G"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(95)00011-g","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}