2381 search results - page 148 / 477 » On Ordering Descriptions in a Description Logic |
114
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
105
click to vote
LOGCOM
2010
15 years 8 days ago
2010
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation...
103
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
106
click to vote
CADE
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
149
click to vote
CVPR
2011
IEEE
14 years 10 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...