1670 search results - page 191 / 334 » On Skolemization in constructive theories |
161
click to vote
IJCAI
1997
15 years 7 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
167
click to vote
WSC
1997
15 years 7 months ago
1997
An efficient “Simulation Optimization” technique is developed to solve system design problems which can not be expressed in explicit analytical or mathematical models. In part...
130
click to vote
COLING
1996
15 years 7 months ago
1996
Little notice has been taken of punctuation in the field of natural language processing, chiefly due to the lack of any coherent theory on which to base implementations. Some work...
213
click to vote
GRAPHICSINTERFACE
1996
15 years 7 months ago
1996
This paper presents a framework for generating smoothlooking transformations between pairs of surfaces that may differ in topology. The user controls the transformation by specify...
162
click to vote
IJCAI
1989
15 years 7 months ago
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...