846 search results - page 91 / 170 » Rewrite-Based Decision Procedures |
166
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
190
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
168
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
As financial markets are volatile and rapidly changing, preciseness and agility in price evaluation and risk assessment in the portfolios are more important and decision support s...
179
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
152
click to vote
STOC
2000
ACM
15 years 10 months ago
2000
ACM
We consider the design of self-testers for quantum gates. A self-tester for the gates F 1, . . . , F m is a procedure that, given any gates G1, . . . , Gm, decides with high probab...