546 search results - page 15 / 110 » An Action Semantics for MML |
143
Voted
AI
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
114
click to vote
EVENT
2001
15 years 3 months ago
2001
A first step towards an understanding of the semantic content in a video is the reliable detection and recognition of actions performed by objects. This is a dificult problem due ...
103
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
115
Voted
ENTCS
2010
14 years 11 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...