1894 search results - page 72 / 379 » A TLA Proof System |
78
Voted
ISSAC
1994
Springer
15 years 4 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...
70
Voted
ALIFE
2007
15 years 25 days 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...
MKM
2005
Springer
15 years 6 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 ...
93
Voted
SAT
2010
Springer
15 years 4 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...
108
Voted
FMOODS
2003
15 years 2 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...