307 search results - page 40 / 62 » Reasoning with Axioms: Theory and Practice |
62
Voted
SYNTHESE
2008
14 years 9 months ago
2008
Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more com...
100
click to vote
ENC
2004
IEEE
15 years 1 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
SOFSEM
2012
Springer
13 years 5 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
CADE
2004
Springer
15 years 9 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
79
Voted
CADE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...