1737 search results - page 26 / 348 » On Interpolation in Existence Logics |
161
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
161
click to vote
LATA
2012
Springer
14 years 1 months ago
2012
Springer
We investigate the application of Courcelle’s Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, t...
157
click to vote
VIS
2006
IEEE
16 years 7 months ago
2006
IEEE
Accurately representing higher-order singularities of vector fields defined on piecewise linear surfaces is a non-trivial problem. In this work, we introduce a concise yet complet...
144
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...
144
click to vote
VISSYM
2007
15 years 8 months ago
2007
Vortex breakdown bubbles are a subject which is of interest in many disciplines such as aeronautics, mixing, and combustion. Existing visualization methods are based on stream sur...