19 search results - page 1 / 4 » Four Approaches to Automated Reasoning with Differential Alg... |
90
Voted
AISC
2004
Springer
15 years 2 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...
78
Voted
LACL
2001
Springer
15 years 3 months ago
2001
Springer
65
Voted
LICS
1998
IEEE
15 years 3 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
15 years 1 days 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...
82
Voted
ECSQARU
2007
Springer
15 years 5 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 ...