3119 search results - page 284 / 624 » General Default Logic |
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be...
130
click to vote
FUIN
2007
15 years 6 months ago
2007
Two set systems E, F on an underlying set V will be said to have Property S if there exists a subset σ of V , such that σ ∩ e = ∅, for all e ∈ E and f ⊆ σ, for all f ...
168
click to vote
FROCOS
2005
Springer
16 years 9 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
171
click to vote
IFM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
185
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...