1143 search results - page 62 / 229 » Prospective Logic Agents |
161
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
A central issue in logical concept induction is the prospect of inconsistency. This problem may arise due to noise in the training data, or because the target concept does not fit...
161
click to vote
TARK
2009
Springer
16 years 22 days ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
142
click to vote
IAT
2008
IEEE
16 years 20 days ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
183
click to vote
DASC
2006
IEEE
16 years 8 days ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
162
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...