Sciweavers

212 search results - page 37 / 43
» Belief Revision and Rationalizability
Sort
View
DAGSTUHL
2007
15 years 7 months ago
Forgetting and Update -- an exploration
Knowledge Update (respectively Erasure) and Forgetting are two very different concepts, with very different underlying motivation. Both are tools for knowledge management; however ...
Abhaya C. Nayak, Yin Chen, Fangzhen Lin
ECAI
2010
Springer
15 years 7 months ago
On Semantic Update Operators for Answer-Set Programs
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
Martin Slota, João Leite
ICTAI
2009
IEEE
16 years 21 days ago
Collaborative Concept Learning: Non Individualistic vs Individualistic Agents
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...
Gauvain Bourgne, Dominique Bouthinon, Amal El Fall...
LICS
2007
IEEE
16 years 10 days ago
Resource modalities in game semantics
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...
Paul-André Melliès, Nicolas Tabareau
DALT
2007
Springer
16 years 6 days ago
Satisfying Maintenance Goals
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...
Koen V. Hindriks, M. Birna van Riemsdijk