2685 search results - page 376 / 537 » A Formal Semantics for SPKI |
153
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
183
click to vote
COLING
1990
15 years 7 months ago
1990
Lexicalized Tree Adjoining Grammar (LTAG) is an attractive formalism for linguistic description mainly because cff its extended domain of locality and its factoring recursion out ...
192
click to vote
COGSCI
2010
15 years 6 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
196
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
169
click to vote
FMSD
2006
15 years 6 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...