4573 search results - page 467 / 915 » Automated Reasoning |
199
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
164
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
170
click to vote
ICAIL
2005
ACM
15 years 11 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
152
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
Case-based reasoning systems need to know the limitations of their expertise. Having found the known source cases most relevant to a target problem, they must assess whether those ...
185
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we propose an approach to address the old problem of identifying the feature conditions under which a gaming strategy can be effective. For doing this, we will build ...