17366 search results - page 11 / 3474 » New Revision Algorithms |
COLT
2000
Springer
15 years 1 months ago
2000
Springer
75
Voted
LISP
1998
14 years 9 months ago
1998
SIGPLAN
1998
14 years 9 months ago
1998
69
Voted
AAAI
2008
14 years 12 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...
CASC
2010
Springer
14 years 7 months ago
2010
Springer
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these system into so-called simple subsystems and there...