2649 search results - page 148 / 530 » Temporal Theories of Reasoning |
161
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
357
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
201
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
197
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
192
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...