... Handbook of Temporal Reasoning in Artificial Intelligence [41] or the original papers that have appeared in the literature. The rest of this chapter is organized as follows. Section 19.1 introduces some preliminary concepts of temporal ...
... Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier, 2004. M. Franceschet and A. Montanari. Time granularities in databases, data mining, and temporal reasoning, by Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book ...
... 203–233. Fisher, M., Gabbay, D., and Vila, L., editors (2005). Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier. Gabbay, D., Hodkinson, I., and Reynolds, M. (1994). Temporal Logic: 560 HANDBOOK OF SPATIAL LOGICS.
... Handbook of Temporal Reasoning in Artificial Intelligence. Elsevier, 2005. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht, 1983. M. Fitting. A Kripke–Kleene semantics for general logic programs. Journal ...
... Handbook of Temporal Reasoning in Artificial Intelligence, vol. 1, Elsevier, Amsterdam, The Netherlands, 2005. [FOG 09] FOGLIARONI P., WALLGRUN J.O., CLEMENTINI E., TARQUINI F., WOLTER D., “A qualitative approach to localization and ...
... Handbook of temporal reasoning in artificial intelligence (Vol. 1, pp. 315–342). Amsterdam: Elsevier. Hanks, S., and McDermott, D. V. (1985). Temporal reasoning and default logics (Tech. Rep. No. YALE/DCS/tr430). New Haven, CT: Computer ...
... Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence). Elsevier Science Inc., New York, NY, USA, 2005. [39] M. Franceschet and A. Montanari. A combined approach to temporal logics for time ...
... Handbook of Temporal Reasoning in Artificial Intelligence, pp. 389–426. Elsevier (2005) 6. Belle, V.: Counterfactual explanations as plans. In: The 39th International Conference on Logic Programming. Open Publishing Association (2023) 7 ...