504 search results - page 15 / 101 » Observational Logic |
152
click to vote
ENTCS
2006
15 years 5 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
189
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
142
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
156
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
154
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...