126 search results - page 15 / 26 » A Tense And Aspect Calculus |
APIN
1998
13 years 7 months ago
1998
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
FORTE
2009
13 years 5 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
AH
2006
Springer
14 years 1 months ago
2006
Springer
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
ARGMAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...