This work has been carried out in the context of SKBS and the ESPRIT III Basic Research project 6156 DRUMS II.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
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
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–84
H. Bestougeff, G. Ligozat, Logical tools for temporal knowledge representation, Ellis Horwood, 1992
S. Blamey, Partial logic, in: D. Gabbay and F. Guenthner (eds.), Handbook of philosophical logic, Vol. III, 1–70, Reidel, Dordrecht, 1986.
K.A. Bowen, R. Kowalski, Amalgamating language and meta-language in logic programming. In: K. Clark, S. Tarnlund (eds.), Logic programming. Academic Press, 1982.
W.J. Clancey, C. Bock, Representing control knowledge as abstract tasks and metarules, in: Bolc, Coombs (Eds.), Expert system applications, 1988.
R. Davis, Metarules: reasoning about control, Artificial Intelligence 15 (1980), pp. 179–222.
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–96. Extended version: Report IR-334, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1993, pp. 38
J. Engelfriet, J. Treur, Relating linear and branching time temporal models, Report, Free University Amsterdam, Department of Mathematics and Computer Science, 1994
J. Engelfriet, J. Treur, Final model semantics for normal default theories, Report, Free University Amsterdam, Department of Mathematics and Computer Science, 1994
M. Finger, D.M. Gabbay, Adding a temporal dimension to a logic system, Journal of Logic, Language and Information 1 (1992), pp. 203–233
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–273
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.
R. Goldblatt, Logics of time and computation. CSLI Lecture Notes, vol. 7. 1987, Center for the Study of Language and Information.
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–282
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–129
T. Langholm, Partiality, truth and persistance, CSLI Lecture Notes No. 15, Stanford University, Stanford, 1988.
P. Maes, D. Nardi (eds.), Meta-level architectures and reflection, Elsevier Science Publishers, 1988.
R. Reiter, A logic for default reasoning, Artificial Intelligence 13, 1980, pp. 81–132
E. Sandewall, A functional approach to non-monotonic logics, Computational Intelligence 1 (1985), pp. 80–87
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–476.
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–303.
E. Thijsse, Partial logic and knowledge representation, Ph.D. Thesis, Tilburg University, 1992
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–236.
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.
J. Treur, Th Wetter (eds.), Formal specification of complex reasoning systems, Ellis Horwood, 1993, p. 282
R.W. Weyhrauch, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence 13 (1980), pp. 133–170.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Engelfriet, J., Treur, J. (1994). Temporal theories of reasoning. In: MacNish, C., Pearce, D., Pereira, L.M. (eds) Logics in Artificial Intelligence. JELIA 1994. Lecture Notes in Computer Science, vol 838. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021979
Download citation
DOI: https://doi.org/10.1007/BFb0021979
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58332-5
Online ISBN: 978-3-540-48657-2
eBook Packages: Springer Book Archive