2766 search results - page 163 / 554 » Hybridizing a Logical Framework |
227
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Outlier detection has been a popular data mining task. However, there is a lack of serious study on outlier detection for trajectory data. Even worse, an existing trajectory outlie...
141
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
119
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
163
click to vote
EPIA
2001
Springer
15 years 9 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
140
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...