Journal ArticleDOI
Towards a general theory of action and time
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
The substitutional framework for sorted deduction: fundamental results on hybrid reasoning
TL;DR: A general framework for integrating logical deduction and sortal deduction to form a deductive system for sorted logic, and results that provide the theoretical under-pinnings of the framework are presented.
Proceedings Article
Increasing Informativeness in Temporal Annotation
James Pustejovsky,Amber Stubbs +1 more
TL;DR: A document level information structure the authors call a narrative container (NC) is introduced, designed to increase informativeness and accuracy of temporal relation identification, in the creation of a new temporal annotation over TimeBank.
Proceedings Article
Theory and Evaluation of a Bayesian Music Structure Extractor
TL;DR: This work extends previous work on automatic summarization and structure extraction by providing a model for segment end-points posed in a Bayesian framework and evaluating the model in an automatic structure segmentation experiment against a ground truth of human judgements.
Journal ArticleDOI
Semantic web technologies in pervasive computing
Juan Ye,Stamatia Dasiopoulou,Graeme Stevenson,Georgios Meditskos,Efstratios Kontopoulos,Ioannis Kompatsiaris,Simon Dobson +6 more
TL;DR: The strengths and weaknesses of current and projected approaches are analysed and a roadmap is derived for using the Semantic Web as a platform, on which open, standard-based, pervasive, adaptive and sensor-driven systems can be deployed.
Posted Content
A Multi-Axis Annotation Scheme for Event Temporal Relations
Qiang Ning,Hao Wu,Dan Roth +2 more
TL;DR: This article proposed a new multi-axis modeling to better capture the temporal structure of events and identified that event end-points are a major source of confusion in annotation, so they also propose to annotate TempRels based on start-points only.
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.