{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:07:07Z","timestamp":1761401227815},"publisher-location":"Berlin\/Heidelberg","reference-count":28,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540583327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021979","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T01:17:26Z","timestamp":1131844646000},"page":"279-299","source":"Crossref","is-referenced-by-count":8,"title":["Temporal theories of reasoning"],"prefix":"10.1007","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse","author":"J.F.A.K. Benthem van","year":"1983","unstructured":"J.F.A.K. van Benthem, The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, Reidel, Dordrecht, 1983."},{"key":"19_CR2","unstructured":"J.F.A.K. van Benthem, Logic and the flow of information, in: D. Prawitz, B. Skyrms, D. Westerstahl (eds.), Proc. 9th Int. Congress of Logic, Methodology and Philosophy of Science, North Holland, 1991"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"P. Besnard, R.E. Mercer, Non-monotonic logics: a valuations-based approach, In: B. du Boulay, V. Sgurev (eds.), Artificial Intelligence V: Methodology, Systems, Applications, Elsevier Science Publishers, 1992, pp. 77\u201384","DOI":"10.1016\/B978-0-444-89752-7.50013-4"},{"key":"19_CR4","unstructured":"H. Bestougeff, G. Ligozat, Logical tools for temporal knowledge representation, Ellis Horwood, 1992"},{"key":"19_CR5","first-page":"1","volume-title":"Handbook of philosophical logic, Vol. III","author":"S. Blamey","year":"1986","unstructured":"S. Blamey, Partial logic, in: D. Gabbay and F. Guenthner (eds.), Handbook of philosophical logic, Vol. III, 1\u201370, Reidel, Dordrecht, 1986."},{"key":"19_CR6","unstructured":"K.A. Bowen, R. Kowalski, Amalgamating language and meta-language in logic programming. In: K. Clark, S. Tarnlund (eds.), Logic programming. Academic Press, 1982."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"W.J. Clancey, C. Bock, Representing control knowledge as abstract tasks and metarules, in: Bolc, Coombs (Eds.), Expert system applications, 1988.","DOI":"10.1007\/978-3-642-83314-4_1"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","volume":"15","author":"R. Davis","year":"1980","unstructured":"R. Davis, Metarules: reasoning about control, Artificial Intelligence 15 (1980), pp. 179\u2013222.","journal-title":"Artificial Intelligence"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"J. Engelfriet, J. Treur, A temporal model theory for default logic, in: M. Clarke, R. Kruse, S. Moral (eds.), Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Springer Verlag, 1993, pp. 91\u201396. Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993, pp. 38","DOI":"10.1007\/BFb0028187"},{"key":"19_CR10","unstructured":"J. Engelfriet, J. Treur, Relating linear and branching time temporal models, Report, Free University Amsterdam, Department of Mathematics and Computer Science, 1994"},{"key":"19_CR11","unstructured":"J. Engelfriet, J. Treur, Final model semantics for normal default theories, Report, Free University Amsterdam, Department of Mathematics and Computer Science, 1994"},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"M. Finger, D.M. Gabbay, Adding a temporal dimension to a logic system, Journal of Logic, Language and Information 1 (1992), pp. 203\u2013233","journal-title":"Journal of Logic, Language and Information"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay, Intuitionistic basis for non-monotonic logic, In: G. Goos, J. Hartmanis (eds.), 6th Conference on Automated Deduction, Lecture Notes in Computer Science, vol. 138, Springer Verlag, 1982, pp. 260\u2013273","DOI":"10.1007\/BFb0000064"},{"key":"19_CR14","unstructured":"E. Giunchiglia, P. Traverso, F. Giunchiglia, Multi-context systems as a specification framework for complex reasoning systems, In: J. Treur, Th. Wetter (eds.), Formal specification of complex reasoning systems, Ellis Horwood, 1993."},{"key":"19_CR15","unstructured":"R. Goldblatt, Logics of time and computation. CSLI Lecture Notes, vol. 7. 1987, Center for the Study of Language and Information."},{"key":"19_CR16","unstructured":"F. van Harmelen, R. Lopez de Mantaras, J. Malec, J. Treur, Comparing formal specification languages for complex reasoning systems. In: J. Treur, Th. Wetter (eds.), Formal specification of complex reasoning systems, Ellis Horwood, 1993, pp. 257\u2013282"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"S. Kripke, Semantical analysis of intuitionistic logic, In: J.N. Crossley, M. Dummett (eds.), Formal systems and recursive function theory, North Holland, 1965, pp. 92\u2013129","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"19_CR18","volume-title":"CSLI Lecture Notes No. 15","author":"T. Langholm","year":"1988","unstructured":"T. Langholm, Partiality, truth and persistance, CSLI Lecture Notes No. 15, Stanford University, Stanford, 1988."},{"key":"19_CR19","unstructured":"P. Maes, D. Nardi (eds.), Meta-level architectures and reflection, Elsevier Science Publishers, 1988."},{"key":"19_CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"19_CR21","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1111\/j.1467-8640.1985.tb00061.x","volume":"1","author":"E. Sandewall","year":"1985","unstructured":"E. Sandewall, A functional approach to non-monotonic logics, Computational Intelligence 1 (1985), pp. 80\u201387","journal-title":"Computational Intelligence"},{"key":"19_CR22","unstructured":"Y.H. Tan, J. Treur, A bi-modular approach to nonmonotonic reasoning, In: De Glas, M., Gabbay, D. (eds.), Proc. World Congress on Fundamentals of Artificial Intelligence, WOCFAI-91, 1991, pp. 461\u2013476."},{"key":"19_CR23","unstructured":"Y.H. Tan, J. Treur, Constructive default logic and the control of defeasible reasoning, B. Neumann (ed.), Proc. 10th European Conference on Artificial Intelligence, ECAI-92, Wiley and Sons, 1992, pp. 299\u2013303."},{"key":"19_CR24","unstructured":"E. Thijsse, Partial logic and knowledge representation, Ph.D. Thesis, Tilburg University, 1992"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"J. Treur, Declarative functionality descriptions of interactive reasoning modules, In: H. Boley, M.M. Richter (eds.), Processing Declarative Knowledge, Proc. of the International Workshop PDK-91, Lecture Notes in Artificial Intelligence, vol. 567, Springer Verlag, 1991, pp. 221\u2013236.","DOI":"10.1007\/BFb0013533"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"J. Treur, Temporal semantics of meta-level architectures for dynamic control, Report, Free University Amsterdam, Department of Mathematics and Computer Science, 1994. Shorter version in: Proc. 4th International Workshop on Meta-programming in Logic, META '94, 1994.","DOI":"10.1007\/3-540-58792-6_22"},{"key":"19_CR27","unstructured":"J. Treur, Th Wetter (eds.), Formal specification of complex reasoning systems, Ellis Horwood, 1993, p. 282"},{"key":"19_CR28","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R.W. Weyhrauch","year":"1980","unstructured":"R.W. Weyhrauch, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence 13 (1980), pp. 133\u2013170.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021979.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:47:24Z","timestamp":1607532444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540583327"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0021979","relation":{},"subject":[]}}