12774 search results - page 113 / 2555 » A Framework for Proof Systems |
133
click to vote
IANDC
2006
15 years 4 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
106
click to vote
ISSAC
1994
Springer
15 years 8 months ago
1994
Springer
After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new resul...
ALIFE
2007
15 years 4 months ago
2007
Chu and Ho’s recent paper in Artificial Life is riddled with errors. In particular, they use a wrong definition of Robert Rosen’s mechanism. This renders their “critical asse...
131
click to vote
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
121
click to vote
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and s...