17366 search results - page 11 / 3474 » New Revision Algorithms |
COLT
2000
Springer
13 years 11 months ago
2000
Springer
LISP
1998
13 years 7 months ago
1998
SIGPLAN
1998
13 years 7 months ago
1998
AAAI
2008
13 years 9 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
13 years 5 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...