878 search results - page 81 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
200
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
173
click to vote
IJCAI
2007
15 years 7 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
174
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...
151
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
166
click to vote
CAEPIA
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...