237 search results - page 37 / 48 » Permissive Belief Revision |
DAGSTUHL
2007
13 years 8 months ago
2007
Knowledge Update (respectively Erasure) and Forgetting are two very different concepts, with very different underlying motivation. Both are tools for knowledge management; however ...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
This article addresses collaborative learning in a multiagent system: each agent revises incrementally its beliefs B (a concept representation) to keep it consistent with the whol...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
DALT
2007
Springer
14 years 1 months ago
2007
Springer
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...