506 search results - page 6 / 102 » Constructor-based observational logic |
119
Voted
AIML
2006
15 years 1 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
101
Voted
ENTCS
2007
15 years 12 days ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
113
Voted
AAAI
2006
15 years 1 months ago
2006
We present tractable, exact algorithms for learning actions' effects and preconditions in partially observable domains. Our algorithms maintain a propositional logical repres...
108
Voted
ENTCS
2002
15 years 7 days ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
132
Voted
CVPR
2011
IEEE
14 years 8 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...