1743 search results - page 28 / 349 » Generalized Modal Satisfiability |
ACL
2000
13 years 11 months ago
2000
Dominance constraints are logical descriptions of trees that are widely used in computational linguistics. Their general satisfiability problem is known to be NP-complete. Here we...
ISBI
2009
IEEE
14 years 4 months ago
2009
IEEE
We address the difficult problem of segmenting the inflamed synovial tissue in multi-modal 3D MR sequences of the wrist. The complex morphology of the structures to segment, the...
JANCL
2008
13 years 10 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
JOLLI
2006
13 years 9 months ago
2006
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
IGPL
2010
13 years 8 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...