307 search results - page 35 / 62 » Reasoning with Axioms: Theory and Practice |
156
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
120
click to vote
KR
1992
Springer
15 years 5 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
115
click to vote
KR
1991
Springer
15 years 4 months ago
1991
Springer
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. We present a framework for mod...
116
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...