Journal ArticleDOI
Towards a general theory of action and time
Reads0
Chats0
TLDR
In this article, a formalism for reasoning about actions is proposed that is based on a temporal logic, which allows a much wider range of actions to be described than with previous approaches such as the situation calculus.About:
This article is published in Artificial Intelligence.The article was published on 1984-07-18. It has received 2439 citations till now. The article focuses on the topics: Temporal logic of actions & Situation calculus.read more
Citations
More filters
Journal ArticleDOI
GraphDiaries: Animated Transitions andTemporal Navigation for Dynamic Networks
TL;DR: GraphDiaries, a visual interface designed to improve support for these tasks in any node-link based graph visualization system, relies on animated transitions that highlight changes in the network between time steps, thus helping users identify and understand those changes.
Proceedings ArticleDOI
Classifying Temporal Relations Between Events
TL;DR: A fully automatic two-stage machine learning architecture that learns temporal relations between pairs of events by learning the temporal attributes of single event descriptions, such as tense, grammatical aspect, and aspectual class.
Journal ArticleDOI
Context is king! Considering particularism in research design and reporting
TL;DR: The dichotomy of universalism and particularism is applied, and the interaction of theory and culture is discussed in order to consider the scope of validity for research findings and conclusions.
Journal ArticleDOI
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
TL;DR: A two-dimensional logic capable of describing topological relationships that change over time, called PSTL (Propositional Spatio-Temporal Logic), is constructed and it is shown that it contains decidable fragments into which various temporal extensions of the spatial logic RCC-8 can be embedded.
The Integrated Supply Chain Management System
TL;DR: In this article, the authors describe the goals and architecture of the Integrated Supply Chain Man-Agement System (ISCM) developed at the University of Toronto, which provides an approach to the real-time performance of supply chain functions.
References
More filters
Journal ArticleDOI
Maintaining knowledge about temporal intervals
TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
Book
Speech Acts: An Essay in the Philosophy of Language
TL;DR: A theory of speech acts is proposed in this article. But it is not a theory of language, it is a theory about the structure of illocutionary speech acts and not of language.
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.