Dynamic semantics for tense and aspect

Authors:
Mark Steedman
Affiliations:
University of Pennsylvania, Dept. of Computer and Information Science, Philadelphia, PA
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 16
Cited 3

Towards a general theory of action and time

Artificial Intelligence
A logic-based calculus of events

New Generation Computing
Logic for problem-solving

Logic for problem-solving
Concurrent dynamic logic

Journal of the ACM (JACM)
Logics of time and computation

Logics of time and computation
Principles of artificial intelligence

Principles of artificial intelligence
Readings in nonmonotonic reasoning

Readings in nonmonotonic reasoning
Temporal ontology and temporal reference

Computational Linguistics - Special issue on tense and aspect
Tense as discourse anaphor

Computational Linguistics - Special issue on tense and aspect
Temporal reasoning in artificial intelligence

Exploring artificial intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus

Proceedings of the first international conference on Principles of knowledge representation and reasoning
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Proving properties of states in the situation calculus

Artificial Intelligence
Process logic: preliminary report

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A computational approach to aspectual composition

A computational approach to aspectual composition
Logic and Natural Language

Computer

Temporal reasoning for decision support in medicine

Artificial Intelligence in Medicine
Tense and aspect assignment in narrative discourse

INLG '10 Proceedings of the 6th International Natural Language Generation Conference
Evaluating temporal graphs built from texts via transitive reduction

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

A semantics for tense, modality, and aspect in natural language must capture causal and contingent relations between events and states as welt as merely temporal ones The paper investigates a non-reified dynamic logic based, formulation of the situation calculus is a formalism for a computational semantics for a number of temporal categories in English and suggests that some recent claims that dynamic logics are inherently unsuitable for this purpose have taken too narrow a view of the situation calculus.