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
Proceedings ArticleDOI
A Pattern Mining Approach for Classifying Multivariate Temporal Data
TL;DR: The minimal predictive temporal patterns framework is presented to generate a small set of predictive and non-spurious patterns for predicting patients who are at risk of developing heparin induced thrombocytopenia.
Journal ArticleDOI
Reasoning about time in the situation calculus
Javier Pinto,Raymond Reiter +1 more
TL;DR: This work extends the ontology of the situation calculus to provide for the representation of time and event occurrences and shows that the modaltemporal logic of concurrency can be embedded in the extended situation calculus.
Journal ArticleDOI
The elusive nature of self-measurement: the self-construal scale versus the twenty statements test.
Sherry L. Grace,Kenneth Cramer +1 more
TL;DR: Comparisons of 2 frequently used measures to operationalize the construct of the self demonstrated low intercorrelations between the 2 measures, suggesting that the qualitative and quantitative measures did not evaluate the same construct.
Journal ArticleDOI
The NITE XML Toolkit: Data Model and Query Language
TL;DR: NXTȁ9s core data handling and search capabilities are described and the stand-off XML data storage format that it employs is explained and illustrated with examples from an early adopter of the technology.
Journal Article
Difficult Collective Deliberations: Anthropological Notes toward a Theory of Education.
TL;DR: The authors argue that education is a fundamental human activity that is infinitely more complex than anything that can happen during learning lessons in school, and they argue that it is more than just schooling.
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.