3119 search results - page 192 / 624 » General Default Logic |
106
click to vote
FSTTCS
2000
Springer
15 years 4 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...
129
click to vote
GVD
2004
15 years 2 months ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
94
Voted
IANDC
2006
15 years 20 days ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
124
click to vote
JAPLL
2006
15 years 19 days ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
118
Voted
ANOR
2005
15 years 17 days ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...