126 search results - page 9 / 26 » Dynamic logic for belief revision |
AAAI
2008
14 years 1 months ago
2008
JELIA
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
SIGIR
1999
ACM
14 years 3 months ago
1999
ACM
This paper claims that Belief Revision can be seen as a theoretical framework for document ranking in Extended Boolean Models. For a model of Information Retrieval based on propos...
AAMAS
2005
Springer
13 years 10 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
SYNTHESE
2008
13 years 10 months ago
2008