19 search results - page 1 / 4 » Four Approaches to Automated Reasoning with Differential Alg... |
AISC
2004
Springer
13 years 8 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
LACL
2001
Springer
13 years 9 months ago
2001
Springer
LICS
1998
IEEE
13 years 9 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...
CSL
2010
Springer
13 years 5 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
ECSQARU
2007
Springer
13 years 11 months ago
2007
Springer
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...