3481 search results - page 670 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
BSL
2004
15 years 1 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
154
Voted
LOGCOM
1998
15 years 1 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
116
Voted
MICS
2010
15 years 9 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
136
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
In this paper a fuzzy model based on Adaptive Neuro-Fuzzy Inference System (ANFIS) is introduced for calculating the level of risk in managerial problems. In this model, affecting ...
131
Voted
CLOUDCOM
2010
Springer
14 years 11 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...