{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:51:02Z","timestamp":1725666662555},"publisher-location":"London","reference-count":35,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197836"},{"type":"electronic","value":"9781447134213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3421-3_15","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T07:42:32Z","timestamp":1331192552000},"page":"263-295","source":"Crossref","is-referenced-by-count":0,"title":["An Amalgamated Temporal Logic"],"prefix":"10.1007","author":[{"given":"Yuejun","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Barry","family":"Richards","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Theoretical Computer Science 52","volume-title":"The power of temporal proofs","author":"M Abadi","year":"1989","unstructured":"M Abadi (1989) \u201cThe power of temporal proofs\u201d Theoretical Computer Science 52."},{"key":"15_CR2","series-title":"CACM 26 Vol 11","volume-title":"Maintaining knowledge about temporal intervals","author":"J Allen","year":"1983","unstructured":"J Allen (1983) \u201cMaintaining knowledge about temporal intervals\u201d CACM 26 Vol 11."},{"doi-asserted-by":"crossref","unstructured":"J Allen (1984) \u201cTowards a general theory of action and time\u201d Journal of Artificial Intelligence 23.","key":"15_CR3","DOI":"10.1016\/0004-3702(84)90008-0"},{"unstructured":"J Allen & P Hayes (1987) \u201cMoments and points in an interval-based temporal logic\u201d IJCAI 87.","key":"15_CR4"},{"doi-asserted-by":"crossref","unstructured":"Y Auffray et al (1990) \u201cStrategies for modal resolution: results and problems\u201d Journal of Automated Reasoning.","key":"15_CR5","DOI":"10.1007\/BF00302639"},{"doi-asserted-by":"crossref","unstructured":"F Baccus, J Tenenberg & J Koomen (1991) \u201cA non-reified temporal logic\u201d Journal of Artificial Intelligence 52.","key":"15_CR6","DOI":"10.1016\/0004-3702(91)90025-F"},{"key":"15_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J Benthm van","year":"1983","unstructured":"J van Benthm (1983) The Logic of Time Reidel Publishing Co."},{"key":"15_CR8","volume-title":"Handbook of Philosophical Vol 2","author":"J Benthem van","year":"1984","unstructured":"J van Benthem (1984) \u201cCorrespondence Theory\u201d in D Gabbay & F Guenthner (eds), Handbook of Philosophical Vol 2 Reidel Publishing Co."},{"key":"15_CR9","volume-title":"PhD thesis, University of Edinburgh","author":"P Blackburn","year":"1990","unstructured":"P Blackburn (1990) Reasoning in and about Time PhD thesis, University of Edinburgh."},{"key":"15_CR10","volume-title":"Logic Programming","author":"K Bowen","year":"1982","unstructured":"K Bowen & R Kowalski (1982) \u201cAmalgamating language and metalanguage in logic programming\u201d in K Clark, S Tarnlund (eds.) Logic Programming Academic Press."},{"key":"15_CR11","volume-title":"Handbook ofPhilosophical Logic Vol 2","author":"J Burgess","year":"1984","unstructured":"J Burgess (1984) \u201cBasic tense logic\u201d in D Gabbay & F Guenthner (eds), Handbook ofPhilosophical Logic Vol 2 Reidel Publishing Co."},{"key":"15_CR12","series-title":"Studia Logica","volume-title":"Modal Theorem Proving and its applications to epistemic and temporal logics","author":"F Cerro Del","year":"1992","unstructured":"F Del Cerro & A Herzberg (1992) \u201cModal Theorem Proving and its applications to epistemic and temporal logics\u201d Studia Logica, to appear."},{"doi-asserted-by":"crossref","unstructured":"T Dean & D McDermott (1987) \u201cTemporal database management\u201d Journal of Artificial Intelligence 32.","key":"15_CR13","DOI":"10.1016\/0004-3702(87)90061-0"},{"doi-asserted-by":"crossref","unstructured":"A Galton (1990) \u201cA critical examination of Allen\u2019s theory of action and time\u201d Journal of Artificial Intelligence 42.","key":"15_CR14","DOI":"10.1016\/0004-3702(90)90053-3"},{"key":"15_CR15","series-title":"IEEE Symposium on Logic in Computer Science","volume-title":"A propositional modal logic of time intervals","author":"J Halpera","year":"1986","unstructured":"J Halpera & Y Shoham (1986) \u201cA propositional modal logic of time intervals\u201d IEEE Symposium on Logic in Computer Science."},{"key":"15_CR16","series-title":"Studium Generale 27","volume-title":"Instants and Intervals","author":"C Hamblin","year":"1971","unstructured":"C Hamblin (1971) \u201cInstants and Intervals\u201d Studium Generale 27."},{"key":"15_CR17","series-title":"Technical Report","volume-title":"The expressive power of IQ","author":"R Hirsch","year":"1991","unstructured":"R Hirsch (1991) \u201cThe expressive power of IQ\u201d Technical Report, Department of Computing, Imperial College."},{"doi-asserted-by":"crossref","unstructured":"L Humberstone (1979) \u201cInterval semantics for tense logic: some remarks\u201d Journal of Philosophical Logic 8.","key":"15_CR18","DOI":"10.1007\/BF00258426"},{"key":"15_CR19","volume-title":"PhD thesis, University of Manchester","author":"Y Jiang","year":"1986","unstructured":"Y Jiang (1986) A Formalism for Representing Qualified Knowledge PhD thesis, University of Manchester."},{"key":"15_CR20","series-title":"New Generation Computing 8","volume-title":"An epistemic model of logic programming","author":"Y Jiang","year":"1990","unstructured":"Y Jiang (1990) \u201cAn epistemic model of logic programming\u201d New Generation Computing 8."},{"key":"15_CR21","volume-title":"A general proof procedure for the temporal logic IQ-C","author":"Y Jiang","year":"1992","unstructured":"Y Jiang & B Richards (1992) \u201cA general proof procedure for the temporal logic IQ-C\u201d forthcoming."},{"key":"15_CR22","volume-title":"Actions and noninterference conditions","author":"Y Jiang","year":"1991","unstructured":"Y Jiang, B Richards & H Choi (1991) \u201cActions and noninterference conditions\u201d Proceedings of 1st World Conference on Fundamentals of Artificial Intelligence Paris."},{"key":"15_CR23","volume-title":"PhD thesis, UCLA","author":"J Kamp","year":"1968","unstructured":"J Kamp (1968) Tense Logic and the Theory of Linear Order, PhD thesis, UCLA."},{"key":"15_CR24","series-title":"New Generation Computing 4","volume-title":"A logic-based calculus of events","author":"R Kowalski","year":"1986","unstructured":"R Kowalski & M Sergot (1986) \u201cA logic-based calculus of events\u201d New Generation Computing 4."},{"key":"15_CR25","series-title":"AAAI 87","volume-title":"Models of axioms for time intervals","author":"P Ladkin","year":"1987","unstructured":"P Ladkin (1987) \u201cModels of axioms for time intervals\u201d AAAI 87."},{"key":"15_CR26","series-title":"Machine Intelligence 4","volume-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"J McCarthy","year":"1969","unstructured":"J McCarthy & P Hayes (1969) \u201cSome philosophical problems from the standpoint of artificial intelligence\u201d Machine Intelligence 4."},{"key":"15_CR27","series-title":"Cognitive Science 6","volume-title":"A temporal logic for reasoning about process and plans","author":"D McDermott","year":"1982","unstructured":"D McDermott (1982) \u201cA temporal logic for reasoning about process and plans\u201d Cognitive Science 6."},{"key":"15_CR28","series-title":"CADE 86","volume-title":"A resolution calculus for modal logics","author":"H Ohlbach","year":"1986","unstructured":"H Ohlbach (1986) \u201cA resolution calculus for modal logics\u201d CADE 86."},{"key":"15_CR29","volume-title":"Word and Object","author":"W Quine","year":"1960","unstructured":"W Quine (1960) Word and Object MTT Press."},{"key":"15_CR30","volume-title":"Truth and Interpretation","author":"B Richards","year":"1986","unstructured":"B Richards (1986) \u201cTenses, temporal quantifiers and semantic innocence\u201d, in E LePore Truth and Interpretation Oxford Press."},{"key":"15_CR31","volume-title":"Temporal Representation and Inference","author":"B Richards","year":"1989","unstructured":"B Richards et al (1989) Temporal Representation and Inference Academic Press."},{"key":"15_CR32","series-title":"ISMIS 6","volume-title":"On interval-based planning: An IQ strategy","author":"B Richards","year":"1991","unstructured":"B Richards, Y. Jiang & H. Choi (1991) \u201cOn interval-based planning: An IQ strategy\u201d ISMIS 6."},{"doi-asserted-by":"crossref","unstructured":"Y Shoham (1987) \u201cTemporal logics in AI: Semantical and ontological considerations\u201d Journal of Artificial Intelligence 33.","key":"15_CR33","DOI":"10.1016\/0004-3702(87)90052-X"},{"doi-asserted-by":"crossref","unstructured":"Y Venema \u201cExpressiveness and completeness of an interval tense logic\u201d Notre Dame Journal of Formal Logic 31.","key":"15_CR34","DOI":"10.1305\/ndjfl\/1093635589"},{"doi-asserted-by":"crossref","unstructured":"Y Venema \u201cA modal logic for chopping intervals\u201d Journal of Logic and Computation 1.","key":"15_CR35","DOI":"10.1093\/logcom\/1.4.453"}],"container-title":["Workshops in Computing","ALPUK92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3421-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:18:17Z","timestamp":1556453897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3421-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540197836","9781447134213"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3421-3_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}