126 search results - page 8 / 26 » Dynamic logic for belief revision |
AAAI
2008
14 years 1 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
AAAI
2008
14 years 1 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
KI
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
PRIMA
2004
Springer
14 years 4 months ago
2004
Springer
ICTAI
1993
IEEE
14 years 3 months ago
1993
IEEE
