8141 search results - page 174 / 1629 » Higher Order Generalization |
150
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
125
Voted
IBERAMIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...
137
Voted
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
140
Voted
IJCAI
2001
15 years 5 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
142
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...