537 search results - page 17 / 108 » A Theory of Inferred Causation |
184
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
155
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
125
click to vote
LLC
2010
15 years 26 days ago
2010
This paper reviews some cases in which the collaboration of theoretical pragmaticians and psychologists of language has been most fruitful for all parties. Linguists have benefite...
158
click to vote
INDOCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Random data perturbation (RDP) has been in use for several years in statistical databases and public surveys as a means of providing privacy to individuals while collecting informa...
159
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...