2766 search results - page 163 / 554 » Hybridizing a Logical Framework |
265
click to vote
ICDE
2008
IEEE
16 years 7 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...
171
click to vote
CHI
2006
ACM
16 years 6 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...
149
click to vote
ASP
2001
Springer
15 years 11 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...
195
click to vote
EPIA
2001
Springer
15 years 11 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...
171
click to vote
CL
2000
Springer
15 years 10 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...