{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:32Z","timestamp":1725663812666},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545071"},{"type":"electronic","value":"9783540384205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54507-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:57:08Z","timestamp":1330210628000},"page":"84-98","source":"Crossref","is-referenced-by-count":1,"title":["Execution of defeasible temporal clauses for building preferred models"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Hunter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"8_CR1","unstructured":"Bacchus F, Tenenberg J, & Koomen J (1989) A non-reified temporal logic, Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann"},{"key":"8_CR2","unstructured":"Baker A (1989) A simple solution to the Yale shooting problem, Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann"},{"key":"8_CR3","first-page":"94","volume":"430","author":"H Barringer","year":"1990","unstructured":"Barringer H, Fisher M, Gabbay D, Gough G & Owens R (1990) MetateM: A framework for programming in temporal logic, in REX Workshop on Stepwise Refinement of Distributed Systems, LNCS 430, 94\u2013129, Springer","journal-title":"LNCS"},{"key":"8_CR4","unstructured":"Barringer H, Fisher M, Gabbay D, & Hunter A (1991) Meta-Reasoning in Executable Temporal Logic, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Fitting M (1983) Proof Methods for Modal and Intuitionistic Logics, Reidel","DOI":"10.1007\/978-94-017-2794-5"},{"key":"8_CR6","first-page":"409","volume":"398","author":"D Gabbay","year":"1989","unstructured":"Gabbay D (1989) The declarative past and imperative future: Executable temporal logic for interactive systems, in Banieqbal B, Barringer H, & Pnueli A, Proceedings of Colloquium on Temporal Logic in Specification, LNCS 398, 409\u2013448, Springer","journal-title":"LNCS"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Gabbay D, Hodkinson I, and Hunter A (1991) Using the temporal logic RDL for design specifications, in Yonezawa A, Concurrency: Theory, Language and Architecture, LNCS 491, Springer","DOI":"10.1007\/3-540-53932-8_44"},{"key":"8_CR8","volume-title":"KAL: A linear-ordered logic for non-monotonic reasoning","author":"A Hunter","year":"1990","unstructured":"Hunter A, (1990) KAL: A linear-ordered logic for non-monotonic reasoning, Draft paper, Imperial College, London"},{"key":"8_CR9","unstructured":"Kamp J (1968) Tense Logic and the Theory of Linear Order, PhD thesis, UCLA"},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski R & Sergot M, (1986) A logic-based calulus of events, New Generation Computing, 4, 67\u201395","journal-title":"New Generation Computing"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1093\/logcom\/1.2.159","volume":"1","author":"E Laenens","year":"1990","unstructured":"Laenens E & D Vermier (1990) A fixpoint semantics of ordered logics, Journal of Logic and Computation, 1, 159\u2013185","journal-title":"Journal of Logic and Computation"},{"key":"8_CR12","unstructured":"Shoham Y (1987) Reasoning About Change, MIT Press"},{"key":"8_CR13","first-page":"119","volume":"110\u2013111","author":"P Wolper","year":"1985","unstructured":"Wolper P (1985) The tableau method for temporal logic: an overview, Logique et Analyse, 110\u2013111, 119\u2013136","journal-title":"Logique et Analyse"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Artificial Intelligence Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54507-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:37Z","timestamp":1619572957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54507-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545071","9783540384205"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54507-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}