{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:13:33Z","timestamp":1761401613861},"reference-count":28,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1080\/11663081.1995.10510845","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T04:07:40Z","timestamp":1338350860000},"page":"97-119","source":"Crossref","is-referenced-by-count":1,"title":["Temporal theories of reasoning"],"prefix":"10.1080","volume":"5","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":"301","reference":[{"key":"CIT0001","unstructured":"van Benthem, J. F.A.K. 1983. \u201cThe logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, Reidel, Dordrecht\u201d."},{"key":"CIT0002","unstructured":"van Benthem, J. F.A.K. 1991. \u201cLogic and the flow of information\u201d. Edited by: Prawitz, D., Skyrms, B. and Westerstahl, D. Proc. 9th Int. Congress of Logic, Methodology and Philosophy of Science, North Holland"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"Besnard, P. and Mercer, R. E. 1992. \u201cNon-monotonic logics: a valuations-based approach\u201d. Edited by: du Boulay, B. and Sgurev, V. 77\u201384. Elsevier Science Publishers. Artificial Intelligence V: Methodology, Systems, Applications","DOI":"10.1016\/B978-0-444-89752-7.50013-4"},{"key":"CIT0004","unstructured":"Bestougeff, H. and Ligozat, G. 1992. \u201cLogical tools for temporal knowledge representation, Ellis Horwood\u201d."},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Blamey, S. 1986. \u201cPartial Logic\u201d. Edited by: Gabbay, D. and Guenthner, F. Handbook of Philosophical Logic, Vol. III, 1\u201370, Reidel, Dordrecht","DOI":"10.1007\/978-94-009-5203-4_1"},{"key":"CIT0006","unstructured":"Bowen, K. A. and Kowalski, R. 1982. \u201cAmalgamating language and meta-language in logic programming.\u201d. Edited by: Clark, K. and Tarnlund, S. Logic programming. Academic Press"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Clancey, W. J. and Bock, C. 1988. \u201cRepresenting control knowledge as abstract tasks and metarules\u201d. Edited by: Bolc, Coombs. Expert System Applications","DOI":"10.1007\/978-3-642-83314-4_1"},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"Davis, R. 1980. \u201cMetarules: reasoning about control, Artificial Intelligence 15\u201d. 179\u2013222.","DOI":"10.1016\/0004-3702(80)90043-0"},{"key":"CIT0009","unstructured":"Engelfriet, J. and Treur, J. 1993. \u201cA temporal model theory for default logic\u201d. Edited by: Clarke, M., Kruse, R. and Moral, S. 91\u201396. Springer Verlag. Proc. 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93, Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993 pp. 38"},{"key":"CIT0010","unstructured":"Engelfriet, J. and Treur, J. 1994. \u201cRelating linear and branching time temporal models, Report, Free University Amsterdam, Department of Mathematics and Computer Science\u201d."},{"key":"CIT0011","unstructured":"Engelfriet, J. and Treur, J. 1994. \u201cFinal model semantics for normal default theories, Report, Free University Amsterdam, Department of Mathematics and Computer Science\u201d."},{"key":"CIT0012","doi-asserted-by":"crossref","unstructured":"Finger, M. and Gabbay, D. M. 1992. \u201cAdding a temporal dimension to a logic system, Journal of Logic, Language and Information 1\u201d. 203\u2013233.","DOI":"10.1007\/BF00156915"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. 1982. \u201cIntuitionistic basis for non-monotonic logic\u201d. Edited by: Goos, G. and Hartmanis, J. 260\u2013273. Springer Verlag. 6th Conference on Automated Deduction, Lecture Notes in Computer Science, vol. 138","DOI":"10.1007\/BFb0000064"},{"key":"CIT0014","unstructured":"Giunchiglia, E., Traverso, P. and Giunchiglia, F. 1993. \u201cMulti-context Systems as a Specification framework for Complex Reasoning Systems\u201d. Edited by: Treur, J. and Wetter, Th. Formal Specification of Complex Reasoning Systems, Ellis Horwood"},{"key":"CIT0015","unstructured":"Goldblatt, R. 1987. \u201cLogics of Time and Computation. CSLI Lecture Notes, vol. 7.\u201d. Center for the Study of Language and Information"},{"key":"CIT0016","unstructured":"van Harmelen, F., Lopez de Mantaras, R., Malec, J. and Treur, J. 1993. \u201cComparing formal specification languages for complex reasoning systems.\u201d. Edited by: Treur, J. and Wetter, Th. 257\u2013282. Formal Specification of Complex Reasoning Systems, Ellis Horwood"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Kripke, S. 1965. \u201cSemantical Analysis of Intuitionistic Logic\u201d. Edited by: Crossley, J. N. and Dummett, M. 92\u2013129. Formal Systems and Recursive Function Theory, North Holland","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"CIT0018","unstructured":"Langholm, T. 1988. \u201cPartiality, Truth and Persistance, CSLI Lecture Notes No. 15, Stanford University, Stanford\u201d."},{"key":"CIT0019","volume-title":"Meta-level architectures and reflection","author":"Maes P.","year":"1988"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"Reiter, R. 1980. \u201cA logic for default reasoning, Artificial Intelligence 13\u201d. 81\u2013132.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"Sandewall, E. 1985. \u201cA functional approach to non-monotonic logics, Computational Intelligence 1\u201d. 80\u201387.","DOI":"10.1111\/j.1467-8640.1985.tb00061.x"},{"key":"CIT0022","unstructured":"Tan, Y. H. and Treur, J. 1991. \u201cA bi-modular approach to nonmonotonic reasoning\u201d. Edited by: De Glas, M. and Gabbay, D. 461\u2013476. Proc. World Congress on Fundamentals of Artificial Intelligence, WOCFAI-91"},{"key":"CIT0023","unstructured":"Tan, Y. H. and Treur, J. 1992. \u201cConstructive default logic and the control of defeasible reasoning\u201d. Edited by: Neumann, B. 299\u2013303. Proc. 10th European Conference on Artificial Intelligence, ECAI-92, Wiley and Sons"},{"key":"CIT0024","unstructured":"Thijsse, E. 1992. \u201cPartial logic and knowledge representation, Ph.D. Thesis, Tilburg University\u201d."},{"key":"CIT0025","doi-asserted-by":"crossref","unstructured":"Treur, J. 1991. \u201cDeclarative functionality descriptions of interactive reasoning modules\u201d. Edited by: Boley, H. and Richter, M. M. 221\u2013236. Springer Verlag. Processing Declarative Knowledge, Proc. of the International Workshop PDK-91, Lecture Notes in Artificial Intelligence, vol. 567","DOI":"10.1007\/BFb0013533"},{"key":"CIT0026","doi-asserted-by":"crossref","unstructured":"Treur, J. 1994. \u201cTemporal semantics of meta-level architectures for dynamic control, Report, Free University Amsterdam, Department of Mathematics and Computer Science\u201d. Shorter version in: Proc. 4th International Workshop on Meta-programming in Logic, META '94, 1994","DOI":"10.1007\/3-540-58792-6_22"},{"key":"CIT0027","volume-title":"Formal specification of complex reasoning systems","author":"Treur J.","year":"1993"},{"key":"CIT0028","doi-asserted-by":"crossref","unstructured":"Weyhrauch, R. W. 1980. \u201cProlegomena to a theory of mechanized formal reasoning, Artificial Intelligence 13\u201d. 133\u2013170.","DOI":"10.1016\/0004-3702(80)90015-6"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T03:07:52Z","timestamp":1561777672000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1995.10510845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1080\/11663081.1995.10510845"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1995.10510845","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}