Contexts for human action

Authors:
Graham White
Affiliations:
Department of Computer Science, Queen Mary, University of London, London, United Kingdom
Venue:
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Year:
2008

Citing 7
Cited 0

Categories of partial maps

Information and Computation
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
The projection problem in the situation calculus: a soundness and completeness result, with an application to database updates

Proceedings of the first international conference on Artificial intelligence planning systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Cartesian logic

Theoretical Computer Science
Communication Spaces

Computer Supported Cooperative Work
Davidson and Reiter on Actions

Fundamenta Informaticae - Logic for Pragmatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.