Sciweavers

208 search results - page 18 / 42
» On monotone hull operations
Sort
View
AAAI
2004
13 years 8 months ago
Logic Programs with Abstract Constraint Atoms
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
Victor W. Marek, Miroslaw Truszczynski
DICTA
2003
13 years 8 months ago
A Bi-Scale-Space for the Analysis of Blobs
We present a scale-space with separate scales in the greyscale and spatial dimensions, using ideas from mathematical morphology. Dynamics are used for greyscale (luminance) filter...
Paul T. Jackway
IJCAI
1989
13 years 8 months ago
On the Semantics of Counterfactuals
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
Peter Jackson
ALENEX
2009
115views Algorithms» more  ALENEX 2009»
13 years 8 months ago
Experimental comparison of the two Fredman-Khachiyan-algorithms
We experimentally compare the two algorithms A and B by Fredman and Khachiyan [FK96] for the problem Monet--given two monotone Boolean formulas in DNF and in CNF, decide whether ...
Matthias Hagen, Peter Horatschek, Martin Mundhenk
CORR
2007
Springer
96views Education» more  CORR 2007»
13 years 7 months ago
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...
Krzysztof R. Apt, Jonathan A. Zvesper