3773 search results - page 469 / 755 » Logical Reasoning |
173
click to vote
IAT
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
159
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
199
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
153
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
181
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...