{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:20:27Z","timestamp":1725495627288},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052948","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:38:58Z","timestamp":1149651538000},"page":"39-52","source":"Crossref","is-referenced-by-count":1,"title":["Default connections in a modal planning framework"],"prefix":"10.1007","author":[{"given":"Bertram","family":"Fronh\u00f6fer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bibel, W.: Automated Theorem Proving, (second edition), Vieweg 1986.","DOI":"10.1007\/978-3-322-90102-6"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF03037438","volume":"4","author":"W. Bibel","year":"1986","unstructured":"Bibel, W.: A Deductive Solution for Plan Generation, New Generation Computing, 4 (1986) 115\u2013132.","journal-title":"New Generation Computing"},{"key":"4_CR3","unstructured":"Fronh\u00f6fer, B.: On Refinements of the Connection Method, COLLOQUIA MATHEMATICA SOCIETATIS JANOS BOLYAI 42, Algebra, Combinatorics and Logic in Computer Science, Gy\u00f6r, Hungary, 1983, pp. 391\u2013401."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF03037463","volume":"5","author":"B. Fronh\u00f6fer","year":"1987","unstructured":"Fronh\u00f6fer, B.: Linearity and Plan Generation, New Generation Computing 5 (1987) 213\u2013225.","journal-title":"New Generation Computing"},{"key":"4_CR5","unstructured":"Fronh\u00f6fer, B.: Default Connections in a Modal Planning Framework, Technical Report FKI-108-89, Institut f\u00fcr Informatik, TU M\u00fcnchen."},{"key":"4_CR6","unstructured":"Jackson, P.; Reichgelt, H.: A General Proof Method for First-Order Logic, IJCAI-87, 10th International Joint Conference on Artificial Intelligence, Milan, Italy, August 87 (J.McDermott, ed.) pp. 942\u2013944."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Ohlbach, H.-J.: A Resolution Calculus for Modal Logics, CADE-88, Argonne, Illinois, USA, May 1988 (E. Lusk, R. Overbeek, eds.) pp. 500\u2013516.","DOI":"10.1007\/BFb0012852"},{"key":"4_CR8","unstructured":"Wallen, L.: Matrix Proof Methods for Modal Logics, IJCAI-87, 10th International Joint Conference on Artificial Intelligence, Milan, Italy, August 87 (J. McDermott, ed.) pp. 917\u2013923."}],"container-title":["Lecture Notes in Computer Science","European Workshop on Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052948.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:00:05Z","timestamp":1607551205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052948"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540543640"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0052948","relation":{},"subject":[]}}