1060 search results - page 85 / 212 » Mechanized semantics |
109
click to vote
FROCOS
2009
Springer
15 years 2 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 ...
125
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a novel platform for image retrieval based on a two-level architecture inspired from human cognitive mechanisms. These two levels provide both generic similari...
DAGSTUHL
2003
14 years 11 months ago
2003
— The paper focuses on the problem how a community of distributed agents may autonomously invent and coordinate lexicons and grammars. Although our earlier experiments have shown...
ICWL
2010
Springer
14 years 7 months ago
2010
Springer
Content development for adaptive educational systems is known to be an error-prone task. Gaps can occur when the content is created, modified or when the context of its usage chang...